|
Предисловие
А. И. Аветисян
|
9 |
|
|
Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции
Н. А. Белов
|
11 |
|
|
Mechanically proved practical local null safety
A. V. Kogtenkov
|
27 |
|
|
When stack protection does not protect the stack?
Pavel Dovgalyuk, Vladimir Makarov
|
55 |
|
|
Оценка критичности программных дефектов в условиях работы современных защитных механизмов
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
|
73 |
|
|
Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода
А. Р. Нурмухаметов
|
93 |
|
|
Формализация определения ошибок при статическом символьном выполнении
В. К. Кошелев
|
105 |
|
|
Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа
И. А. Дудина
|
119 |
|
|
Поиск ошибок выхода за границы буфера в бинарном коде программ
В. В. Каушан
|
135 |
|
|
Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ
Р. Р. Мулюков, А. Е. Бородин
|
145 |
|
|
Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа
А. Ю. Герасимов, Л. В. Круглов
|
159 |
|
|
Ускорение оптимизации программ во время связывания
К. Ю. Долгорукова, С. В. Аришин
|
175 |
|
|
Задача глобального распределения регистров во время динамической двоичной трансляции
К. А. Батузов
|
199 |
|
|
Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
|
215 |
|
|
Оптимизация читаемости тестов порождаемых при символьных вычислениях
И. А. Якимов, А. С. Кузнецов
|
227 |
|
|
Декларативный язык FlexT — инструмент анализа и документирования бинарных форматов данных
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов
|
239 |
