| 基于关系语法树的C/C++代码静态检测方法研究 |
| |
| 引用本文： | 刘春燕,赖晓晨,周宽久,郑红波.基于关系语法树的C/C++代码静态检测方法研究[J].计算机工程与设计,2011,32(8):2879-2884,2900. |
| |
| 作者姓名： | 刘春燕 赖晓晨 周宽久 郑红波 |
| |
| 作者单位： | 大连理工大学软件学院,辽宁大连,116620 |
| |
| 基金项目： | 大连市信息产业局IT专项基金项目(DL20080243) |
| |
| 摘 要： | 为减少软件静态分析中信息冗余度并提高信息提取的准确率和效率,提出了一种基于关系存储模式的关系语法树模型,以终结符之间的依存关系建模,有效地减少了信息冗余度,并以可扩展标记语言(extensible markup language,XML)标准格式存储.利用了成熟的XML解析技术,设计了一种基于XML中间模型的静态检测方法,并将该方法应用于编程规范检测申.实验结果表明,该方法有效地提高了检测效率和精度.
|
| 关 键 词： | 静态分析 关系存储 语法树 可扩展标记语言 编程规范 |
Research on C/C++ code static detection based on syntax tree |
| |
| LIU Chun-yan,LAI Xiao-chen,ZHOU Kuan-jiu,ZHENG Hong-bo.Research on C/C++ code static detection based on syntax tree[J].Computer Engineering and Design,2011,32(8):2879-2884,2900. |
| |
| Authors: | LIU Chun-yan LAI Xiao-chen ZHOU Kuan-jiu ZHENG Hong-bo |
| |
| Affiliation: | LIU Chun-yan,LAI Xiao-chen,ZHOU Kuan-jiu,ZHENG Hong-bo(School of Software,Dalian University of Technology,Dalian 116620,China) |
| |
| Abstract: | To reduce the redundancy of information in software static analysis and improve the accuracy and efficiency of the information extraction,a syntax trees model based on relational storage mode is proposed.Modeling on dependency relationship between the terminal will effectively reducing the information redundancy and be stored in XML(extensible markup language) format.Using the mature parsing technique on XML,a new static detection method based on XML model is put forward and applied to program norm.Experime... |
| |
| Keywords: | static analysis relational storage syntax tree extensible markup language program norm |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
