c - 强大的 typedef 静态检查器 (unix)

Question

是否有免费工具(某种静态检查器)可以对普通 C(而非C++)进行基于typedef 的类型检查并在Linux 上运行(或任何一种免费的 Unix)？我知道一个商业的:PC-lint/FlexeLint。它完全符合我的要求，但它不是免费的，而且仅限于 Windows。这是手册中的示例:

typedef int Count;
typedef int Bool;
Count n;
Bool stop;
.
.
.
n = stop ; // tool generates a warning here

我已经读过这个 Enforce strong type checking in C (type strictness for typedefs)还有这个Is there a good way to force type incompatibility in C?我知道 struct encapsulation hack，但这不是我想要的。我有一堆代码，我想检查它是否存在这种特定类型的错误。

Answer 1

splint呢？ ？ (我还没有检查它是否可以做你想做的事。我怀疑它是否会。)

或者，使用 C99 的 stdbool.h 和 bool 类型怎么样？