| 基于圈復(fù)雜度的階段動(dòng)態(tài)符號(hào)執(zhí)行 | |
| 所屬分類：技術(shù)論文 | |
| 上傳者：zhoubin333 | |
| 文檔大?。?span>1504 K | |
| 標(biāo)簽： 圈復(fù)雜度 動(dòng)態(tài)符號(hào)執(zhí)行 階段執(zhí)行 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：為了緩解動(dòng)態(tài)符號(hào)執(zhí)行不可避免的路徑爆炸等問(wèn)題，提出了基于圈復(fù)雜度的階段動(dòng)態(tài)符號(hào)執(zhí)行CCSDSEM優(yōu)化算法。該算法通過(guò)計(jì)算約束判定條件為真的數(shù)量來(lái)衡量代碼的圈復(fù)雜度，然后依據(jù)圈復(fù)雜度的閾值進(jìn)行分階段動(dòng)態(tài)符號(hào)執(zhí)行，使動(dòng)態(tài)符號(hào)執(zhí)行梯度進(jìn)行，緩解路徑選擇指數(shù)爆炸，合理縮放符號(hào)執(zhí)行。最后在KLEE中實(shí)現(xiàn)CCSDSEM框架，并對(duì)測(cè)試程序做了檢測(cè)。CCSDSEM將符號(hào)執(zhí)行的運(yùn)行時(shí)間顯著縮短，提升了生成測(cè)試用例的數(shù)量。 | |
| 現(xiàn)在下載 | |
| VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
圈復(fù)雜度 相關(guān)資源
zhoubin333 的最新分享
- 基于雙模單包授權(quán)的公路零信任安全應(yīng)用研究*
- 基于區(qū)塊鏈的法檢司數(shù)據(jù)安全共享技術(shù)研究*
- 揭開(kāi)“算法的面紗”：關(guān)于構(gòu)建算法解釋框架的思考
- 企業(yè)“數(shù)據(jù)池”的商業(yè)秘密保護(hù)路徑探究
- 注意力經(jīng)濟(jì)下陪伴式人工智能平臺(tái)的侵權(quán)責(zé)任
- 數(shù)據(jù)抓取行為競(jìng)爭(zhēng)法規(guī)制中的利益衡量研究
- 基于同態(tài)的多對(duì)多電子投票方案設(shè)計(jì)*
- 基于策略和屬性隱藏的區(qū)塊鏈訪問(wèn)控制方法研究
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2