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

[Daniel Liew]

On 9 September 2014 08:13, 高凤娟 <happygogf at 163.com> wrote:
> Hi,
>  Is there any function that gives us the distance between the buffer and the
> return address?

Your question is much too vague to be answerable (i.e. what "buffer"
are you talking about and what is it?). If you reformulate the
question in a clearer manner someone might answer it.