Une erreur très fréquente lors de la conception d'un programme est l'accès à des éléments de tableaux non initialisés. Il est important de détecter ces erreurs car le comportement du programme est alors imprévisible, voire nuisible dans le cas d'une application sensible.
Certains compilateurs proposent d'initialiser systématiquement tous les éléments de tableaux à une valeur spéciale, puis de tester les références en lecture lors de l'exécution, pour vérifier que cette valeur spéciale n'est pas récupérée. Mais ces techniques ralentissent considérablement les performances de l'application.
Une solution consiste donc à vérifier à la compilation que les éléments de tableaux référencés en lecture ont bien été précédemment initialisés. Le stage consistera à définir et implanter un algorithme de détection des erreurs d'initialisation de tableaux, à partir d'informations calculées préalablement dans PIPS, les régions de tableaux. Cette implantation sera réalisée dans le langage C.
Contact: François Irigoin - 01.64.69.48.48 - irigoin@cri.ensmp.fr
Voir aussi
la description du projet PIPS.