Dans cette présentation, je vous parlerai de mes travaux sur l’analyse de valeurs par interprétation abstraite des langages fonctionnels.
Nos premiers résultats, basés sur des domaines abstraits relationnels et des résumés des champs récursifs des types algébriques, permettent d’analyser des fonctions récursives du premier ordre manipulant des types algébriques récursifs et d’inférer dans un domaine abstrait leur relation entrée-sortie. Ces méthodes sont implémentées avec succès sur la plateforme d’analyse multilangage MOPSA pour le langage OCaml.
Nos recherches actuelles visent à conserver cette compositionnalité pour l’analyse des fonctions d’ordre supérieur, pour ainsi obtenir une relation entrée-sortie précise dès leur point de définition. Je présenterai nos pistes, dont l’évaluation expérimentale est en cours.
