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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
