Accueil > Recherche > Étudiants/Post-docs > Marc Pegon

Marc Pegon

Analyse de programmes par interprétation abstraite

vendredi 27 mai 2011

Années: 2011 (IRL Ensimag)
Co-encadrant: David Monniaux
Sujet: Analyse de programmes par interprétation abstraite
Résumé:

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.


2019

Preprints, Working Papers, ...

ref_biblio
Vincent Millot, Marc Pegon. MINIMIZING 1/2-HARMONIC MAPS INTO SPHERES. 2019. ⟨hal-01985037⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01985037/file/MilPeg-submit.pdf BibTex

Voir en ligne : Page de résultats sur Ensiwiki

Documents joints

  • Rapport

    27 mai 2011
    info document : PDF
    428.3 ko
  • Transparents

    27 mai 2011
    info document : PDF
    292.3 ko

Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License