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 <[email protected]> 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
>
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
