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

[Alberto Barbaro]

Thanks Andrew,
I'll try to do as you said.

Thanks again for the help.
A

2018-04-28 2:34 GMT+01:00 Andrew Santosa <asantosa1999 at gmail.com>:

> Hi Alberto,
>
> Perhaps you can simply dump the expression before the call to bindLocal().
> That is, if you see bindLocal() call of the form:
>
> bindLocal(kinst, state, expr);
>
> you can do
>
> expr->dump();
>
> immediately after/before the call to see the expression being locally
> bound.
>
> I hope this helps.
>
> Best,
> Andrew
>
>
> On Sunday, 18 March 2018, 7:56:03 pm GMT+8, Alberto Barbaro <
> barbaro.alberto at gmail.com> wrote:
>
>
> 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
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed