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