The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation

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.


Ben Chelf CTO, Coverity Ben Chelf is CTO of San Francisco-based Coverity, Inc. Before he co-founded Coverity, Ben was a founding member of the Stanford Computer Science Laboratory team that architected and developed Coverity’s underlying technology. He is one of the world’s leading experts on the commercial use of static source code analysis. In 2007, he was selected as one of Computerworld’s “40 Innovative IT People to Watch, Under the Age of 40,” and often provides expert insight into software quality and security for the press, public audiences, and in published writings. In his role at Coverity, Mr. Chelf works with organizations such as the US Department of Homeland Security, Cisco, Ericsson and Symantec to improve the security and quality of software around the world. He holds BS and MS degrees in Computer Science from Stanford University.
Andy Chou Chief Scientist, Coverity Andy Chou is Chief Scientist of San Francisco-based Coverity Inc. Andy is responsible for advancing source code analysis technology at Coverity as well as furthering the state-of-the-art in software quality and security industry wide. Prior to co-founding Coverity, Andy was instrumental in developing the core intellectual property behind the Coverity platform. He received his Ph.D. in Computer Science from Stanford University and his B.S. in Electrical Engineering from UC Berkeley.
Coverity by Synopsys
05 Mar 2008
03 Mar 2008
17 Page(s)
White Paper
Already a Bitpipe member? Login here

Download this White Paper!