19.06.2014 Views

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

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

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

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

6.2.1. L instruction if............................................................................................................................... 60<br />

6.2.1.1. Cas simples ..........................................................................................................................................60<br />

6.2.1.2. If imbriqués..........................................................................................................................................61<br />

6.2.2. Boucle while .................................................................................................................................. 62<br />

6.2.3. Boucle do while ............................................................................................................................. 64<br />

6.2.4. Boucle for ...................................................................................................................................... 64<br />

6.2.5. Boucles imbriquées........................................................................................................................ 66<br />

6.3. APPELS DE FONCTIONS AVEC ET SANS ARGUMENTS......................................................................... 67<br />

6.3.1. Fonction sans arguments............................................................................................................. 676<br />

6.3.2. Fonction avec arguments............................................................................................................... 68<br />

CHAPITRE 7 - COMPARAISON AVEC L EXISTANT............................................................................... 69<br />

7.1. CALL GRAPH DRAWING INTERFACE ................................................................................................. 69<br />

7.2. ZEUGMA : REPRESENTATION METAPHORIQUE DE PROGRAMMES ................................................... 70<br />

7.3. CARE ................................................................................................................................................ 72<br />

CHAPITRE 8 - CONCLUSION ET PERSPECTIVES .................................................................................. 76<br />

8.1. LIMITES DE NOTRE OUTIL D ANALYSE DYNAMIQUE DE PROGRAMMES C ....................................... 77<br />

8.2. AMELIORATIONS POSSIBLES ............................................................................................................. 77<br />

8.2.1. Prise en charge <strong>de</strong>s spécificités du langage C............................................................................... 77<br />

8.2.2. La numérotation <strong>de</strong>s instructions et le format <strong>de</strong> la base <strong>de</strong> données ........................................... 78<br />

8.2.3. La représentation graphique ......................................................................................................... 79<br />

8.2.4. Vers un outil complet d analyse <strong>dynamique</strong> .................................................................................. 79<br />

ANNEXES............................................................................................................................................................ 85<br />

ANNEXE - I - PROGRAMMES DE TESTS DES INTERPRETES C ET TRACES DE TESTS ....................................... 88<br />

ANNEXE - II - COMMANDES INTERNES A EIC EN MODE INTERACTIF............................................................ 91<br />

ANNEXE - III - DIRECTIVES D APPEL A EIC EN MODE BATCH ....................................................................... 93<br />

ANNEXE - IV - SCRIPT SHELL "EIC_ADPC.SH ............................................................................................... 95<br />

ANNEXE - V - SCRIPTS AWK............................................................................................................................ 98<br />

ANNEXE - VI - EXTRAITS DU CODE SOURCE MODIFIE DE EIC ....................................................................... 99

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!