[klee-dev] how to introduce a new symbolic variable

[Sumit Kumar]

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 <dan at su-root.co.uk> wrote:

> On 4 April 2016 at 15:34, Sumit Kumar <sumit686215 at gmail.com> 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.
>
-------------- next part --------------
HTML attachment scrubbed and removed