–
Статьи в журналах
-
- 2021 Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
- Бородин А.Е., Горемыкин А.В., Вартанов С.П., Белеванцев А.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 1, с. 7-32 DOI
Тезисы докладов
-
- 2020 Метод переиспользования абстракций в статическом анализе на основе глобального множества достижимых состояний
- Горемыкин А.В., Бородин А.Е., Белеванцев А.А.
- в сборнике Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики», серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 59-60