一種軟件更新的補丁安全性檢測方法及系統

新一代信息技術

本發明公開了一種軟件更新的補丁安全性檢測方法及系統，所

述方法包括：通過對補丁預處理，進而進行中間代碼分析以獲得受補

丁影響的基本塊，通過這些受補丁影響的基本塊得到內存敏感型函數

及其變量，從其出發構造主要執行路徑；在對路徑的進行符號執行的

過程中，確定具體的路徑條件，到達具體的內存敏感型函數時，結合

此時的路徑條件和相應的安全檢測器來判斷是否存在軟件更新安全問

題。本發明著重于檢測軟件更新后，新版本相對舊版本不同部

未應用