Rim Chaabane. Analyse dynamique de ... - UniversitÃ© Paris 8

More documents

Recommendations

Info

Chapitre 6 - Exemples de résultats while.c 1 #include 2 3 int x; 4 int main (void){ 5 x=0; 6 while (x
Chapitre 6 - Exemples de résultats Figure 29. Graphe de dépendances pour le code x x do.c 1 2 int main (void){ 3 int x; 4 x = 0; 5 do { 6 x++; 7 }while(x < 2); 8 return 0; 9 } x Au deuxième tour de boucle, les instructions qui y sont appelées ont leur numéro de ligne avec un compteur d appel égal à 2, c està-dire les lignes 6 :2 pour l incrémenattion de la valeur de x et la ligne 7 :2 pour la condition du while. La deuxième évaluation de la condition n étant pas vérifiée la ligne d instruction 8 :1 est exécutée pour retourner la valeur 0. 6.2.4. Boucle for for.c b i=0; i=1; Pour l exemple de boucle for, nous avons utilisé le programme « for.c », qui fait deux tours de boucles for et qui modifie la valeur de la variable b (initialisée à 5) à chaque tour de boucle en fonction de la variable i. La variable i étant l index de boucle. 1 int main (void){ 2 int i,b; 3 b = 5; 4 for (i=0; i < 2; i++){ 5 b += i; 6 } 7 return b; 8 } b b i=2; Nous voyons alors sur le graphe généré que les conditions dans l appel de la boucle for sont correctement évaluées, les deux tours de boucles sont bien effectuées et la valeur de b est également bien modifiée. Cependant, bien que nous ayons les bons résultats et les bonnes évaluations de conditions pour chaque boucle, nous voyons que notre graphique se comporte de manière innatendue. Il effectue en effet un retour sur chaque appel de condition, ce qui n est pas le cas dans notre programme. De plus, notre outil considère l initialisation et l incrémentation de l index i ainsi que l évaluation de la condition, comme étant effectués par une même instruction identifiée par la ligne du for (4 :1, 4 :2, 4 :3 dans notre exemple). Or notre programme ne i=3; Figure 30. Graphe de dépendances pour le code 65
Page 1:
Rapport de stage de DEA Intelligenc
Page 5:
Résumé Ce sujet se place dans le
Page 8 and 9:
6.2.1. L instruction if............
Page 10 and 11:
Chapitre 1 - Introduction Le monito
Page 12 and 13:
Analyse dynamique de programmes C 4
Page 14 and 15: avec un ensemble de propriétés qu
Page 17 and 18: Analyse dynamique de programmes C C
Page 19 and 20: Chapitre 2 Approche de la probléma
Page 25 and 26: Chapitre 3 Les interprètes C exist
Page 37 and 38: Chapitre 4 Exploration de l interpr
Page 45 and 46: Analyse dynamique de programmes C 5
Page 47 and 48: Analyse dynamique de programmes C e
Page 49 and 50: Chapitre 5 - Description technique
Page 61 and 62: Chapitre 6 - Exemples de résultats
Page 63: Chapitre 6 - Exemples de résultats
Page 71 and 72: Chapitre 7 - Comparaison avec l exi
Page 77 and 78: Chapitre 8 - Conclusion et perspect
Page 79 and 80: Chapitre 8 - Conclusion et perspect
Page 82 and 83: Analyse dynamique de programmes C B
Page 84 and 85: Analyse dynamique de programmes C [
Page 86 and 87: Analyse dynamique de programmes C A
Page 90 and 91: Analyse dynamique de programmes C F
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
Page 126:
This document was created with Win2
show all

Rim Chaabane. Analyse dynamique de ... - UniversitÃ© Paris 8

Create successful ePaper yourself

Delete template?

Save as template?