[angr] Storing data into StateHistory
audrey at rhelmot.io
Tue Mar 27 18:01:38 PDT 2018
Hi! The easiest thing to do is probably to use history.add_event(name,
key1=val1, key2=val2)..., which will add a SimEvent to this list of events
for the step. Then, when iterating through state.history.events, you can
check event.type == name to match the events you've added, and then the
keys/vals you've provided will be in event.objects.
On Tue, Mar 27, 2018 at 7:37 AM, Cassius Puodzius <cpuodzius at gmail.com>
> Hi all,
> 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.
> Best regards,
> Cassius Puodzius
> angr mailing list
> angr at lists.cs.ucsb.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the angr