Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти
https://doi.org/10.15514/ISPRAS-2023-35(3)-9
Аннотация
Мы представляем простую реализацию упрощенного императивного языка программирования с прямым доступом к памяти и адресной арифметикой, а также простой статический анализатор утечек памяти. Наше исследование продолжает линию исследований, предпринятых (в Университете Иннополис в 2016-2022 годах) по исчислению алиасов для императивных языков программирования с разрешимой арифметикой указателей, но отличается моделью адресации памяти — мы изучаем сегментированную модель памяти вместо линейной.
Об авторе
Игорь Андреевич ПАРФЕНОВ
Университет Иннополис
Россия
Россия
Бакалавр в области информатики и вычислительной техники университета Иннополис.
Список литературы
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.
Рецензия
Для цитирования:
ПАРФЕНОВ И.А. Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти. Труды Института системного программирования РАН. 2023;35(3):125-136. https://doi.org/10.15514/ISPRAS-2023-35(3)-9
For citation:
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
Послать статью по эл. почте 