La compilation interprocédurale d'une application génère énormément d'information mais pour le programmeur il n'est facile ni d'accéder à la bonne information, ni de naviguer vers les informations complémentaires dont il peut avoir besoin.
L'objectif de ce stage est de définir une stratégie de navigation interprocédurale permettant de suivre les évolutions, utilisations et définitions, d'une ou de plusieurs variables, et de suivre les relations existant entre variables.
Les diverses analyses nécessaires ont déjà été implémentées dans l'environnement de programmation interprocédurale PIPS. Leurs résultats sont attachés aux instructions et aux modules des applications analysées. Le stage pourra donc se poursuivre par une implémentation rapide d'une d'interface graphique, réalisée avec une technologie légère.
Contact: François Irigoin - 01 64 69 48 48 - irigoin@cri.ensmp.fr
Voir aussi
la description du projet PIPS.