Capítulo 20. Análisis estático
Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: translation-feedback@oreilly.com
Antes de pasar a las pruebas, quiero que hable del análisis estático. El análisis estático es un conjunto de herramientas que inspeccionan tu código base, buscando posibles errores o incoherencias. Es una gran baza para encontrar errores comunes. De hecho, ya has estado trabajando con una herramienta de análisis estático: mypy. Mypy (y otros comprobadores de tipado) inspeccionan tu base de código y encuentran errores de tipado. Otras herramientas de análisis estático buscan otros tipos de errores. En este capítulo, te guiaré a través de los analizadores estáticos más comunes para la comprobación de errores, la comprobación de la complejidad y el escaneo de seguridad.
Pelusa
La primera clase de herramientas de análisis estático por la que te guiaré se llama linter. Los linters buscan errores comunes de programación y violaciones de estilo en tu código. Reciben su nombre del linter original: un programa llamado lint que solía comprobar los programas en C en busca de errores comunes. Buscaba la lógica "difusa" e intentaba eliminarla (de ahí lo de linting). En Python, el linter más común que encontrarás es Pylint. Pylint se utiliza para comprobar una miríada de errores comunes:
-
Ciertas violaciones de estilo de la guía de estilo de Python PEP 8
-
Código muerto que es inalcanzable (como el código después de una sentencia return)