Coverity Prevent - Concurrency

Coverity Prevent now contains sophisticated checkers to detect concurrency defects such as deadlocks and other lock contention issues using static source code analysis.

Concurrency defects can be highly damaging, causing deadlocks, performance degradation and data integrity issues. Due to the complex nature of multi-threaded programs, creating test cases to uncover concurrency defects is extremely difficult. Concurrency problems often arise under extremely specific conditions that are difficult to replicate. These conditions can include situations that involve subtle timing issues or large numbers of participants performing certain tasks in a specific way. For these reasons, concurrency problems tend to be discovered in the field rather than in testing. Once found, concurrency bugs are often extremely difficult to reproduce, isolate and fix.

Pinpointing Concurrency Defects

With Coverity's Concurrency checkers, developers can pinpoint concurrency problems that are usually highly difficult to detect, diagnose and to fix. Similar to our other quality and security checkers, we display the error reports inline within your code and provide a fully linkable display of events that comprise the defect report. Coverity analyzes 100% of all paths to help find even the most obscure concurrency bugs.

Coverity Mainpage

last updated: 12.02.2008

© 2004-2008 Coverity Inc.
Prevent and Extend are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.