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.
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.Wenn das Hinzufügen von Anmerkungen zu Programmen mit zusätzlichem Aufwand verbunden ist, kann Splint eine stärkere Überprüfung durchführen, als dies mit Standard-Flusen möglich ist.
splint

Webseite:

Eigenschaften

Kategorien

Splint-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.
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.
Flawfinder

Flawfinder

Flawfinder untersucht den Quellcode und meldet mögliche Sicherheitslücken ("Fehler"), sortiert nach Risikograd.
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.