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.

Vendor:: Coverity by Synopsys
Posted:: Feb 8, 2021
Published:: Mar 3, 2008
Format:: PDF
Type:: White Paper

Already a Bitpipe member? Log in here

Download this White Paper!

Corporate Email Address:
You forgot to provide an Email Address.

This email address doesn’t appear to be valid.

Please provide a Corporate Email Address.

This email address is already registered. Please log in.
First Name:
You forgot to provide your first name.
Last Name:
You forgot to provide your last name.
Company Name:
You forgot to provide a company name.
Job Title:
You forgot to provide a job title.
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.
Address 2:
City/Town:
You did not provide a full local address.
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.
Phone:
You forgot to provide a phone number.

This phone number format is not recognized. Please check the country and number.
- 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.