|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Поиск ошибок выхода за границы буфера в бинарном коде программ
В. В. Каушан Институт системного программирования РАН
Аннотация:
В статье рассматривается метод поиска ошибок выхода за границы буфера в рамках метода комбинированного (статико-динамического) анализа бинарного кода. Для поиска ошибок используется символьная интерпретация последовательности машинных инструкций, выполненных за время работы программы. Рассматриваются способы увеличения точности анализа за счёт анализа циклов работы со строками, а также предварительного расширения покрытия кода. С помощью инструмента, разработанного на основе предложенных методов, были найдены как известные ошибки, так и ошибки, информация о которых ранее не была опубликована.
Ключевые слова:
поиск ошибок, бинарный код, динамический анализ, символьное выполнение.
Образец цитирования:
В. В. Каушан, “Поиск ошибок выхода за границы буфера в бинарном коде программ”, Труды ИСП РАН, 28:5 (2016), 135–144
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp72 https://www.mathnet.ru/rus/tisp/v28/i5/p135
|
|