Résumé
L'analyse statique a de nombreuses applications dans le paradigme "Orienté Objet". L'une des plus connues est l'élimination du "dynamic dispatch". Le travail effectué dans le cadre de ce mémoire s'intègre dans un projet global d'analyse statique de programmes Java. Ce projet a pour caractéristique particulière l'application directe d'une méthodologie appelée Interprétation abstraite. Ce mémoire se divise en deux parties principales. La première partie décrit un "traducteur"de Java vers SAP, langage du type "syntaxe abstraite" très proche de Java mais plus simple et plus adapté à des analyses statiques. La seconde partie présente un analyseur complet pour un sous-ensemble de SAP.
la date de réponse | 2001 |
---|---|
langue originale | Français |
Superviseur | Baudouin LE CHARLIER (Promoteur) & Isabelle Pollet (Copromoteur) |