reven2.preview.taint.ChangeMarkers(object)
class documentationreven2.preview.taint
(View In Hierarchy)
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 |
Method | gained | Property: return a generator of gained markers |
Method | lost | Property: return a generator of lost markers |
Method | __repr__ | Undocumented |