Seminaire Oasis

Florimond Ployette

Projet Lande, IRISA

Mardi 16 oct 2001, 14h, salle du conseil

Title : Outils d'analyse statique pour Java
Résumé :
Nous décrirons les outils d'analyse statiques développés dans l'équipe Lande, en insistant sur leur architecture et leurs fonctionalités:
- Etat des lieux Soot+Reqs (description des architectures)
- point sur Reqs: séparation production système d'équations-résolution
- forme du bytecode: bytecode java vs code 3 adresses (type Jimple)
- Nature des analyses , types de résultats, visualisation des résultats:
* prendre les analyses "partage d'objet" et analyse de classes comme points de départ.
* graphe de flot de contrôle , d'appel, AST,...
* visualisation des graphes (dot vs. outils SmartTools)

Retour au sommaire / Back to schedule

Eric Madelaine

Last modified: Fri Sep 14 15:21:44 MEST 2001