L'analyse statique consiste dans l'analyse de code (source ou compilé) d’un programme et a pour but de déduire des informations sur ce programme sans l'exécuter. Une telle approche peut être très utile, car elle peut automatiser la détection des erreurs dans le code, des failles de sécurité, d'estimation de consommation de ressources de calcul, elle peut être utilisée par des compilateurs d'optimisation, etc. Les techniques d'analyse statique sont fondées sur des modèles mathématiques formels, ce qui donne une forte garantie dans les processus de certification. Cela est intéressant quand il s'agit d'établir qu'une certaine propriété est satisfaite par un code critique ou sensible avant son déploiement dans les cartes bancaires, les avions, les lignes de métro automatisées, etc. Dans ce qui suit, nous présentons plusieurs approches d'analyse statique, ainsi que plusieurs scénarios d'utilisation.
1. Introduction
Les ingénieurs informaticiens savent très bien jusqu'à quel point la recherche d'une erreur dans le code s'avère pénible. Souvent ces erreurs sont dues au fait que le développeur a oublié d'initialiser une variable avant de la déréférencer, qu'un tableau est accédé en dehors de sa longueur, qu'un objet est « casté » vers un type qui n'est pas compatible avec son type dynamique, etc. Une fois qu'on a remarqué un comportement inattendu du programme qu'on écrit (typiquement, ça plante), on peut être confronté à des heures de débogage pour identifier l'endroit d'où l'erreur provient. Bien sûr, la difficulté de la recherche de l'erreur dépend surtout de la complexité de code ainsi que de la sémantique de langage de programmation (les langages de haut niveau comme Java sont plus faciles à manipuler que des langages qui sont plus proches de langages machine comme C). Par exemple, pour le code Java qui suit :
class Person{
- Accédez à tous les contenus de Connect en illimité
- Découvrez des listes de lecture et des contenus Premium
- Consultez les nouveaux articles en avant-première