Pre19 esentation finale du travail de fin d'e19 etude

´Vers l’interpretation abstraite de Jimple´Semantique standard et domaine abstraitPromoteur : B. LE CHARLIER´ ´Etendre le cadre d’interpretation`abstraite a Java´ ´ `References : These d’Isabelle Pollet, Towards a generic frame work for the abstract interpretation of JavaThe Java Language Specification Second EditionM. Van de Reyd & N. BaertsååPlan de la presentation´ Introduction Jimple´ Elaboration de la semantique´ standardexemple du formalisme utilise´- appel virtuel- implementation´ des regles` de returninterpreteur´ Jimple´ Elaboration du domaine abstrait- booleans- tableaux Conclusion` `- vers une extension de la these a JavaM. Van de Reyd & N. Baerts 1åååååååIntroduction - Jimple - Semantique´ standard - Domaine abstrait - ConclusionIntroduction Cadre theor´ ique pour l’analyse par interpretation´ abstraite de Java[These` d’Isabelle Pollet]concepts les plus importants de Javasyntaxe abstraite : LASbut de notre memoire´ : etendre´ le cadre theor´ ique a` Java tout entier Remplacer LAS par un langage plus etendu,´ Jimple.´redefinir la syntaxe de Jimple´ ` `adapter la semantique concrete a Jimplevalider la s´modifier le domaine abstrait la semantique´ abstraiteM. Van de Reyd & N. Baerts 2ååååIntroduction - Jimple - Semantique´ standard - Domaine abstrait - ConclusionJimple Jimple’ bytecode Java sans pile explicite´ ´semantique operationnelle’ celle du bytecode Java(cfr. spec. de la JVM)´ ´ ` ´developpe dans ...