[klee-dev] Signed Integer Overflow Checking using KLEE

[Luca Dariz]

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