C代码分析工具 - Frama-C

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

 

项目地址：http://frama-c.com/

 

posted @ 2013-02-01 15:03  Taskiller  阅读(1325)  评论(0)  编辑  收藏  举报