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

[Andrew Santosa]

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