The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation
Since its introduction, static source code analysis has had a mixed reputation with development teams. It often results in long analysis times, excessive noise or an unacceptable rate of false-positive results. Without effective static analysis techniques, organizations are unable to improve code quality and accelerate the availability of new applications. This white paper examines the history of static analysis and SAT technology. Discover how the use of SAT technology in static analysis enablesdevelopers to improve the quality and security of their code by identifying critical defects with a low rate of false-positives. Learn how to easily identify problems such as string overflows, integer overflow and deadcode, and explore how to use static assert checking to identify difficult to find logic bugs.