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

Hi, everybody.
I want to generate a expression for pointers to express the memory
space. I.E.
for( i = 0; i < N; i++)
ptr