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

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

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


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




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

Труды института системного программирования РАН, 2022, том 34, выпуск 4, страницы 35–48
DOI: https://doi.org/10.15514/ISPRAS-2022-34(4)-3 (Mi tisp703) 		 
Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений

Р. Д. Коваленко, А. Н. Макаров

Институт системного программирования им. В.П. Иванникова РАН
PDF полного текста (1893 kB)
DOI: https://doi.org/10.15514/ISPRAS-2022-34(4)-3
Аннотация: В результате работы по направлению анализа IoT-устройств авторами был создан инструмент ELF (embedded linux fuzz), который, в частности, предоставляет функционал для применения существующих средств динамического анализа в работе с различными IoT-устройствами. В статье рассматриваются вопросы применения символьного выполнения для анализа IoT-систем, построенных на базе ядер Linux, описывается способ интеграции одного из популярных фреймворков полносистемного символьного выполнения S2E в среду инструмента ELF, а также применимость полученной связки инструментов к реализации распределенного гибридного фаззинга IoT-устройств.
Ключевые слова: фаззинг, символьное выполнение, IoT-устройство, Linux
Тип публикации: Статья
Образец цитирования: Р. Д. Коваленко, А. Н. Макаров, “Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений”, Труды ИСП РАН, 34:4 (2022), 35–48
Цитирование в формате AMSBIB
\RBibitem{KovMak22}
\by Р.~Д.~Коваленко, А.~Н.~Макаров
\paper Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений
\jour Труды ИСП РАН
\yr 2022
\vol 34
\issue 4
\pages 35--48
\mathnet{http://mi.mathnet.ru/tisp703}
\crossref{https://doi.org/10.15514/ISPRAS-2022-34(4)-3}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp703
  • https://www.mathnet.ru/rus/tisp/v34/i4/p35
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:7
    PDF полного текста:8
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024