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 <asantosa1...@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.albe...@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@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev