C代码分析工具:Frama-C

jopen 9年前

Frama-C 是一个用来分析 C 代码的工具,它收集了很多静态统计技术,如代码切片和依赖分析等。

  • observe sets of possible values for the variables of the program at each point of the execution;
  • slice the original program into simplified ones;
  • navigate the dataflow of the program, from definition to use or from use to definition.

C代码分析工具:Frama-C

项目主页:http://www.open-open.com/lib/view/home/1350711381336