静态分析器在软件开发环境中的应用

摘要

静态分析器是一种初步具备有关数据对象的语言知识，融编辑、语法分析和静态语义检查为一体的软件工具．本文以Ａｄａ语言中的子程序规格说明为基础，阐明了静态分析器在软件开发环境中的作用和意义，介绍了分析器数据结构的构成以及语法树的构造方法，并用两个实例对静态分析的过程作了说明．