All Research Sponsored By:Coverity by Synopsys
-
Ensuring Code Quality in Multi-threaded Applications: How to Eliminate Concurrency Defects with Static Analysis
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.
-
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation
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.
-
Controlling Software Complexity: The Business Case for Static Source Code Analysis
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.