Press release
Coverity Introduces New Code Analysis Capabilities - Capable of Identifying Race Conditions in SW
Coverity, Inc., the leader in improving soft-ware quality and security automatically, today announced the availability of sophisti-cated new concurrency defect detection capabilities in Coverity Prevent, the company’s flagship static code analysis solution for C/C++ and Java. This new technology intro-duces 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 con-currency 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 devel-opers is that multi-threaded applications add complexity to the application lifecycle, re-quiring 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 ther-apy 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 add-ing 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 over-comes 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://www.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: www.coverity.com.
Media Contacts
Coverity Inc., Jim Shissler, Director, Public Relations,
jshissler@coverity.com; ph +1 415 694 5342
Agentur Lorenzoni GmbH, Public Relations, Beate Lorenzoni
beate@lorenzoni.de; ph +49 8122 559170
About Coverity Coverity (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 auto-matically 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 provid-ing 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.
This release was published on openPR.
Permanent link to this press release:
Copy
Please set a link in the press area of your homepage to this press release on openPR. openPR disclaims liability for any content contained in this release.
You can edit or delete your press release Coverity Introduces New Code Analysis Capabilities - Capable of Identifying Race Conditions in SW here
News-ID: 33792 • Views: …
More Releases from Coverity

Free Webinar - Finding Runtime Concurrency Errors in Multithreaded Java Applicat …
A Dr. Dobb's Journal Magazine Vendor Perspectives Webinar
Broadcast time: 2:00 PM ET / 11:00 AM PT
Duration: One hour
Overview:
As more and more companies develop and deploy multithreaded Java applications on multi-core hardware, the job of ensuring the quality of these software systems has become more challenging. Multithreaded 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…
Coverity Thread Analyzer Detects Concurrency Defects in Multithreaded Applicatio …
Coverity™, 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…
Coverity detects race conditions, deadlocks, software quality defects and securi …
Coverity at Embedded World: Hall 11, Stand 426
Coverity demonstrates power of Coverity Prevent and new Boolean Satisfiability (SAT) Engine at its booth
At Embedded World (Nuremberg, 26-28 February 2008) Coverity will show the power of its static analysis solution Coverity Prevent and the recently announced analysis engine based on Boolean Satisfiability (SAT). Coverity Prevent analyses 100 percent of the paths and values in C/C++ and Java code with the lowest false…
Coverity Code Analysis to Improve Symbian Code Quality
Coverity, Inc., the leader in improving software quality and security automatically in C/C++ and Java, today announced plans to release new Symbian C++ software defect detection capabilities in its Coverity Prevent SQS solution. Coverity Prevent SQS is the leading static source code analysis solution that will enable the automatic detection of code defects that can occur during Symbian OS development. Symbian OS is the market-leading operating system for advanced, data-enabled…
More Releases for Prevent
Best tips to prevent cholesterol this summer
Image: https://www.globalnewslines.com/uploads/2025/06/1750312574.jpg
It is common to relax good lifestyle habits in summer, a mistake we should not make in the field of health and wellness. If you want to prevent cholesterol and enjoy good health, these tips and recommendations will help you avoid hypercholesterolemia and its possible consequences.
Watch your diet to avoid high cholesterol
To prevent cholesterol, it is essential to follow a healthy diet. It is as necessary to limit or,…
How Regular Roofing Services Prevent Expensive Repairs
By ensuring that your roof is regularly inspected and maintained, you not only protect your home but also extend the lifespan of your roof and improve its performance.
When it comes to home maintenance, your roof is often one of the most overlooked components-until it starts leaking or shows signs of significant damage. But here's the truth: neglecting your roof can lead to costly repairs down the road. Fortunately, regular roofing…
Economy stagnating, crime growing, prevent theft!
Smart telematics helps with digitalization and theft. No chance for thieves!
At a time when the economy is stagnating and crime rates are rising, companies are faced with the challenge of protecting their assets. In this context, telematics offers a modern solution!
Thanks to intelligent GPS tracking, companies can keep an eye on their vehicles and devices in real time. The implementation of geofencing enables the definition of virtual boundaries and alerts…
How to Prevent a Motorcycle Crash
If you ride a motorcycle, you know that it's more than a mode of transportation. Motorcycles are freeing, powerful machines that can convey you and a companion down a new road in life.
Unfortunately, that is why they are dangerous. For all the joy they bring you, they are equally as dangerous.
This article will detail some ways you can prevent yourself from a motorcycle crash and make sure your rides…
Can Olive Oil help prevent cancer?
Can Olive Oil help prevent cancer?
Turkish olive oil contributes to raising awareness about the disease of cancer. Sadly, premature mortality accounts for more than 4 million of the more than 7.5 million fatalities that are caused by cancer each year (30 to 69 years old). According to the World Health Organization, this ailment is one of the primary reasons why people die all over the world.
When you take into consideration…
Monitoring Supply Chains To Prevent Slavery
In today’s globalized economy, all companies need to monitor their supply chains at home and abroad to ensure that nobody is being exploited or otherwise subjected to modern forms of slavery. In addition to the humanitarian and corporate social responsibility aspects of slavery, there is a huge commercial risk for organizations too. This ranges from a failure to satisfy legislative requirements and consumers’ ethical expectations through to the associated fines,…