编译技术编辑课程设计报告模版.docVIP

课程设计报告 ( 2011--2012年度第一学期) 名 称： 编译技术课程设计 题 目： 指针检查工具 院 系： 控制与计算机工程学院 班 级： 软件0901 学 号：10912510119/10912510119 学生姓名： 王峰、姬玮 指导教师： 齐林海 设计周数： 一周 成 绩： 日期：2011年 12 月30日1 课程设计的目的和要求 1.1 课程设计的目的 本次设计的时间为1周，目的是通过使用高级语言实现部分算法加强对编译技术和理论的理解。设计的题目要求具有一定的规模，应涵盖本课程内容和实际应用相关的主要技术。 1.2 课程设计的要求 利用符号表，检查C语言中对指针的使用。需要完成以下的检查，并指出可能出错的位置。假设源程序已经编译通过，即不用对其进行语法的检查了，只检查指针变量的语义是否正确。 要求进行以下的检查： 指针变量是否初始化； 指针类型是否定义正确； 使用前是否已经申请的内存； 引用是否正确，是否引用了释放掉的内存空间； 本次实验使用windows 的软件，C 中是按值传递的，传入参数在子函数中只是一个初值相等的副本，无法对传入参数作任何改动。但实际编程中，经常要改动传入参数的值。这一点我们可以用传入参数的地址而不是原参数本身，当对传入参数（地址）取（*）运算时，就可以直接在内存中修改，从而改动原想作为传入参数的。指针是一个特殊的变量，它里面存储的数值被解释成为内存里的一个地址。 要搞清一个指针需要搞清指针的四方面的内容：指针的类型，指针所指向的 类型，指针的值或者叫指针所指向的内存区，还有指针本身所占据的内存区。char m; int *p; m=p; （错误，类型不匹配） 在编译的过程中如发现指针为空的时候指针所指向地址不允许赋值，否则视为错误。但对于指针赋予一个地址值可以如下： int m,*p; *p=45; (错误，此时p为空指针不能赋值) p=45; （正确，因为此时45代表的是内存地址的值可以允许。） 在使用引用时，同样必须类型匹配。是否引用了空地址如; int *p; int m=p; (错误，引用了空地址) 表2-1 几种指针引用错误 产生式 错误原因 int *p; *p=34 char m; int *p; p=m; int m; p=m; char m; int p=m; int *p; int m=p; 空指针赋值 指针类型不匹配 指针未声明。 引用类型不匹配 引用了空地址 3 概要设计 5.1 概要设计（体现系统的设计思路和主要功能） 在一个C语言系统中，“；”是所有句子结束的标志，因此可用“；”作为断句的标志。把所有的句子进行断句。所有变量必须先声明后使用，所以要先扫描一遍把有C语言声明变量的句子中，声明变量后面的单词即为变量名，记录变量的类型，是否为引用指针，并记录列号。如果在生命的时候就有赋值的话就必须检验赋值是否正确。 进行第二次扫描，把所有赋值语句进行分析，也就是找出带有等号的句子，同时也分析那些带有malloc ,free 语句。这些对指针有非常重要的作用。在赋值的时候要注意检查类型是否匹配，空指针是否赋予值，发现这些错误要及时报错，并指出错误的类型以错误的位置。 3.2 系统用例图【必须有】 图3-1 系统图 主要算法的流程图【必须有】 无 4.3 数据分析与定义【必须有】 class property：用来记录每个变量的属性。其中String m_name表示声明变量的名称，String m_sort表示声明变量的类别， int m_deep：表示声明变量的深度，用来指名为指针还是普通变量还是引用，int m_line;声明变量所在的分号位置，String m_value;声明变量的值。 Vector vpro是向量用来记录各个变量的信息，其内部装有property。 Vector vco向量里面装着的各个句子的信息，其内部变量为s1[]，s1[]为String数组，每一个String包含着一个词。 其他的的变量都是一些界面还有中间变量。 复制当中的关键代码如下： 1. if(value.charAt(0)=0value.charAt(0)=9((property)(vpro.elementAt(m))).m_value==-1) { System.out.println(指针未申请空间，禁用在第+i+