Alias Analysis and Calculus based on Segmentation Address Memory Model
https://doi.org/10.15514/ISPRAS-2023-35(3)-9
Abstract
We present a straightforward implementation of a simplified imperative programming language with direct memory access and address arithmetic, and a simple static analyzer for memory leaks. Our study continues a line of research attempted (in Innopolis University in years 2016-2022) on alias calculi for imperative programming languages with decidable pointer arithmetic but differs by memory address model – we study segmented memory model instead linear one.
About the Author
Igor Andreevich PARFENOV
Innopolis University
Russian Federation
Russian Federation
Bachelor of Informatics and Computer Engineering
References
1. L. O. Andersen, “Program analysis and specialization for c programming language,” in DICU, [Online]. Available: http://www.cs.cornell.edu/courses/cs711/2005fa/papers/ andersen-thesis94.pdf, May 1994.
2. S. V. A. Kogtenkov B. Meyer, “Alias calculus, change calculus and frame inference,” in Science of Computer Programming, [Online]. Available: http://is.ifmo.ru/articles_en/2013/meyer-calculus-2013.pdf, Nov. 2013.
3. J. C. Reynolds, “Separation logic: A logic for shared mutable data structures,” in Carnegie Mellon University, [Online]. Available: https://www.cs.cmu.edu/∼jcr/seplogic.pdf, Jul. 2022.
4. P. O’Hearn, “Communications of the ACM” in Carnegie Mellon University, [Online]. Available: https://dl.acm.org/doi/pdf/10.1145/3211968, Feb. 2019.
5. A. V. N.V. Shilov A. Satekbayeva, “Alias calculus for a simple imperative language with decidable pointer arithmetic,” in Novosibirsk Computing Center, [Online]. Available: https://nccbulletin.ru/files/article/shilov_satekbayeva_vorontsov.pdf, 2014.
6. L. I. Lygin, “Alias calculus in C-like languages,” 2021.
7. G. Dolgov, “Implementing alias calculus for c programming language using llvm,” 2022.
8. A. J. Michael Matz Jan Hubicka, System V application binary interface, [Online]. Available: https://refspecs.linuxbase.org/elf/x86 64-abi-0.99.pdf, Jul. 2012.
Review
For citations:
PARFENOV I.A. Alias Analysis and Calculus based on Segmentation Address Memory Model. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2023;35(3):125-136. https://doi.org/10.15514/ISPRAS-2023-35(3)-9
Email this article 