基于AST的程序静态分析工具的研究与实现

• 作者: 王成耀 陈平
• 来源期刊: 科技与创新
• 关键词: 静态分析 代码检测 抽象语法树
• 年，卷（期）: 2007,（24）
• 所属期刊栏目: 软件时空
• 页码范围: 189-190,120
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.24.072

摘要

本文给出了以抽象语法树为基础的软件静态分析工具的体系结构,介绍了该工具中各个模块的设计与实现方法,着重于规则库的设计,以及利用定义好的规则实现自动化的代码检测的过程.