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

龍圖騰網恭喜南京郵電大學申請的專利一種智能合約的細粒度漏洞檢測方法、系統、裝置及存儲介質獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN119598475B 。

龍圖騰網通過國家知識產權局官網在2025-05-16發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202510140022.6，技術領域涉及：G06F21/57；該發明授權一種智能合約的細粒度漏洞檢測方法、系統、裝置及存儲介質是由黃海平;耿辰;彭冠超;馬瑞良;常舒予;吳敏;高漢成;薛凌妍設計研發完成，并于2025-02-08向國家知識產權局提交的專利申請。

本一種智能合約的細粒度漏洞檢測方法、系統、裝置及存儲介質在說明書摘要公布了：本發明公開了一種智能合約的細粒度漏洞檢測方法、系統、裝置及存儲介質，屬于智能合約漏洞檢測技術領域。方法包括獲取包括若干語句的待檢測智能合約代碼數據；根據語句的節點類型遍歷待檢測智能合約代碼數據生成代碼控制流集合；將代碼控制流集合輸入提示模版中得到各代碼控制流對應的提示文本嵌入序列；將各代碼控制流對應的提示文本嵌入序列輸入殘差網絡中，經過殘差重參數化操作轉換為重參數化嵌入序列；將重參數化嵌入序列輸入細粒度漏洞檢測模型，得到待檢測智能合約的漏洞集合，對各代碼控制流對應的漏洞進行評分計算，并按評分計算結果進行排序得到細粒度漏洞檢測結果。本發明實現檢測存在漏洞的代碼控制流，得到細粒度漏洞檢測結果。

本發明授權一種智能合約的細粒度漏洞檢測方法、系統、裝置及存儲介質在權利要求書中公布了：1.一種智能合約的細粒度漏洞檢測方法，其特征在于，包括：獲取包括若干語句的待檢測智能合約代碼數據；根據所述語句的節點類型遍歷待檢測智能合約代碼數據，生成代碼控制流集合；將代碼控制流集合輸入預先獲取的提示模版中，得到各代碼控制流對應的提示文本嵌入序列；將各代碼控制流對應的提示文本嵌入序列輸入殘差網絡中，經過殘差重參數化操作轉換為重參數化嵌入序列；將所述重參數化嵌入序列輸入預先訓練好的細粒度漏洞檢測模型，得到待檢測智能合約的漏洞集合，對漏洞集合中各代碼控制流對應的漏洞進行評分計算，并按評分計算的結果進行排序得到細粒度漏洞檢測結果；其中，根據所述語句的節點類型遍歷待檢測智能合約代碼數據，生成代碼控制流集合，包括：所述語句的節點類型包括常規節點、條件判斷節點、循環判斷節點、入口節點和出口節點；遍歷待檢測智能合約代碼數據，表示為： ；其中，表示待檢測智能合約代碼數據的語句集合，表示第1,第2,…,第個語句，表示語句總數；對于待檢測智能合約代碼數據的語句集合中任一入口節點，將其加入對應代碼控制流，并將對應代碼控制流作為當前代碼控制流，判斷入口節點的當前后續語句的節點類型，；若當前后續語句為常規節點，則將當前后續語句加入當前代碼控制流，并繼續遍歷下一語句；若當前后續語句為條件判斷節點，則創建一個與當前代碼控制流相同的第一同步代碼控制流，將當前后續語句和判斷成功的成功語句加入當前代碼控制流，將當前后續語句和判斷失敗的失敗語句加入第一同步代碼控制流，分別遍歷成功語句和失敗語句的后續語句；若當前后續語句為循環判斷節點，則創建一個與當前代碼控制流相同的第二同步代碼控制流，將當前后續語句和判斷成功的循環語句加入當前代碼控制流，將當前后續語句和判斷失敗跳出循環的非循環語句加入第二同步代碼控制流，分別遍歷循環語句和非循環語句的后續語句；若當前后續語句為出口節點，則將當前后續語句加入當前代碼控制流后結束當前遍歷；遍歷待檢測智能合約代碼數據中的全部入口節點后，得到代碼控制流集合，表示為： ；其中，表示代碼控制流集合，表示第1,第2,…,第個代碼控制流，表示代碼控制流總數，其等于入口節點的數量。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人南京郵電大學，其通訊地址為：210023 江蘇省南京市棲霞區文苑路9號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。