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

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

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


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




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

Труды института системного программирования РАН, 2021, том 33, выпуск 6, страницы 67–82
DOI: https://doi.org/10.15514/ISPRAS-2021-33(6)-5 (Mi tisp646) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Kotlin с точки зрения разработчика статического анализатора

В. О. Афанасьевab, С. А. Поляковa, А. Е. Бородинa, А. А. Белеванцевac

a Институт системного программирования им. В.П. Иванникова РАН
b Национальный исследовательский университет "Высшая школа экономики"
c Московский государственный университет имени М. В. Ломоносова
PDF полного текста (504 kB) Список цитирования (1)
DOI: https://doi.org/10.15514/ISPRAS-2021-33(6)-5
Аннотация: В статье описывается статический анализатор для поиска ошибок и анализа метрик и отношений в программах на языке Kotlin. Анализатор был реализован с помощью расширения инструмента Svace, разрабатываемого в ИСП РАН. В статье описываются проблемы, с которыми мы столкнулись в ходе выполнения работы, и предложенные методы их решения, а также экспериментальные результаты полученного анализатора. Инструмент умеет не только анализировать программы на языке Kotlin, но также поддерживает анализ смешанных проектов, использующих языки Java и Kotlin. Надеемся, что статья будет полезна разработчикам статических анализаторов, а также тем, кто проектирует новые языки программирования.
Ключевые слова: статический анализ, поиск ошибок, анализ метрик, уязвимости, Kotlin, JVM, байткод.
Тип публикации: Статья
Образец цитирования: В. О. Афанасьев, С. А. Поляков, А. Е. Бородин, А. А. Белеванцев, “Kotlin с точки зрения разработчика статического анализатора”, Труды ИСП РАН, 33:6 (2021), 67–82
Цитирование в формате AMSBIB
\RBibitem{AfaPolBor21}
\by В.~О.~Афанасьев, С.~А.~Поляков, А.~Е.~Бородин, А.~А.~Белеванцев
\paper Kotlin с точки зрения разработчика статического анализатора
\jour Труды ИСП РАН
\yr 2021
\vol 33
\issue 6
\pages 67--82
\mathnet{http://mi.mathnet.ru/tisp646}
\crossref{https://doi.org/10.15514/ISPRAS-2021-33(6)-5}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp646
  • https://www.mathnet.ru/rus/tisp/v33/i6/p67
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024