基于深度強(qiáng)化學(xué)習(xí)與多級(jí)覆蓋策略的智能合約模糊測(cè)試方法及系統(tǒng),它屬于區(qū)塊鏈智能合約安全檢測(cè)技術(shù)領(lǐng)域。本發(fā)明解決了現(xiàn)有智能合約動(dòng)態(tài)漏洞檢測(cè)方法效率低,不適用于智能合約程序特性的問(wèn)題。本發(fā)明首先根據(jù)智能合約二進(jìn)制代碼得到對(duì)應(yīng)ABI規(guī)范,再使用二進(jìn)制代碼和ABI規(guī)范生成初始種子加入到多級(jí)覆蓋策略定義的種子樹。再?gòu)姆N子樹中選擇種子進(jìn)行變異,并將變異種子和二進(jìn)制代碼送入智能合約執(zhí)行環(huán)境,分析合約執(zhí)行后產(chǎn)生的執(zhí)行記錄計(jì)算變異種子是否出現(xiàn)新覆蓋特性,若出現(xiàn)則變異種子加入種子樹,并將變異種子的覆蓋特性作為獎(jiǎng)勵(lì)送入DDPG算法,用于下一次變異策略的選擇,直至循環(huán)終止再判斷該合約是否有漏洞。本發(fā)明可以應(yīng)用于智能合約模糊測(cè)試。
聲明:
“基于深度強(qiáng)化學(xué)習(xí)與多級(jí)覆蓋策略的智能合約模糊測(cè)試方法及系統(tǒng)” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請(qǐng)聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)