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