Coverity Scan

Coverity Scan

Mit Coverity Scan Static Analysis können Sie kostenlos Fehler in Ihrem Java-, C / C ++ - oder C # -Open-Source-Projekt finden und beheben.
Mit Coverity Scan Static Analysis können Sie kostenlos Fehler in Ihrem Java-, C / C ++ - oder C # -Open-Source-Projekt finden und beheben.Es testet jede Codezeile und jeden möglichen Ausführungspfad.Die Grundursache für jeden Fehler wird klar erläutert, so dass Fehler leicht behoben werden können.Im Jahr 2006 wurde der Coverity Scan-Dienst zusammen mit dem US-Heimatschutzministerium als weltweit größtes öffentlich-privates Forschungsprojekt mit dem Schwerpunkt auf Open Source-Softwarequalität und -Sicherheit initiiert.Coverity verwaltet nun das Projekt und bietet seine Entwicklungstesttechnologie als kostenlosen Service für die Open Source-Community an, um ihnen dabei zu helfen, Qualität und Sicherheit in ihren Softwareentwicklungsprozess zu integrieren.... Eine Liste der Open-Source-Projekte mit Coverity finden Sie unter:

Kategorien

Coverity Scan-Alternativen für Linux

Cppcheck

Cppcheck

Cppcheck ist ein statisches Analysetool für C / C ++ - Code.Im Gegensatz zu C / C ++ - Compilern und vielen anderen Analysetools werden keine Syntaxfehler im Code erkannt.
PVS-Studio

PVS-Studio

PVS-Studio ist ein statischer Analysator, der Fehler im Quellcode von C-, C ++ - und C # -Anwendungen erkennt.
Flawfinder

Flawfinder

Flawfinder untersucht den Quellcode und meldet mögliche Sicherheitslücken ("Fehler"), sortiert nach Risikograd.
Splint

Splint

Splint ist ein Tool zum statischen Überprüfen von C-Programmen auf Sicherheitslücken und Codierungsfehler.Mit minimalem Aufwand kann Splint als besseres Fussel verwendet werden.
Infer

Infer

Facebook Infer ist ein statisches Analysetool. Wenn Sie Infer mit Objective-C-, Java- oder C-Code versehen, wird eine Liste potenzieller Fehler erstellt.