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

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

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



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






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


Труды института системного программирования РАН, 2016, том 28, выпуск 4, страницы 137–148
DOI: https://doi.org/10.15514/ISPRAS-2016-28(4)-8
(Mi tisp57)
 

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Метод оценки эксплуатируемости программных дефектов

А. Н. Федотов

Институт системного программирования РАН
Список литературы:
Аннотация: В статье рассматривается метод оценки эксплуатируемости программных дефектов. Применение данного подхода позволяет осуществить приоритезацию найденных ошибок в программах. Это даёт возможность разработчику программного обеспечения исправлять ошибки, которые представляют наибольшую угрозу безопасности в первую очередь. Метод представляет собой совместное применение предварительной классификации аварийных завершений и автоматическую генерацию эксплойтов. Предварительная классификация используется для фильтрации неэксплуатируемых ошибок. Если аварийное завершение считается потенциально эксплуатируемым, то выбирается соответствующий алгоритм генерации эксплойта. В случае успешной генерации эксплойта происходит проверка работоспособности посредством эксплуатации анализируемой программы в эмуляторе. Для поиска программных дефектов можно использовать различные методы. В качестве таких методов можно выделить фаззинг и активно развивающийся в настоящее время подход к поиску ошибок на основе динамического символьного выполнения. Главным требованием для использования предлагаемого метода является возможность получения входных данных, на которых проявляется найденный дефект. Разработанный подход применяется к бинарным файлам программ и не требует дополнительной отладочной информации. Реализация метода представляет собой совокупность программных средств, которые связаны между собой управляющими скриптами. Метод предварительной классификации и метод автоматической генерации эксплойтов реализованы в виде отдельных программных средств, которые могут работать независимо друг от друга. Метод был апробирован на анализе 274 аварийных завершений, полученных в результате фаззинга. В результате анализа удалось обнаружить 13 эксплуатируемых дефектов, для которых в последствии успешно сгенерированы работоспособные эксплойты.
Ключевые слова: уязвимость, переполнение буфера, символьное выполнение, эксплойт, бинарный код.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. Н. Федотов, “Метод оценки эксплуатируемости программных дефектов”, Труды ИСП РАН, 28:4 (2016), 137–148
Цитирование в формате AMSBIB
\RBibitem{Fed16}
\by А.~Н.~Федотов
\paper Метод оценки эксплуатируемости программных дефектов
\jour Труды ИСП РАН
\yr 2016
\vol 28
\issue 4
\pages 137--148
\mathnet{http://mi.mathnet.ru/tisp57}
\crossref{https://doi.org/10.15514/ISPRAS-2016-28(4)-8}
\elib{https://elibrary.ru/item.asp?id=27174143}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp57
  • https://www.mathnet.ru/rus/tisp/v28/i4/p137
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:173
    PDF полного текста:118
    Список литературы:26
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024