基于关系语法树的C/C++代码静态检测方法研究

摘要：

为减少软件静态分析中信息冗余度并提高信息提取的准确率和效率,提出了一种基于关系存储模式的关系语法树模型,以终结符之间的依存关系建模,有效地减少了信息冗余度,并以可扩展标记语言(extensible markup language,XML)标准格式存储.利用了成熟的XML解析技术,设计了一种基于XML中间模型的静态检测方法,并将该方法应用于编程规范检测申.实验结果表明,该方法有效地提高了检测效率和精度.

关键词：静态分析、关系存储、语法树、可扩展标记语言、编程规范

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：大连市信息产业局IT专项基金项目DL20080243

在线出版日期：2011-12-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2879-2884,2900