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

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