Java应用程序缺陷定位技术研究与实现
摘要 | 第4-5页 |
ABSTRACT | 第5页 |
第一章 绪论 | 第9-14页 |
1.1 研究背景与意义 | 第9-10页 |
1.2 研究现状 | 第10-12页 |
1.3 主要研究内容 | 第12-13页 |
1.4 论文组织结构 | 第13-14页 |
第二章 Java web应用程序缺陷分析 | 第14-23页 |
2.1 Java web应用概述 | 第14-15页 |
2.2 Java web常见缺陷漏洞分析 | 第15-20页 |
2.2.1 SQL注入攻击 | 第16-19页 |
2.2.2 XSS攻击 | 第19-20页 |
2.3 缺陷模式提取总结 | 第20-22页 |
2.4 本章小结 | 第22-23页 |
第三章 Java web应用程序系统结构 | 第23-27页 |
3.1 系统模块划分 | 第23-24页 |
3.2 静态分析部分简介 | 第24-25页 |
3.3 动态监测部分简介 | 第25-26页 |
3.4 本章小结 | 第26-27页 |
第四章 Java web应用程序静态检测技术 | 第27-38页 |
4.1 Datalog相关概念 | 第27-30页 |
4.1.1 程序的相关表示 | 第27-28页 |
4.1.2 SQL注入实例分析 | 第28-30页 |
4.2 上下文敏感分析部分 | 第30-33页 |
4.2.1 对象引用的实例分析 | 第31页 |
4.2.2 过程克隆技术 | 第31-32页 |
4.2.3 基于别名分析的上下文敏感分析技术 | 第32-33页 |
4.3 反向污点检测技术 | 第33-37页 |
4.3.1 反向污点检测规则设计 | 第33-36页 |
4.3.2 正向与反向污点分析效率实验对比 | 第36-37页 |
4.4 本章小结 | 第37-38页 |
第五章 Java web应用程序动态缺陷检测技术 | 第38-54页 |
5.1 基于Soot框架的动态监测技术研究 | 第38-44页 |
5.1.1 Soot代码分析框架概述 | 第39-43页 |
5.1.2 插桩技术的实现 | 第43-44页 |
5.2 攻击向量生成模块设计 | 第44-51页 |
5.2.1 攻击向量生成模块组件 | 第45页 |
5.2.2 攻击向量生成算法 | 第45-51页 |
5.3 动态监测结果分析 | 第51-52页 |
5.4 本章小结 | 第52-54页 |
第六章 缺陷检测系统设计与实现 | 第54-58页 |
6.1 系统界面 | 第54-55页 |
6.2 实验结果分析 | 第55-57页 |
6.2.1 静态分析实验结果 | 第55-56页 |
6.2.2 动态监测实验结果 | 第56-57页 |
6.3 本章小结 | 第57-58页 |
第七章 总结与展望 | 第58-59页 |
参考文献 | 第59-62页 |
致谢 | 第62-63页 |
攻读硕士期间发表的学术论文目录 | 第63页 |