|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Поиск некоторых типов ошибок работы с памятью в бинарном коде программстатья
- Авторы: Федотов А.Н., Каушан В.В., Падарян В.А., Тихонов А.Ю.
- Сборник: Материалы 24-й научно-технической конференции «Методы и технические средства обеспечения безопасности информации»
- Год издания: 2015
- Место издания: Санкт-Петербургский государственный политехнический университет Санкт-Петербург
- Первая страница: 103
- Последняя страница: 105
- Аннотация: В работе предложен метод поиска ошибок, использующий символьную интерпретацию трасс, в рамках которой отслеживается восстановленная длина доступных буферов памяти. Главная особенность метода заключается в ослаблении системы ограничений за счет добавления новых свободных символьных переменных, описывающих длины буферов памяти, как вводимых пользователем, так и динамически выделяемых на куче.
- Добавил в систему: Падарян Вартан Андроникович