JVM运行时库安全策略的全自动检测方法研究(PDF 78页)

3．3检验模型模块
3．3．1增强型检验模型
3．3．2检验模型的定义
3．3．2检验模型的定义⋯24
3．3．3检验模型的应用举例
3．3．3检验模型的应用举例⋯⋯一25
3．4 CFG流图模块
3．5方法摘要模块
3．5方法摘要模块⋯．31
3．6小结
3．6小结⋯⋯32
4．1方法摘要的初始化
4．1方法摘要的初始化⋯．．33
4．2计算方法摘要的算法描述
4．2计算方法摘要的算法描述⋯⋯33
4．2．1队列技术的应用
4．2．1队列技术的应用⋯j⋯⋯．．33
4．2．2队列计算方法摘要的算法
4．2．2队列计算方法摘要的算法⋯⋯：35
4．2．3后续污点分析．38
4．2．4算法性能分析
4．2．4算法性能分析⋯一39
4．3小结
4．3小结⋯⋯40
5． 奉jI幸幸幸／／其他操作
5．1实验环境
5．1实验环境．41
5．1．1硬件环境
5．1．1硬件环境⋯．41
5．1．2软件环境
5．1．2软件环境⋯⋯4l
5．2实验测试结果
5．2实验测试结果⋯⋯．．4 l
5．2．1 CMV的结果输出
5．2．1 CMV的结果输出⋯⋯．42
5．2．2 FADM的结果输出
5．2．2 FADM的结果输出44
5．3实验结果对比与分析
5．3实验结果对比与分析45
5．3．1实验结果对比
5．3．1实验结果对比．．46
5．3．2实验结果分析⋯～46
5．3．3评估结果
5．3．3评估结果⋯．48
5．4小结
5．4小结⋯⋯49
..............................