代码提取工具

【文件属性】：

文件名称：代码提取工具

文件大小：9.28MB

文件格式：GZ

更新时间：2021-04-20 14:42:00

代码提取

Frama-C 是一个用来分析 C 代码的工具，它收集了很多静态统计技术，如代码切片和依赖分析等。 ... 代码审查（Code Review）不但可以提高质量，而且还是一个 ...