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.
Document type :
Reports
Complete list of metadatas

Cited literature [41 references]  Display  Hide  Download

https://hal.inria.fr/hal-01228581
Contributor : Maroua Maalej <>
Submitted on : Friday, November 13, 2015 - 1:46:51 PM
Last modification on : Wednesday, April 3, 2019 - 1:31:19 AM
Long-term archiving on : Friday, April 28, 2017 - 10:23:48 PM

File

RR-8812.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

397

Files downloads

599