Frama-C C代码分析工具

授权协议：LGPL操作系统：Windows 开发语言：C/C++

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