Frama-C- C代码分析工具

C/C++ 代码管理分析/审查/优化

访问GitHub主页

共0Star

详细介绍

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

推荐源码