Static Analysis
El análisis estático examina el código fuente o el bytecode sin ejecutar el programa, encontrando bugs potenciales, vulnerabilidades de seguridad y problemas de estilo.
Propósito
Detectar defectos temprano en tiempo de compilación o commit, reduciendo fallos en ejecución y costes de corrección.
Mecanismo
El análisis léxico/sintáctico construye el AST; el análisis de flujo de datos/control rastrea variables y caminos. Verificación de tipos, detección de punteros nulos, variables sin uso, complejidad ciclomática y más. Herramientas: ESLint, SonarQube, Clang Static Analyzer.
Casos de uso
- Aseguramiento de la calidad del código
- Escaneo de vulnerabilidades de seguridad
- Puertas de CI