Titre

Mesure et mod�lisation probabiliste de la dangerosit� des exceptions (stage recherche)

�quipe

ADAM

Responsable HDR

Laurence Duchien <laurence.duchien@inria.fr>

Encadrants

Martin Monperrus <martin.monperrus@univ-lille1.fr

Contexte:

L'�quipe de recherche ADAM est une �quipe de recherche en g�nie logiciel. Vous prendrez part aux activit�s de l'�quipe li�es � la cr�ation d'algorithme de r�paration automatique des logiciels et � la mise au point de logiciel r�silient aux bugs.

Probl�matique:

Ce stage de recherche (5-7 mois) explorera la mesure et la mod�lisation de la dangerosit� des exceptions. Un premier mod�le de la dangerosit� d'une exception consiste en la mesure de 1) la probabilit� d'�tre d�clench�e et 2) la probabilit� de remonter jusqu'� la routine principale et de faire crasher l'application.

Travail � r�aliser:

Dans un premier temps, vous estimerez ces deux probabilit�s � partir des stacktraces trouv�s sur le web et dans les bases de bugs des projets open-source. Dans un second temps, vous d�velopperez une analyse statique permettant d'affiner ce mod�le suivant l'endroit pr�cis o� l'exception est d�clench�e (en Java en utilisant la librairie Soot). Enfin, vous �tudierez un mod�le probabiliste du logiciel (� la [1]) permettant d'estimer le risque global d'une m�thode (et a fortiori d'une application) de succomber � une exception.

Bibliographie:

1. Randomized Accuracy-Aware Program Transformations for Efficient Approximate Computations, Proceedings of POPL, 2012