Python robuste

Chapitre 20. Analyse statique

Cet ouvrage a été traduit à l'aide de l'IA. Tes réactions et tes commentaires sont les bienvenus : [e-mail]

Avant d'aborder les tests, je voudrais d'abord parler de l'analyse statique. L'analyse statique est un ensemble d'outils qui inspectent ta base de code, à la recherche d'erreurs ou d'incohérences potentielles. C'est un atout majeur pour trouver les erreurs les plus courantes. En fait, tu as déjà travaillé avec un outil d'analyse statique : mypy. Mypy (et d'autres outils de vérification de la typographie) inspecte ta base de code et trouve les erreurs de typographie. D'autres outils d'analyse statique recherchent d'autres types d'erreurs. Dans ce chapitre, je t'expliquerai les outils d'analyse statique les plus courants pour le linting, la vérification de la complexité et l'analyse de la sécurité.

Linting

La première catégorie d'outils d'analyse statique que je vais te présenter s'appelle un linter. Les linters recherchent les erreurs de programmation courantes et les violations de style dans ta base de code. Ils tirent leur nom de l'outil d'analyse statique original : un programme nommé lint qui vérifiait les erreurs courantes dans les programmes C. Il recherchait les logiques "floues" et essayait de les éliminer. Il recherchait la logique "floue" et essayait d'éliminer ce flou (d'où le terme "linting"). En Python, le linter le plus courant que tu rencontreras est Pylint. Pylint est utilisé pour vérifier une myriade d'erreurs ...