Frama-C - C代码分析工具

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

---

授权协议: LGPL

操作系统: Windows

开发语言: C/C++

---

软件简介

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

---

软件首页

---