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

• 作者: 刘春燕 周宽久 赖晓晨 郑红波
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 静态分析 关系存储 语法树 可扩展标记语言 编程规范
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 开发与应用
• 页码范围: 2879-2884,2900
• 分类号: TP311
• 字数: 5224字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周宽久	大连理工大学软件学院	56	434	12.0	19.0
2	赖晓晨	大连理工大学软件学院	30	153	8.0	11.0
3	刘春燕	大连理工大学软件学院	10	69	5.0	8.0
4	郑红波	大连理工大学软件学院	2	6	1.0	2.0