• 數據流分析（Data Flow Analysis）
  將數據看作是圖，節(jié)點是程序的基本快，邊是描述控制如何從一個基本快轉移掉另一個基本快。圖可以解決很多問題，例如：以
  圖中邊的抽象得出數學方程，七屆就是可達性問題的答案；PREfix、SLAM靜態(tài)分析系統(tǒng)使用了數據流分析的思想。
• 基于約束的分析（Constraint-based Analysis）
  從程序問文本中產生一系列的本地約束，通過解釋這些約束來驗證所有的屬性。Cqual是這種類型的系統(tǒng)。
• 抽象解析(Abstract Interpretation)
  將程序映射成更加抽象的域（Domain），試分析更加具有可跟中興并具有檢驗代碼的作用；抽象解析通過計算能夠直接得出分析結果，而不是像其他
  類型的方法使用驗證的方式進行分析；ASTREE是抽象分析的靜態(tài)檢查器。
• 類型與結果分析（Type and Effect Analysis）
  是結果系統(tǒng)和注釋的類型系統(tǒng)的混合。結果系統(tǒng)表達一個語句的執(zhí)行有什么結果；注釋的類型系統(tǒng)提供結果系統(tǒng)的予以。這種分析廣泛應用于各類編譯器（如：gcc – Wall選項）

參考klockwork介紹

總結

以上是生活随笔為你收集整理的静态分析的四种基本方法是_比较静态均衡分析方法的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。