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

More documents

Recommendations

Info

Analyse dynamique de programmes C Annexe - V - Scripts awk # formaterdata.awk # -------------------------------------------------------- # Supprime la base de donnee pour ne garder que les données # du programme a analyser /codes_test\//,/EiC/ { print $0 } # graph1.awk # -------------------------------------------------------- # Genere les premieres lignes du fichier .dot BEGIN { printf "digraph G { ranksep=.75; size=\"7.5,7.5\";\n{\nnode [shape=plaintext, fontsize=16];\n" } # { print } $1 == "#" { printf "\"%s\" -> ", $2 } END { printf "\"end\";\n}\n" } # graph2.awk # -------------------------------------------------------- # Genere l essentiel du fichier .dot BEGIN { lastline = " " } $1 == "main" { printf "{rank = same;\n\"%s:%s\"; \"#%s:%s\";\n}\n\n", $2, $3, $2, $3 printf "\"#%s:%s\" [label=\"main-%s\", shape=box, color=red]\n", $2, $3, $3 #printf "\"#%s:%s\" -> ", $2, $3 lastline = "\"#"$2":"$3"\""} $1 == "Def" { if (lastline != " ") { printf "%s -> \"#%s:%s\"\n\n", lastline, $4, $5 lastline = " " } $3 } printf "{rank = same;\n\"%s:%s\"; \"#%s:%s\";\n}\n", $4, $5, $4, $5 printf "\"#%s:%s\" [label=\"%s=%s\", color=green]\n\n", $4, $5, $2, $1 == "Use" { printf "\"#%s:%s\" -> \"#%s:%s\"\n", $3, $4, $5, $6 } $1 == "Call" { i = 4 if (lastline != " ") { printf "%s -> \"#%s:%s\"\n\n", lastline, $2, $3 lastline = "\"#"$2":"$3"\"" } #printf "\"#%s:%s\"\n", $2, $3 printf "{rank = same;\n\"%s:%s\"; \"#%s:%s\";\n}\n", $2, $3, $2, $3 printf "\"#%s:%s\" [label=\"Call-%s\\n", $2, $3, $3 while (i \"#%s:%s\"\n\n", lastline, $4, $5 lastline = "\"#"$4":"$5"\"" } #printf "\"#%s:%s\"\n", $4, $5 98
Analyse dynamique de programmes C printf "{rank = same;\n\"%s:%s\"; \"#%s:%s\";\n}\n", $4, $5, $4, $5 printf "\"#%s:%s\" [label=\"Cond-%s\\n%s\", shape=diamond, headport=w, tailport=e]\n", $4, $5, $5, $2 if ($3 == "0") lastline="\"#"$4":"$5"\":e" else lastline="\"#"$4":"$5"\":w" } $1 == "Return" { if (lastline != " ") { printf "%s -> \"#%s:%s\"\n\n", lastline, $3, $4 lastline = "\"#"$3":"$4"\"" } #printf "\"#%s:%s\"\n", $3, $4 printf "{rank = same;\n\"%s:%s\"; \"#%s:%s\";\n}\n", $3, $4, $3, $4 printf "\"#%s:%s\" [label=\"Return-%s\\n%s\", shape=box]\n", $3, $4, $4, $2 } END { printf "\n}\n" } 99
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 21 and 22:
Page 23 and 24:
Page 25 and 26:
Chapitre 3 Les interprètes C exist
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Chapitre 4 Exploration de l interpr
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
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 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 102 and 103: Analyse dynamique de programmes C 1
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?