C代码分析工具 Frama-C

发布时间:2012-10-07 09:17:49来源:红联作者:empast

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

主页：http://frama-c.com/

下载：http://frama-c.com/download.html

来自:开源中国社区