Re: [klee-dev] Signed Integer Overflow Checking using KLEE

2017-02-06 Thread 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


___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[klee-dev] Signed Integer Overflow Checking using KLEE

2017-02-04 Thread Shaobo He 
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?

Thanks,
Shaobo
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev