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

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

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


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




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

Труды института системного программирования РАН, 2015, том 27, выпуск 2, страницы 105–126
DOI: https://doi.org/10.15514/ISPRAS-2015-27(2)-7 (Mi tisp125) 		 
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ

В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов

ИСП РАН
PDF полного текста (344 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2015-27(2)-7
Аннотация: В статье рассматривается метод выявления ошибок работы с памятью в бинарном коде программ, таких как выход за границы буфера при чтении и записи. Предлагаемый метод основывается на использовании динамического анализа и символьного выполнения. Метод применяется к бинарным файлам программ без дополнительной отладочной информации. Описанный метод был реализован в виде программного инструмента. Возможности инструмента продемонстрированы на примере поиска ошибок в 11 программах, которые работают под управлением ОС Windows и Linux, в 7 из них ошибки не были исправлены на момент написания статьи.
Ключевые слова: выявление уязвимостей, бинарный код, динамический анализ, символьное выполнение.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов, “Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ”, Труды ИСП РАН, 27:2 (2015), 105–126
Цитирование в формате AMSBIB
\RBibitem{KauMamPad15}
\by В.~В.~Каушан, А.~Ю.~Мамонтов, В.~А.~Падарян, А.~Н.~Федотов
\paper Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ
\jour Труды ИСП РАН
\yr 2015
\vol 27
\issue 2
\pages 105--126
\mathnet{http://mi.mathnet.ru/tisp125}
\crossref{https://doi.org/10.15514/ISPRAS-2015-27(2)-7}
\elib{https://elibrary.ru/item.asp?id=23827849}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp125
  • https://www.mathnet.ru/rus/tisp/v27/i2/p105
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024