static-analysis

Dieses Repository listet statische Analysetools für alle Programmiersprachen, Build-Tools, Konfigurationsdateien und mehr auf. Der Fokus liegt auf Tools, die die Codequalität verbessern, wie Linter und Formatter. Die offizielle Website analysis-tools.dev basiert auf diesem Repository und ergänzt Rankings, Benutzerkommentare und zusätzliche Ressourcen wie Videos für jedes Tool.

Sponsoren

Dieses Projekt wäre ohne die großzügige Unterstützung unserer Sponsoren nicht möglich.

Wenn auch du dieses Projekt unterstützen möchtest, besuche unsere GitHub Sponsors-Seite.

Bedeutung der Symbole

• ©️ steht für proprietäre Software. Alle anderen Tools sind Open Source.
• ℹ️ zeigt an, dass die Community das Tool nicht für neue Projekte empfiehlt. Das Symbol verlinkt auf das Diskussions-Issue.
• ⚠️ bedeutet, dass das Tool seit mehr als einem Jahr nicht aktualisiert wurde oder sein Repository archiviert wurde.

Pull Requests sind sehr willkommen!

Schau dir auch das Schwesterprojekt awesome-dynamic-analysis an.

Inhaltsverzeichnis

Programmiersprachen

ABAP	Erlang	PL/SQL
Ada	F#	Perl
Assembly	Fortran	Python
Awk	Go	R
C	Groovy	Rego
C#	Haskell	Ruby
C++	Haxe	Rust
Clojure	Java	SQL
CoffeeScript	JavaScript	Scala
ColdFusion	Julia	Shell
Crystal	Kotlin	Swift
Dart	Lua	Tcl
Delphi	MATLAB	TypeScript
Dlang	Nim	Verilog/SystemVerilog
Elixir	Ocaml	Vim Script
Elm	PHP	WebAssembly

Mehrere Sprachen

Sonstiges

Sonstiges anzeigen

.env	Embedded Ruby (a.k.a. ERB, eRuby)	Protocol Buffers
AI-generated code	Gherkin	Puppet
Ansible	HTML	Rails
Archive	JSON	Security/SAST
Azure Resource Manager	Kubernetes	Smart Contracts
Binaries	LaTeX	Support
Build tools	Laravel	Template-Languages
CSS/SASS/SCSS	Makefiles	Terraform
Config Files	Markdown	Translation
Configuration Management	Metalinter	Uses LLM/model
Containers	Mobile	Vue.js
Continuous Integration	Nix	Writing
Deno	Node.js	XML
Dockerfile	Packages	YAML
Embedded	Prometheus	git

---

Programmiersprachen

ABAP

• abaplint — Linter für ABAP, geschrieben in TypeScript.

• abapOpenChecks — Erweitert den SAP Code Inspector um neue und anpassbare Prüfungen.

Ada

• Polyspace for Ada ©️ — Bietet Codeverifikation, die das Fehlen von Überläufen, Division durch Null, Array-Zugriffen außerhalb der Grenzen und bestimmten anderen Laufzeitfehlern im Quellcode nachweist.

• SPARK ©️ — Statische Analyse- und formale Verifikations-Toolsuite für Ada.

Assembly

• STOKE ⚠️ — Ein programmiersprachenunabhängiger stochastischer Optimierer für den x86_64-Befehlssatz. Er verwendet Zufallssuche, um den extrem hochdimensionalen Raum aller möglichen Programmtransformationen zu erkunden.

Awk

• gawk --lint — Warnt vor Konstrukten, die fragwürdig oder nicht auf andere awk-Implementierungen portierbar sind.

C

• Astrée ©️ — Astrée weist automatisch das Fehlen von Laufzeitfehlern und ungültigem nebenläufigem Verhalten in C/C++-Anwendungen nach. Es ist sound für Gleitkommaberechnungen, sehr schnell und außergewöhnlich präzise. Der Analyzer prüft auch auf MISRA/CERT/CWE/Adaptive Autosar-Codierungsregeln und unterstützt die Qualifizierung für ISO 26262, DO-178C Level A und andere Sicherheitsstandards. Jenkins- und Eclipse-Plugins sind verfügbar.

• CBMC — Bounded Model-Checker für C-Programme, benutzerdefinierte Assertions, Standard-Assertions, mehrere Coverage-Metrik-Analysen.

• clang-tidy — Clang-basiertes C++-Linter-Tool mit der (begrenzten) Fähigkeit, Probleme ebenfalls zu beheben.