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

參考klockwork介紹

總結(jié)

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

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。