Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2018, том 30, выпуск 3, страницы 7–20
DOI: https://doi.org/10.15514/ISPRAS-2018-30(3)-1 (Mi tisp321) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения

С. А. Асрянa, С. С. Гайсарянbcde, Ш. Ф. Курмангалеевd, А. М. Агабалянf, Н. Г. Овсепянf, С. С. Саргсянf

a Институт проблем информатики и автоматизации НАН РА
b МГУ имени М. В. Ломоносова
c Московский физико-технический институт
d Институт системного программирования им. В.П. Иванникова РАН
e Национальный исследовательский университет «Высшая школа экономики»
f Ереванский государственный университет
PDF полного текста (734 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2018-30(3)-1
Аннотация: Существенная часть программного обеспечения написана на языках программирования C/C++. Программы на этих языках часто содержат ошибки: использования памяти после освобождения (Use After Free, UAF), переполнения буфера (Buffer Overflow) и др. В статье предложен метод обнаружения ошибок UAF, основанный на динамическом анализе. Для каждого пути выполнения программы предлагаемый метод проверяет корректность операций создания и доступа, а также освобождения динамической памяти. Поскольку применяется динамический анализ, поиск ошибок производится только в той части кода, которая была непосредственно выполнена. Используется символьное исполнение программы с применением решателей SMT (Satisfiability Modulo Theories) [12]. Это позволяет сгенерировать данные, обработка которых приводит к обнаружению нового пути выполнения.
Ключевые слова: динамический анализ программ, покрытие кода, use-after-free.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 17-01-00600
Работа поддержана грантом РФФИ № 17-01-00600
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян, “Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения”, Труды ИСП РАН, 30:3 (2018), 7–20
Цитирование в формате AMSBIB
\RBibitem{AsrGayKur18}
\by С.~А.~Асрян, С.~С.~Гайсарян, Ш.~Ф.~Курмангалеев, А.~М.~Агабалян, Н.~Г.~Овсепян, С.~С.~Саргсян
\paper Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения
\jour Труды ИСП РАН
\yr 2018
\vol 30
\issue 3
\pages 7--20
\mathnet{http://mi.mathnet.ru/tisp321}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(3)-1}
\elib{https://elibrary.ru/item.asp?id=32663687}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp321
  • https://www.mathnet.ru/rus/tisp/v30/i3/p7
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:222
    PDF полного текста:58
    Список литературы:19
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024