Press Releases

« back to Press Releases Main

Coverity™ Wins "Palmares Technologique 2008" Award

Electronique Magazine Recognizes Coverity's Innovative Use of Boolean Satisfiability (SAT) in Static Source Code Analysis

PARIS – June 23, 2008 – Coverity™, Inc., the leader in improving software quality and security, today announced that Coverity Prevent™ has won France's Electronique Magazine's "Palmares Technologique 2008" award in the software tools category. Coverity Prevent is the leading static source code analysis solution that automatically identifies and helps resolve the most critical quality defects, security vulnerabilities and concurrency defects early in the software development cycle. Recent innovations include the introduction of Boolean satisfiability (SAT) and advanced race condition defect detection capabilities in Coverity Prevent, the company’s flagship static analysis product.

"This year the jury wanted to emphasize static code analysis and particularly Coverity’s innovative technology which detects the highest number of errors in a large code base, while keeping the false positive rate as low as possible," comments François Gauthier, Service Manager in charge of software tools at Electronique Magazine.

The use of SAT in Coverity Prevent was singled out by the "Palmares 2008" judges for it’s ability to deliver the highly accurate analysis results with the lowest false positive rate in the industry. Unlike current static analysis engines that rely on dataflow analysis and multiple checkers to identify software defects, the SAT engine utilizes multiple Solvers to identify software defects.

This new technique of source code analysis is made possible by patent-pending technology from Coverity that creates a bit-accurate representation of a software system, where every relevant software operation is translated into Boolean values (true and false) and Boolean operators (such as and, not, or). This bit- accurate representation enables source code to be analyzed by SAT-based Solvers for the first time in commercial computer programming.

Over 450 customers rely on Coverity Prevent to analyze every path through their applications, and now, by leveraging SAT, Prevent can analyze every value in every computation within these programs. This exhaustive static code analysis enables Coverity to deliver the most accurate identification of critical performance and security vulnerabilities in the industry.

"After years of successful use by the Electronic Design Automation (EDA) industry, bringing SAT’s proven capabilities to static code analysis is providing developers with an array of new ways to uncover the most difficult defects," said Ben Chelf, CTO of Coverity. "By innovating to solve the toughest challenges of software development, our aim is to help our customers create the most reliable and secure code in the world."

Electronique Magazine, the leading French monthly electronics publication, awards the "Palmares 2008" every year to recognize innovation in twelve different categories, including software tools. Coverity Prevent has been selected by a jury made up of companies, professors, consultants and journalists in the embedded space.

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 enables developers to control complexity in the development process by automatically finding and helping to repair critical software defects and security vulnerabilities throughout the application lifecycle. More than 450 leading companies including ARM, Phillips, RIM, Rockwell-Collins, Samsung and UBS rely on Coverity to help them ensure the delivery of superior software.

Coverity 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

Steve Eisenstadt
Page One Public Relations
steve@pageonepr.com
+1 919 781-8096