基于指令执行记录的二进制程序动态切片技术
| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第1章 绪论 | 第9-15页 |
| ·课题背景 | 第9页 |
| ·UnifiedKernel项目 | 第9-11页 |
| ·UnifiedKernel项目遇到的问题 | 第11-12页 |
| ·动态程序切片工作的法律后果 | 第12-14页 |
| ·本文的主要工作和安排 | 第14-15页 |
| 第2章 现有程序切片技术 | 第15-27页 |
| ·程序分析的分类 | 第15-16页 |
| ·程序切片技术 | 第16-22页 |
| ·静态切片技术 | 第17-18页 |
| ·动态程序切片 | 第18-19页 |
| ·混合程序切片 | 第19-20页 |
| ·并发动态程序切片 | 第20页 |
| ·条件程序切片 | 第20-21页 |
| ·不定形程序切片 | 第21-22页 |
| ·程序切片技术的应用 | 第22-24页 |
| ·程序调试 | 第22页 |
| ·代码聚合度度量 | 第22-23页 |
| ·程序理解 | 第23页 |
| ·软件安全性分析 | 第23-24页 |
| ·程序正确性分析 | 第24页 |
| ·现有程序切片技术的不足 | 第24-25页 |
| ·本章小结 | 第25-27页 |
| 第3章 二进制程序的初步处理 | 第27-41页 |
| ·概述 | 第27-29页 |
| ·程序切片技术的步骤 | 第27-28页 |
| ·术语定义 | 第28-29页 |
| ·动态反汇编 | 第29-31页 |
| ·指令获取 | 第30-31页 |
| ·指令解码 | 第31页 |
| ·记录执行序列 | 第31-34页 |
| ·需要记录的执行信息 | 第31-34页 |
| ·函数的分划和控制流图的生成 | 第34页 |
| ·控制依赖图 | 第34-39页 |
| ·指令支配和控制依赖关系 | 第36-39页 |
| ·控制依赖图的建立 | 第39页 |
| ·本章小结 | 第39-41页 |
| 第4章 基于指令执行记录的程序切片 | 第41-53页 |
| ·概述 | 第41-42页 |
| ·结构化程序的动态切片 | 第42-45页 |
| ·程序切片中的其他因素 | 第45-52页 |
| ·半结构化程序中的无条件跳转指令 | 第45-49页 |
| ·CALL指令和RET指令 | 第49-50页 |
| ·未遍历所有枝的条件跳转指令 | 第50-51页 |
| ·系统调用的影响 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 第5章 实验设计与结果 | 第53-59页 |
| ·实验设计 | 第53-54页 |
| ·实验结果 | 第54-57页 |
| ·本章小结 | 第57-59页 |
| 第6章 总结与展望 | 第59-62页 |
| ·总结 | 第59-60页 |
| ·展望 | 第60-62页 |
| 参考文献 | 第62-66页 |
| 作者简历 | 第66-67页 |
| 致谢 | 第67页 |
