[klee-dev] Restrict memory access to a memory region

[Mark R. Tuttle]

How would you define a region of memory and assert that a pointer should
never point outside of that region?

To assert that all reads and writes should access only memory within that
region?

Thanks,
Mark
-------------- next part --------------
HTML attachment scrubbed and removed