Programmation Python/Analyse statique de programmes

Python offre plusieurs outils d'analyse statique de programmes.

Programmation Python

Partie 1 - Introduction

1. Avant-propos à l'attention des non-programmeurs
2. Introduction
3. Installation
4. Éditeurs
5. Programmer en deux minutes
   • une messagerie instantanée
   • un programme interfacé avec Wikipédia
   • un serveur Web

Partie 2 - Le langage

1. Afficher un texte
2. Structure d'un programme
3. Variables
4. Opérateurs
5. Structures de contrôle
6. Instructions répétitives
7. Types
   • Numériques
   • Booléens
   • Chaines de caractères
   • Listes
   • Tuples
   • Dictionnaires
   • Dates
   • Ensembles
8. Fonctions
9. Modules
10. Exercices
    • Palindrome
11. Regex
12. Programmation orientée objet pour les non-programmeurs
13. Classes
14. Classes et Interfaces graphiques
15. Fichiers
16. Exceptions
17. Bases de données
    • Gestion
18. L'interface CGI
19. Applications web
20. Réseau
21. Threads

Partie 3 - Les bibliothèques

1. Bibliothèques pour Python
2. L'interface graphique
3. Utilisation de fenêtres et de graphismes
   • Tkinter
   • Widgets
   • Turtle
4. Les threads
5. XML
6. JSON
7. Tests
8. Analyse statique de programmes
9. Fabric
10. Le Web
    • Django
    • Karrigell
    • Aiohttp

pylint

Cet analyseur de code statique vérifie les potentiels erreurs (ex : variable non déclarée) et le formatage du code pour le rendre plus lisible par les humains.

Installation :

apt install pylint

Lancement de l'analyse, qui donne une note sur 10 :

pylint $(git ls-files '*.py')

flake8

Idem.

Installation :

pip install flake8

Lancement :

flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics

autopep8

Utilitaire de formatage du code selon la norme https://peps.python.org/pep-0008/.

Installation :

pip install autopep8

Lancement du reformatage d'un fichier :

autopep8 --in-place --aggressive mon_fichier.py

Lancement du reformatage du dossier courant récursivement :

find . -name '*.py' -exec autopep8 --in-place '{}' \;:

Sourcery

Il s'agit d'un outil avec deux composants :

• Un plugin de PyCharm pour suggérer des améliorations en cours de frappe.
• Un scanner en ligne de commande capable de corriger les erreurs lui-même.

Installation

pip install sourcery

Puis dans la racine du programme :

sourcery init

Cela crée un .sourcery.yaml permettant d'ajuster la configuration du scanner, par exemple pour ignorer certaines recommandations ou certains fichiers.

Utilisation

Pour scanner :

sourcery review .

Pour scanner et modifier un seul fichier :

sourcery review ./mon_fichier.py --fix