static-analyzer

Outil d'analyse statique PHP - détectez les bugs dans votre code sans l'exécuter !

EMBA - L'analyseur de sécurité des firmwares.

Outil d'analyse statique élégant et compréhensible pour PHP.

CodeChecker est un outil d'analyse, une base de données de défauts et une extension de visualisation pour les outils d'analyse statique et dynamique.

PHPMD est un projet dérivé de PHP Depend visant à être l'équivalent PHP du célèbre outil Java PMD. PHPMD peut être considéré comme une interface utilisateur conviviale pour le flux de métriques brutes mesurées par PHP Depend.

Framework d'analyse statique de flux de données pour le code source

BinAbsInspector : scanner de vulnérabilités pour binaires

Analyseur phpDoc de nouvelle génération avec support des types d'intersection et des génériques

Un analyseur de code statique pour PHP (plugin PhpStorm/Idea)

cwe_checker détecte les modèles vulnérables dans les exécutables binaires

Analyseur statique SonarSource pour JavaScript et TypeScript

Analyseur statique SonarSource pour la qualité et la sécurité du code Java

APKHunt est un outil complet d'analyse de code statique pour les applications Android, basé sur le framework OWASP MASVS. Bien qu'il soit principalement destiné aux développeurs d'applications mobiles et aux testeurs de sécurité, il peut être utilisé par quiconque pour identifier et corriger des vulnérabilités potentielles.

Analyseur de code pour les projets C# et VB.NET

Extensions Doctrine pour PHPStan

prealloc est un outil d'analyse statique Go permettant de détecter les déclarations de slices qui pourraient être préallouées.

🕵️ Analyseur statique Haskell

Détecter les bugs de concurrence et de mémoire ainsi que les emplacements potentiels de panique dans les projets Rust

[LLVM Static Slicer] Analyses de programmes variées, construction de graphes de dépendance et découpage (slicing) de bitcode LLVM.