基于圈復(fù)雜度的階段動(dòng)態(tài)符號(hào)執(zhí)行
所屬分類：技術(shù)論文
上傳者：zhoubin333
文檔大小：1504 K
標(biāo)簽： 圈復(fù)雜度 動(dòng)態(tài)符號(hào)執(zhí)行 階段執(zhí)行
所需積分：0分積分不夠怎么辦？
文檔介紹：為了緩解動(dòng)態(tài)符號(hào)執(zhí)行不可避免的路徑爆炸等問題，提出了基于圈復(fù)雜度的階段動(dòng)態(tài)符號(hào)執(zhí)行CCSDSEM優(yōu)化算法。該算法通過計(jì)算約束判定條件為真的數(shù)量來衡量代碼的圈復(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ù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 久久久久人妻一区精品色| 成年网在线观看免费观看网址| 精品人妻无码一区二区色欲产成人| 精品一区二区久久久久久久网精| 国内一级纶理片免费| 中文字幕无码乱人伦 | 婷婷亚洲综合一区二区| 久久精品国产亚洲AV香蕉| 欧美黑人videos巨大18tee| 午夜视频在线观看区二区| 黄色大片在线观看| 国产自产21区| а天堂中文在线官网在线| 日本乱子伦xxxx少妇| 亚洲人成影院在线观看| 激情啪啪精品一区二区| 可以看的毛片网站| 香蕉久久精品国产| 国产精品久久久久一区二区| 99在线观看视频免费| 幻女free性俄罗斯第一次摘花| 久久亚洲国产精品五月天婷 | 国产成人三级经典中文| 67194在线看片| 天天躁夜夜躁狂狂躁综合| 中文亚洲成a人片在线观看| 最新版资源在线天堂| 亚洲日韩国产二区无码| 狠狠躁日日躁夜夜躁2022麻豆| 啊昂…啊昂高h| 被按摩的人妻中文字幕| 国产欧美日韩一区二区三区在线 | 天天摸日日摸人人看| 国产麻豆videoxxxx实拍| 一区二区高清视频在线观看| 无码夫の前で人妻を侵犯| 久久综合精品不卡一区二区| 欧美性受xxxx狂喷水| 亚洲精品欧美精品日韩精品| 禁忌2电影在线观看完整版免费观看 | 午夜阳光电影在线观看|