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: 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.