Static analysis tool for C and Objective-C. Based on the LLVM compiler-framework.
Deputy is a C compiler that is capable of preventing common C programming errors, including out-of-bounds memory accesses as well as many other common type-safety errors. It is designed to work on real-world code, up to and including the Linux kernel itse
Searches Google for known code constructs that may cause vulnerabilities