靜態分析的幾種基本方法
發布時間：2021-11-23
靜態分析的幾種基本方法：
抽象解析
將程序映射成更加抽象的域，試分析更加具有可跟中興并具有檢驗代碼的作用；抽象解析通過計算能夠直接得出分析結果，而不是像其他
類型的方法使用驗證的方式進行分析；ASTREE是抽象分析的靜態檢查器。
數據流分析
將數據看作是圖，節點是程序的基本快，邊是描述控制如何從一個基本快轉移掉另一個基本快。
基于約束的分析
從程序問文本中產生一系列的本地約束，通過解釋這些約束來驗證所有的屬性。
類型與結果分析
是結果系統和注釋的類型系統的混合。結果系統表達一個語句的執行有什么結果；注釋的類型系統提供結果系統的予以。
推薦閱讀：
本文內容不用于商業目的，如涉及知識產權問題，請權利人聯系SPASVO小編(021-60725088-8054)，我們將立即處理，馬上刪除。
sales@spasvo.com
