Для цитирования:
ЧЕРЕМИСЕНОВ И.C., БОРОДИН А.Е., ВОЛКОВ А.Е., ВЕЛИКАНОВ М.В. Подход к анализу помеченных данных в статическом анализаторе Svace. Труды Института системного программирования РАН. 2025;37(6):97-118. https://doi.org/10.15514/ISPRAS-2025-37(6)-53
For citation:
CHEREMISENOV I.S., BORODIN A.E., VOLKOV A.E., VELIKANOV M.V. An Approach to Tainted Analysis in the Svace Static Analyzer. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(6):97-118. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(6)-53
Послать статью по эл. почте 