|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Сравнительный анализ двух подходов к статическому анализу помеченных данныхстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 4 января 2018 г.
- Авторы: Беляев М.В., Шимчик Н.В., Игнатьев В.Н., Белеванцев А.А.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 29
- Номер: 3
- Год издания: 2017
- Первая страница: 99
- Последняя страница: 116
- DOI: 10.15514/ISPRAS-2017-29(3)-7
- Аннотация: В настоящее время одним из наиболее эффективных средств поиска проблем безопасности ПО является анализ помеченных данных. Он может быть реализован на основе статического анализа и успешно обнаруживать ошибки, приводящие к уязвимостям, таким как внедрение кода или утечка непубличных данных. Возможны несколько существенно различных подходов к реализации алгоритма распространения пометок по внутреннему представлению программы: на основе анализа потоков данных или на базе символьного исполнения. В данной работе описаны особенности реализации обоих подходов в рамках существующей инфраструктуры статического анализатора для поиска ошибок в программах на С#, а также проведено сравнение этих подходов в различных аспектах: область применения, качество результатов, производительность и требовательность к ресурсам. Поскольку оба подхода используют единую инфраструктуру доступа к информации о программе и реализованы одной командой разработчиков, результаты сравнения близки к объективным и могут быть использованы при выборе оптимального варианта в контексте поставленной задачи.
- Добавил в систему: Корныхин Евгений Валерьевич