V. O. Afanasyev, A. E. Borodin, E. A. Velesevich, B. V. Orlov, “Source code annotation for static analysis”, Proceedings of ISP RAS, 2025, Volume 37, Issue 6(1),Pages <nobr>135

Source code annotation for static analysis

V. O. Afanasyev^a, A. E. Borodin^a, E. A. Velesevich^a, B. V. Orlov^ab

^a Ivannikov Institute for System Programming of the RAS
^b Lomonosov Moscow State University

Abstract: This paper describes source code annotations for static analysis. С/C++ attributes and JVM annotations are considered. Primary goals and reasons for source code annotation for static analysis are given. Main implementation aspects of annotations in Svace static analyzer are described.

Keywords: static analysis, search for defects, vulnerabilities, Svace, LLVM, JVM, C/C++, Java, Kotlin

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