夹板和测试覆盖率分析?

我正在寻找一个具有splint成熟度的静态分析工具,它还可以生成代码的测试覆盖率分析。例如,libfoo.c中的所有非静态函数都应该出现在libfoo.h中,因此libfoo.h中的所有函数都应该有单元测试。

当然,这种行为需要某种粒度控制,但这将在静态分析工具的某种启动配置文件中定义。

我正在做一个进展很快的项目,每天都在添加各种各样的东西,我希望找到一些静态分析工具,帮助确保单元测试覆盖率保持足够。这是一个大型的、地理分布的团队,这意味着每一天24小时都有工作要做,我需要每夜构建更智能。

CCAN也在做类似的事情,但要写出任何实质性的东西还需要几个月的时间。我也需要一些成熟的东西。

提前感谢链接到任何宝石。