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

龍圖騰網恭喜哈爾濱工業大學(深圳)(哈爾濱工業大學深圳科技創新研究院)申請的專利一種動靜態分析相結合的跨鏈橋智能合約漏洞檢測方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN120030554B 。

龍圖騰網通過國家知識產權局官網在2025-06-20發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202510508323.X，技術領域涉及：G06F21/57；該發明授權一種動靜態分析相結合的跨鏈橋智能合約漏洞檢測方法是由何道敬;鄭溢設計研發完成，并于2025-04-22向國家知識產權局提交的專利申請。

本一種動靜態分析相結合的跨鏈橋智能合約漏洞檢測方法在說明書摘要公布了：本發明提供一種動靜態分析相結合的跨鏈橋智能合約漏洞檢測方法及裝置，涉及區塊鏈智能合約漏洞檢測技術領域。該方法包括：根據智能合約字節碼構建跨鏈控制流圖以及跨鏈數據流圖；基于易受攻擊函數，根據跨鏈控制流圖以及跨鏈數據流圖進行污點分析，獲得跨鏈漏洞信息；基于靜態分析方法，根據單鏈控制流圖、單鏈數據流圖和應用程序二進制接口，通過新型種子初始化算法進行種子生成，獲得初始種子池；基于動態數據流反饋機制，根據初始種子池、智能合約字節碼、單鏈數據流圖和單合約漏洞模式進行動態模糊測試，獲得單鏈漏洞信息。本發明是一種結合動態分析與靜態分析的漏洞檢測類型全面的跨鏈橋智能合約漏洞檢測方法。

本發明授權一種動靜態分析相結合的跨鏈橋智能合約漏洞檢測方法在權利要求書中公布了：1.一種動靜態分析相結合的跨鏈橋智能合約漏洞檢測方法，其特征在于，所述方法包括：S1、在以太坊虛擬機環境中，獲取待檢測的智能合約字節碼以及應用程序二進制接口；S2、基于反編譯器、神經機器翻譯模型和SmartDagger工具，根據智能合約字節碼構建單鏈控制流圖以及單鏈數據流圖；S3、基于事件檢索方法，根據單鏈控制流圖以及單鏈數據流圖進行整合連接，獲得跨鏈控制流圖以及跨鏈數據流圖；S4、基于跨鏈語義檢查以及訪問控制約束條件檢查，根據跨鏈控制流圖以及跨鏈數據流圖進行漏洞檢查，獲得易受攻擊函數；S5、基于易受攻擊函數，根據跨鏈控制流圖以及跨鏈數據流圖進行污點分析，獲得跨鏈漏洞信息；S6、基于靜態分析方法，根據單鏈控制流圖、單鏈數據流圖和應用程序二進制接口，通過新型種子初始化算法進行種子生成，獲得初始種子池；其中，所述基于靜態分析方法，根據單鏈控制流圖、單鏈數據流圖和應用程序二進制接口，通過新型種子初始化算法進行種子生成，獲得初始種子池，包括：S61、根據單鏈控制流圖以及單鏈數據流圖，使用靜態分析方法進行信息元組構建，獲得信息四元組；S62、基于Def-Use鏈，根據信息四元組構建函數調用序列集合；S63、根據應用程序二進制接口以及信息四元組，將函數調用序列集合的每個函數調用序列轉換為交易序列，獲得初始種子池；S7、基于動態數據流反饋機制，根據初始種子池、智能合約字節碼、單鏈數據流圖和單合約漏洞模式進行動態模糊測試，獲得單鏈漏洞信息；S8、根據單鏈漏洞信息以及跨鏈漏洞信息生成漏洞檢測報告。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人哈爾濱工業大學(深圳)(哈爾濱工業大學深圳科技創新研究院)，其通訊地址為：518000 廣東省深圳市南山區桃源街道深圳大學城哈爾濱工業大學校區；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。