Coverity Code Analysis to Improve Symbian Code Quality
Symbian C++ Code Analysis in Coverity Prevent to Speed Development on Symbian OS

Symbian Smartphone Show, LONDON, October 16, 2007 – Coverity, Inc., the leader in improving software quality and security automatically in C/C++ and Java, today an- nounced plans to release new Symbian C++ software defect detection capabilities in its Coverity Prevent solution. Coverity Prevent 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 mobile phones known as smartphones.

Coverity’s highly accurate representation of a software system, or Software DNA Map, allows complex defects in source code to be automatically identified with unmatched precision and accuracy. As part of today’s announcement, Coverity will develop new code analysis capabilities designed specifically for Symbian OS.

Building on the proven ability of Coverity Prevent to accurately identify defects in C/C++ and Java, the new Symbian C++ defect detection capability will identify a greater number of defects that can occur in code developed for Symbian OS.

“Defect detection for Symbian C++ will enable Prevent to deliver the most accurate static analysis of Symbian code available to date,” said Seth Hallem, CEO of Coverity. “By adding these new capabilities to Prevent, developers can focus more on Sym- bian OS development and less on identifying and managing code defects.”

Symbian selected Coverity Prevent in 2005 to provide static code analysis for its internal development teams. Coverity professional services will collaborate with all Sym- bian C++ developers in the industry to implement best practices for ensuring code qual- ity and security. Additionally, Coverity announced today that it will be certifying the qual- ity of code for Symbian through its Coverity Certified program.

Being Coverity Certified provides third-party validation of code quality. Coverity Certified organizations can proudly show that they have joined a select group of leading compa- nies that have a dedicated and proven commitment to the highest standards of software quality and security.

Coverity’s new Symbian C++ defect detection capabilities will be available to Coverity Prevent customers in early 2008.

About Prevent
Coverity Prevent checks one hundred percent of the paths in C, C++ and Java software projects. Coverity's unique combination of analysis engines based on dataflow and Boolean satisfiability also analyzes software dependencies, key third-party libraries, and projects spread across multiple development groups. Coverity’s low false positive rates, ability to find critical, must-fix errors, and defect resolution tools make developers' lives easier and improves their ability to find and fix defects.

Coverity Prevent is available immediately, and is priced based on project size. For more information, visit www.coverity.com.

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 the software is written. More than 300 leading companies choose Coverity because it scales to tens of millions of lines of code, has the lowest false positive rate and provides 100 percent path coverage. Companies like Juniper Networks, Symantec, McAfee, Synopsys, Palm and Wind River work with Coverity's tools to find and fix security and quality 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.

Media Contacts
Jim Shissler
Director, Public Relations
jshissler@coverity.com
+1 415 694-5342

Craig Oda
Page One PR for Coverity
coda@pageonepr.com
+1 650 565-9800 x702