reven.api.Trace : API documentation

Class	PointIterator	Iterator allowing to iterate over trace points.
Method	__init__	Undocumented
Method	name	The trace name.
Method	sequence_count	The count of basic blocks executed.
Method	search_point	No summary
Method	search_symbol	No summary
Method	point	Get Point object by sequence and instruction index. @param sequence: The sequence index. @param instruction: The instruction index, 0 (first instruction) by default.
Method	__iter__	Undocumented
Method	__repr__	Undocumented
Method	_rvn	Undocumented
Method	_cache_sequence	Return the sequence of index sid from the cache or cache it before. @param sid: Index of the sequence in this trace.

def __init__(self, project, run):

Undocumented

@property
def _rvn(self):

Undocumented

def _cache_sequence(self, sid):

Return the sequence of index sid from the cache or cache it before.

Parameters sid Index of the sequence in this trace.

@property
def name(self):

The trace name.

@property
def sequence_count(self):

The count of basic blocks executed.

def search_point(self, criterions, begin_point=None, end_point=None, cojunction=True, step_max_results=500, step_max_sequences=1000000):

Search for point matching the given criterions.

Parameters	criterions	A list of `Criterion` objects used to match a point.
	begin_point	The search range lower bound. If None (default), will start at the beginning of the trace.
	end_point	The search range upper bound. If None (default), will stop at the end of the trace.
	cojunction	Whether to user cojunction (and) or disjunction (or) of criterions.
	step_max_results	The maximum amount of results to cache before yielding. Tweak for responce time adjustement.
	step_max_sequences	The maximum amount of sequences to search before yielding. Tweak for responce time adjustement.
Returns	a generator of matching points.

def search_symbol(self, name, is_regex=False, is_called=False, is_renamed=False, step_max_results=1000):

Search for symbols.

Parameters	name	The symbol name.
	is_regex	Whether to consider @param name as regular expression or not.
	is_called	Whether to restrict search to called symbol or not.
	is_renamed	Whether to restrict search to renamed symbol or not.
	step_max_results	The maximum amount of results to cache before yielding. Tweak for responce time adjustement.
Returns	A generator of symbols matching the given criterions.

def point(self, sequence, instruction=0):

Get Point object by sequence and instruction index.

Parameters	sequence	The sequence index.
	instruction	The instruction index, 0 (first instruction) by default.

r.a.Trace(object) : class documentation