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
<[email protected]> 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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
