Analyse des pointeurs pour le langage C
Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la compilation. Contrairement aux analyses dynamiques, le comportement exact du programme ne peut être connu. Par conséquent, on a recours à des approximations pour remédier à ce manque d'information. M...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Ecole Nationale Supérieure des Mines de Paris
2013
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00944703 http://pastel.archives-ouvertes.fr/docs/00/94/47/03/PDF/2012ENMP0104.pdf |