[angr] Storing data into StateHistory
cpuodzius at gmail.com
Tue Mar 27 07:37:13 PDT 2018
I would like to store some data after each step and retrieve them through StateHistory afterwards. Is there any default interface/plugin to accomplished that?
It should be similar to the globals plugin <https://docs.angr.io/docs/states.html> but for StateHistory instead.
P.S.: I know I could add an attribute to the StateHistory object, but I would like to ask what is the most recommended way to do.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the angr