郭德贵-程序安全检测技术 《程序安全检测》总结报告模版 - 副本.docVIP

2012级《程序安全检测》实验报告（第 1组） _2015___年_9___月_29___日 姓名 性别 班级 学号 所占比例 个人成绩 陆取 男 12100% 任务分工：（请用小四号宋体填写） 完成了程序的预处理阶段（在WINDOWS平台下使用GCC工具生成抽象语法树文件，处理了不同行、空格、冗余等问题后获取语法树的数据结构，采用边链表的结构保存） 教师评语： 报告正文（请用小四号宋体填写，自行组织章节和段落） 这个程序的开发使用的是VC6的平台，基本的图形界面的构造是采用的MFC的界面设计，布局十分简单。每一个按钮都对应一种对源程序的处理操作，即每点击一下按钮都会调用一次相应处理过程的函数以完成对应操作。从左到右依次点击按钮可以在右下角的对话框中看出具体的处理结果改变过程。 打开程序以后的基本构造如下图所示。 在打开文件的编辑框右侧的浏览按钮用于查找到用户需要读入的源文件，在此处默认的可打开的程序是.C的文件，因此只能显示后缀为C的文件。打开了源程序以后在左下方的编辑框中会显示出源程序的内容，如下图所示。打开文件的编辑框中保存了源程序文件名的绝对路径。 在程序的预处理阶段，首先要通过GCC的编译器生成对应的抽象语法树，因此在运行程序之前要安装WINDOWS下的GCC编译器，这个程序使用的是MINGW，对应的GCC是4.7版本。点击生成树的按钮以后，程序调用“gcc –fdump-translation-unit”命令，用源程序的绝对路径生成一个抽象语法树的文件，如下图所示，右下角的编辑框中就显示了对应的文件内容。 观察一下可以发现这样的抽象文件有一些问题，比如同一个结点的信息有的放在了两行上，各个信息之间的空格数量不一定，有些结点是调用的头文件中的信息可以删掉等等，这些问题为后面的处理带来了麻烦，所以我们需要先将这些问题解决。后面的按钮将一个一个地处理这些问题。 规范化按钮可以将所有的结点信息放置到同一行上，点击按钮以后的界面编程下图所示的样子。每个结点只占据一行。 接下来开始处理空格，将所有的连续的空格都缩短到只有一个空格，具体的方法可以使用一个循环来删除连续空格中除第一个以外的所有空格。我在处理这个问题的时候使用了一个VECTOR容器来放置所有的文字内容，然后把删除空格后的内容保存到另一个VECTOR容器中。 点击“处理空格”按钮以后的结果如下图所示。 预处理的最后一步也是最重要的一步就是处理无用的结点然后将有用结点保存在相应的数据结构中，因为每个结点有大量的信息，这些结点的信息也会指向别的结点，所以这些结点组成了一个图的结构。因此可以使用边链表的结构保存。在获知到有用结点以后保存数据结构的具体实现部分代码如下： in.open(normal.after.txt); outStr.erase(); lineno=0; while(getline(in,inStr)) { lineno++; if(flag[lineno]==1) { for(int i=0;iinStr.length();i++) { if(inStr[i]!= ) { outStr+=inStr[i]; } else { if(outStr!=minoutStr!=maxoutStr!=lowoutStr!=opoutStr!=fnoutStr!=ptd) { vStr.push_back(outStr); outStr.erase(); } } } for(vectorstring::iterator it=vStr.begin();it!=vStr.end();it++) { out*it ; //输出到有用结点的文件中去} outendl; } vStr.clear(); } for(int i=1;i=linecount;i++) { if(flag[i]0) { usenode++; flag[i]=usenode; } } in.close(); in.clear(); in.open(useful.txt); out.close(); out.clear(); outStr.erase(); //开始构建语法树 struct vnode *Head = new vnode[usenode]; lineno=0; for(int k=0;kusenode;k++) { Head[k].node_number=k+1; Head[