Frama-C

来自维基百科，自由的百科全书

Found in articles

数据流分析可以收集有關程式在不同點計算所得的可能數值。抽象释义可以被看作对计算机程序的部分执行，获取关于它的语义信息（比如，控制结构、信息流）而不进行所有计算。Frama-c（英语：Frama-c）及Polyspace等工具主要是以抽象释义為基礎。在程式碼中加入斷言，此方法最早是由霍尔逻辑提出。有些程式語言有對應的支援工具，

OCaml

(software)），用于C程序源代码变换（英语：program transformation）的实用工具。 Frama-C（英语：Frama-C），分析C程序的一个框架。 Flow，Facebook创建的用于推论和检查JavaScript的静态类型的一个静态分析器。 Infer，Facebook创建的用于Java、C、C

Found in articles

靜態程序分析

数据流分析可以收集有關程式在不同點計算所得的可能數值。抽象释义可以被看作对计算机程序的部分执行，获取关于它的语义信息（比如，控制结构、信息流）而不进行所有计算。Frama-c（英语：Frama-c）及Polyspace等工具主要是以抽象释义為基礎。在程式碼中加入斷言，此方法最早是由霍尔逻辑提出。有些程式語言有對應的支援工具，

OCaml

(software)），用于C程序源代码变换（英语：program transformation）的实用工具。 Frama-C（英语：Frama-C），分析C程序的一个框架。 Flow，Facebook创建的用于推论和检查JavaScript的静态类型的一个静态分析器。 Infer，Facebook创建的用于Java、C、C