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

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

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


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




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

Труды института системного программирования РАН, 2016, том 28, выпуск 5, страницы 135–144
DOI: https://doi.org/10.15514/ISPRAS-2016-28(5)-8 (Mi tisp72) 		 
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Поиск ошибок выхода за границы буфера в бинарном коде программ

В. В. Каушан

Институт системного программирования РАН
PDF полного текста (763 kB) Список цитирования (2)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2016-28(5)-8
Аннотация: В статье рассматривается метод поиска ошибок выхода за границы буфера в рамках метода комбинированного (статико-динамического) анализа бинарного кода. Для поиска ошибок используется символьная интерпретация последовательности машинных инструкций, выполненных за время работы программы. Рассматриваются способы увеличения точности анализа за счёт анализа циклов работы со строками, а также предварительного расширения покрытия кода. С помощью инструмента, разработанного на основе предложенных методов, были найдены как известные ошибки, так и ошибки, информация о которых ранее не была опубликована.
Ключевые слова: поиск ошибок, бинарный код, динамический анализ, символьное выполнение.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-29-09632
Работа поддержана грантом РФФИ No 16-29-09632
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: В. В. Каушан, “Поиск ошибок выхода за границы буфера в бинарном коде программ”, Труды ИСП РАН, 28:5 (2016), 135–144
Цитирование в формате AMSBIB
\RBibitem{Kau16}
\by В.~В.~Каушан
\paper Поиск ошибок выхода за границы буфера в бинарном коде программ
\jour Труды ИСП РАН
\yr 2016
\vol 28
\issue 5
\pages 135--144
\mathnet{http://mi.mathnet.ru/tisp72}
\crossref{https://doi.org/10.15514/ISPRAS-2016-28(5)-8}
\elib{https://elibrary.ru/item.asp?id=27679155}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp72
  • https://www.mathnet.ru/rus/tisp/v28/i5/p135
    • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:161
    PDF полного текста:68
    Список литературы:36
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024