|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
1. |
V. S. Karcev, V. N. Ignatyev, “Support of Visual Basic .NET in SharpChecker Static Analyzer”, Труды ИСП РАН, 36:3 (2024), 49–62 |
|
2022 |
2. |
Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев, “Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++”, Труды ИСП РАН, 34:6 (2022), 51–66 |
3. |
У. В. Тяжкороб, В. Н. Игнатьев, А. А. Белеванцев, “Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа”, Труды ИСП РАН, 34:6 (2022), 41–50 |
4. |
В. С. Карцев, В. Н. Игнатьев, “Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение”, Труды ИСП РАН, 34:6 (2022), 29–40 |
5. |
П. И. Рагозина, В. Н. Игнатьев, “Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа”, Труды ИСП РАН, 34:4 (2022), 63–78 |
|
2020 |
6. |
M. V. Belyaev, E. S. Romanenkov, V. N. Ignatyev, “Modeling of library functions in an industrial static code analyzer”, Труды ИСП РАН, 32:3 (2020), 21–31 |
1
|
|
2019 |
7. |
N. V. Shimchik, V. N. Ignatyev, “Vulnerabilities detection via static taint analysis”, Труды ИСП РАН, 31:3 (2019), 177–190 |
1
|
|
2017 |
8. |
М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев, “Сравнительный анализ двух подходов к статическому анализу помеченных данных”, Труды ИСП РАН, 29:3 (2017), 99–116 |
2
|
|
2016 |
9. |
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов, “Инфраструктура статического анализа программ на языке C#”, Труды ИСП РАН, 28:1 (2016), 21–40 |
7
|
|
2015 |
10. |
В. К. Кошелев, И. А. Дудина, В. Н. Игнатьев, А. И. Борзилов, “Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя”, Труды ИСП РАН, 27:5 (2015), 59–86 |
9
|
|