class MarkerIterator(object):
Models an iterator over taint markers.
For each marker it yields its handle (compact representation of marker) and its name
This object is not meant to be constructed directly. It is created by the TaintState
or TaintChange
>>> 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 |
Instance Variable | _rvn_marker_set |
Undocumented |
Instance Variable | _marker_manager |
Undocumented |