ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 30/4 - 2011  - pp.371-380  - doi:10.3166/tsi.30.371-380
TITRE
Analyse statique par interprétation abstraite

TITLE
Static analysis by abstract interpretation

RÉSUMÉ
L’interprétation abstraite a été proposée comme un cadre générique permettant de formaliser, dériver et prouver des analyses statiques par approximation conservative, c’est-àdire capables de démontrer une propriété donnée pour un sous-ensemble des programmes vérifiant celle-ci. Tout d’abord, nous décrivons pas à pas les principales étapes dans la conception de telles analyses, du choix d’un modèle des programmes à étudier à la formalisation des algorithmes d’analyse, en passant par le choix d’un ensemble de prédicats à utiliser. Ensuite, nous présentons quelques applications récentes de ces techniques, dans divers domaines de l’informatique.


ABSTRACT
Abstract interpretation was introduced as a generic framework, which allows to formalize, derive and prove static analyses, which are based on conservative approximation, that is, which are able to establish a fixed property for a subset of the programs which actually satisfy it. First, we provide a step by step description of the main steps in the design of such analyses, from the choice of a model for the programs to study, to the formalization of the analysis algorithm, including the choice of a set of predicates to use for the analysis. Then, we present a panel of recent applications of these techniques to various areas of computer science.


AUTEUR(S)
Xavier RIVAL

MOTS-CLÉS
interprétation abstraite, analyse statique, méthodes formelles.

KEYWORDS
abstract interpretation, static analysis, formal methods.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (166 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier