[angr] Storing data into StateHistory

Cassius Puodzius cpuodzius at gmail.com
Tue Mar 27 07:37:13 PDT 2018


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.ucsb.edu/pipermail/angr/attachments/20180327/3c4a8dbc/attachment.html>


More information about the angr mailing list