基于缺陷模式的Android应用隐私泄漏的静态检测
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·背景及意义 | 第9-10页 |
| ·国内外研究及进展 | 第10-11页 |
| ·研究内容及结构 | 第11-13页 |
| ·研究内容 | 第11-12页 |
| ·论文结构 | 第12-13页 |
| 第二章 Android应用程序结构 | 第13-20页 |
| ·Android系统框架简介 | 第13-15页 |
| ·Android应用程序结构 | 第15-17页 |
| ·Android应用程序编译打包过程 | 第17-20页 |
| 第三章 Android隐私信息读取和泄漏汇总 | 第20-27页 |
| ·隐私信息的分类 | 第20页 |
| ·隐私信息的读取途径 | 第20-23页 |
| ·隐私信息的泄漏途径 | 第23-27页 |
| 第四章 基于源代码的检测框架 | 第27-35页 |
| ·系统框架 | 第27-28页 |
| ·系统执行流程 | 第28-35页 |
| ·Android源代码预处理 | 第28页 |
| ·Android源代码编译 | 第28-29页 |
| ·生成抽象语法树 | 第29-30页 |
| ·生成符号表 | 第30-31页 |
| ·生成控制流图 | 第31-32页 |
| ·定义使用链-使用定义链的生成 | 第32-33页 |
| ·函数调用关系生成 | 第33页 |
| ·函数摘要的生成 | 第33-34页 |
| ·程序自动检测 | 第34页 |
| ·人工确认检测结果 | 第34-35页 |
| 第五章 系统关键技术实现 | 第35-52页 |
| ·隐私泄漏状态机模型描述 | 第35-36页 |
| ·隐私泄漏的检测流程 | 第36-38页 |
| ·函数摘要和成员变量摘要的实现 | 第38-43页 |
| ·函数摘要简介 | 第38-39页 |
| ·普通摘要的问题 | 第39-41页 |
| ·成员变量摘要 | 第41页 |
| ·摘要实现算法 | 第41-43页 |
| ·状态机实例迭代检测的实现 | 第43-50页 |
| ·CIL状态机实例的创建 | 第43-48页 |
| ·CIL状态机实例的控制流迭代 | 第48-50页 |
| ·特殊形式泄漏检测 | 第50-52页 |
| 第六章 检测结果数据分析 | 第52-56页 |
| ·实验准备工作 | 第52页 |
| ·工程检测结果 | 第52-55页 |
| ·结果分析 | 第55-56页 |
| 第七章 总结与展望 | 第56-58页 |
| ·论文总结 | 第56页 |
| ·工作展望 | 第56-58页 |
| 参考文献 | 第58-60页 |
| 致谢 | 第60-61页 |
| 作者攻读学位期间发表的论文目录 | 第61页 |
