Fiche de DELMAS David

Titre : Static analysis of program portability by abstract interpretation
Date : 28 novembre 2022
Heure: 14:30
Résumé : Les logiciels tendent à être utilisés plus longtemps que prévu lors de leur conception, et dans une plus grande variété d'environnements. L'adaptation d'un logiciel à de nouvelles utilisations peut s'avérer difficile et coûteuse. Assurer la portabilité des programmes est un enjeu majeur : il s'agit de s'assurer que leur compilation et leur exécution dans un environnement différent a un effet maîtrisé sur leur sémantique. Le but de cette thèse est le développement d'analyses statiques par interprétation abstraite, permettant de vérifier de telles propriétés de portabilité. Les principaux résultats sont des analyses statiques comparant les comportements de deux versions syntaxiquement proches d'un même programme C. On parle d'analyse de patchs quand les deux versions s'exécutent sur la même machine. On parle d'analyse de portabilité lorsque qu'elles s'exécutent sur des machines représentant la mémoire de manières différentes : endianisme ou alignement des champs de structures C.
Lieu : Salle 25-26/105 LIP6 Tour 26, Couloir 25-26, 2è étage 4 place Jussieu 75252 Paris Cedex 05