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

龍圖騰網(wǎng)獲悉華東師范大學(xué);上海境山科技有限公司申請的專利基于路徑剖析及代碼插樁的智能合約威脅檢測與防護(hù)方法獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識產(chǎn)權(quán)局授予，授權(quán)公告號為：CN116366322B 。

龍圖騰網(wǎng)通過國家知識產(chǎn)權(quán)局官網(wǎng)在2025-09-09發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請?zhí)?專利號為：202310291329.7，技術(shù)領(lǐng)域涉及：H04L9/40；該發(fā)明授權(quán)基于路徑剖析及代碼插樁的智能合約威脅檢測與防護(hù)方法是由何道敬;丁柯;朱珊珊設(shè)計研發(fā)完成，并于2023-03-23向國家知識產(chǎn)權(quán)局提交的專利申請。

本基于路徑剖析及代碼插樁的智能合約威脅檢測與防護(hù)方法在說明書摘要公布了：本發(fā)明公開了一種基于路徑剖析及代碼插樁的智能合約威脅檢測與防護(hù)方法，該方法通過正則方式預(yù)處理智能合約源代碼；依據(jù)源代碼靜態(tài)分析得到的靜態(tài)單賦值形式節(jié)點構(gòu)建智能合約控制流圖；根據(jù)控制流圖是否存在循環(huán)，選擇路徑剖析算法對路徑編碼，得到探針語句與待插樁邊；基于待插樁邊的探針語句來對源代碼插樁，并插入初始化定義代碼及安全防護(hù)代碼；將插樁后的源代碼部署在以太坊模擬環(huán)境上，測試并獲取安全路徑集合，再將加入安全路徑集合的源代碼部署至以太主網(wǎng)；依據(jù)以太主網(wǎng)中智能合約日志記錄的路徑編碼，結(jié)合控制流圖與探針信息進(jìn)行溯源；從而精準(zhǔn)跟蹤智能合約有環(huán)與無環(huán)執(zhí)行路徑，提升檢測準(zhǔn)確率，降低了執(zhí)行Gas開銷，溯源異常源代碼。

本發(fā)明授權(quán)基于路徑剖析及代碼插樁的智能合約威脅檢測與防護(hù)方法在權(quán)利要求書中公布了：1.一種基于路徑剖析及代碼插樁的智能合約威脅檢測與防護(hù)方法，其特征在于，該方法包括以下具體步驟： 步驟S1：利用正則方式對智能合約源代碼進(jìn)行預(yù)處理，以生成規(guī)范化后的智能合約源代碼； 步驟S2：依據(jù)智能合約靜態(tài)分析工具對源代碼靜態(tài)分析得到的靜態(tài)單一賦值形式節(jié)點，構(gòu)建智能合約控制流圖； 步驟S3：利用所述智能合約控制流圖，動態(tài)選擇路徑剖析算法對路徑編碼，得到探針語句與待插樁邊，保存控制流圖信息以及探針信息； 步驟S4：基于所述待插樁邊的探針語句來對源代碼進(jìn)行插樁，并插入探針狀態(tài)變量與路徑跟蹤事件的初始化定義代碼，以及安全路徑防護(hù)代碼； 步驟S5：對所述插樁后的智能合約源代碼部署在以太坊模擬環(huán)境上，設(shè)計安全測試用例輸入插樁后智能合約中，獲取安全路徑編碼集合，再將加入安全路徑集合的已插樁智能合約部署至以太主網(wǎng)； 步驟S6：依據(jù)所述以太主網(wǎng)中已插樁智能合約報告的事件與返回的路徑編碼，結(jié)合保存的控制流圖信息進(jìn)行溯源。

如需購買、轉(zhuǎn)讓、實施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請人或?qū)＠麢?quán)人華東師范大學(xué);上海境山科技有限公司，其通訊地址為：200241 上海市閔行區(qū)東川路500號；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。