Represents a string that is read and/or write during the trace.
This object is not meant to be constructed directly. Use
>>> # From a reven_server >>> strings = reven_server.trace.strings("hello") >>> # strings matching the pattern "*hello*" in the whole trace are returned as a generator. >>> for string in strings: >>> print(string.data)
|Method||id||Property: The unique id of the string in the trace.|
|Method||data||Property: The content of the string.|
|Method||size||Property: The size in bytes of the string in memory|
|Method||address||Property: The linear address where the string begins.|
|Method||first_access||Property: The first transition the string has been accessed.|
|Method||last_access||Property: The last transition the string has been accessed.|
|Method||encoding||Property: The encoding of the string, whether UTF8 or UTF16.|
|Method||memory_accesses||Return a generator of
Property: The unique id of the string in the trace.
The id can be used to disambiguate the strings from other strings having e.g. the same contents, or at the same location, but created at a different time.
Property: The size in bytes of the string in memory
Property: The linear address where the string begins.
Property: The first transition the string has been accessed.
Property: The last transition the string has been accessed.
Property: The encoding of the string, whether UTF8 or UTF16.
Return a generator of
corresponding to the string accesses
The accesses are returned chronologically (from the
first_access to the
last_access of the
When the service takes too much time to retrieve memory accesses (>
5s), it times out and throws a
RuntimeError. If a timeout
occurs no accesses are returned at all.
|timeout||Technical parameter determining the maximum number of seconds to wait the
accesses. By default, wait 10 seconds before the timeout
|Returns||A generator of memory accesses (|
|Raises||RuntimeError||if the strings resource has not been generated.|
|ValueError||if from_transition > to_transition.|
|RuntimeError||if the service timeout (by default, if the service takes more than 10s).|