Diagnostics and Analysis White Papers
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation - A Perfect Match
Overview
Static analysis offers the ability to find bugs before software is run, improving code quality and dramatically accelerating the availability of new applications. But excessive false-positive results are the main reason why many source code analysis products quickly become shelfware after a few uses. Now, a groundbreaking new use of Boolean Satisfiability (SAT) in the field is poised to help static analysis deliver on its potential.
This white paper provides a brief overview of the history of static analysis and explains how the use of Boolean Satisfiability is enabling developers to improve the quality and security of their code by identifying a greater number of critical defects in their code with the lowest false-positive results.
| Publisher | Coverity | File Format | |
|---|---|---|---|
| Date Published | February 2008 | Downloads | 2 |
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 3 out of 8 users found this white paper useful
White Paper RSS
Download
Register
