Home
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.

Authors

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.

Vendor:: Coverity by Synopsys
Posted:: 05 Mar 2008
Published:: 03 Mar 2008
Format:: PDF
Length:: 17 Page(s)
Type:: White Paper
Language:: English

Already a Bitpipe member? Login here

Download this White Paper!

Corporate E-mail Address:
You forgot to provide an Email Address.

This email address doesn’t appear to be valid.

Please provide a Corporate E-mail Address.

This email address is already registered. Please login.

You have exceeded the maximum character limit.
First Name:
You forgot to provide your first name.

You have exceeded the maximum character limit.
Last Name:
You forgot to provide your last name.

You have exceeded the maximum character limit.
Company Name:
You forgot to provide a company name.

You have exceeded the maximum character limit.
Job Title:
You forgot to provide a job title.

You have exceeded the maximum character limit.
Seniority:
You forgot to select your seniority.
Job Function:
You forgot to select your job function.
# of employees:
You did not select the number of employees at your company.
Industry:
You did not select which industry you are in.
You did not select which industry you are in.
Address 1:
You did not provide a full local address.

You have exceeded the maximum character limit.
Address 2:
You have exceeded the maximum character limit.
City/Town:
You did not provide a full local address.

You have exceeded the maximum character limit.
Country:
You did not select the country you are from.
State/Province:

You did not provide a full local address.
Zip/Postal Code:
You did not provide a full local address.

You have exceeded the maximum character limit.
Phone:
You forgot to provide a phone number.

This phone number format is not recognized. Please check the country and number.

You have exceeded the maximum character limit.
- I agree to TechTarget’s Terms of Use, Privacy Policy, and the transfer of my information to the United States for processing to provide me with relevant information as described in our Privacy Policy.
Please check the box if you want to proceed.
- I agree to my information being processed by TechTarget and its Partners to contact me via phone, email, or other means regarding information relevant to my professional interests. I may unsubscribe at any time.
Please check the box if you want to proceed.