摘要
本文给出了以抽象语法树为基础的软件静态分析工具的体系结构,介绍了该工具中各个模块的设计与实现方法,着重于规则库的设计,以及利用定义好的规则实现自动化的代码检测的过程。
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
出处
《微计算机信息》
北大核心
2007年第24期189-190,120,共3页
Control & Automation
关键词
静态分析
代码检测
抽象语法树
Static analyzing, Code detection,Abstract syntax tree
