Software analyzes code for multi-threaded applications.
Share:
Press Release Summary:
With Coverity Prevent static code analysis solution for C/C++ and Java, developers can identify race conditions in addition to other concurrency defects early in development cycle. Program identifies Deadlock, which happens when 2 or more threads wait for lock in circular chain, such that locks can never be acquired. Software can also detect Thread Block, which occurs when thread calls long-running operation while holding lock, thereby preventing progress of other threads.
Original Press Release:
Coverity Introduces New Code Analysis Capabilities for Multi-Threaded Applications
First Solution Capable of Identifying Dangerous Race Conditions in Software
SAN FRANCISCO, Dec. 11 /- Coverity, Inc., the leader in improving software quality and security automatically, today announced the availability of sophisticated new concurrency defect detection capabilities in Coverity Prevent, the company's flagship static code analysis solution for C/C++ and Java. This new technology introduces the first static defect detection of race conditions, one of the most difficult to find concurrency errors that occurs in multi-threaded applications. This new capability will benefit developers by automatically identifying race conditions in addition to other concurrency defects early in the development cycle where they are most cost effective to eliminate.
"To remain competitive, software companies need to support multi-core hardware, which will make multi-threaded applications inevitable for most developers," said Theresa Lanowitz, founder of Voke, a technology analyst firm. "The challenge for developers is that multi-threaded applications add complexity to the application lifecycle, requiring new expertise and technology to maintain application quality and security."
Race condition defects have been responsible for some of the most notorious failures in software. For example, race conditions in the software of the Therac-25 radiation therapy machine were cited as contributing to the death of five patients. Race conditions were also a contributing factor in the North American Blackout of August 2003, during which 50 million people lost power.
The advent of multi-core hardware, whether computers from vendors such as AMD or Intel, or consumer goods such as the Sony PlayStation 3, are driving the emergence of multi-threaded software applications that are susceptible to race condition defects. To take advantage of multi-core hardware requires new, multi-threaded applications that can simultaneously execute multiple, interacting computational tasks.
Designing multi-threaded applications is highly complex, and introduces a new class of potential application failures when the intricacies of concurrently running threads are not handled properly. To date, testing for concurrency defects such as race conditions has been extremely difficult due to the complexity in run-time environments where multiple threads execute simultaneously while accessing shared memory.
The latest release of Coverity Prevent introduces a new interface designed specifically to help developers understand the complex interleavings that exist within their multi-threaded applications. New advanced analysis capabilities in Prevent provide analysis of 100% of these interleavings, delivering unmatched insight into complex code bases.
Coverity Prevent helps developers control the complexity of multi-threaded applications by automatically identifying these hard-to-find, often crash-causing concurrency defects such as:
-- Race Condition -- Multiple threads access the same shared data without the appropriate locks to protect access points. When this defect occurs, one thread may inadvertently overwrite data used by another thread, leading to both loss of information and data corruption.
-- Deadlock -- Two or more threads wait for a lock in a circular chain such that the locks can never be acquired. When this defect occurs, the entire software system may halt, as none of the threads can either proceed along their current execution paths or exit.
-- Thread Block -- A thread calls a long-running operation while holding a lock thereby preventing the progress of other threads. When this defect occurs, application performance can drop dramatically due to a single bottleneck for all threads.
"Coverity has been helping our customers eliminate concurrency defects in multi-threaded applications for years, and we're excited to expand those capabilities by adding race conditions to the list of dangerous defects we identify," said Ben Chelf, chief technology officer of Coverity. "Race conditions are particularly difficult for developers because they are hard to test for, nearly impossible to replicate, and the consequence of a race condition in the field can be disastrous -- Coverity's new technology overcomes all of these challenges and helps developers eliminate this painful defect type."
A new white paper available explains more about Coverity's breakthrough application of static analysis to detect race conditions. The paper is available in for download at: http://coverity.com/html/library.php
Pricing and Availability
Coverity Prevent is available immediately for C, C++ and Java software projects, and is priced based on project size. For more information, visit: http://www.coverity.com/.
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 removes the barriers to writing and delivering complex software by automatically finding and helping to fix critical software defects and security vulnerabilities as software is written. More than 350 leading companies choose Coverity because it scales to tens of millions of lines of code, has the lowest false positive rate while providing 100 percent path and value coverage. Companies like Juniper Networks, Symantec, McAfee, Synopsys, NASA, Palm and Wind River rely on Coverity's tools to find and eliminate critical defects from their mission-critical code.
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.
CONTACT: Jim Shissler, Director, Public Relations of Coverity, Inc., +1-415-694-5342, jshissler@coverity.com
Web site: http://www.coverity.com/
http://coverity.com/html/library.php
