Coverity Thread Analyzer for Java
Coverity Thread Analyzer for Java
Predictably Identify Deadly Runtime Concurrency Defects
As more and more companies develop and deploy multi-threaded Java applications on multi-core hardware, the job of ensuring the quality of these software systems has become more challenging. Multi-threaded software is more complex, impossible to test exhaustively, and introduces a new class of critical concurrency defects — race conditions and deadlocks — that can cause data corruption or system failures.
Coverity Thread Analyzer for Java is the first dynamic analysis solution for multi-threaded Java applications that automatically and predictably detects existing and potential race conditions and deadlocks that can cause deadly application behavior.
Coverity Thread Analyzer's intuitive interface makes it easy to triage and
remediate concurrency errors.
Benefits of Coverity Thread Analyzer
- Rapidly detect deadlocks and race conditions
- Avoid data corruption and system failures
- Reduce risk of migration to multi-core systems
- Leverage static analysis results and speed time to value
With exceptionally low overhead, Thread Analyzer automatically instruments Java programs and provides reliable, accurate and reproducible detection of concurrency errors. It is a unique defect detection product because it identifies 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.
Static and Dynamic Analysis: A Powerful Combination
With Coverity’s combined analysis, Prevent can use the critical data provided by Thread Analyzer to further increase accuracy of static analysis while Thread Analyzer can leverage Prevent results to speed the dynamic analysis of code. Thread Analyzer can infer critical data from execution paths that were exercised during testing and pass that information on to Prevent for improved accuracy in static analysis of all other program paths, even ones that were not exercised. Coverity Thread Analyzer can use information provided by Prevent's static analysis to avoid instrumentation when there is no possibility of an error occurring, thereby improving performance.
Coverity Thread Analyzer and Coverity Prevent™ for Java work together to provide a powerful solution for detecting serious defects and delivering high-integrity software.
Contact us to learn more about how Coverity Thread Analyzer can help your business
Phone
+1 (415) 321-5237 (International)
(800) 873-8193 (U.S. toll-free)
Free Product Trial
Get a free trial of Prevent™ static analysis that will detect a wide range of crash-causing defects in your code base within hours. Get a Free Product Trial
“We spend a lot of time buying technology, and we often have to do a lot of extra work to make it usable. Coverity Prevent, right out of the box, has been one of the easiest products to work with, when you consider the complexity of what we're dealing with and the size of the code base Teradata has.”
