On Mon, May 31, 2021 at 11:49:56AM +0530, kmohit wrote: > Hi, > > I am trying to lift a code for x86 architecture and later run it on > Klee-2.1. > So that, Klee analysis it and gives which type of error is it. But it is not > giving that error which is expected. > For example, here written a code for free.err but when we try to lift it and > analysis it with Klee it gives me out bound error i.e ptr.err. > Could you help in this problem or give me any examples for that. Here the > code > ,
How do you lift the x86 code to LLVM IR?
What is the resulting LLVM IR code?
>
> #include <stdlib.h>
>
> int global[3];
> int main(void)
> {
> free(global); // free.err
> break;
> }
Regards,
Jonathan Neuschäfer
signature.asc
Description: PGP signature
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
