[klee-dev] how to get this constraint in klee

[Sumit Kumar]

Hi,
Can anyone please help me. This is what I want to do in KLEE:

'x', 'y' are integer symbolic variables. Now the following statement is
executed:

        x = y;

If after this statement any constraint in KLEE involves x then the value of
x is taken as:

    "ReadLSB w32 0 y"

but I want that the constraint must be "ReadLSB w32 0 x". How can I do that
?

--
Thanks and Regards
Sumit
-------------- next part --------------
HTML attachment scrubbed and removed