Code Analysis Software promotes Symbian OD quality.

Press Release Summary:



Using combination of analysis engines based on data flow and Boolean satisfiability, Prevent SQS analyzes software dependencies, key third-party libraries, and projects spread across multiple development groups. Static source code analysis solution checks 100% of paths in C, C++, and Java software projects; provides Software DNA Map; and enables automatic detection of code defects that can occur during Symbian OS development.



Original Press Release:



Coverity Code Analysis to Improve Symbian Code Quality



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

LONDON, Oct. 16 - Symbian Smartphone Show - 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 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 SQS 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 SQS 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 SQS, developers can focus more on Symbian OS development and less on identifying and managing code defects."

Symbian selected Coverity Prevent SQS in 2005 to provide static code analysis for its internal development teams. Coverity professional services will collaborate with all Symbian C++ developers in the industry to implement best practices for ensuring code quality and security. Additionally, Coverity announced today that it will be certifying the quality 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 companies 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 SQS customers in early 2008.

About Prevent SQS

Coverity Prevent SQS 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 SQS is available immediately, 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 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.

CONTACT: Jim Shissler, Director, Public Relations of Coverity, Inc., +1-415-694-5342, jshissler@coverity.com; or Craig Oda, Page One PR, +1-650-565-9800, ext. 702, coda@pageonepr.com, for Coverity

All Topics