本發(fā)明提供了一種智能合約漏洞的檢查方法、系統(tǒng)和介質(zhì)，包括：Solidity程序靜態(tài)污點分析步驟：從語法上分析Solidity程序的源代碼，針對Solidity程序的源代碼中的每個函數(shù)，遍歷所有可能的執(zhí)行流程，形成控制流程圖，再標記所有可能的污點數(shù)據(jù)，獲得并存儲污點分析結果；State矩陣生成步驟：生成交易序列，再進行交易序列的重組，生成重組后的交易序列，再根據(jù)獲得的污點分析結果，獲得State矩陣。本發(fā)明結合了深度學習和模糊測試，利用深度強化學習模型與污點分析優(yōu)化了模糊測試技術，大大提升了模糊測試的覆蓋率與效率。本發(fā)明實現(xiàn)了一個高覆蓋率、高效率與低誤判率兼具的智能合約漏洞檢測技術。