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

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

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


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




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

Труды института системного программирования РАН, 2020, том 32, выпуск 6, страницы 87–100
DOI: https://doi.org/10.15514/ISPRAS-2020-32(6)-7 (Mi tisp560) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения

А. Е. Бородинa, И. А. Дудинаba

a Институт системного программирования им. В.П. Иванникова РАН
b Московский государственный университет имени М.В. Ломоносова
PDF полного текста (451 kB) Список цитирования (3)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2020-32(6)-7
Аннотация: В работе описывается внутрипроцедурный анализ отдельных функций, использующийся в инструменте статического поиска ошибок Svace. Отличительные особенности анализа: анализ по графу потока управления, символьное выполнение с объединением состояний анализа в точках слияния путей, анализ только части путей в функциях с циклами, одновременный запуск всех анализаторов, моделирование достижимых ячеек памяти, нумерация значений переменных.
Ключевые слова: статический анализ, символьное выполнение, svace, поиск ошибок.
Тип публикации: Статья
Образец цитирования: А. Е. Бородин, И. А. Дудина, “Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения”, Труды ИСП РАН, 32:6 (2020), 87–100
Цитирование в формате AMSBIB
\RBibitem{BorDud20}
\by А.~Е.~Бородин, И.~А.~Дудина
\paper Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
\jour Труды ИСП РАН
\yr 2020
\vol 32
\issue 6
\pages 87--100
\mathnet{http://mi.mathnet.ru/tisp560}
\crossref{https://doi.org/10.15514/ISPRAS-2020-32(6)-7}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp560
  • https://www.mathnet.ru/rus/tisp/v32/i6/p87
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:84
    PDF полного текста:54
    Список литературы:19
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024