用于检查大型分布式C++项目(如KDE)的工具?

有没有一个工具可以处理大型的、真实的、主要是C++、分布式系统(如kde)的模型检查?

(从使用IPC的意义上讲,KDE是一个分布式系统,尽管通常所有进程都在同一台机器上。是的,顺便说一下,这是“分布式系统”的一个有效用法——查看维基百科。)

该工具需要能够处理进程内事件和进程间消息。

(让我们假设,如果该工具支持C++,但不支持KDE使用的其他东西,比如MOC,我们可以一起处理某些问题。)

我很乐意接受不太一般的(例如专门用于查找特定类错误的静态分析工具)或更一般的静态分析替代品,而不是实际的模型检查工具。但我只对能 事实上 处理kde规模和复杂性的项目。