Static Analysis
L'analyse statique examine le code source ou le bytecode sans exécuter le programme, trouvant des bugs potentiels, des vulnérabilités de sécurité et des problèmes de style.
Objectif
Détecter les défauts tôt, à la compilation ou au commit, réduisant les défaillances à l'exécution et les coûts de correction.
Mécanisme
L'analyse lexicale/syntaxique construit l'AST ; l'analyse de flux de données/contrôle suit variables et chemins. Vérification de types, détection de pointeurs nuls, variables inutilisées, complexité cyclomatique, etc. Outils : ESLint, SonarQube, Clang Static Analyzer.
Cas d’usage
- Assurance qualité du code
- Scan de vulnérabilités de sécurité
- Portes CI