A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Pointer disambiguation via strict inequalities
2017
2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
The design and implementation of static analyses that disambiguate pointers has 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 languages that support pointer arithmetics, such as C, C++ and assembly dialects. This paper contributes to solve this challenge. We start from an obvious, yet unexplored, observation: if a pointer is strictly less than another, they cannot alias. Motivated by this remark, we
doi:10.1109/cgo.2017.7863735
fatcat:t5tjdttlkrfkhfxocb3wejr43e