程序静态分析器研究之声明信息识别研究

摘要：
随着软件的功能日益复杂，正确性、可靠性愈加难以保障。动态测试是目前较为普遍采用的一种应对措施。但“测试只能发现错误的存在，而不能说明程序中没有错误”。因此，许多学者期望通过对程序实施静态分析检测，从形式化角度对程序的正确性和可靠性给予严格地分析或证明。程序文本是上述工作分析的基础和对象，是实现程序功能的信息载体。本文关注于文本信息的识别。本文首先基于C语言中提出的程序文本信息的格式为参照，通过分析，构造出一组数据结构，分别与类型定义、全局/局部变量定义、函数定义（包括返回类型、函数名、参数列表等、局部变量）等信息对应，并建立程序文本信息结构图，用以完整的组织刻画上述信息，以供静态分析使用。本文实现了上述文本信息的识别算法与建立程序结构图的算法，初步建立了程序文本信息识别的分析模型。

关键字：静态分析 程序分析 文本识别
目 录
摘要： ２
引言 ４
第一章 需求分析 ５
第二章 函数信息的识别 ６
2.1函数定义的基本格式 ６
2.2问题分析 ７
2.3 算法实现 １０
第三章 变量信息的识别 １１
3.1 变量定义的一般格式 １１
3.2 问题分析 １１
3.2.1 全局变量 １２
3.2.2 局部变量 １２
3.3算法实现 １３
第四章 系统的实现 １５
小结 １９
参考文献： １９