Deputy is a C compiler that enforces stricter typing discipline on your programs

deputy.cs.berkeley.edu