高等教育領域數字化綜合服務平臺
華中科技大學
教育部
- 74 高校采購信息
- 3295 科技成果項目
- 0 創新創業項目
- 0 高校項目需求
一種軟件更新的補丁安全性檢測方法及系統
2021-04-14 00:00:00
云上高博會
http://www.eczace.xyz
關鍵詞：
軟件更新
所屬領域:
項目成果/簡介:
本發明公開了一種軟件更新的補丁安全性檢測方法及系統，所
述方法包括：通過對補丁預處理，進而進行中間代碼分析以獲得受補
丁影響的基本塊，通過這些受補丁影響的基本塊得到內存敏感型函數
及其變量，從其出發構造主要執行路徑；在對路徑的進行符號執行的
過程中，確定具體的路徑條件，到達具體的內存敏感型函數時，結合
此時的路徑條件和相應的安全檢測器來判斷是否存在軟件更新安全問
題。本發明著重于檢測軟件更新后，新版本相對舊版本不同部
項目階段:
掃碼關注，查看更多科技成果
取消
確定