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