Do we still need new Alias Analyses?

Abstract : Alias analysis is one of the most used techniques that aim to optimize languages with pointers. It is no surprise that this topic has received much attention in many fields including compilation and program verification. However, despite all this attention, a deep study of its state-of-the art shows that it is not handled satisfactorily, by far. In this paper we demonstrate that, although many approaches have been proposed, we still cannot rely on alias analysis inside compilers. We illustrate our statement with an overview of the capabilities of state-of-the-art compilers.
Type de document :
Rapport
[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015
Liste complète des métadonnées

Littérature citée [41 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01228581
Contributeur : Maroua Maalej <>
Soumis le : vendredi 13 novembre 2015 - 13:46:51
Dernière modification le : mardi 16 janvier 2018 - 15:35:13
Document(s) archivé(s) le : vendredi 28 avril 2017 - 22:23:48

Fichier

RR-8812.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01228581, version 1

Collections

Citation

Maroua Maalej, Laure Gonnord. Do we still need new Alias Analyses?. [Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015. 〈hal-01228581〉

Partager

Métriques

Consultations de la notice

304

Téléchargements de fichiers

306