Home > Research > Étudiants/Post-docs > Marc Pegon

Marc Pegon

Analyse de programmes par interprétation abstraite

Friday 27 May 2011

Years: 2011 (IRL Ensimag)
Co-supervisor: David Monniaux
Subject: Analyse de programmes par interprétation abstraite
Abstract:

L’interprétation abstraite est une méthode d’analyse statique utilisée dans plusieurs outils industriels d’analyse de programmes. Dans ce document, nous montrons comment il est possible de réaliser très rapidement un analyseur de programmes C par interprétation abstraite à l’aide d’outils biens choisis ­ les bibliothèques LLVM et Apron. Après un bref rappel sur l’interpré- tation abstraite, nous présentons ces outils, puis nous donnons les détails d’implémentation de notre analyseur. Enfin nous présentons les résultats obtenus sur des programmes simples.


Publications HAL de Marc,Pegon

View online : Page de résultats sur Ensiwiki

Attached documents

  • Report

    27 May 2011
    info document : PDF
    428.3 kb
  • Slides

    27 May 2011
    info document : PDF
    292.3 kb

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License