Svace-related papers

Main papers

A. E. Borodin, A. V. Goremykin, S. P. Vartanov and A. A. Belevantsev
Searching for Taint Vulnerabilities with Svace Static Analysis Tool
abstract   PDF   BibTeX   Programming and Computer Software, 2021, Vol.47, No.6, pp. 466-481. 2021
A. E. Borodin and I.A. Dudina
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection
abstract   Programming and Computer Software, 2021, Vol.47, No.8, pp. 857-864. 2021
А. Е. Бородин and И. А. Дудина
Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
abstract   PDF   BibTeX   Труды ИСП РАН, 2020, том 32, №6, pp. 87-100. 2020
A. Belevantsev, A. Borodin, I. Dudina, V. Ignatiev, A. Izbyshev, S. Polyakov, E. Velesevich and D. Zhurikhin
Design and Development of Svace Static Analyzers
abstract   Ivannikov Memorial Workshop, IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, pp 3-9. 2018

Other papers in English

A. Borodin, V. Dvortsova and A. Volkov
Interprocedural static analysis for Go with closure support
abstract   PDF   2022 Ivannikov Ispras Open Conference (ISPRAS). 2022
A. Galustov, A. Borodin and A. Belevantsev
Devirtualization for static analysis with low level intermediate representation
abstract   PDF   2022 Ivannikov Ispras Open Conference (ISPRAS). 2022
I. Bolotnikov and A. Borodin
Interprocedural Static Analysis for Finding Bugs in Go Programs
abstract   PDF   BibTeX   Programming and Computer Software, 2021, Vol.47, No.5, pp. 344-352. 2021
A. Borodin, V. Dvortsova, S. Vartanov and A. Volkov
Static analyzer for Go
abstract   PDF   2021 Ivannikov Ispras Open Conference (ISPRAS). 2021
N. Malyshev, I. Dudina, D. Kutz, A. Novikov and S. Vartanov
SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study
abstract   BibTeX   2019 Ivannikov Ispras Open Conference (ISPRAS), Moscow, Russia, 2019, pp. 9-15. 2019
I.A. Dudina
Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
abstract   PDF   BibTeX   Proceedings of ISP RAS. 2018;30(3):21-30.. 2018

Other papers in Russian

А. Е. Бородин, А. В. Горемыкин, С. П. Вартанов and А. А. Белеванцев
Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
abstract   PDF   Труды ИСП РАН, 2021, то 33, вып. 1, pp. 7-32. 2021
В. Афанасьев, С. Поляков, А. Бородин, А. Белеванцев
Kotlin с точки зрения разработчика статического анализатора
abstract   PDF   Труды Института системного программирования РАН. 2021. Т. 33. № 6. С. 67-82.. 2021
В. Афанасьев, В. Дворцова, А. Бородин
Статический анализатор для языков с обработкой исключений
abstract   PDF   Труды ИСП РАН, том 34, вып. 6, 2022 г. // Trudy ISP RAN/Proc. ISP RAS, vol. 34, issue 6, 2022. 2021
И. Дудина и Н. Малышев
Об одном подходе к анализу строк в языке Си для поиска переполнения буфера
abstract   PDF   BibTeX   Труды ИСП РАН. 2018; 30(5)
А. Меркулов, С. Поляков и А. Белеванцев
Анализ программ на языке Java в инструменте Svace
abstract   PDF   BibTeX   Труды ИСП РАН. 2017; 29(3)
Р. Мулюков и А. Бородин
Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ
abstract   PDF   BibTeX   Труды ИСП РАН. 2016; 28(5)
И. Дудина, В. Кошелев и А. Бородин
Поиск ошибок доступа к буферу в программах на языке C/C++
abstract   PDF   BibTeX   Труды ИСП РАН. 2016; 28(4)
И. Дудина
Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа
abstract   PDF   BibTeX   Труды ИСП РАН. 2016; 28(5)
А. Бородин и А. Белеванцев
Статический анализатор Svace как коллекция анализаторов разных уровней сложности
abstract   PDF   BibTeX   Труды ИСП РАН. 2015; 27(6)
Е. Карпулевич
Использование различных представлений Java-программ для статического анализа
abstract   PDF   BibTeX   Труды ИСП РАН. 2015; 27(6)
В. Иванников, А. Белеванцев, А. Бородин, В. Игнатьев, Д. Журихин, А. Аветисян и М. Леонов
Статический анализатор Svace для поиска дефектов в исходном коде программ
abstract   PDF   Труды ИСП РАН. 2014; 26(1)
А. Бородин
Статический поиск ошибок повторной блокировки семафора
abstract   PDF   BibTeX   Труды ИСП РАН. 2014; 26(3)
Арутюн Аветисян и Алексей Бородин
Механизмы расширения системы статического анализа Svace детекторами новых видов
abstract   PDF   BibTeX   Труды ИСП РАН. 2011; 21