Coverity Products

Coverity detects critical, hard-to-find, crash-causing defects and exploitable security vulnerabilities in source code during coding or during the system build process.

Coverity removes the risks associated with writing and deploying your source code. Costly issues related to security vulnerabilities, development costs, downstream support, and end-user customer satisfaction can be effectively managed by delivering the highest possible quality of code. By delivering highly reliable, secure software, our customers have the freedom to:

• Raise the bar on productivity and quality from dispersed development teams writing complex code.
• Focus on increasing market share through product development vs. tracking down bugs late in the product cycle.

"We believe that not only our time to market but time to market for our customers improves with our use of Coverity" Windriver

We do all this by delivering the most innovative technology to automatically pinpoint software defects as early as possible in the development cycle. With surgical precision, Coverity analyzes 100% of all possible paths in the source code and detects highly critical software defects in the following categories:

• Quality - Coverity detects at compile time bugs that will crash the system at runtime. Examples include memory leaks, use after frees, and illegal pointer accesses. To learn more, click here.
• Security - Coverity pinpoints security vulnerabilities in your source code that hackers can exploit. This eliminates serious problems such as denial of service, data/memory corruption and escalation of privileges in the earliest stage of development. Example vulnerabilities detected include buffer overruns, integer overflows, format string errors and SQL injections attacks and many more. To learn more, click here.
• Concurrency - Coverity can detect errors in multi-threaded programs that are otherwise extremely difficult to track down or reproduce given the sheer complexity of concurrent programming. Examples of defects detected include potential deadlocks and misuse of locks. To learn more, click here.

Customers benefiting from years of breakthrough research

Coverity's source code analysis products are the result of technological breakthroughs achieved at the Computer Systems Lab at Stanford University, under a massive research initiative to improve software quality and security.

The original research team that became the founders of Coverity pioneered new techniques to automate the detection of crash-causing defects and security vulnerabilities. Their work resulted in many firsts:

• First to analyze 100% of all interprocedural code paths for defects.
• First to reduce the false positive rate to less than 20%.
• First to scale to tens of millions of lines of code.
• First to detect advanced types of defects such as concurrency errors at a commercial level.

While most other tools have not been able to deliver on a single one of these important features, Coverity is committed to continued innovation, bringing the most advanced and state-of-the-art techniques to commercial environments requiring ease of use and accuracy of results. Coverity has earned the trust of its customers and is ranked by analyst firms such as International Data Corporation (IDC) and Venture Development Corporation (VDC) as a top-tier software quality tools vendor. Initially tested on open source packages many years ago, Coverity has since become an essential part of the software development process of many leading commercial and government organizations. Coverity is being used by organizations such as Symantec, Juniper Networks, Synopsys, NASA, Lawrence Livermore Labs, Analog Devices, Department of Homeland Security, Checkpoint, and McAfee.

Are you Coverity Clean™?

Many organizations have instituted policies that they will never release software without being Coverity Clean™. By addressing all defects that Coverity reports, our customers maximize the quality, reliability, efficiency and security of their critical software. Most of our customers run Coverity on a daily basis in order to drastically cut costs and improve the quality and security of their products.

To find out why so many leading companies have chosen Coverity, please sign up for our risk-free trial. At no cost to you, we'll prove to you how we can improve the effectiveness and competitiveness of your development organization.

Coverity Mainpage

Next page

last updated: 13.01.2009

© 2008-2009 Coverity Inc., San Francisco
Coverity Prevent, coverity Extend, Coverity Architecture Analyzer for C/C++ and Coverity Architecture Analyzer for Java are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.