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

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

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


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




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

Труды института системного программирования РАН, 2022, том 34, выпуск 4, страницы 49–62
DOI: https://doi.org/10.15514/ISPRAS-2022-34(4)-4 (Mi tisp704) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Автоматическое тестирование LLVM-программ со сложными входными структурами данных

А. В. Мисонижникa, А. А. Бабушкинa, С. А. Морозовb, Ю. О. Костюковa, Д. А. Мордвиновa, Д. В. Козновa

a Санкт-Петербургский государственный университет
b Национальный исследовательский университет «Высшая школа экономики»
PDF полного текста (542 kB) Список цитирования (1)
DOI: https://doi.org/10.15514/ISPRAS-2022-34(4)-4
Аннотация: Символьное исполнение является известным подходом для автоматической генерации регрессионных тестов и поиска ошибок/уязвимостей в программах. Данная работа посвящена созданию практичного метода к символьному исполнению LLVM-программ, пригодного для работы со сложными входными структурами данных. Метод основан на известной идее ленивой инициализации, позволяющей избавить пользователя от необходимости вручную создавать ограничения на входные структуры данных и полностью автоматизировать процесс символьного исполнения программы. Предлагается два улучшения ленивой инициализации для сегментированной символьной моделей памяти – использование временных меток и информации о типах. Предложенный метод реализован в символьной виртуальной машине KLEE для платформы LLVM и протестирован на реальных C-структурах данных — списках, биномиальных кучах, AVL-деревьях, красно-чёрных деревьях, двоичных деревьях и борах (префиксных деревьях).
Ключевые слова: автоматическое тестирование, символьное исполнение, ленивая инициализация, платформа LLVM, KLEE, структуры данных
Финансовая поддержка Номер гранта
Российский научный фонд 22-21-00697
Данное исследование было поддержано грантом РНФ 22-21-00697
Тип публикации: Статья
Образец цитирования: А. В. Мисонижник, А. А. Бабушкин, С. А. Морозов, Ю. О. Костюков, Д. А. Мордвинов, Д. В. Кознов, “Автоматическое тестирование LLVM-программ со сложными входными структурами данных”, Труды ИСП РАН, 34:4 (2022), 49–62
Цитирование в формате AMSBIB
\RBibitem{MisBabMor22}
\by А.~В.~Мисонижник, А.~А.~Бабушкин, С.~А.~Морозов, Ю.~О.~Костюков, Д.~А.~Мордвинов, Д.~В.~Кознов
\paper Автоматическое тестирование LLVM-программ со сложными входными структурами данных
\jour Труды ИСП РАН
\yr 2022
\vol 34
\issue 4
\pages 49--62
\mathnet{http://mi.mathnet.ru/tisp704}
\crossref{https://doi.org/10.15514/ISPRAS-2022-34(4)-4}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp704
  • https://www.mathnet.ru/rus/tisp/v34/i4/p49
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:61
    PDF полного текста:25
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025