static-analysis

Ce dépôt répertorie les outils d'analyse statique pour tous les langages de programmation, les outils de construction, les fichiers de configuration et plus encore. L'accent est mis sur les outils qui améliorent la qualité du code, tels que les linters et les formateurs. Le site web officiel, analysis-tools.dev, est basé sur ce dépôt et ajoute des classements, des commentaires d'utilisateurs et des ressources supplémentaires comme des vidéos pour chaque outil.

Sponsors

Ce projet ne serait pas possible sans le soutien généreux de nos sponsors.

Si vous souhaitez également soutenir ce projet, rendez-vous sur notre page GitHub Sponsors.

Signification des symboles

• ©️ désigne un logiciel propriétaire. Tous les autres outils sont open source.
• ℹ️ indique que la communauté ne recommande pas l'outil pour les nouveaux projets. L'icône renvoie à la discussion concernée.
• ⚠️ signifie que l'outil n'a pas été mis à jour depuis plus d'un an, ou que son dépôt a été archivé.

Les pull requests sont les bienvenues !

Consultez également le projet frère, awesome-dynamic-analysis.

Table des matières

Langages de programmation

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

Plusieurs langages

Autre

Afficher Autre

.env	Embedded Ruby (a.k.a. ERB, eRuby)	Protocol Buffers
Code généré par IA	Gherkin	Puppet
Ansible	HTML	Rails
Archive	JSON	Sécurité/SAST
Azure Resource Manager	Kubernetes	Smart Contracts
Binaires	LaTeX	Support
Outils de construction	Laravel	Langages de templates
CSS/SASS/SCSS	Makefiles	Terraform
Fichiers de configuration	Markdown	Traduction
Gestion de configuration	Metalinter	Utilise un LLM/modèle
Conteneurs	Mobile	Vue.js
Intégration continue	Nix	Écriture
Deno	Node.js	XML
Dockerfile	Paquets	YAML
Embarqué	Prometheus	git

---

Langages de programmation

ABAP

• abaplint — Linter pour ABAP, écrit en TypeScript.

• abapOpenChecks — Améliore le SAP Code Inspector avec de nouveaux contrôles personnalisables.

Ada

• Polyspace for Ada ©️ — Fournit une vérification de code qui prouve l'absence de dépassement, de division par zéro, d'accès hors limites à un tableau et de certaines autres erreurs d'exécution dans le code source.

• SPARK ©️ — Ensemble d'outils d'analyse statique et de vérification formelle pour Ada.

Assembly

• STOKE ⚠️ — Un optimiseur stochastique indépendant du langage de programmation pour le jeu d'instructions x86_64. Il utilise une recherche aléatoire pour explorer l'espace extrêmement multidimensionnel de toutes les transformations possibles de programmes.

Awk

• gawk --lint — Avertit sur les constructions douteuses ou non portables vers d'autres implémentations d'awk.

C

• Astrée ©️ — Astrée prouve automatiquement l'absence d'erreurs d'exécution et de comportements concurrents invalides dans les applications C/C++. Il est fiable pour les calculs en virgule flottante, très rapide et exceptionnellement précis. L'analyseur vérifie également les règles de codage MISRA/CERT/CWE/Adaptive Autosar et prend en charge la qualification pour ISO 26262, DO-178C niveau A et d'autres normes de sécurité. Des plugins Jenkins et Eclipse sont disponibles.

• CBMC — Vérificateur de modèles borné pour les programmes C, assertions définies par l'utilisateur, assertions standard, plusieurs analyses de métriques de couverture.