[klee-dev] Analysis klee error for lifted x86 code

[Jonathan Neuschäfer]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20210531/7be5d143/attachment.sig>