|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Статический анализатор для языков с обработкой исключений
В. О. Афанасьевab, В. В. Дворцоваca, А. Е. Бородинa a Институт системного программирования им. В.П. Иванникова РАН
b Национальный исследовательский университет "Высшая школа экономики"
c Московский государственный университет имени М. В. Ломоносова
Аннотация:
В статье описывается статический анализ для языков с обработкой исключений. В данной работе предложено низкоуровневое промежуточное представление для поддержки исключений; описаны анализы потока данных для поиска недостижимого кода, связанного с исключениями; приведена общая схема для статического анализа с учётом возможных путей, возникающих при использовании исключений. Алгоритмы реализованы в анализаторе Svace для языков C++, Java, Kotlin.
Ключевые слова:
статический анализ, поиск ошибок, обработка исключений, Java, Kotlin, C++, Svace, JVM
Образец цитирования:
В. О. Афанасьев, В. В. Дворцова, А. Е. Бородин, “Статический анализатор для языков с обработкой исключений”, Труды ИСП РАН, 34:6 (2022), 7–28
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp735 https://www.mathnet.ru/rus/tisp/v34/i6/p7
|
Статистика просмотров: |
Страница аннотации: | 10 | PDF полного текста: | 6 |
|