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

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

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


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




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

Труды института системного программирования РАН, 2020, том 32, выпуск 3, страницы 21–31
DOI: https://doi.org/10.15514/ISPRAS-2020-32(3)-2 (Mi tisp509) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Modeling of library functions in an industrial static code analyzer
[Моделирование библиотечных функций в промышленном статическом анализаторе кода]

M. V. Belyaeva, E. S. Romanenkovb, V. N. Ignatyevab

a Ivannikov Institute for System Programming of the Russian Academy of Sciences
b Lomonosov Moscow State University
PDF полного текста (374 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2020-32(3)-2
Аннотация: SharpChecker — это статический анализатор промышленного уровня, предназначенный для обнаружения различных ошибок в исходном коде C#. Поскольку инструмент активно разрабатывается, ему требуется все более точная информация о программной среде, особенно о результатах и побочных эффектах функций библиотеки. Статья посвящена эволюции моделей для стандартной библиотеки, исторически используемой SharpChecker, ее преимуществам и недостаткам. Мы начали с базы данных SQLite с наиболее важными свойствами функций, затем добавили написанные вручную реализации модели C# часто используемых методов для поддержки состояний контейнера данных, а недавно разработали модель, построенную на основе предварительного анализа исходного кода библиотеки, которая позволяет собрать все существенные побочные эффекты с условиями для почти всей библиотеки C#.
Ключевые слова: статический анализ, библиотека, анализ исходного кода.
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: M. V. Belyaev, E. S. Romanenkov, V. N. Ignatyev, “Modeling of library functions in an industrial static code analyzer”, Труды ИСП РАН, 32:3 (2020), 21–31
Цитирование в формате AMSBIB
\RBibitem{BelRomIgn20}
\by M.~V.~Belyaev, E.~S.~Romanenkov, V.~N.~Ignatyev
\paper Modeling of library functions in an industrial static code analyzer
\jour Труды ИСП РАН
\yr 2020
\vol 32
\issue 3
\pages 21--31
\mathnet{http://mi.mathnet.ru/tisp509}
\crossref{https://doi.org/10.15514/ISPRAS-2020-32(3)-2}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp509
  • https://www.mathnet.ru/rus/tisp/v32/i3/p21
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:109
    PDF полного текста:108
    Список литературы:19
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024