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