reven2.preview.taint.MarkerIterator

class documentation

class MarkerIterator(object):

View In Hierarchy

Models an iterator over taint markers.

For each marker it yields its handle (compact representation of marker) and its name

Warnings

This object is not meant to be constructed directly. It is created by the TaintState or TaintAccess

Examples

>>> state = taint.state_at(trace.context_before(10))
>>> for regs, markers in state.tainted_registers():
...     # markers is a MarkerIterator
...     for handle, name in markers:
...         print(name)
tag0
Method __init__ Undocumented
Method __iter__ Undocumented
Method __repr__ Undocumented
Method handles Undocumented
Instance Variable _marker_manager Undocumented
Instance Variable _rvn_marker_set Undocumented
def __init__(self, rvn_marker_set, marker_manager):

Undocumented

Parameters
rvn_marker_set:_Iterable[MarkerHandle]Undocumented
marker_manager:MarkerManagerUndocumented
def __iter__(self):

Undocumented

Returns
_Iterator[_Tuple[MarkerHandle, MarkerName]]Undocumented
def __repr__(self):

Undocumented

def handles(self):

Undocumented

Returns
_Iterator[MarkerHandle]Undocumented
_marker_manager =

Undocumented

_rvn_marker_set =

Undocumented