基于圈復(fù)雜度的階段動態(tài)符號執(zhí)行
所屬分類：技術(shù)論文
上傳者：zhoubin333
文檔大?。?span>1504 K
標簽： 圈復(fù)雜度 動態(tài)符號執(zhí)行 階段執(zhí)行
所需積分：0分積分不夠怎么辦？
文檔介紹：為了緩解動態(tài)符號執(zhí)行不可避免的路徑爆炸等問題，提出了基于圈復(fù)雜度的階段動態(tài)符號執(zhí)行CCSDSEM優(yōu)化算法。該算法通過計算約束判定條件為真的數(shù)量來衡量代碼的圈復(fù)雜度，然后依據(jù)圈復(fù)雜度的閾值進行分階段動態(tài)符號執(zhí)行，使動態(tài)符號執(zhí)行梯度進行，緩解路徑選擇指數(shù)爆炸，合理縮放符號執(zhí)行。最后在KLEE中實現(xiàn)CCSDSEM框架，并對測試程序做了檢測。CCSDSEM將符號執(zhí)行的運行時間顯著縮短，提升了生成測試用例的數(shù)量。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。