Static program analysis tools

.NET Reflector ist ein Klassenbrowser , Dekompiler und statischer Analysator für Software, die mit dem .NET Framework erstellt wurde. Er wurde ursprünglich von Lutz Roeder entwickelt.

Automatisierte Code-Reviews bezeichnen den Einsatz von Software-Tools und -Techniken zur Unterstützung oder vollständigen Automatisierung der Überprüfung von Quellcode auf Fehler, Stilfragen, Sicherheitslücken und

JSLint ist ein Werkzeug zur statischen Codeanalyse, das in der Softwareentwicklung eingesetzt wird , um zu überprüfen, ob JavaScript- Quellcode den Codierungsregeln entspricht .

Jtest ist ein von Parasoft entwickeltes Produkt für automatisierte Java -Softwaretests und statische Analyse .

Clang ( / ˈ k l æ ŋ / ) ist ein Compiler-Frontend für die Programmiersprachen C , C++ , Objective-C und Objective-C++ sowie die Software-Frameworks OpenMP , OpenCL , RenderScript , CUDA , SYCL und HIP .

Lint ist ein Unix- Dienstprogramm , das eine statische Programmanalyse von C- Quellcode durchführt .

Dies ist eine Liste bemerkenswerter Werkzeuge für die statische Programmanalyse (Programmanalyse ist ein Synonym für Codeanalyse).

PMD ist ein Open-Source-Tool zur statischen Quellcodeanalyse , das auf Probleme im Anwendungscode hinweist. PMD enthält integrierte Regelsätze und ermöglicht das Schreiben benutzerdefinierter Regeln.

StyleCop ist ein Open-Source - Tool von Microsoft zur statischen Codeanalyse , das C# -Code auf Konformität mit den von StyleCop empfohlenen Codierungsstilen und einer Teilmenge der .NET Framework Design Guidelines von