| 基于圈復雜度的階段動態符號執行 | |
| 所屬分類：技術論文 | |
| 上傳者：zhoubin333 | |
| 文檔大?。?span>1504 K | |
| 標簽： 圈復雜度 動態符號執行 階段執行 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：為了緩解動態符號執行不可避免的路徑爆炸等問題，提出了基于圈復雜度的階段動態符號執行CCSDSEM優化算法。該算法通過計算約束判定條件為真的數量來衡量代碼的圈復雜度，然后依據圈復雜度的閾值進行分階段動態符號執行，使動態符號執行梯度進行，緩解路徑選擇指數爆炸，合理縮放符號執行。最后在KLEE中實現CCSDSEM框架，并對測試程序做了檢測。CCSDSEM將符號執行的運行時間顯著縮短，提升了生成測試用例的數量。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2