Frama-C 是一个用来分析 C 代码的工具,它收集了很多静态统计技术,如代码切片和依赖分析等。 项目地址:http://frama-c.com/ 转载于:https://www.cnblogs.com/taskiller/archive/2013/02/01/2889041.html