Précédent : Analyse de code Remonter : Analyse de code Suivant : Complexité de l'analyse d'échappement (escape
Précédent : Analyse de code Remonter : Analyse de
code Suivant : Complexité de l'analyse d'échappement
(escape
Participants : Alain Deutsch, Rémi Cassier
Il s'agit ici d'effectuer l'interprétation abstraite de procédures sur des domaines sémantiques numériques relationnels. Cette étude a initialement été motivée par une application précise : le placement automatique optimal de tests de bornes de tableaux dans des logiciels système et réseau (FOXNET) écrits dans des langages de haut niveau (Standard ML). Il s'agit là d'un problème intéressant théoriquement et pour ses applications. Parmi celles-ci, nous nous sommes pour l'instant intéressés plus particulièrement à l'élimination statique de tests dynamiques (par exemple les tests de bornes de tableaux). Nous avons implanté le prototype correspondant. Des résultats très satisfaisants ont été obtenus qui montrent la faisabilité de l'approche. Une des conclusions de l'étude est que les performances de programmes optimisés par notre méthode (et donc fiables) sont très proches de celles des programmes non fiables obtenus en supprimant la détection dynamique d'erreurs de bornes de tableaux.