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

摘要：

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

关键词： 静态分析 问题知识库 抽象语法树 路径检查器 规则集

作者: 望正气 董超群 徐小春

作者单位: 江南计算技术研究所,江苏 无锡 214083

会议类型: 国内会议

会议名称: 2009中国计算机大会

会议地点: 天津

会议语种:中文

页码: 615-621

在线出版日期: 2009-10-23（万方平台首次上网日期，不代表论文的发表时间）