[klee-dev] How to get the returned address after an malloc

[Alberto Barbaro]

Hi all,
I have seen that the malloc function is handled via handleMallc() in
Executor.cpp relying on executeAlloc(). I would like to understand the best
way to access, for instance, to address associated with the memory
allocated by the malloc. I think the function bindLocal() is used for
storing that information within the state object but I cannot really
understand how to retrieve it.

Any help please with an example?

Thanks
-------------- next part --------------
HTML attachment scrubbed and removed