Mémoire de D E A

Jérôme Feret

Description

Niveau: Supérieur
Mémoire de D.E.A. Laboratoire d'Informatique de l'École Polytechnique Conception de -sa : un analyseur statique générique pour le -calcul Jérôme Feret sous la direction de : Radhia Cousot Arnaud Venet soutenu le 14 septembre 1999

• processus alternés


• problèmes d'échappement


• compteur de processus


• indépendance des variables


• sémantique abstraite


• relation d'exclusion


• contraintes d'exclusion mutuelle


• transfert de point xe


• analyse du ux de controle


• domaines abstraits

Sujets

• École polytechnique

Informations

• Publié par: chaeh
• Publié le: 01 septembre 1999
• Nombre de lectures: 13
• Langue: Français

Extrait

:
Moire
alcul
de
le
D
sous
Lab
V
oratoire
1999
dnformatique
F
de
direction
lcole
Cousot
P
souten
olytec
septem
hnique

Conception
Je
de
eret

la
a
de
:
Radhia
un
Arnaud
analyseur
enet
statique
u
gique
14
p
bre
our
le40
T
.
able
.
des
.
maties
.
1
Princip
Rum
.
6
.
2
.
Pren
.
tation
.
du
Relation

.
alcul
.
7
.
2.1
.
Motiv
Cohence
ation
initiale
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
.
Cohence
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.3.3
.
.
7
raduction
2.2
.
San
.
tique
.
traditionnelle
.
.
.
.
.
.
.
.
.
.
3.4.1
.
.
.
3.4.2
.
.
.
raduction
.
.
.
.
.
.
.
.
.
.
.
.
.
28
.
.
.
.
.
.
.
.
.
.
.
.
7
.
2.2.1
.
Syn
.
taxe
.
.
3.2.7
.
.
.
.
.
.
.
tique
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
2.2.2
38
San
.
tique
.
op
.
ationnelle
San
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8
.
2.3
.
Analyse
.
.
44
.
.
.
.
.
.
.
T
.
.
.
.
.
.
.
.
.
.
.
.
.
ransitions
.
.
.
.
.
.
.
.
.
.
.
.
.
3.2.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
14
.
2.4
3.3
San
.
tique
.
paresseuse
.
.
.
.
.
.
.
.
32
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
32
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
.
3
3.3.4
San
.
tique
.
nontandard
.
19
.
3.1
.
San
.
tique
T
p
.
etitas
.
.
.
.
.
.
.
.
.
.
35
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
39
.
gloutonne
.
.
.
.
.
.
.
.
19
.
3.1.1
.
In
e
tro
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.4.3
.
.
.
.
.
.
.
.
.
.
.
.
.
T
.
.
.
.
.
.
.
.
.
.
.
.
19
40
3.1.2
.
Dnitions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.2.4
.
raduction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
20
T
3.1.3
.
T
.
raduction
.
initiale
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
.
Cohence
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
20
.
3.1.4
.
T
32
ransitions
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
32
.
San
.
relativiste
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
20
.
3.1.5
.
Ind
3.3.1
endance
e
des
.
v
.
ariables
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.3.2
.
dxclusion
.
.
.
.
.
.
.
.
.
.
22
.
3.1.6
.
Cohence
.
.
.
.
.
.
33
.
Dnitions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
.
T
.
initiale
.
.
.
.
.
.
.
.
.
.
.
.
.
.
24
.
3.1.7
.
Conclusion
.
.
.
.
3.3.5
.
ransitions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.3.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
.
3.2
.
San
.
tique
.
onome
3.3.7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.4
.
tique
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
.
3.2.1
.
Motiv
.
ation
40
.
Princip
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
40
.
Dnitions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
.
3.2.2
.
Princip
.
e
40
.
T
.
initiale
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.4.4
.
ransitions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
3.4.5
3.2.3
.
Dnitions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
..
3.4.6
.
Conclusion
6.1.1
.
.
.
.
.
.
.
alles
.
.
.
75
.
domaines
.
6.1.2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
tre
.
.
.
.
.
.
.
Rultats
44
t
4
.
In
.
terpration
.
Abstraite
.
46
.
4.1
.
Une
.
thrie
con
dppro
.
ximation
.
discre
.
.
.
.
.
.
.
.
.
.
.
.
utuelle
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
abstraites
46
.
4.2
.
San
.
tique
.
concre
.
.
.
.
74
.
.
.
Domaine
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
.
Analyse
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
es
46
.
4.3
.
San
6.1.4