Rim Chaabane. Analyse dynamique de ... - Université Paris 8

Analyse dynamique de programmes C
Chapitre 1 - Introduction
Ce projet d analyse dynamique de programmes C, se place dans le cadre de travaux de recherches
sur l analyse de programmes. Ces travaux ont pour but de faciliter la compréhension de
programmes, d aider les développeurs tenus de maintenir des programmes à cerner plus
facilement les actions effectuées par ces derniers et de leur éviter la lecture exhaustive des très
nombreuses lignes de codes pouvant composer un programme.
Avant de détailler les objectifs de ce projet, nous commençons par expliquer qu est ce que
l analyse de programmes, et les différentes techniques d analyses existant à l heure actuelle. Dans
la deuxième section, nous définissons les objectifs du projet d analyse dynamique de programmes
C. La dernière section donne un aperçu rapide des capacités de notre outil d analyse dynamique
de programmes C.
1.1. Qu est-ce que l analyse de programmes ?
L analyse de programmes est un domaine de recherche qui s est développé dans le but de
comprendre assez rapidement les propriétés des programmes de plus en plus complexes, et dont
la maintenance devient fastidieuse. En effet, il devient nécessaire de mécaniser la procédure de
maintenance d un programme ou du moins d en faciliter la tâche, d autant plus que cette tâche est
la plus coûteuse dans le cycle de production d un logiciel. Des études ont d ailleurs montré que
20% du coût de production est généré lors de la phase de développement, 40% lors de la phase
de débuggage et 40% lors de la phase d ajout de nouvelles fonctionnalités [HAT 97, JAH 00]. Il
est donc évident que 80% des dépenses se font lors de la phase de correction-maintenance d un
logiciel. Ceci explique l importance pour les industries de réduire leurs dépenses pour la
maintenance d un programme.
Un analyseur de programmes est alors une aide précieuse pour le développeur, car il lui permet de
comprendre plus facilement ce que fait un programme, en particulier dans le cas où ce dernier fut
développé plusieurs années en arrière et/ ou par différents programmeurs. Un analyseur permet
également de détecter plus facilement des erreurs ou des instructions consommatrices en
ressources systèmes, ce qui favorise alors un débuggage et une optimisation de code plus rapides.
Voici une liste possible d utilisation des résultats d outils d analyse [LAN 05] :
Les analyses de flots de données permettent de détecter notamment les variables inutiles
ou les expressions calculées à un point de programme donné.
Les analyses d'alias produisent des informations sur le partage entre variables dans les
langages à manipulation explicite de pointeurs.
Le filtrage de programmes (slicing) consiste à identifier les instructions d'un programme
nécessaires au calcul de variables données.
Le débuggage est une analyse dynamique de programmes interactive, qui permet à
l utilisateur de spécifier «à la volée » les informations et propriétés qu il désire voir sur
l exécution en cours.
9