Event that occurs when an existing slice that matches the pattern is read in the trace.

The associated Match is never created by the event.

Method	__init__	Undocumented
Method	access	Property: The `reven2.memhist.MemoryAccess` corresponding to the read access to the `Match`.
Method	__str__	Undocumented
Method	format_as_html	This method gets an html formatting string representation for this class instance.
Method	_repr_html_	Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.

Inherited from Event:

Method	match	Property: `Match` object that was modified by this `Event`.
Method	transition	Property: `reven2.trace.Transition` where the event occurred.
Method	current_matches	The current state of the `Match`es when this event has been produced by the search.

def __init__(self, event_match, transition, current_matches, virtual_address, access_offset, access_size):

Undocumented

@property
def access(self):

Property: The reven2.memhist.MemoryAccess corresponding to the read access to the Match.

def __str__(self):

Undocumented

def format_as_html(self):

This method gets an html formatting string representation for this class instance.

Information

Returns String

def _repr_html_(self):

Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.

API Documentation for reven2, generated by pydoctor at 2020-12-14 16:47:40.

reven2.search_in_memory.AccessEvent(Event) class documentation