Coverity Prevent - Qualität

Coverity Prevent verfügt über eine Vielzahl von Checkern, die kritische Probleme und Fehler in Ihrem Quellcode aufdecken. Um sicherzustellen, daß 100% aller möglichen Pfade mit größter Genauigkeit untersucht werden, führt Coverity die Prüfungen in Verbindung mit einer hochentwickelten interprozeduralen Datenflußanalyse durch.

Coverity deckt gefährliche Probleme auf, die folgende Auswirkungen haben können:

System- und Prozessabstürze
Speicher- und Resourcenleaks
Speicher-, Dateien- und Datenkomprimitierung
Performanzeinbrüche
unvorhersehbares Verhalten

Coverity Prevent überprüft Ihren Quellcode unter anderem auf die folgenden Probleme:

Speicherleaks
Systemresourcenleaks
File Handle Leaks
Database Connection Leaks
Dereferenzierung (null pointer dereferences)
"Dangling-Stack-References"
Nutzung von freigegebenen Resourcen
Use after free
Nutzung von uninitialisierten Daten, logische Fehler
fehlerhafte Logik in Bezug auf Verzweigungen
Arrayüberläufe
Deadlocks
mismatched Array new/delete
STL-Usage-Errors
API-Error-Handling

Arrayunterläufe (buffer underflow)
Angriffe auf den Stack (stack smashing)
Stapelüberläufe (stack overflow)
"Stackstring-Overruns"
schlechte Typenkonvertierung von negativen Integern
inkorrekte Allokationsgrößen
Nicht-Null terminierte Strings
Double Free
API-Nutzungsfehler
Blocking Call Misuse
Custom-Memory- und Network-Resource-Leaks
fehlerhafte Speicherallokation
durch logische Fehler verursachter toter Code
uninitialisierte Variablen
Invalid use of negative variables

Coverity Hauptseite

Nächste Seite

last updated: 12.02.2008

© 2004-2008 Coverity Inc. (German translation made by Verifysoft Technology GmbH)
Prevent and Extend are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.