多重循环程序内存访问越界增量检测方法
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-10页 |
| 目录 | 第10-13页 |
| 算法 | 第13-14页 |
| 图 | 第14页 |
| 表 | 第14-15页 |
| 第1章 绪论 | 第15-27页 |
| ·研究意义 | 第15-16页 |
| ·相关研究 | 第16-18页 |
| ·问题描述 | 第18-22页 |
| ·研究内容与贡献 | 第22-24页 |
| ·论文结构 | 第24-27页 |
| 第2章 多重循环程序内存访问越界增量检测方法 | 第27-35页 |
| ·设计思想 | 第27-30页 |
| ·多重循环问题的对策 | 第27-28页 |
| ·软件更新问题的对策 | 第28-29页 |
| ·盲目探测问题的对策 | 第29-30页 |
| ·总体框架与主要流程 | 第30-33页 |
| ·本章小结 | 第33-35页 |
| 第3章 软件更新驱动的缺陷及依赖区域识别 | 第35-47页 |
| ·文本差异驱动的预处理 | 第35-36页 |
| ·软件更新的语义差异分析 | 第36-40页 |
| ·循环相关的内存访问越界疑似缺陷识别 | 第40-42页 |
| ·缺陷依赖区域识别与精简检测流图构造 | 第42-45页 |
| ·本章小结 | 第45-47页 |
| 第4章 基于递推链扩展代数的多重循环分析 | 第47-61页 |
| ·递推链扩展代数基础 | 第47-51页 |
| ·基本循环分析 | 第51-57页 |
| ·快速预处理 | 第53-54页 |
| ·循环内变量计算的递推关系分析 | 第54-55页 |
| ·目标变量递推链形式的构造 | 第55-56页 |
| ·目标变量闭形式函数的推导 | 第56-57页 |
| ·检测区域的递归分析和摘要构建 | 第57-60页 |
| ·循环摘要构建 | 第57-59页 |
| ·函数摘要构建 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 第5章 缺陷定向检测与验证输入生成 | 第61-79页 |
| ·缺陷可触发性和检测指导信息的推断 | 第61-65页 |
| ·缺陷触发条件的关联信息收集 | 第61-64页 |
| ·缺陷检测的指导信息推断 | 第64-65页 |
| ·基于路径指导的缺陷定向检测 | 第65-77页 |
| ·面向缺陷的路径选取决策 | 第67-69页 |
| ·基于按需符号执行的缺陷检测 | 第69-74页 |
| ·符号执行效果的函数级缓存 | 第74-75页 |
| ·约束求解与输入生成 | 第75-77页 |
| ·本章小结 | 第77-79页 |
| 第6章 原型系统的实现与实验 | 第79-97页 |
| ·原型系统的设计与实现 | 第79-85页 |
| ·基础支撑环境 | 第80-82页 |
| ·原型系统结构 | 第82-85页 |
| ·实验结果和分析 | 第85-95页 |
| ·多重循环程序的缺陷检测实验 | 第85-91页 |
| ·实验结果的对比和分析 | 第91-95页 |
| ·本章小结 | 第95-97页 |
| 第7章 结论 | 第97-101页 |
| ·主要工作 | 第97-98页 |
| ·主要贡献与创新点 | 第98-99页 |
| ·应用价值 | 第99-100页 |
| ·未来工作 | 第100-101页 |
| 参考文献 | 第101-109页 |
| 致谢 | 第109-111页 |
| 在读期间发表的学术论文与参加的科研项目 | 第111页 |
