Pointer Disambiguation via Strict Inequalities

Autor: Maalej, Maroua, Paisante, Vitor, Pedro, Ramos, Gonnord, Laure, Pereira, Fernando

Publikováno v: Proceedings of the 2017 International Symposium on Code Generation and Optimization
Code Generation and Optimisation
Code Generation and Optimisation, Feb 2017, Austin, United States. pp.134-147

International audience; The design and implementation of static analyses that disambiguate pointershas been a focus of research since the early days of compiler construction.One of the challenges that arise in this context is the analysis of language

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a91b578dab94bcd20b7c277ebb353f42
https://hal.archives-ouvertes.fr/hal-01387031

Do we still need new Alias Analyses?

Autor: Maalej, Maroua, Gonnord, Laure

Publikováno v: [Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015

Alias analysis is one of the most used techniques that aim to optimizelanguages with pointers. It is no surprise that this topichas received much attention in many fields including compilation andprogram verification. However, despite all this attent

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b7dedaa633aba4c2f70170985aaf76f
https://inria.hal.science/hal-01228581/document