A taint propagation diff. It stores which elements either gain or loss the taint.

Method __init__ Initialize a TaintDiff from a low-level object. Not meant to be called directly.
Method untainted Property: The list of untainted elements.
Method tainted Property: The list of newly tainted elements.
def __init__(self, rvn_taint_diff):

Initialize a TaintDiff from a low-level object. Not meant to be called directly.

Use Taint.diffs instead.

@property
def untainted(self):

Property: The list of untainted elements.

@property
def tainted(self):

Property: The list of newly tainted elements.

API Documentation for reven, generated by pydoctor at 2018-06-06 16:31:21.