[klee-dev] How about generating "expression of memory access space of pointers/ array" with klee?

[Eric Lu]

Hi, everybody.

   I want to generate a expression for pointers to express the memory
space. I.E.

    int *ptr;
   for( i = 0; i < N; i++)
      ptr++;

   We get the expression for pointer ptr: ptr, upbound: N, lowerbound: 0.

Can klee do this? I have look through the mail list, there seems no subject
related to this case.

I am new to klee, any advice is welcome!


Eric Lew


On Wed, May 29, 2013 at 9:38 AM, Eric Lu <eirc.lew at gmail.com> wrote:

> Hi, everybody.
>
>    I want to generate a expression for pointers to express the memory
> space. I.E.
>
>
>    for( i = 0; i < N; i++)
>       ptr
>
-------------- next part --------------
HTML attachment scrubbed and removed