Vous êtes ici

  1. Accueil
  2. Techniques d’analyse statique

Techniques d’analyse statique

Techniques d’analyse statique

En pratique :

Langue principale : français

Description du contenu de l'enseignement

  • cours sur les notions de bases de construction de langage et de compilation (CST, AST…) ;
  • règles de codage : intérêts, normes existantes, apport à la production d’un code robuste et sécurisé ;
  • qualité : démarche qualité dans la production d’un logiciel, et outils de qualimétrie de code. Quelles informations sont apportées par les métriques d’un code source ?
  • travaux pratiques sur l’utilisation d’outils d’analyse statique, de qualimétrie, et d’interprétation abstraite. Un cas d’étude mettra en avant la détection de vulnérabilités dans un code source par les outils d’analyse statique.