RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Шимчик Никита Владимирович
Публикации в базе данных Math-Net.Ru
Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++
Труды ИСП РАН
,
34
:6 (2022),
51–66
Vulnerabilities detection via static taint analysis
Труды ИСП РАН
,
31
:3 (2019),
177–190
Сравнительный анализ двух подходов к статическому анализу помеченных данных
Труды ИСП РАН
,
29
:3 (2017),
99–116
©
МИАН
, 2024