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.
Facebook Infer ist ein statisches Analysetool. Wenn Sie Infer mit Objective-C-, Java- oder C-Code versehen, wird eine Liste potenzieller Fehler erstellt.

Webseite:

Eigenschaften

Kategorien

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