Для цитирования:
МАЛЫШЕВ Н.Е., БОРОДИН А.Е., БЕЛЕВАНЦЕВ А.А., СЕМЕНОВ В.А. Поиск утечек памяти и ресурсов в статическом анализаторе Svace. Труды Института системного программирования РАН. 2025;37(3):291-302. https://doi.org/10.15514/ISPRAS-2025-37(3)-20
For citation:
MALYSHEV N.E., BORODIN A.E., BELEVANTSEV A.A., SEMENOV V.A. Detecting Memory and Resource Leaks in the Svace Static Analyzer. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(3):291-302. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(3)-20
Послать статью по эл. почте 