Дудина Ирина Александровна

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

1. Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
   
   Труды ИСП РАН, 32:6 (2020),  87–100
2. Об одном подходе к анализу строк в языке Си для поиска переполнения буфера
   
   Труды ИСП РАН, 30:5 (2018),  55–74
3. Buffer overflow detection via static analysis: expectations vs. reality
   
   Труды ИСП РАН, 30:3 (2018),  21–30
4. Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа
   
   Труды ИСП РАН, 28:5 (2016),  119–134
5. Поиск ошибок доступа к буферу в программах на языке C/C++
   
   Труды ИСП РАН, 28:4 (2016),  149–168
6. Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя
   
   Труды ИСП РАН, 27:5 (2015),  59–86