一种基于问题知识库的软件静态分析方法

摘要

一种基于问题知识库的软件静态分析方法，重点描述问题知识库的形成.表示、构建及应用。该方法对隐藏代码问题发现、分析，通过构造AST检查器和路径检查器，形成包括R(Rule)、D(Defect)、M(Metric)的规则集，应用于静态分析、提高静态分析准确度。