class Match(object):
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 | __str__ |
Undocumented |
| Method | accesses |
A generator of the reven2.memhist.MemoryAccesses that read from the slice while it was matching with the pattern. |
| Method | format |
This method gets an html formatting string representation for this class instance. |
| Property | creation |
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 |
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. |
| Property | first |
Property: The first reven2.trace.Context where this slice matches the pattern. |
| Property | id |
Property: The unique id of the pattern in the Search instance that produced it. |
| Property | known |
Property: A reven2.trace.Context where it's known that the virtual_start_address is mapped, or None, if unknown. |
| Property | last |
Property: The last reven2.trace.Context where this slice matches the pattern. |
| Property | pattern |
The pattern that the slice matches with. |
| Property | physical |
Property: The reven2.address.PhysicalAddress of the first byte after the slice that matches the pattern. |
| Property | physical |
Property: The physical range of memory that matches the pattern |
| Property | physical |
Property: The reven2.address.PhysicalAddress of the first byte of the slice that matches the pattern. |
| Property | size |
Property: The size of the match, in byte. |
| Property | virtual |
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 | virtual |
Property: The virtual range of memory that matches the pattern, or None, if the match was created by a physical write. |
| Property | virtual |
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 | _repr |
Representation used by Jupyter Notebook when an instance of this class is displayed in a cell. |
| Instance Variable | _accesses |
Undocumented |
| Instance Variable | _creation |
Undocumented |
| Instance Variable | _current |
Undocumented |
| Instance Variable | _destruction |
Undocumented |
| Instance Variable | _id |
Undocumented |
| Instance Variable | _pattern |
Undocumented |
| Instance Variable | _physical |
Undocumented |
| Instance Variable | _virtual |
Undocumented |
Undocumented
| Parameters | |
| match | Undocumented |
physical_address.PhysicalAddress | Undocumented |
pattern:bytes | Undocumented |
| current | Undocumented |
virtual_Optional[ | Undocumented |
A generator of the reven2.memhist.MemoryAccesses that read from the slice while it was matching with the pattern.
This method gets an html formatting string representation for this class instance.
Information
| Returns | |
| String |
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.
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.
first_context =
Property: The first reven2.trace.Context where this slice matches the pattern.
known_mapped_context =
Property: A reven2.trace.Context where it's known that the virtual_start_address is mapped, or None, if unknown.
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: The reven2.address.PhysicalAddress of the first byte after the slice that matches the pattern.
Property: The reven2.address.PhysicalAddress of the first byte of the slice that matches the pattern.
size_byte =
Property: The size of the match, in byte.
Note
>>> self.physical_end_address == self.physical_start_address + self.size_byte True
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: The virtual range of memory that matches the pattern, or None, if the match was created by a physical write.
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.