|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
TSAR: инструмент для оценки статических анализаторов. Труды Института системного программирования РАНстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: ЧИБИСОВ К.А., БУЧАЦКИЙ Р.А., ТИМОНИН А.Д., ЛАЗАРЬ В.И., ЖУРИХИН Д.М., БЕЛЕВАНЦЕВ А.А.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 37
- Номер: 2
- Год издания: 2025
- Первая страница: 2025
- Последняя страница: 37
- Аннотация: В статье представляется новый инструмент TSAR, предназначенный для оценки эффективности статических анализаторов. TSAR включает в себя три основных компонента: систему анализа статических анализаторов, генератор тестов, базирующийся на Common Weakness Enumeration (CWE), и механизмы трансформации кода (мутатора) для усложнения работы анализаторов. Система анализа позволяет выявлять слабые места в инструментах статического анализа, в то время как генератор тестов создает специфические случаи на основе известных уязвимостей. Трансформации кода позволяют создавать сложные структуры, затрудняющие анализ и призванные проверить устойчивость анализаторов к обнаружению реальных уязвимостей. Данный инструмент предоставляет исследователям и разработчикам возможность для более глубокой оценки качества статических анализаторов программного обеспечения для их дальнейшего улучшения.
- Добавил в систему: Белеванцев Андрей Андреевич