Игнатьев Валерий Николаевич

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

1. Статический анализ языка Visual Basic .NET
   
   Труды ИСП РАН, 37:6(2) (2025),  37–52
2. Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения
   
   Труды ИСП РАН, 37:6(1) (2025),  101–120
3. Повышение точности статического анализа кода при помощи больших языковых моделей
   
   Труды ИСП РАН, 37:6(1) (2025),  83–100
4. Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов
   
   Труды ИСП РАН, 37:1 (2025),  41–54
5. Support of Visual Basic .NET in SharpChecker static analyzer
   
   Труды ИСП РАН, 36:3 (2024),  49–62
6. Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++
   
   Труды ИСП РАН, 34:6 (2022),  51–66
7. Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа
   
   Труды ИСП РАН, 34:6 (2022),  41–50
8. Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение
   
   Труды ИСП РАН, 34:6 (2022),  29–40
9. Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа
   
   Труды ИСП РАН, 34:4 (2022),  63–78
10. Modeling of library functions in an industrial static code analyzer
    
    Труды ИСП РАН, 32:3 (2020),  21–31
11. Vulnerabilities detection via static taint analysis
    
    Труды ИСП РАН, 31:3 (2019),  177–190
12. Сравнительный анализ двух подходов к статическому анализу помеченных данных
    
    Труды ИСП РАН, 29:3 (2017),  99–116
13. Инфраструктура статического анализа программ на языке C#
    
    Труды ИСП РАН, 28:1 (2016),  21–40
14. Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя
    
    Труды ИСП РАН, 27:5 (2015),  59–86