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

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

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


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




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

Труды института системного программирования РАН, 2022, том 34, выпуск 6, страницы 41–50
DOI: https://doi.org/10.15514/ISPRAS-2022-34(6)-3 (Mi tisp737) 		 
Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа

У. В. Тяжкоробab, В. Н. Игнатьевac, А. А. Белеванцевca

a Институт системного программирования им. В.П. Иванникова РАН
b Московский физико-технический институт
c Московский государственный университет имени М. В. Ломоносова
PDF полного текста (461 kB)
DOI: https://doi.org/10.15514/ISPRAS-2022-34(6)-3
Аннотация: В данной работе описывается масштабируемый детектор для поиска использований освобожденного ресурса в исходном коде на основе статического символьного выполнения. Данный детектор выполняет межпроцедурный анализ, чувствительный к потоку управления и контексту вызовов. Детектор реализован в рамках промышленного инструмента SharpChecker, его точность (около 70% истинных срабатываний) позволяет включить его в число основных детекторов и предоставить функционал конечным пользователям. В работе рассматривается алгоритм детектора, адаптированный для SharpChecker. Также представлены результаты тестирования детектора на наборе ПО с открытым исходным кодом и примеры срабатываний на реальных проектах.
Ключевые слова: статический анализ, символьное выполнение, поиск ошибок, освобожденный ресурс
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 20-01-00581 А
Тип публикации: Статья
Образец цитирования: У. В. Тяжкороб, В. Н. Игнатьев, А. А. Белеванцев, “Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа”, Труды ИСП РАН, 34:6 (2022), 41–50
Цитирование в формате AMSBIB
\RBibitem{TsiIgnBel22}
\by У.~В.~Тяжкороб, В.~Н.~Игнатьев, А.~А.~Белеванцев
\paper Поиск использований освобожденного ресурса в исходном коде на языке C\# методами статического анализа
\jour Труды ИСП РАН
\yr 2022
\vol 34
\issue 6
\pages 41--50
\mathnet{http://mi.mathnet.ru/tisp737}
\crossref{https://doi.org/10.15514/ISPRAS-2022-34(6)-3}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp737
  • https://www.mathnet.ru/rus/tisp/v34/i6/p41
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:13
    PDF полного текста:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024