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.
Did you find this white paper useful?
17 out of 28 users found this white paper useful
Related white papers
Layer 3 Malformed Packet Testing in MCI's Public IP Network
Malformed packets associated with routing protocols can cause undesirable consequences if not detected and contained properly as close to the originator as possible. This issue magnifies in scope and complexity...
Best Practices - Monitoring and Controlling Peer-to-Peer (P2P) Applications
Peer to Peer file sharing steals bandwidth that should otherwise be used for business-critical applications. When bandwidth is consumed by P2P applications, the business operations that are tied to those...
Podcast: Building the James Webb Space Telescope
When the Webb Telescope takes off for its perch in space, it will be operated by some 200,000 lines of software code. Since a system failure would involve a...
The Real Cost of Spam
Unsolicited Commercial E-mail, or spam, is not just an annoying problem. It's a costly one. This paper examines the different cost impacts, both direct and indirect, that spam has on...
Top 25+ Reasons Web Applications Don’t Scale
This white paper presents the most common performance bottlenecks identified and encountered during the testing of thousands of Web applications by Empirix and its consultants. It also presents the mechanisms...
Improve Availability and Resiliency with Software Infrastructure Testing by IT Operations
Does your company know how the next software patch or configuration change will impact uptime? An alarming number of companies cannot be completely sure what any change will do to...
Consistent Independent Component Analysis and Prewhitening
In the past decade, independent component analysis (ICA) has received much attention in many different fields, such as signal processing and machine learning. It has been used as a standard...
