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
..............................