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 |