angr.state_plugins.log¶

class angr.state_plugins.log.SimStateLog¶

Bases: SimStatePlugin

__init__(log=None)¶

property actions¶

add_event(event_type, **kwargs)¶

add_action(action)¶

extend_actions(new_actions)¶

events_of_type(event_type)¶

actions_of_type(action_type)¶

property fresh_constraints¶

clear()¶