Аннотирование исходного кода для статического анализа

В. О. Афанасьев^a, А. Е. Бородин^a, Е. А. Велесевич^a, Б. В. Орлов<sup>ab

a</sup> Институт системного программирования им. В.П. Иванникова РАН
^b Московский государственный университет имени М. В. Ломоносова

Аннотация: В статье описывается аннотирование исходного кода для статического анализа. Рассмотрены атрибуты C/C++ и аннотации JVM-языков. Приведены основные цели и причины аннотирования исходного кода для статического анализа. Описаны основные аспекты реализации поддержки пользовательских аннотаций в анализаторе Svace.

Ключевые слова: статический анализ, поиск ошибок, уязвимости, анализатор Svace, компиляторная инфраструктура LLVM, виртуальная машина Java, языки программирования C/C++, Java, Kotlin

DOI: 10.15514/ISPRAS-2025-37(6)-8