[klee-dev] Does klee support for function return address

[高凤娟]

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
-------------- next part --------------
HTML attachment scrubbed and removed