抽象解析
將程序映射成更加抽象的域,試分析更加具有可跟中興并具有檢驗代碼的作用;抽象解析通過計算能夠直接得出分析結果,而不是像其他
類型的方法使用驗證的方式進行分析;ASTREE是抽象分析的靜態檢查器。
數據流分析
將數據看作是圖,節點是程序的基本快,邊是描述控制如何從一個基本快轉移掉另一個基本快。
基于約束的分析
從程序問文本中產生一系列的本地約束,通過解釋這些約束來驗證所有的屬性。
類型與結果分析
是結果系統和注釋的類型系統的混合。結果系統表達一個語句的執行有什么結果;注釋的類型系統提供結果系統的予以。
推薦閱讀: