reven.api.Taint(object) class documentation

Part of reven.api (View In Hierarchy)

The result of a taint propagation on a trace.

Method __init__ Initialize a Taint object from a low-level object. Not meant to be called directly.
Method status Property: The taint status.
Method last_point Property: The last point that was reached while propagating the taint.
Method diffs Property: The points where the taint changed.
def __init__(self, trc, rvn_taint):

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

Use a Project.taint instead.

@property
def status(self):

Property: The taint status.

Possible return values are:

  • "unknown": Unknown taint status
  • "vanished": The taint propagation stopped because nothing is tainted anymore
  • "completed": The taint propagation completed without errors
  • "timeout": the taint propagation stopped because it took longer than permitted
  • "error": the taint propagation encountered an error
@property
def last_point(self):

Property: The last point that was reached while propagating the taint.

@property
def diffs(self):

Property: The points where the taint changed.

Returnsa dict mapping an instruction (Point) to its effects (TaintDiff) on the taint.
API Documentation for reven, generated by pydoctor at 2018-06-06 16:31:21.