Satisfiability: A new generation of static analysis

October 1, 2007 OpenSystems Media
Feature / Discussion: October 2007Source code analysis has had a mostly deserved bad reputation in software development because analyses often took too much time or produced excessive noise and a large percentage of bogus results (false positives). With low signal-to-noise ratios, most source code analysis technologies and products quickly became shelfware after a few uses. The promise of new static analysis solutions is tantalizing for developers because it offers the ability to find bugs before software is run, improving code quality and dramatically accelerating the availability of new applications. Though static analysis has historically struggled to deliver on this promise, a groundbreaking technique applied in the static analysis field may help fulfill its potential.

Full Text: Download PDF

Ben Chelf (Coverity)
Previous Article
Satisfiability: A new generation of static analysis

New static analysis solutions allow developers to find bugs before software is run, improving code quality ...

Next Article
Limited space, maximum functionality

Open up a new iPhone, and what do you see? A lot of functionality in a very small space.