Бородин Алексей Евгеньевич

Публикации в базе данных Math-Net.Ru

1. Devirtualization-based Python static analysis
   
   Труды ИСП РАН, 37:6(3) (2025),  109–120
2. Аннотирование исходного кода для статического анализа
   
   Труды ИСП РАН, 37:6(1) (2025),  135–148
3. Статический анализ исходного кода для языка Golang: обзор литературы
   
   Труды ИСП РАН, 37:6(1) (2025),  59–82
4. Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа
   
   Труды ИСП РАН, 37:4(1) (2025),  65–78
5. Поиск утечек памяти и ресурсов в статическом анализаторе Svace
   
   Труды ИСП РАН, 37:3 (2025),  291–302
6. Статический анализ ассоциативных массивов в Go
   
   Труды ИСП РАН, 36:3 (2024),  21–34
7. Статический анализ для языка Scala
   
   Труды ИСП РАН, 36:3 (2024),  9–20
8. Статический анализ на основе обобщённого абстрактного синтаксического дерева
   
   Труды ИСП РАН, 35:6 (2023),  103–120
9. Статический анализатор для языков с обработкой исключений
   
   Труды ИСП РАН, 34:6 (2022),  7–28
10. Kotlin с точки зрения разработчика статического анализатора
    
    Труды ИСП РАН, 33:6 (2021),  67–82
11. Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
    
    Труды ИСП РАН, 33:1 (2021),  7–32
12. Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
    
    Труды ИСП РАН, 32:6 (2020),  87–100
13. Обнаружение дефекта взаимной блокировки с помощью статического анализа
    
    Труды ИСП РАН, 32:5 (2020),  21–34
14. Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ
    
    Труды ИСП РАН, 28:5 (2016),  145–158
15. Поиск ошибок доступа к буферу в программах на языке C/C++
    
    Труды ИСП РАН, 28:4 (2016),  149–168
16. Статический анализатор Svace как коллекция анализаторов разных уровней сложности
    
    Труды ИСП РАН, 27:6 (2015),  111–134