郭德贵-程序安全检测技术 程序安全检测习题二.docVIP

一、简要回答下列问题 ???1.??? 程序安全问题中，安全缺陷涉及哪7种有害领域？ 答：输入验证和表示法、API滥用、安全功能部件、时间和状态、错误处理、代码质量、封装。 2.??? 程序静态分析能解决哪几类问题？ 答：类型检查、风格检查、程序理解、程序验证、属性检查、Bug查找、安全审查。?????????? 3.??? 简述程序静态分析的基本思想。 答：程序静态分析（Program Static Analysis）是指在不运行代码的方式下，通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术. 4.??? 简述缓冲区溢出静态检测的基本流程。 答：1)根据指针名称在locscope链表中查找指针的信息，? 包括指针引用空间的id和指针当前的索引值varinfo.curindex。然后根据id查找地址空间的属性，如该地址空间内的元素个数meminfo.size。???????????? 2)若变量i在循环体内，则运用递归求解技术根据循环变量取值和循环执行次数求解出变量i的取值范围；否则通过区间运算技术求解出变量i的収值范围。 3)判断对内存的访问是否合法，即对指针引用的每块地址空间和变量i的每个取值区间[xl,x2]判断是否满足 0=varinfo.curindex+xlMEMINFO.SIZE SPAN和 0=varinfo.curindex+x2MEMINFO.SIZE SPAN。若同时满足这两个不等式，则不存在缓冲区溢出，否则判定此处空间访问存在缓冲区溢出问题。???????????????????? ? 二、以下是某个菜鸟程序员编写的一段不知所云的c程序代码，请结合所学程序安全知识，指出这段代码中存在那些安全缺陷。至少要指出4点，要求分别写出缺陷语句的位置、缺陷类别、导致缺陷原因。 int fun(int b) { ?????????????????? int *p=new int[2]; ?????????????????? char *ps=new char[512]; ?????????????????? if(b0) ?????????????????? { ??????????????????????????? int *q=new int; ??????????????????????????? p[2]=5; ??????????????????????????? free(q); } else { ?????????????????? delete []ps; ?????????????????? delete p; } char str[]=”hello word”; strcpy(ps, str); return 0; } ???????? 答：1) free(q)错误；内存泄露；不应该用free，而是delete命令。 ???????? 2) p[2]=5错误；缓冲区溢出；数组越界了。 ???????? 3) delete []ps错误；内存泄露；申请和释放可能不匹配。 ???????? 4) delete p错误；内存泄露；释放方式错误。 ???????? 5) strcpy(ps,str)错误；空指针引用；指针ps可能已被释放。 ? 三、在程序安全静态检测过程中，经常需要在控制流图上识别循环，即所谓的自然环。请根据以下自然环的定义，给出一个识别控制流图中自然环的算法（算法输入为控制流图，输出为控制流图中所有的自然环）。算法可以用伪代码描述（但不能用自然语言描述），算法中需要给出必要的注释。 定义 必经点：在控制流图中，若从入口结点entry到i的每条可执行路径都包含d，则称结点d是结点i的必经点。 定义 回边：在控制流图中，若存在一条头（即边指向的结点）是尾的必经点的边，则称该边为回边。 定义 自然环：给定一个回边màn，màn产生的自然环是由m、n和所有不经过n可到达m的结点的集合以及连接结点集合中所有结点的边组成的子图。 ???????? 答： ???????? //判断CFG中结点N1是否为N2的必经点 Bool PassPoint(Node N1, Node N2) ???????? {??????? N1.visit=true; ?????????????????? travseCFG(entry);//从入口结点开始遍历控制流图 ?????????????????? if(N2.visit==true) return false ?????????????????? else return true;} ???????? //判断N1和N2之间的边是否为回边 bool BackEdge(N