École Nationale Supérieure de
Techniques Avancées

Résumé

1 Résumé 1.1 Résumé La bonne exécution d'un programme peut être perturbé par l'environnement ou des actions malveillantes sur le matériel. Ces perturbations peuvent se traduire par des fautes, des comportements imprévus du programme. Un exemple de faute est l'inversion de test, où le programme emprunte la mauvaise branche à la suite d'une conditionnelle if/else. Pour se prémunir de ces écueils, il est nécessaire d'incorporer dans le code des protections logicielles appelées contre-mesures. Ces contre-mesures ont pour but de détecter les fautes et réagir en conséquence. Malheureusement ces contre-mesures ralentissent l'exécution du programme ou bien augmentent sa taille. Or les compilateurs tentent souvent de rendre le code exécutable plus performant et plus petit. Les contre- mesures sont donc régulièrement éliminées à la compilation car considérées comme du code mort ou du code présent en double. L'objectif de ce PRe est d'étudier l'impact de la compilation et des optimisations de compilateur sur les contre-mesures, en simulant des fautes pour évaluer la résilience des programmes.