[klee-dev] question: how to create read expression

[Sumit Kumar]

Hi,
Let "x" be an integer identifier and it is made symbolic. I want to create
or get this expression:

        ReadLSB w32 0 x

I noticed that using "read" method in ObjectState class does not help if
"x" has been reassigned to some other expression. What should I do ?

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