reven2.preview.taint.ChangeMarkers

Warnings

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

Examples

>>> changes = taint.accesses(changes_only=True)
>>> 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)