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

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

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


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




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

Труды института системного программирования РАН, 2017, том 29, выпуск 3, страницы 57–74
DOI: https://doi.org/10.15514/ISPRAS-2017-29(3)-5 (Mi tisp222) 		 
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)

Анализ программ на языке Java в инструменте Svace

А. П. Меркуловa, С. А. Поляковa, А. А. Белеванцевba

a Институт системного программирования РАН
b Московский государственный университет имени М.В. Ломоносова
PDF полного текста (927 kB) Список цитирования (7)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2017-29(3)-5
Аннотация: В статье описываются работы, выполненные для поддержки анализа программ на языке Java в статическом анализаторе Svace, разрабатываемом в ИСП РАН. Приводятся методы построения внутреннего представления для анализа Java, включая изменения в компоненте контролируемой сборки, доработки компилятора OpenJDK, трансляцию байткода Java в окончательное представление для анализа. Описываются особенности анализа Java-программ - алгоритм девиртуализации, спецификации методов стандартной библиотеки Java, некоторые специфичные детекторы. Представлены результаты выполнения анализа для исходного кода операционной системы Android 5.
Ключевые слова: статический анализ, Java, девиртуализация, байткод.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. П. Меркулов, С. А. Поляков, А. А. Белеванцев, “Анализ программ на языке Java в инструменте Svace”, Труды ИСП РАН, 29:3 (2017), 57–74
Цитирование в формате AMSBIB
\RBibitem{MerPolBel17}
\by А.~П.~Меркулов, С.~А.~Поляков, А.~А.~Белеванцев
\paper Анализ программ на языке Java в инструменте Svace
\jour Труды ИСП РАН
\yr 2017
\vol 29
\issue 3
\pages 57--74
\mathnet{http://mi.mathnet.ru/tisp222}
\crossref{https://doi.org/10.15514/ISPRAS-2017-29(3)-5}
\elib{https://elibrary.ru/item.asp?id=29438840}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp222
  • https://www.mathnet.ru/rus/tisp/v29/i3/p57
    • Эта публикация цитируется в следующих 7 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:250
    PDF полного текста:224
    Список литературы:31
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024