煙臺大學趙相福獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網獲悉煙臺大學申請的專利基于大語言模型引導的智能合約漏洞檢測方法、系統獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN120145396B 。
龍圖騰網通過國家知識產權局官網在2025-09-02發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202510272096.5,技術領域涉及:G06F21/57;該發明授權基于大語言模型引導的智能合約漏洞檢測方法、系統是由趙相福;張佳睿;何龍;王騰飛;沈心怡設計研發完成,并于2025-03-10向國家知識產權局提交的專利申請。
本基于大語言模型引導的智能合約漏洞檢測方法、系統在說明書摘要公布了:本發明涉及網絡安全、漏洞檢測領域,具體為一種基于大語言模型引導的智能合約漏洞檢測方法、系統,將初始漏洞檢測數據轉換為標準漏洞檢測數據后進行分類和連接處理,然后通過對智能合約進行數據流和控制流分析,挖掘智能合約中的數據依賴關系,將這些數據依賴關系以數據依賴關系樹表示;將數據依賴關系樹中反映數據依賴關系的有向邊、有向邊連接的兩個節點提取出來保存至三元組表,并將三元組表中的元素在抽象語法樹中標記出來,獲取到包含智能合約數據依賴關系的抽象語法樹,然后使用大語言模型學習抽象語法樹中標記的數據依賴關系并分析智能合約的代碼結構,對智能合約進行漏洞檢測,顯著提高了漏洞檢測的精確率。
本發明授權基于大語言模型引導的智能合約漏洞檢測方法、系統在權利要求書中公布了:1.一種基于大語言模型引導的智能合約漏洞檢測方法,其特征在于,包括以下步驟: S1、對智能合約使用不同漏洞檢測工具進行漏洞檢測,獲得初始漏洞檢測數據,對初始漏洞檢測數據進行格式轉換,獲得標準漏洞檢測數據,標準漏洞檢測數據包括漏洞編號、漏洞位置信息; 基于設定的漏洞分類標準對標準漏洞檢測數據進行分類并去重,獲得分類漏洞數據,對分類漏洞數據以鏈表方式進行連接處理,獲得合并漏洞數據; S2、對智能合約進行數據流分析,獲得數據流圖,基于合并漏洞數據對數據流圖中引發漏洞的變量進行標記,獲得標記變量,以標記變量為起點,遍歷數據流圖,基于數據流向的順序對數據流圖中的若干個變量依次進行分級標記,獲得若干個不同級別的影響變量, 將若干個不同級別的影響變量分別作為不同層級的節點,基于數據流向關系在相鄰層級的節點之間添加有向邊,構建數據依賴關系樹; S3、對智能合約進行控制流分析,獲得控制流圖;基于數據依賴關系樹中不同層級節點中的代碼,將控制流圖中對應的可執行代碼塊標記為污點塊,并以污點塊為起點,在控制流圖中沿代碼塊執行順序進行回溯,獲取指向污點塊的前驅代碼塊, 提取前驅代碼塊中影響代碼塊執行順序的關鍵變量,并將關鍵變量作為新的節點添加至數據依賴關系樹,獲得更新數據依賴關系樹; S4、對智能合約編譯生成第一抽象語法樹,基于更新數據依賴關系樹提取有向邊、有向邊連接的兩個節點,構建三元組表,基于三元組表的元素對抽象語法樹進行標記,獲得第二抽象語法樹; S5、基于第二抽象語法樹、智能合約源代碼、漏洞類型、設定的回復模板設置大語言模型的提示模板,使用大語言模型進行漏洞檢測,獲得漏洞檢測結果。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人煙臺大學,其通訊地址為:264005 山東省煙臺市萊山區清泉路30號;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。