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 Matches when this event has been produced by the search.
def __init__(self, event_match, transition, current_matches, virtual_address, access_offset, access_size):
@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

ReturnsString
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.