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

More documents

Recommendations

Info

Analyse dynamique de programmes C Annexe - IV - Script shell "eic_adpc.sh # eic_adpc.sh # -------------------------------------------------------- # Fichier Shell qui lance l'execution de EiC en mode batch # avec l'option de trace d'un programme. #! /usr/bin/sh RACINE="$HOME/bin" PROGSC="$HOME/bin/codes_test" DATA="$HOME/bin/datas" DOT="$HOME/bin/dot" GRAPH="$HOME/bin/graphs" if [ -z "$1" ] then echo "Veuilez saisir un nom de fichier en argument." exit 1 else extension=`echo $1 | cut -f2 -d"."` if [ "$extension" != c ] then echo "Le fichier n'est pas d'extension .c ! saisissez un nom valide de fichier C." else if [ -r "$PROGSC/$1" ] then fichier=`echo $1 | cut -f1 -d "."` ./eic -t $PROGSC/$1 > $DATA/tmp.data awk -f $RACINE/formaterdata.awk $DATA/tmp.data > $DATA/$fichier.data awk -f $RACINE/graph1.awk $DATA/$fichier.data > $DOT/$fichier.dot awk -f $RACINE/graph2.awk $DATA/$fichier.data >> $DOT/$fichier.dot dot -Tps -o $GRAPH/$fichier.ps $DOT/$fichier.dot gv $GRAPH/$fichier.ps else echo "Le fichier n'existe pas ou n'est pas en droit de lecture." fi fi fi 96
Analyse dynamique de programmes C 97
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 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?