Semantique dynamique et analyse de flot de controle pour Java (French text)

Dans ce mémoire, nous nous intéressons à étudier le langage Java sur deux volets: la sémantique dynamique et l'analyse de flot de contrôle.; Dans la première partie de ce travail nous élaborons une sémantique dynamique formelle sous forme d'un ensemble de règles d'évaluation. Cette sémantique dynamique avec la sémantique statique élaborée dans l'équipe dans le cadre de la maîtrise de Mme Fourati constituent les fondements théoriques pour les techniques d'analyse, d'optimisation et de vérification de programmes Java.; Dans la deuxième partie nous concevons une technique d'analyse de flot de contrôle. Cette analyse est préalable à toutes les analyses statiques visant à optimisier le code ou à le vérifier. L'analyse de flot de contrôle de Java se heurte à deux obstacles majeurs: les appels dynamiques et les exceptions. Nous présentons une technique qui permet de résoudre ces deux problèmes ensemble. Cette méthode agit en deux phases: la première au niveau intraprocédural (dans une seule procédure) et la deuxième au niveau interprocédural (entre procédures). Des algorithmes de construction du graphe de flot de contrôle pour un programme Java sont proposés.