PAR INTERPRÉTATION ABSTRAITE Static analysis via abstract interpretation of multithreaded programs President Manuel Hermenegildo

Le but de cette thèse est de présenter une analyse statique générique pour des pro-grammes multitâche écrits en Java. Les programmes multitâche exécutent plusieurs tâches en parallèle. Ces tâches com-muniquent implicitement par le biais de la mémoire partagée et elles se synchonisent sur des moniteurs (les primitives wait − notify, etc,...). Il y a quelques années, les archi-tectures avec double processeurs ont commence ́ a ̀ être disponibles sur le marche ́ a ̀ petit prix. Aujourd’hui, presque tous les ordinateurs ont au moins deux noyaux, la tendance ac-tuelle du marche ́ étant de mettre de plus en plus de processeurs par puce. Cette révolution amène également de nouveaux défis en matière de programmation, car elle demande aux développeurs d’implanter des programmes multitâche. Le multitâche est supporte ́ en natif par la plupart des langages de programmation courants, comme Java et C#. Le but de l’analyse statique est de calculer des informations sur le comportement d’un programme, de manière conservative et automatique. Une application de l’analyse statique est le développement d’outils qui aident au débogage des programmes. Plusieurs méthodes d’analyse statique ont éte ́ proposées. Nous suivrons le cadre de l’interprétatio