本申請公開了一種智能合約漏洞的檢測方法及相關設備,包括:根據智能合約的狀態、智能合約的路徑空間以及符號執行中是否觸發智能合約漏洞,構建路徑選擇模型與符號執行平臺的交互接口;通過交互接口將訓練后的路徑選擇模型連接到符號執行平臺中,由路徑選擇模型對符號執行過程中的路徑選擇進行決策;其中,路徑選擇模型為采用強化學習算法通過無監督學習訓練得到;通過符號執行平臺對目標智能合約可執行的路徑進行遍歷,得到符號執行結果;根據符號執行結果確定目標智能合約所存在的漏洞。本申請能夠有效選取存在漏洞的概率較大的路徑,相對于傳統的符號執行中對路徑的隨機選擇,能夠有效縮短發現漏洞的時間,提高了漏洞檢測的效率。
聲明:
“智能合約漏洞的檢測方法及相關設備” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)