klee/klee — pull request #143 by luckyluke (2014-09-08 07:53:34+00:00)
Title: Detect overflow of unsigned add, sub and mul operations

This requires clang with -fsanitize=unsigned-integer-overflow
tested with clang and llvm 3.4.2