点击次数：

论文类型：期刊论文

发表时间：2011-08-16

发表刊物：计算机工程与设计

收录刊物：PKU、ISTIC、CSCD

卷号：32

期号：8

页面范围：2879-2884,2900

ISSN号：1000-7024

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

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