On 9 September 2014 08:13, 高凤娟 <[email protected]> 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.

_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to