恭喜杭州電子科技大學徐向華獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網恭喜杭州電子科技大學申請的專利基于動態分支選擇的定向模糊測試方法及系統獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN116804968B 。
龍圖騰網通過國家知識產權局官網在2025-04-15發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202310549657.2,技術領域涉及:G06F11/3668;該發明授權基于動態分支選擇的定向模糊測試方法及系統是由徐向華;陶泓宇設計研發完成,并于2023-05-12向國家知識產權局提交的專利申請。
本基于動態分支選擇的定向模糊測試方法及系統在說明書摘要公布了:本發明公開了基于動態分支選擇的定向模糊測試方法及系統,該方法首先使用定向模糊測試工具獲取被測程序的目標點,并生成可執行文件,獲得執行路徑和輸入偏移序列。其次基于得到的種子執行路徑對遺漏分支池進行更新,并針對更新過程中新增的遺漏分支,計算分支屬性。然后基于分支屬性,獲得每個分支對應的權重,由權重計算帶有不同分支特性標記的分支在候選分支集合中的數量。最后基于候選分支集合使用開源工具的模糊變異方法根據結構體實例進行模糊變異。該系統包括靜態分析模塊、信息提取模塊、分支調度模塊和模糊變異模塊。本發明提升了定向模糊測試整體的效率,探索到被測程序中更多路徑,并能發現更多程序漏洞。
本發明授權基于動態分支選擇的定向模糊測試方法及系統在權利要求書中公布了:1.基于動態分支選擇的定向模糊測試方法,其特征在于,包括如下步驟:S1、使用定向模糊測試工具獲取被測程序的目標點,對程序進行編譯插樁并生成可執行文件,進而獲得執行路徑和輸入偏移序列;S2、維護遺漏分支池保存測試中發現的遺漏分支,使用字節碼文件生成被測程序的控制流圖CFG,利用目標點的位置信息在CFG中對目標點進行標記;在模糊測試過程中對發現的種子進行動態執行分析,基于得到的種子執行路徑對遺漏分支池進行更新;對更新過程中新增的遺漏分支計算并記錄該分支屬性;S3基于分支屬性,將遺漏分支池中的分支標記為帶有不同的分支特性,并記錄每個分支特性在測試過程中發現的種子和漏洞數量,進而獲得每個分支對應的權重,由權重計算帶有不同分支特性標記的分支在候選分支集合selectedBranches中的數量nbr[i];S4基于候選分支集合selectedBranches,使用ParmeSan開源工具的模糊變異方法根據結構體實例進行模糊變異。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人杭州電子科技大學,其通訊地址為:310018 浙江省杭州市錢塘區白楊街道2號大街1158號;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。