買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網獲悉煙臺大學申請的專利基于混合模糊測試優化的智能合約漏洞檢測方法、系統獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN119337385B 。

龍圖騰網通過國家知識產權局官網在2025-09-26發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202411845270.2，技術領域涉及：G06F21/57；該發明授權基于混合模糊測試優化的智能合約漏洞檢測方法、系統是由趙相福;楊佳慧;張菡峰;何龍;茍乃翔;王世紀;王騰飛設計研發完成，并于2024-12-16向國家知識產權局提交的專利申請。

本基于混合模糊測試優化的智能合約漏洞檢測方法、系統在說明書摘要公布了：本發明涉及網絡安全、漏洞檢測技術領域，具體為一種基于混合模糊測試優化的智能合約漏洞檢測方法、系統，對編譯后EVM字節碼進行靜態分析生成第一測試用例集，進行模糊測試，同時引入污點分析跟蹤污點在指令流中的傳播。在模糊測試過程中根據執行次數閾值內指令計數集的長度變化，在長度變化值為0時觸發符號執行處理，在符號執行處理過程中，采取約束緩存重用策略對獲取的約束表達式進行求解，并對求解結果進行緩存和重用，使得符號執行能夠快速生成到達復雜分支的用例值，并反饋至模糊引擎以輔助其探索到新路徑捕捉更多深層次的漏洞；同時對權限控制、交易順序依賴、拒絕服務三種智能合約漏洞設計測試預言，漏洞檢測更為準確。

本發明授權基于混合模糊測試優化的智能合約漏洞檢測方法、系統在權利要求書中公布了：1.一種基于混合模糊測試優化的智能合約漏洞檢測方法，其特征在于，包括以下步驟： S1、獲取智能合約的源代碼，將其編譯后獲得EVM字節碼，對所述EVM字節碼進行靜態分析，基于字節碼中函數之間的讀寫依賴關系和函數所對應的源代碼，獲得ABI接口參數類型和函數調用序列； S2、基于ABI接口參數類型和函數調用序列，生成第一測試用例集，基于第一測試用例集對EVM字節碼進行模糊測試，獲得每個測試用例在指令執行時覆蓋的所有指令數，構建指令計數集；根據設定的執行次數閾值內指令計數集的長度變化，在長度變化值為0時進行符號執行處理， 所述符號執行處理操作具體為：將指令計數集長度變化值為0時的分支設置為目標分支點，僅獲取指令執行至目標分支點時每條執行路徑上所有分支約束的算數指令和邏輯指令，將其進行符號化處理轉化為約束表達式，收集約束表達式構建路徑約束集； 對約束表達式取反操作后進行約束求解，在所述約束求解中對約束表達式和其求解結果進行緩存重用，獲得滿足目標分支點所在分支約束條件的特定輸入值，將特定輸入值作為新的測試用例更新至第一測試用例集中，獲得第二測試用例集，循環執行S2，擴充第二測試用例集，直至達到設定的時間，終止循環，執行S3； S3、對不同智能合約漏洞設置不同測試預言，所述智能合約漏洞包括權限控制、交易順序依賴、拒絕服務智能合約漏洞；基于測試預言，使用第二測試用例集結合污點分析進行智能合約漏洞檢測，獲得漏洞檢測結果。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人煙臺大學，其通訊地址為：264005 山東省煙臺市萊山區清泉路30號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。