class documentation

class Match(object):

View In Hierarchy

Represents a slice of memory that matches a specific pattern during some portion of the trace.

Matches are typically produced by Search.matches().

Method __init__ Undocumented
Property id Property: The unique id of the pattern in the Search instance that produced it.
Property physical_start_address Property: The reven2.address.PhysicalAddress of the first byte of the slice that matches the pattern.
Property physical_end_address Property: The reven2.address.PhysicalAddress of the first byte after the slice that matches the pattern.
Property virtual_start_address Property: The reven2.address.LinearAddress of the first byte of the slice that matches the pattern, or None, if the match was created by a physical write.
Property virtual_end_address Property: The reven2.address.LinearAddress of the first byte after the slice that matches the pattern, or None, if the match was created by a physical write.
Property known_mapped_context Property: A reven2.trace.Context where it's known that the virtual_start_address is mapped, or None, if unknown.
Property size_byte Property: The size of the match, in byte.
Property first_context Property: The first reven2.trace.Context where this slice matches the pattern.
Property last_context Property: The last reven2.trace.Context where this slice matches the pattern.
Property creation_transition Property: The reven2.trace.Transition that make the slice match the pattern, or None if the slice was alreadying matching the pattern in the from_context of the search.
Property destruction_transition Property: The reven2.trace.Transition that make the slice stop matching the pattern, or None if the slice matches the pattern until the to_context of the search.
Method accesses A generator of the reven2.memhist.MemoryAccesses that read from the slice while it was matching with the pattern.
Property pattern The pattern that the slice matches with.
Method __str__ Undocumented
Method format_as_html This method gets an html formatting string representation for this class instance.
Instance Variable _id Undocumented
Instance Variable _physical_start_address Undocumented
Instance Variable _creation_transition Undocumented
Instance Variable _destruction_transition Undocumented
Instance Variable _pattern Undocumented
Instance Variable _accesses Undocumented
Instance Variable _current_search Undocumented
Instance Variable _virtual_start_address Undocumented
Method _repr_html_ Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.
def __init__(self, match_id, physical_address, pattern, current_search, virtual_address):

Undocumented

_id =

Undocumented

_physical_start_address =

Undocumented

_creation_transition =

Undocumented

_destruction_transition =

Undocumented

_pattern =

Undocumented

_accesses =

Undocumented

(type: list)
_current_search =

Undocumented

_virtual_start_address =

Undocumented

@property
id =

Property: The unique id of the pattern in the Search instance that produced it.

@property
physical_start_address =

Property: The reven2.address.PhysicalAddress of the first byte of the slice that matches the pattern.

@property
physical_end_address =

Property: The reven2.address.PhysicalAddress of the first byte after the slice that matches the pattern.

@property
virtual_start_address =

Property: The reven2.address.LinearAddress of the first byte of the slice that matches the pattern, or None, if the match was created by a physical write.

@property
virtual_end_address =

Property: The reven2.address.LinearAddress of the first byte after the slice that matches the pattern, or None, if the match was created by a physical write.

@property
known_mapped_context =

Property: A reven2.trace.Context where it's known that the virtual_start_address is mapped, or None, if unknown.

@property
size_byte =

Property: The size of the match, in byte.

Note

>>> self.physical_end_address == self.physical_start_address + self.size_byte
True
@property
first_context =

Property: The first reven2.trace.Context where this slice matches the pattern.

@property
last_context =

Property: The last reven2.trace.Context where this slice matches the pattern.

Note

For Matches that are still alive in searches that are not completed, this will be updated as the search progresses

@property
creation_transition =

Property: The reven2.trace.Transition that make the slice match the pattern, or None if the slice was alreadying matching the pattern in the from_context of the search.

@property
destruction_transition =

Property: The reven2.trace.Transition that make the slice stop matching the pattern, or None if the slice matches the pattern until the to_context of the search.

def accesses(self):

A generator of the reven2.memhist.MemoryAccesses that read from the slice while it was matching with the pattern.

@property
pattern =

The pattern that the slice matches with.

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 21.2.2 at 2022-03-08 15:23:15.