Download now Free registration required
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.
- Format: PDF
- Size: 0 KB