Méthodes à base de recherche pour l'amélioration automatique de la précision d'analyses statiques
Search-based Methods for Automated Precision Improvement in Static Analysis
Jury
Rapporteur_FERET_Jérôme_Inria
Rapporteur_FERRARA_Pietro_Ca' Foscari University of Venice
Examinateur_URBAN_Caterina_Inria
Examinateur_MERTZ_Stephan_Inria
Directeur de these_MARION_Jean-Yves_Loria, University of Lorraine
Examinateur_PUTOT_Sylvie_Institut Polytechnique de Paris
école doctorale
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Laboratoire
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Mention de diplôme
Informatique
Amphitheatre, CEA Nano Innov
2 Bd Thomas Gobert, 91120 Palaiseau
Mots clés
code obfusqué,exécution symbolique,interprétation abstraite,et apprentissage automatique,
Résumé de la thèse
L'imprécision est un phénomène très courant en analyse statique, qui se manifeste par des fausses alertes lorsqu'elle est utilisée pour la vérification de programmes. Concevoir des techniques automatiques permettant d'améliorer la précision des analyses statiques constitue un vieux rêve, mais demeure un problème hautement non trivial. Au cours des deux dernières décennies, l'analyse statique a donné naissance à diverses techniques de raffinement visant à accroître la précision à travers différentes formes de sensibilité.
Keywords
Abstract Interpretation,Symbolic execution,Obfuscated Codes,Machine Learning,
Abstract
Imprecision is a very common phenomenon in static analyses that results in false alarms
when used for program verification. Designing automatic techniques to improve static analysis
precision is an old dream, but it is a highly non-trivial problem. In the last two decades, static
analysis gave rise to refinement techniques to improve precision through various forms of sen-
sitivity.
