reven2.search_in_memory.Match(object) class documentation

Part of reven2.search_in_memory (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
Method id Property: The unique id of the pattern in the Search instance that produced it.
Method physical_start_address Property: The reven2.address.PhysicalAddress of the first byte of the slice that matches the pattern.
Method physical_end_address Property: The reven2.address.PhysicalAddress of the first byte after the slice that matches the pattern.
Method 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.
Method 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.
Method known_mapped_context Property: A reven2.trace.Context where it's known that the virtual_start_address is mapped, or None, if unknown.
Method size_byte Property: The size of the match, in byte.
Method first_context Property: The first reven2.trace.Context where this slice matches the pattern.
Method last_context Property: The last reven2.trace.Context where this slice matches the pattern.
Method 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.
Method 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.
Method 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.
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
@property
def id(self):

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

@property
def physical_start_address(self):

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

@property
def physical_end_address(self):

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

@property
def virtual_start_address(self):

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
def virtual_end_address(self):

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
def known_mapped_context(self):

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

@property
def size_byte(self):

Property: The size of the match, in byte.

Note

>>> self.physical_end_address == self.physical_start_address + self.size_byte
True
@property
def first_context(self):

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

@property
def last_context(self):

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
def creation_transition(self):

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
def destruction_transition(self):

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
def pattern(self):

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 at 2020-12-14 16:47:40.