软件静态分析中问题知识库的研究

摘要

本文提出了一种基于问题知识库(Issues Knowledge Base)的软件静态分析方法,重点描述问题知识库的形成、表示、构建及应用.该方法通过代码问题发现、分析,形成包括R(Rule)、D(Defect)的规则集,应用于静态分析,可提高静态分析的准确度.