Rim Chaabane. Analyse dynamique de ... - Université Paris 8
Rim Chaabane. Analyse dynamique de ... - Université Paris 8
Rim Chaabane. Analyse dynamique de ... - Université Paris 8
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapitre 7 - Comparaison avec l existant<br />
Figure 39. Représentation hiérarchique <strong>de</strong>s appels <strong>de</strong> fontions du programme <strong>de</strong> la figure 37<br />
Figure 40. Représentation graphique d'un slice <strong>de</strong> la fonction Get Number<br />
Comme nous pouvons voir sur ces figures, les données <strong>de</strong>s variables manipulées ne sont pas<br />
représentées, contrairement à notre outil. CARE se présente donc comme un outil complet pour<br />
l analyse statique <strong>de</strong> programmes C, et permet grâce à son interface <strong>de</strong> visualiser un ensemble <strong>de</strong><br />
représentations permettant ainsi au <strong>de</strong>veloppeur d avoir une meilleure connaissance du<br />
programme. Notre outil permet <strong>de</strong> représenter le graphe <strong>de</strong> hiérarchie, <strong>de</strong> la même manière que<br />
CARE, mais en se basant sur une analyse <strong>dynamique</strong> ce qui le rend plus précis.<br />
De plus, CARE fonctionne sur <strong>de</strong>s machines DEC et <strong>de</strong>s stations <strong>de</strong> travail HP avec un système<br />
Unix avec un X-based Motif GUI. Contrairement à notre outil qui peut être utilisé sur<br />
différentes plateformes (cf. section 3.4).<br />
Ainsi, notre outil d analyse <strong>dynamique</strong> <strong>de</strong> programmes C, apporte grâce à sa base d analyse<br />
<strong>dynamique</strong> <strong>de</strong> programme la possibilité d avoir une trace précise <strong>de</strong>s dépendances entre données,<br />
ce que n offre aucun <strong>de</strong>s outils présentés dans ce chapitre, bien qu ils permettent d avoir une idée<br />
du fonctionnement d un programme à partir <strong>de</strong> son co<strong>de</strong> source.<br />
75