Место издания:Санкт-Петербургский государственный политехнический университет Санкт-Петербург
Первая страница:103
Последняя страница:105
Аннотация:В работе предложен метод поиска ошибок, использующий символьную интерпретацию трасс, в рамках которой отслеживается восстановленная длина доступных буферов памяти. Главная особенность метода заключается в ослаблении системы ограничений за счет добавления новых свободных символьных переменных, описывающих длины буферов памяти, как вводимых пользователем, так и динамически выделяемых на куче.