Hi, Is there any function that gives us the distance between the buffer and the return address? Anyone can help me? Many thanks in advance. ------------------------------- Richel Gao
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
