Deputy is a C compiler that enforces stricter typing discipline on your programs (deputy.cs.berkeley.edu)