Белеванцев Андрей Андреевич

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

1. Devirtualization-based Python static analysis
   
   Труды ИСП РАН, 37:6(3) (2025),  109–120
2. Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения
   
   Труды ИСП РАН, 37:6(1) (2025),  101–120
3. Повышение точности статического анализа кода при помощи больших языковых моделей
   
   Труды ИСП РАН, 37:6(1) (2025),  83–100
4. Интерактивная генерация кода на основе LLM: эмпирическая оценка
   
   Труды ИСП РАН, 37:5 (2025),  123–130
5. Поиск утечек памяти и ресурсов в статическом анализаторе Svace
   
   Труды ИСП РАН, 37:3 (2025),  291–302
6. Обзор методов контроля перегрузки с использованием машинного обучения
   
   Труды ИСП РАН, 37:3 (2025),  251–276
7. TSAR: инструмент для оценки статических анализаторов
   
   Труды ИСП РАН, 37:2 (2025),  79–96
8. Статический анализ для языка Scala
   
   Труды ИСП РАН, 36:3 (2024),  9–20
9. Ensuring trustworthy code: leveraging a static analyzer to identify and mitigate defects in generated code
   
   Зап. научн. сем. ПОМИ, 540 (2024),  233–251
10. Статический анализ на основе обобщённого абстрактного синтаксического дерева
    
    Труды ИСП РАН, 35:6 (2023),  103–120
11. Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang
    
    Труды ИСП РАН, 35:5 (2023),  169–192
12. Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++
    
    Труды ИСП РАН, 34:6 (2022),  51–66
13. Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа
    
    Труды ИСП РАН, 34:6 (2022),  41–50
14. Kotlin с точки зрения разработчика статического анализатора
    
    Труды ИСП РАН, 33:6 (2021),  67–82
15. Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
    
    Труды ИСП РАН, 33:1 (2021),  7–32
16. Сравнительный анализ двух подходов к статическому анализу помеченных данных
    
    Труды ИСП РАН, 29:3 (2017),  99–116
17. Анализ программ на языке Java в инструменте Svace
    
    Труды ИСП РАН, 29:3 (2017),  57–74
18. Статический анализатор Svace как коллекция анализаторов разных уровней сложности
    
    Труды ИСП РАН, 27:6 (2015),  111–134
19. Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ
    
    Труды ИСП РАН, 27:2 (2015),  53–64
20. Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ
    
    Труды ИСП РАН, 27:1 (2015),  39–50


21. Денис Николаевич Сидоров (к 50-летию со дня рождения)
    
    Вестн. ЮУрГУ. Сер. Матем. моделирование и программирование, 17:4 (2024),  106–108