Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 28, выпуск 5, 2016, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией академика РАН В.П. Иванникова

Скачать полный выпуск
PDF


Содержание

А.И. Аветисян Предисловие Стр. 9-10.

Н.А. Белов Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Стр. 11-26.

А.В. Когтенков Автоматическое доказательство безопасности локальных пустых указателей Стр. 27-54.

П. Довгалюк, В. Макаров Когда защита стека в компиляторах не срабатывает? Стр. 55-72.

А.Н. Федотов, В.А. Падарян, В.В. Каушан, Ш.Ф. Курмангалеев, А.В. Вишняков, А.Р. Нурмухаметов Оценка критичности программных дефектов в условиях работы современных защитных механизмов Стр. 73-92.

А.Р. Нурмухаметов Применение диверсифицирующих и обфусцирующих преобразований для изменения сигнатуры программного кода Стр. 93-104.

В.К. Кошелев Формализация определения ошибок при статическом символьном выполнении Стр. 105-118.

И.А. Дудина Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа Стр. 119-134.

В.В. Каушан Поиск ошибок выхода за границы буфера в бинарном коде программ Стр. 135-144.

Р.Р. Мулюков, А.Е. Бородин Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Стр. 145-158.

А.Ю. Герасимов, Л.В. Круглов Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Стр. 159-174.

К.Ю. Долгорукова, C.В. Аришин Ускорение оптимизации программ во время связывания Стр. 175-198.

К.А. Батузов Задача глобального распределения регистров во время динамической двоичной трансляции Стр. 199-214.

А.К. Асланян, Ш.Ф. Курмангалеев, В.Г. Варданян, М.С. Арутюнян, С.С. Саргсян Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Стр. 215-226.

И.А. Якимов, А.С. Кузнецов Оптимизация читаемости тестов порождаемых при символьных вычислениях Стр. 227-238.

А.Е. Хмельнов, И.В. Бычков, А.А. Михайлов Декларативный язык FlexT – инструмент анализа и документирования бинарных форматов данных Стр. 239-268.

Вернуться к списку всех томов