![[English]](flaggeUK.jpg){kind=small}
Coverity: die Revolution in der Quellcodeanalyse
Coverity ist ein hochqualitatives und leistungsfähiges Tool für die Quellcodeanalyse von Projekten in C, C++ und Java.Coverity Prevent™ und Coverity Extend™ erlauben schnelles und effektives Aufdecken von Fehlern und Sicherheitsproblemen, die schwerwiegende Probleme im Programm nach sich ziehen können.
Coverity Sourcecodeanalysetools helfen bei der Erstellung besserer Produkte, verkürzen deren Markteinführung und helfen, die Risiken fehlerhafter Software zu vermeiden.
technologischer Durchbruch
Die Basistechnologie der statischen Softwareanalysetools von Coverity wurde zwischen 1998 und 2002 am Computer Systems Laboratory der Stanford University in Palo Alto (Kalifornien) entwickelt. Im November 2003 hat das Stanford-Forscherteam das erste System zur Aufdeckung von tausenden kritischer Fehler in Open-Souce-Projekten wie Linux und FreeBSD veröffentlicht. Schon wenig später haben Experten aus Industrie und Forschung das Stanford-System (seinerzeit bekannt als "MC Checker") als das weltweit effizienteste Quellcodeanalysetool qualifiziert.Die Standford-Team-Mitglieder Andy Chou, Benjamin Chelf, David Park, Dawson Engler und Seth Hallem haben diese Basistechnologie dann zu einem in der allgemeinen Softwareentwicklung einsetzbaren Tool weiter entwicklelt. Coverity setzt diese Entwicklungsarbeit fort, um die hohe Qualität des Quellcodecheckers und die Analysefähigkeiten im Sinne der Coverity-Kunden weiter zu verbessern.
Features und Benefits
Coverity zeigt Ihnen gefährliche Softwaredefekte mit größter Genauigkeit. Unsere Wettbewerber beschränken sich darauf, lediglich soviele potentielle Bugs wie möglich anzuzeigen. Coverity ist davon überzeugt, daß das Aufdecken kritischer Defekte mehr als nur eine Frage der Anzahl der angezeigten Meldungen ist. In der professionellen Softwareentwicklung geht es um die "Qualität" (d.h. die potentielle Gefahr) der aufgedeckten Fehler, nicht um hunderte von oft belanglosen Warnmeldungen.Coverity Prevent ist ein ausgezeichnetes Werkzeug für das Aufdecken und Fixen von Softwaredefekten. Prevent hebt sich positiv von herkömmlichen Code-Analysetools ab:
Genauigkeit
"Out of the box" liefert Coverity Prevent eine durchschnittliche False-Positive-Rate
von unter 20%. Andere Quellcodeanalysetools leiden unter einer hohen Falschen-Positiv-Rate,
die die effiziente Nutzung dieser Werkzeuge oft unmöglich macht.
Coveritys False Path Pruning, statische Analysen und andere Coverity-Innovationen eliminieren False Positives.
Durch spezielle Konfigurierung und kleinere Tunings kann Coveritys gute False-Positive-Rate sogar
weiter gesenkt werden.
Analysetiefe
Coverity Prevent nutzt interprozedurale Datenflussanalysen und statische Analysen
für das Verständnis von Interaktionen innerhalb des gesamten Programms und für alle
mögliche Pfade.
Coverity Prevent identifiziert firmenspezifische APIs und meldet Unstimmigkeiten
in deren Nutzung.
Die statische Codeanalyse von Coverity deckt Fehler auf, die in der Regel bei QA- und Sicherheitsaudits
unentdeckt und an den Endkunden ausgeliefert werden.
Während viele "Wettbewerbstools" eine oberflächliche Analyse liefern,
versteht Coverity ihren Code.
Analysebreite
Coverity Prevent nutzt die weltweit fortschrittlichste Technologie um die kritischsten Softwarefehler
aufzudecken und damit die Qualität und Sicherheit Ihres Produktes erhöht.
Coverity Prevent findet schwerwiegende Probleme wie Systemabstürze, Speicherleaks,
Memory-Corruption, unvorhergesehenes Verhalten, Concurrency-Probleme und Sicherheitslücken.
geringe Gesamtkosten
Coverity Prevent integriert sich schnell und einfach in Ihre bestehende Entwicklungsumgebung
und kann bereits innerhalb von Stunden eingesetzt werden.
Andere statische Analysetools benötigen oft Wochen, manchmal Monate bevor diese zum Einsatz kommen können.
Exakte Ergebnisse und eine sehr geringe False-Positiv-Rate helfen Ihnen, wertvolle Zeit und Ressourcen
zu sparen.
Aussweitbar
Coverity Extend ermöglicht die Nutzung individueller Prüfungen
(eigene Programmierrichtlinien, MISRA etc.) mit der leistungsfähigen Analyse-Engine von Coverity Prevent.
geeignet für größte Softwareprojekte
Coverity Prevent analysiert Ihren Code innerhalb sehr kurzer Zeit.
Mehrere Millionen Codezeilen werden in der Regel innerhalb von wenigen Stunden analysiert.
Erfahrungsgemäß benötigen herkömmliche statische Analysetools Tage oder sogar Wochen für
die Analyse von großen Softwareprojekten.
statische Analyse komplexer Softwareprojekte
last updated: 12.02.2008 © 2004-2008 Coverity Inc. (German translation made by Verifysoft Technology GmbH)
| |||||||||||
