Hi Dan, I apologize for the ambiguity. What I meant was this: Suppose I want to introduce a new integer symbolic variable named "temp" (which is not declared in the test program originally) so that I can perform memory operations (read / write) on it, then how can I do it.
-- Thanks and Regards, Sumit On 5 April 2016 at 03:38, Dan Liew <[email protected]> wrote: > On 4 April 2016 at 15:34, Sumit Kumar <[email protected]> wrote: > > Hi, > > > > Can anyone please tell me how to introduce a new (not declared in test > > program) symbolic variable from within KLEE. > > Your question is not specific enough. "symbolic variable" here could > mean several different things. E.g. you could just make a new > ``Array`` and create ReadExpr of it or you could actually create > something in KLEE's model of memory and read from that. >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
