| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 第一章 绪论 | 第11-16页 |
| 1.1 研究JOANA的目的及意义 | 第11-12页 |
| 1.2 JOANA的发展现状及发展趋势 | 第12-13页 |
| 1.3 论文的研究内容及结构安排 | 第13-14页 |
| 参考文献 | 第14-16页 |
| 第二章 JOANA的基本概述 | 第16-28页 |
| 2.1 IFC的基本概论 | 第16-19页 |
| 2.1.1 顺序IFC的系统依赖图SDG | 第17-18页 |
| 2.1.2 并行程序的I FC | 第18-19页 |
| 2.2 IFC控制台 | 第19-22页 |
| 2.3 JOANA中的切片技术 | 第22-25页 |
| 2.3.1 切片与IFC | 第23页 |
| 2.3.2 切片图形可达性问题 | 第23-24页 |
| 2.3.3 并行程序的切片 | 第24-25页 |
| 2.4 本章小结 | 第25页 |
| 参考文献 | 第25-28页 |
| 第三章 顺序程序切片技术概述及性能分析 | 第28-39页 |
| 3.1 控制流程图 | 第28-30页 |
| 3.1.1 ICFG中的控制流路径 | 第29页 |
| 3.1.2 优势性与后置性 | 第29-30页 |
| 3.2 过程内程序的切片 | 第30页 |
| 3.3 过程间程序切片 | 第30-32页 |
| 3.4 系统依赖图的计算 | 第32-34页 |
| 3.4.1 数据流分析框架 | 第32-33页 |
| 3.4.2 PDGs和SDGs的计算 | 第33-34页 |
| 3.5 通过调用字符串的上下文敏感切片 | 第34-36页 |
| 3.6 上下文敏感切片的性能分析 | 第36-37页 |
| 3.7 本章小结 | 第37页 |
| 参考文献 | 第37-39页 |
| 第四章 并行程序切片技术概述及性能分析 | 第39-57页 |
| 4.1 线程调用分析 | 第39-45页 |
| 4.2 线程控制流程图 | 第45-47页 |
| 4.3 并行系统依赖图 | 第47-50页 |
| 4.4 并行程序的上下文敏感切片 | 第50-54页 |
| 4.4.1 CSDG中的上下文敏感路径 | 第51-52页 |
| 4.4.2 迭代两相切片器 | 第52-54页 |
| 4.5 时序敏感切片 | 第54页 |
| 4.5.1 CSDG和TCFG中的时序敏感路径 | 第54页 |
| 4.5.2 线程创建内循环和递归 | 第54页 |
| 4.6 Java可能发生的并行分析MHP的性能分析 | 第54-56页 |
| 4.7 本章小结 | 第56页 |
| 参考文献 | 第56-57页 |
| 第五章 并行程序的信息流控制 | 第57-69页 |
| 5.1 IFC的基本原则 | 第57-59页 |
| 5.1.1 IFC的安全策略 | 第57-58页 |
| 5.1.2 基于切片的信息流控制 | 第58-59页 |
| 5.2 并行程序中的信息泄漏 | 第59-61页 |
| 5.3 实现漏洞检测的方法 | 第61-65页 |
| 5.3.1 概率不干扰 | 第61-62页 |
| 5.3.2 基于跟踪定义的低安全观测决定论 | 第62-65页 |
| 5.3.2.1 跟踪轨迹 | 第62-63页 |
| 5.3.2.2 动态程序依赖与跟踪切片 | 第63-65页 |
| 5.4 漏洞检测案例及分析 | 第65-67页 |
| 5.5 本章小结 | 第67-68页 |
| 参考文献 | 第68-69页 |
| 第六章 总结与展望 | 第69-71页 |
| 6.1 工作总结 | 第69-70页 |
| 6.2 下一步工作计划 | 第70-71页 |
| 缩略词对照表 | 第71-72页 |
| 致谢 | 第72页 |