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

作者：陈平; 王成耀静态分析代码检测抽象语法树

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社