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

More documents

Recommendations

Info

Chapitre 6 - Exemples de résultats prend pas encore en compte l exécution de deux instructions sur une même ligne. Il nous faudrait alors trouver un moyen de gérer, au niveau de la numérotation de nos instruction les cas d instructions sur une même ligne (cf. chapitre 8). 6.2.5. Boucles a imbriquées imbriques.c 1 #include 2 int main(void){ 3 int a,b,c; 4 b = 2; 5 a = 3; 6 c = 0; 7 do { 8 while (c < b){ 9 c++; 10 } 11 b++; 12 } while (c
Chapitre 6 - Exemples de résultats 6.3. Appels de fonctions avec et sans arguments Nous voyons dans cette section la manière dont sont représentés graphiquement les appels de fonctions, définies dans un programme C. Nous commençons par présenter l exemple d un appel d une fonction sans arguments, avec des variables qui lui sont locales, puis nous présentons un deuxième exemple d appel d une fonction avec arguments. 6.3.1. Fonction sans arguments Nous utilisons le programme « foncssarg.c » pour présenter le cas d un appel d une fonction sans argument. Ce programme commence par définir la fonction add23() qui aditionne deux variables entières, définies en local, de valeur 2 et 3, puis retourne leur somme. La fonction main() est définie ensuite et ne fait que retourner le résultat de l appel à la fonction add23(). foncssarg.c x y 1 2 int add23 (void) { 3 int x,y; 4 x = 2; 5 y = 3; 6 return x+y; 7 } 8 9 int main(void) { 10 return add23(); 11 } On peut voir sur la figure 32 le graphe de dépendances généré pour ce programme. La fonction add23() est ainsi appelée en premier en ligne 10 :1, ses variables locales sont définies aux lignes 4 :1 et 5 :1 et sont identifiées par 1-0 pour x et 1-1 pour y. Nous voyons également sur cette figure, que la fonction add23-1 n est pas reliée à la fonction Return-2. Ceci est en effet dû au fait que nous ne générons pas encore d informations dans notre base de données pour relier la fonction appelée à l instruction l appelant, ici Return-1 de la fonction add23-1 devrait être reliée à Return-2 (cf. lien en pointillés rouges). Nous verrons au chapitre 8 comment nous pouvons remédier à cela. Figure 32. Graphe de dépendances de données pour "foncssarg.c". De plus, contrairement au cas du for, l appel d une fonction dans une instruction est considéré comme la succession de deux instructions : d abord l appel de la fonction puis l instruction ellemême. Ici la fonction add23() est exécutée en ligne 10 :1 et lorsque la fonction fait appel a sa valeur de retour, le compteur d appel de l instruction 10 est incrémenté au lieu de rester à 1. 67
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 65: 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 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?