L’analyse statique de programmes vise à établir des propriétés concernant un programme, sans l’exécuter. Par exemple :

• Le programme répond toujours en moins de 7 millisecondes (aspect temps-réel)
• Le corps de telle boucle s’exécute toujours 32 fois (borne de boucles)
• Tel accès mémoire déclenche un défaut de cache une fois sur 8 (fréquence d’accès)

Supervisions

In English.

• Marc Pasqualetto, Training Period, Jordan Normal form
• Frédéric Fort, Training Period, early WCET using machine learning
• Vincent Mussot, PhD, representing flow information using automata
• Félix Loubaton, Training Period, loop bound analysis on assembly code
• Cyrille Ruggero, Training Period, loop bound analysis over MemCAD
• Marc Pasqualetto, Training Period, loop bound analysis over Apron
• Antoine Voizard, Training Period, data cache analysis over separation logic