Static analyzer Svace for finding of defects in program source code

Static analyzer Svace for finding of defects in program source code

This paper describes Svace, a tool for static program analysis developed in ISP RAS. This tool allows to find defects and potential vulnerabilities in source code of programs written in C/C++ languages. Main features of the tool are simplicity of usage, wide variety of supported warning types, scala...

Full description

Bibliographic Details
Main Authors: V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, A. I. Avetisyan, M. I. Leonov
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:Труды Института системного программирования РАН
Subjects:
статический анализ
анализ потока данных
уязвимости
межпроцедурный анализ
анализ на основе аннотаций
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/774

Internet

https://ispranproceedings.elpub.ru/jour/article/view/774

Similar Items