杭州電子科技大學徐向華獲國家專利權
買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！
龍圖騰網獲悉杭州電子科技大學申請的專利基于狀態變量參數化的智能合約模糊測試方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN120407383B 。
龍圖騰網通過國家知識產權局官網在2025-08-29發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202510905375.0，技術領域涉及：G06F11/362；該發明授權基于狀態變量參數化的智能合約模糊測試方法是由徐向華;林凡罡設計研發完成，并于2025-07-02向國家知識產權局提交的專利申請。
本基于狀態變量參數化的智能合約模糊測試方法在說明書摘要公布了：本發明公開了基于狀態變量參數化的智能合約模糊測試方法，該方法包括：預處理階段，獲取待測智能合約程序，采用靜態分析工具編譯，提取編譯信息，基于深度優先算法生成狀態變量信息；參數化階段，基于遺傳算法初始化種群并執行智能合約單輪測試，確認待參數化的狀態變量集合，添加與狀態變量同名且同類型的替身參數，生成與原智能合約對應的替身合約；模糊測試階段，檢查替身參數的否滿足取值范圍的約束，判斷是否執行突變，在替身合約的模糊測試過程中，驗證觸發漏洞的種子中替身參數的取值。本發明利用狀態變量的取值范圍檢查突變數據，保證數據可用性，通過在原合約上反推觸發漏洞的狀態變量取值，確保檢測結果的可靠性。
本發明授權基于狀態變量參數化的智能合約模糊測試方法在權利要求書中公布了：1.基于狀態變量參數化的智能合約模糊測試方法，其特征在于，包括以下階段： 預處理階段：獲取待測智能合約程序，采用靜態分析工具進行編譯，提取編譯信息，基于深度優先算法生成狀態變量信息； 參數化階段：基于遺傳算法初始化種群并執行智能合約單輪測試，確認待參數化的狀態變量集合，添加與狀態變量同名且同類型的替身參數，生成與原智能合約對應的替身合約； 模糊測試階段：檢查替身參數的否滿足取值范圍的約束，判斷是否執行突變，在替身合約的模糊測試過程中，驗證觸發漏洞的種子中替身參數的取值。
如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人杭州電子科技大學，其通訊地址為：310018 浙江省杭州市錢塘區白楊街道2號大街1158號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
免責聲明
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
開放平臺
擔保交易
惠及多方
會員特惠
專屬平臺
適合多方
數據共享
功能齊全
皖公網安備 34010402703815號