Coverity Fakten

Coverity Prevent ist das weltweit fortschrittlichste statische Code-Analyse-Tool für das Aufdecken und Fixen von Softwarefehlern und Sicherheitsproblemen. Die statische Codeanalyse von Coverity hilft bei der Implementierung besserer Produkte, verringert das "Time–to–Market", reduziert Risiken und erhöht die Kundenzufriedenheit.

Unterschiede zu herkömmlichen statischen Analysetools

Coverity hat einen neuen Ansatz der Quellcodeanalyse. Innovationen im Bereich der Metakompilation ermöglichen genaueste Ergebnisse und eine sehr geringe False-Positive-Rate. Die Analyse erfolgt dabei in einem Bruchteil der von bisherigen Analysetools benötigten Zeit. Aus diesem Grund wird Coverity Prevent vor allem in großen Projekten mit mehreren Millionen Codezeilen erfolgreich eingesetzt.
Coverity ist das erste - und bisher einzige - Tool, welches die für die heutigen komplexen Softwareprogramme erforderliche Kombination aus Präzision und Performance bietet. Coverity ist die Lösung für viele Probleme, unter denen die statische Codeanalyse bisher gelitten hat: Build-Integration, Kompilerkompatibilität, False-Positve-Rate und effektive "Root-Cause-Analyse".

Coverity-Technologien

Coverity bietet aktuell folgende Technologien an, die für die Erstellung hochqualitativer Software unabdingbar sind:

Coverity Prevent
eine "out-of-the-box"-Lösung, die ein schnelles Aufdecken und Fixen selbst schwierig zu findender Defekte und Sicherheitsprobleme ermöglicht.

Coverity Extend
ein Add-on für Coverity Prevent zur Erstellung und Überprüfung eigener Programmierrichtlinien oder branchenspezifischer Standards wie z.Bsp. MISRA.

Coverity Hauptseite

Nächste Seite

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.