Integer Overflow Checker (IOC)
IOC is the name of the compiler we built for our 2012 ICSE paper Understanding Integer Overflow in C/C++  that can be used to check for integer overflows. IOC extends Clang to add flags to insert integer overflow check instrumentation, which is useful for catching bugs or ensuring software operates as expected.
IOC has now been integrated with Clang  and is can be enabled
-fsanitize=integer flag as of the 3.3 release.