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 pro-actively 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.
Unlike other dynamic analysis products that impose a memory and/or runtime overhead between 10x and 100x on the software systems they analyze, Coverity Thread Analyzer has a low 2x overhead for most programs, enabling the tool to be used in select production environments that include interactive applications and applications with strict timing requirements.
“As the demand for multi-threaded Java applications continues to accelerate, software developers are now faced with the pressure to deliver significantly more complex products, often on the same tight timelines as the single-threaded products that preceded them,” said Ben Chelf, chief technology officer at Coverity. “Coverity Thread Analyzer and Coverity Prevent help developers create high quality multi-threaded applications by combining powerful technologies to help them eliminate concurrency defects that are nearly impossible to detect with conventional methods.”
Coverity Thread Analyzer for Java simplifies the process of testing complex multi-threaded applications that execute concurrent operations. Product benefits for developers include:
• Automatic Defect Detection – Unique thread analysis automatically detects concurrency defects including race conditions and deadlocks
• Low Overhead - Sophisticated technology allows the tool to run with a significantly lower impact on memory and system performance than similar tools
• Eclipse IDE Integration - Immediately find and correct concurrency defects at the developer to accelerate overall software development
• Coverity Prevent Integration – Coverity’s static and dynamic analysis products can be connected to create a powerful combination for ensuring superior software quality
Coverity Thread Analyzer is a standalone product that runs on the following platforms: Linux (32-bit & 64-bit), Solaris Sparc, Solaris X86, Windows XP and Server 2003, Mac OS X. The product supports Sun JDK 1.5, IBM’s 1.5 JVM and BEA Jrockit 5
Coverity (coverity.com), the leader in improving software quality and security, is a privately held company headquartered in San Francisco. Coverity’s groundbreaking technology enables developers to control complexity in the development process by automatically finding and helping to repair critical software defects and security vulnerabilities throughout the application lifecycle. More than 450 leading companies including ARM, Phillips, RIM, Rockwell-Collins, Samsung and UBS rely on Coverity to help them ensure the delivery of superior software.
Coverity is a registered trademark, and Coverity Extend and Coverity Prevent are trademarks of Coverity, Inc. All other company and product names are the property of their respective owners.