Il 04/02/2017 02:16, Shaobo He ha scritto: > Hey guys, > > I tried to find out if KLEE can check signed integer overflows while got > no luck. Could you share some information about it?
Hi Shaobo, I implemented signed and unsigned integer overflow back in KLEE 1.0, haven't tried recently though. You should add the flags -fsanitize=[un]signed-integer-overflow when compiling, otherwise the additional checks will not be inserted. Hope it helps Luca _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
