マルチスレッド アプリケーションのコード品質の保証
(Posted May 2008)

マルチスレッド アプリケーションを開発中ですか？ このホワイトペーパーでは、開発者が、特に注意すべき必要のある競合状態やデッドロックなどの危険な並列処理の不具合について解説します。
文書をダウンロードする  (Registration Required)

Fixing Software on the Assembly Line
(Posted August 2005)

開発の早期段階でバグを検出し、製品のライフタイム全体にわたって多大な時間、コスト、 およびリソースを節約できる、Coverity の静的ソースコード解析技術について解説します。
Download Document  (Registration Required)

The Software Development Challenge
(Posted August 2005)

Software is no longer just a developer’s concern. This business whitepaper explains at an executive level the evolution and challenges facing companies interested in delivering quality, secure software—and some concrete actions companies can take to write better code.
Download Document  (Registration Required)

Coverity Prevent
Our flagship product finds quality problems and security vulnerabilities using static source code analysis in C and C++ code.
Download Document  (Registration Required)

Coverity Extend
This product is an optional add–on to Coverity Prevent—yet nearly all of our customers have it. Learn how Coverity has made it possible to use static source code analysis to find custom or domain–specific defects in C and C++ code.
Download Document  (Registration Required)

ROI Datasheet
Ironically, the ROI of static analysis is rarely articulated beyond the platitude “find more bugs sooner.” Truly understanding the impact of static analysis takes into account buying, deployment, adoption, and maintenance. This document articulates the ROI value proposition of Coverity’s product line.
Download Document  (Registration Required)

Wind River
Learn how Wind River boosted development productivity 30% and cut time-to-market 20%.
Download Document

Veritas
Learn how Coverity found bugs in large, complex storage software VERITAS thought was virtually bug free.
Download Document

Palm
Within hours of installation, Coverity had an instant impact on the software used in the Treo 650 and other products.
Download Document

How Stanford Retooled Static Analysis
(December 2006)
Dr. Dawson Engler, Stanford Computer Science Professor and Coverity co-founder, discusses his approach to: Automatically Finding Bugs Using Programmer-Written Compiler Extensions.
Download .wmv file  (Registration Required)

Increase Software Quality Now - Arris Webinar
(October 2006)
Hear the details of Arris' source code development process improvements, tool choices and "cultural" changes that led to quality gains.
Download .wmv file  (Registration Required)

Open Source Quality Report
(Posted March 2006)
Want to know how the LAMP stack compares in quality to a baseline of over 30 different open source packages? Under a contract with the Department of Homeland Security, we apply the latest innovation in automated defect detection to analyze and compare a large set of open source packages.
Download Document  (Registration Required)

Linux Security Report
(Posted September 2005)
Coverity’s technology can detect source code defects that could lead to security vulnerabilities. At LinuxWorld 2005 in San Francisco, CEO Seth Hallem presented the results of Coverity’s security analysis of the Linux kernel. This report describes in detail why the Linux kernel is a stable, secure piece of software.
Download Document  (Registration Required)

Linux Report
(Posted December 2004)
“So it’s now ‘officially’ all bug-free,” wrote Linus Torvalds after applying Coverity fixes to a recent release of Linux. Coverity contributes heavily to Linux quality and security. Over the past four years, Coverity has provided Linux with thousands of defects—including several security alerts. This report describes the overall quality of Linux with detailed information about the type and location of critical defects.
Download Document  (Registration Required)

MySQL Report
(Posted February 2005)
“Coverity’s detailed analysis allows us to provide more reliable and secure certified software—a real benefit for large IT organizations, high–volume Web sites, and all of our 6 million active installations worldwide,“ said Zack Urlocker, VP Marketing, MySQL. This report describes the overall quality of MySQL—including a major security vulnerability that Coverity found during development.
Download Document  (Registration Required)

BerkeleyDB Report
(Posted February 2005)

Sleepycat Software, the makers of Berkeley DB, is the first company to be Coverity Inspected™, which means they’ve taken the time to eliminate all of the defects Coverity found.
Download Document  (Registration Required)