Participants : Mireille Ducassé
Nous avons développé un outil, Opium, qui analyse les traces d'exécution de programmes générées par un traceur Prolog existant. Les expériences qui ont été faites avec Opium sont très prometteuses [23]. Il a permis, en particulier, d'implémenter à faible coût des traceurs abstraits pour des langages de haut-niveau. Il a également été utilisé pour fabriquer facilement des démonstrations d'applications sophistiquées.
Une application des principes d'Opium est en cours pour le langage C. Il s'agit de connecter un module d'analyse de traces au traceur C GDB.
Participants : {