Аннотирование исходного кода для статического анализа
Афанасьев В.О. (ИСП РАН, Москва, Россия)
Бородин А.Е. (ИСП РАН, Москва, Россия)
Велесевич Е.А. (ИСП РАН, Москва, Россия)
Орлов Б.В. (ИСП РАН, Москва, Россия; МГУ, Москва, Россия)
Аннотация
В статье описывается аннотирование исходного кода для статического анализа. Рассмотрены атрибуты C/C++ и аннотации JVM-языков. Приведены основные цели и причины аннотирования исходного кода для статического анализа. Описаны основные аспекты реализации поддержки пользовательских аннотаций в анализаторе Svace.
Полный текст статьи в формате pdf
Ключевые слова
Издание
Труды Института системного программирования РАН, том 37, вып. 6, часть 1, 2025, стр. 135-148. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). DOI: 10.15514/ISPRAS-2025-37(6)-8.
Для цитирования
Афанасьев В.О., Бородин А.Е., Велесевич Е.А., Орлов Б.В. Аннотирование исходного кода для статического анализа. Труды Института системного программирования РАН, том 37, вып. 6, часть 1, 2025, стр. 135-148. DOI: 10.15514/ISPRAS-2025-37(6)-8.