本發明提供了一種智能合約漏洞的檢查方法、系統和介質,包括:Solidity程序靜態污點分析步驟:從語法上分析Solidity程序的源代碼,針對Solidity程序的源代碼中的每個函數,遍歷所有可能的執行流程,形成控制流程圖,再標記所有可能的污點數據,獲得并存儲污點分析結果;State矩陣生成步驟:生成交易序列,再進行交易序列的重組,生成重組后的交易序列,再根據獲得的污點分析結果,獲得State矩陣。本發明結合了深度學習和模糊測試,利用深度強化學習模型與污點分析優化了模糊測試技術,大大提升了模糊測試的覆蓋率與效率。本發明實現了一個高覆蓋率、高效率與低誤判率兼具的智能合約漏洞檢測技術。
聲明:
“智能合約漏洞的檢查方法、系統及介質” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)