Case Studies, Whitepapers, Webinars and Product Information sponsored by Coverity by Synopsys

All Research Sponsored By:Coverity by Synopsys

The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation 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: 05 Mar 2008 \| Published: 03 Mar 2008 TOPICS: Code Management \| Simulation and Analysis Software \| Software Development Tools \| Software Quality Assurance \| Software Testing \| Structured Analysis Techniques \| Vulnerability Management

Controlling Software Complexity: The Business Case for Static Source Code Analysis 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: 05 Mar 2008 \| Published: 03 Mar 2008 TOPICS: Code Management \| Java \| Simulation and Analysis Software \| Software Development Methodologies \| Software Development Tools \| Software Quality Assurance \| Software Testing \| Vulnerability Management

Ensuring Code Quality in Multi-threaded Applications: How to Eliminate Concurrency Defects with Static Analysis 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: 05 Mar 2008 \| Published: 03 Mar 2008 TOPICS: Simulation and Analysis Software \| Software Development Methodologies \| Software Development Tools \| Software Quality Assurance \| Software Testing \| Vulnerability Management