WHITE PAPER - This white paper will provide a brief overview of the history of static analysis and explain how the use of SAT in static analysis is enabling developers to improve the quality and security of their code.
Posted: March 5, 2008 | Published: March 3, 2008


Topics:  Code Management | Simulation and Analysis Software | Software Development Tools | Software Quality Assurance | Software Testing | Structured Analysis Techniques | Vulnerability Management