СТАТИЧЕСКИЙ АНАЛИЗАТОР SVACE ДЛЯ ПОИСКА ДЕФЕКТОВ В ИСХОДНОМ КОДЕ ПРОГРАММ

в п иванников, андрей белеванцев,алексей бородин, в н игнатьев, д м журихин,арутюн аветисян, м и леонов

Trudy Instituta sistemnogo programmirovaniâ（2014）

引用 4|浏览0

暂无评分

摘要

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, scalability up to programs of millions lines of code and acceptable quality of analysis (30-80% of true positive warnings).

查看译文

关键词

static analyzer svace,source code,defects

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要