Skip to Main content Skip to Navigation
Master Thesis

Vérification probabiliste de résultats d'analyse statique

Résumé : Ce document traite de la vérification probabiliste de résultats d'analyse statique. Il s'agit plus précisément de mettre au point un algorithme de Monte-Carlo permettant de vérifier qu'un objet (appelé certificat) que l'on nous donne est bien le résultat d'une analyse statique. À notre connaissance, aucun algorithme de la sorte n'existe. Nous avons donc commencé par nous définir un cas précis sur lequel travailler à savoir une analyse Points-to sur un langage impératif simple que nous définissons. Nous avons ensuite proposé un algorithme de Monte-Carlo qui soit simple à implémenter et rapide à exécuter pour ce cas en particulier. Une grande partie de notre travail a alors consisté à démontrer que l'algorithme avait de bonnes propriétés de convergence en termes de probabilité d'erreur. Nous avons enfin implémenté cet algorithme afin d'obtenir des résultats expérimentaux. Finalement, nous proposons des pistes pour élargir le champ d'application et ne plus se restreindre à un cas précis.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://dumas.ccsd.cnrs.fr/dumas-00725213
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy <>
Submitted on : Friday, August 24, 2012 - 11:49:58 AM
Last modification on : Saturday, July 11, 2020 - 3:23:01 AM
Long-term archiving on: : Sunday, November 25, 2012 - 2:32:04 AM

Identifiers

  • HAL Id : dumas-00725213, version 1

Citation

Antoine Bride. Vérification probabiliste de résultats d'analyse statique. Informatique et langage [cs.CL]. 2012. ⟨dumas-00725213⟩

Share

Metrics

Record views

488

Files downloads

355