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
Waveform scanning techniques simplify embedded system designs

Recently developed measurement techniques are helping embedded system designers troubleshoot designs accura...

Next Article
Satisfiability: A new generation of static analysis

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