Web www.software-risk.co.uk

Source code analyzer, Coverity Prevent has been released in a new version. (2.3)

The tool is used to identify concurrent programming defects in source code.

Concurrency defects are some of the most difficult to detect, isolate and fix. "We've found Coverity Prevent to be an excellent tool to help us uncover programming errors," said Paul Hemson, distinguished engineer, Director of QA at McAfee software. "Coverity could pay for itself by finding a single concurrency defect. These are extremely expensive defects to isolate and fix by traditional methods."

Examples of concurrency errors are race conditions and deadlocks. These can often be the result of complex transactions or event timings that are difficult to replicate.

Dual-core chips, multi-threading and hyper-threading all make the likelihood of defects more likely.

Three areas are concentrated on with the new release:

Double locks and missing unlocks
Incorrect lock ordering
Blocking operations within critical sections.

IBM PowerPC-based systems from Apple Computer and the Mac OS X operating system are now covered.

Related Articles
Coverity Security Auditing for DHS
Pentium D Pricing
Intel Claims Chip Performance Record
Intel Developer Tools for C++
Intel Delivers New Features For Home And Office PCs
Intel Releases New Dual-Core
Dual-Core and Software
HP and Sun Load Up Dual-Core AMD

Similar Areas

Software Testing Items

Testing Performance Items

Stress Testing Items

Tool Vendor Items

Defects Items

Selected Books

Keywords

source code

Coverity Prevent

concurrent programming

programming errors

concurrency errors

dual-core

multi-threading

hyper-threading

defects

double locks

lock ordering