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