夹板和测试覆盖率分析？

我正在寻找一种静态分析工具,它具有成熟的夹板,也可以生成代码的测试覆盖率分析.例如,libfoo.c中的所有非静态函数都应该存在于libfoo.h中,通过该标记,libfoo.h中的所有函数都应该具有单元测试.

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

我正在研究一个移动速度非常快的项目,每天都会添加各种东西,我希望找到一些有助于确保单元测试覆盖率足够的静态分析工具.它是一个庞大的,地理位置分散的团队,这意味着每周7天,每天24小时提供服务,我需要每晚构建更聪明.

我不需要它超级聪明,我只需要它来打破构建,如果没有测试的东西,除非它明确地超出范围.

CCAN正在研究类似的事情,但是在任何实质性内容出现之前几个月.我也需要成熟的东西.

在此先感谢任何宝石的链接.

GCC文档指出读者可以使用gcov进行代码覆盖率分析.2005年Dobbs博士关于防御性编程的文章包括对使用gcov的讨论.