Nous construisons une plateforme logicielle réunissant des fonctions d'analyse statique (flots de controle et de données), d'abstraction, de construction de modèles finis, et des outils de vérification et de model-checking. Cette plateforme est construite en utilisant le générateur d'environnements Smartools, qui permet de créér des environnements pour des langages spécifiques, en utilisant les technologies XML (DTD, Schemas, XSLT, ...) pour la spécification des langages, et les méthodologies objet modernes (programmation par visiteurs, aspects) pour les définitions d'analyses sémantiques. La partie implantation des fonctions d'analyse statique est réalisée en collaboration avec l'équipe LANDE à l'IRISA.
Le stage consistera à partir de nos outils à :
Prérequis :
Encadrement : Eric MADELAINE
Téléphone : 04 92 38 78 07 Email : Eric.Madelaine@sophia.inria.fr
Laboratoire ou équipe : OASIS : INRIA Sophia Antipolis
Lieu du stage: INRIA Sophia Antipolis