Hi all,
Nowadays I try to modify Klee to erase some states in enhance its
scalability. In order to erase some states, I need to compare the internal
status of some states.
What I want is that taking an member of 'AddressSpace.objects'
(e.g., we can get a pair of MemoryObject and ObjectState here), how to
transfer them into an 'Expr'?
The key issue here is that I do not know the width of
an ObjectState. And I can not print it by ExprPPrinter. More, I have
searched our archives but there is no result.
Thanks.
Best regards,
Tao He（賀韜）
--------------------------------------------------------
Tao He
Department of Computer Science,
Sun Yat-sen University (Zhongshan University)
Guangzhou 510006, P.R. China
E-mail : [email protected]
Website : http://tao-he.appspot.com/
--------------------------------------------------------
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
