Coverity(TM), Inc., the leader in automatically improving software quality and security in C/C++ and Java, today announced the release of Coverity Thread Analyzer for Java. The product is the first dynamic analysis tool for multi-threaded applications that automatically detects concurrency defects that can cause data corruption and application failures. Coverity Thread Analyzer can also be used in concert with Coverity Prevent, the industry-leading static analysis tool, to create a powerful software quality solution that will help developers control the complexity of writing multi-threaded applications.

"The continued growth of multi-core processors has forced development teams to begin creating multi-threaded applications whether they are ready or not," said Michael Monticello, security and risk analyst at Enterprise Management Associates. "To successfully eliminate the concurrency defects inherent to multi-threaded applications, organizations need sophisticated new tools that pinpoint these hard-to-find issues so developers can focus on bringing secure and reliable new products to market."

Coverity Thread Analyzer for Java observes code as it is executed and automatically and predictably identifies race conditions and deadlocks. The product is unique in the field of dynamic analysis because it detects not only problems that will occur in limited testing environments, but also problems that have the potential to occur over extended operations in field environments.

This distinction is particularly important for multi-threaded applications that, due to their complexity, may run without failure for extremely long periods of time before a "perfect storm" of system events triggers a concurrency defect. For example, the North American blackout of 2003 was due to a race condition that occurred after 3 million hours of consecutive system operation.

"We just evaluated Coverity Thread Analyzer on one of our equity trading applications. We were impressed with Thread Analyzer's ability to dynamically identify, with pin-point accuracy, complex concurrency issues in our Java code," said Hidekazu Sugiura, Director, Financial IT Division, Simplex Technology.

Coverity Thread Analyzer is also the first dynamic analysis solution that can reduce the risk inherent in migrating complex, single-threaded code bases to perform effectively in multi-core environments. The product accomplishes this by reporting thread-shared data to users, indicating locations where a locking discipline should be introduced. This allows developers to proactively identify existing and potential concurrency issues, so they can eliminate them before they cause failures in the field.

Coverity Thread Analyzer also combines with Coverity Prevent, the industry-leading static analysis tool to give Java developers a comprehensive analysis solution that offers unmatched capabilities to identify and eliminate concurrency and other critical code defects that can cause slowdowns, failures and crashes. These two Coverity products integrate static and dynamic analysis in a unique, complimentary manner by adopting the strengths of each technique to enhance the other. Specifically, the combined solution accelerates and lowers the overhead associated with dynamic analysis while further improving the accuracy of static analysis through the elimination of false positive results.