| 基于AST的程序静态分析工具的研究与实现 |
| |
| 引用本文： | 陈平,王成耀.基于AST的程序静态分析工具的研究与实现[J].微计算机信息,2007,23(24):189-190,120. |
| |
| 作者姓名： | 陈平 王成耀 |
| |
| 作者单位： | 1110083,北京,北京科技大学计算机系 |
| |
| 摘 要： | 本文给出了以抽象语法树为基础的软件静态分析工具的体系结构，介绍了该工具中各个模块的设计与实现方法，着重于规则库的设计，以及利用定义好的规则实现自动化的代码检测的过程。
|
| 关 键 词： | 静态分析 代码检测 抽象语法树 |
| 文章编号： | 1008-0570（2007）08-3-0189-02 |
| 修稿时间： | 2007-06-032007-07-05 |
Research and Implementation of Software Static Analyzing Tool Based on Abstract Syntax Tree |
| |
| CHEN PING,WANG CHENGYAO.Research and Implementation of Software Static Analyzing Tool Based on Abstract Syntax Tree[J].Control & Automation,2007,23(24):189-190,120. |
| |
| Authors: | CHEN PING WANG CHENGYAO |
| |
| Affiliation: | CHEN PING WANG CHENGYAO |
| |
| Abstract: | This paper presents a software static analyzing tool based on Abstract Syntax Tree o In this paper, the architecture of the tool is briefly described. The implementation of the tool is told of and emphasis is placed on the structure of rules definition and Auto-testing process |
| |
| Keywords: | Static analyzing Code detection Abstract syntax tree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
