基于深度強化學習與多級覆蓋策略的智能合約模糊測試方法及系統,它屬于區塊鏈智能合約安全檢測技術領域。本發明解決了現有智能合約動態漏洞檢測方法效率低,不適用于智能合約程序特性的問題。本發明首先根據智能合約二進制代碼得到對應ABI規范,再使用二進制代碼和ABI規范生成初始種子加入到多級覆蓋策略定義的種子樹。再從種子樹中選擇種子進行變異,并將變異種子和二進制代碼送入智能合約執行環境,分析合約執行后產生的執行記錄計算變異種子是否出現新覆蓋特性,若出現則變異種子加入種子樹,并將變異種子的覆蓋特性作為獎勵送入DDPG算法,用于下一次變異策略的選擇,直至循環終止再判斷該合約是否有漏洞。本發明可以應用于智能合約模糊測試。
聲明:
“基于深度強化學習與多級覆蓋策略的智能合約模糊測試方法及系統” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)