class ChangeMarkers(object):
Models gained and lost markers for a TaintChange
entry.
Its two properties gained
and lost
return a MarkerIterator
over gained and lost markers for this taint change respectively.
This object is not meant to be constructed directly. It is created by TaintChange
>>> changes = taint.changes() >>> for change in changes.all(): >>> for mem, change_markers in change.tainted_memories(): >>> # change_markers is a ChangeMarker >>> # gained markers >>> for handle, name in change_markers.gained: >>> print(name) >>> # lost markers >>> for handle, name in change_markers.lost: >>> print(name)
Method | __init__ |
Undocumented |
Property | gained |
Property: return a generator of gained markers |
Property | lost |
Property: return a generator of lost markers |
Method | __repr__ |
Undocumented |
Instance Variable | _gained |
Undocumented |
Instance Variable | _lost |
Undocumented |