Press Release
Release date: May 7, 2008
Coverity(TM) Introduces Thread Analyzer for Java
Dynamic Analysis Tool Detects Concurrency Defects and Accelerates Migration to Multi-core Environments
SAN FRANCISCO, May 7 /- JavaOne Conference -- 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.
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.
At the JavaOne conference, Coverity will be providing demonstrations of Coverity Thread Analyzer at booth # 436.
About Coverity
Coverity (http://www.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.
Company Information:
Name: Coverity, Inc.
Address: 185 Berry St. Suite 3600
City: San Francisco
State: CA
ZIP: 94107
Country: USA
Phone: 415-321-5200
FAX: 415-541-9521
http://www.coverity.com
|
|
|
|
| Related Stories: | | Oct 10, 2008 | Software helps web developers build cross-browser menus. |
| Oct 10, 2008 | FDO Providers drive geospatial open source community. |
| Oct 9, 2008 | Software offers development tool for LynxOS RTOS. |
| Oct 9, 2008 | BI Software facilitates use via visual analytics. |
| Oct 7, 2008 | Software helps analyze SharePoint activity and site usage. |
| Oct 7, 2008 | Software optimizes SOA and Web applications. |
| Oct 6, 2008 | Software develops applications for Windows, Mac, and Linux. |
| Oct 3, 2008 | Software enables payment processing integration. |
| Oct 2, 2008 | DAQ Software monitors and analyzes precision measurements. |
| Oct 2, 2008 | Software optimizes SOA and Web applications. |
| Oct 2, 2008 | Software aids in XML-based authoring, embedding help. |
| Oct 2, 2008 | Software promotes GRC program maturity and optimization. |
| Sep 30, 2008 | Software performs high throughput/content screening analysis. |
| Sep 30, 2008 | EDA Software offers mixed signal implementation solution. |
| Sep 30, 2008 | Software provides 3D factory simulation. |
| Sep 30, 2008 | Software facilitates data acquisition and analysis. |
| Sep 26, 2008 | Software helps develop help files and manuals in CHM format. |
| Sep 26, 2008 | Software manages, analyzes, and reports test data. |
| Sep 26, 2008 | Open Source Replication Solution addresses Oracle content. |
| Sep 25, 2008 | Software offers vibration analysis and reporting solution. |
|
| More New Product News from this company: | | Aug 20, 2008 | Software aligns product development with business goals. |
| Jun 13, 2008 | Software offers static analysis solution for C#. |
| Dec 19, 2007 | Software analyzes code for multi-threaded applications. |
| Oct 29, 2007 | Code Analysis Software promotes Symbian OD quality. |
| Sep 27, 2007 | Software Analysis Engine is based on Boolean satisfiability. |
| Aug 8, 2007 | Analysis/Visualization Tool addresses C/C++ source code. |
| Jun 1, 2007 | Software fixes defects in source code as it is being written. |
| May 25, 2007 | Software resolves defects in C, C++, and Java source code. |
| May 9, 2007 | Software helps create custom source code checkers. |
| Mar 5, 2007 | Source Code Analyzer helps find COM-specific defects. |
|
| Other News from this company: | | Nov 20, 2007 |
Static Analysis for Java Open Source Projects Now Available from U.S. Department of Homeland Security and Coverity
|
| Oct 31, 2007 |
Coverity Recognized as Rising Star in Deloitte's Technology Fast 50 Program
|
| Aug 08, 2007 |
Coverity Wins LinuxWorld Conference and Expo Award
|
| Jul 24, 2007 |
Coverity Announces UK Subsidiary
|
| May 07, 2007 |
Coverity and Headway Software Announce Technology and Commercial Partnership to Advance Software Architecture Analysis
|
| May 01, 2007 |
Coverity to Regularly Scan Security and Quality of 250 Open Source Projects
|
| Feb 13, 2007 |
Coverity Signs Varian as 200th Customer
|
| Feb 13, 2007 |
Siemens Networks Accelerates Software Development with Coverity Prevent Source Code Analysis
|
| Sep 18, 2006 |
Coverity Initiates Academic Program With Carnegie Mellon, Purdue and Stanford Universities
|
| Jun 28, 2006 |
NSF-Funded Security Center Partners with Coverity on Research to Improve Nation's Computer Infrastructure
|
| May 02, 2006 |
Coverity Catches Biggest X Window Security Hole Since 2000
|
| Dec 08, 2005 |
Coverity Releases New Version of Source Code Analyzer with Ability to Detect Hard-to-Find Concurrency Problems
|
|
|
|
![[Get Copyright Permissions]](http://license.icopyright.net/images/icopy-w.gif){kind=small}
