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

WHITE PAPER - This white paper discusses how static source code analysis can be used to find critical defects and security vulnerabilities in C/C++ and Java source code.
Posted: March 5, 2008 | Published: March 3, 2008


Topics:  Code Management | Java | Simulation and Analysis Software | Software Development Methodologies | Software Development Tools | Software Quality Assurance | Software Testing | Vulnerability Management

WHITE PAPER - This paper will review the most common pitfalls that software developers face when creating multi-threaded applications. Discover how static analysis techniques can be used to eliminate concurrency defects earlier in the lifecycle.
Posted: March 5, 2008 | Published: March 3, 2008


Topics:  Simulation and Analysis Software | Software Development Methodologies | Software Development Tools | Software Quality Assurance | Software Testing | Vulnerability Management