Phoronix: SMACK: A C/C++ Static Checker Built On LLVM

Another interesting open-source project has tipped up that is powered by the LLVM compiler infrastructure...

http://www.phoronix.com/vr.php?view=MTI5MjM