A taint warning is a collection of warning messages that occurred during the taint.

A taint warning is composed of:

Warnings may indicate correctness errors due to limitations of the current taint engine. It is recommended to manually check the validity of the taint at points that contain warnings, especially if the warnings occurs in a range of transitions that overlaps with some TaintChange.

Warnings

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

Examples

>>> warnings = taint.warnings()
>>> for warning in warnings.all():
>>>     # warning is an instance of TaintWarning
>>>     print(warning)
Sequence[#16 cld , #27 lea rax, [rip + 0x3120]]
X87 FPU access in forward taint analysis
Method __init__ Undocumented
Method transition_range Property: the transition range where the warnings occurred
Method warnings Iterate over all warnings that occurred in the specified transition range
Method __str__ Undocumented
Method __repr__ Undocumented
Method format_as_html This method gets an html formatting string representation for this class instance.
Method _repr_html_ Undocumented
def __init__(self, trace, taint_data, taint_warning):
Undocumented
@property
def transition_range(self):

Property: the transition range where the warnings occurred

Examples

>>> warnings = taint.warnings()
>>> for warning in warnings.all():
>>>     # warning is an instance of TaintWarning
>>>     print(warning.transition_range)
(Transition(id=16), Transition(id=27))

Information

ReturnsA transition range of the form [first, last], with last included. (type: A tuple (reven2.trace.Transition, reven2.trace.Transition).)
def warnings(self):

Iterate over all warnings that occurred in the specified transition range

Examples

>>> warnings = taint.warnings()
>>> for warning in warnings.all():
>>>     for w in warning.warnings():
>>>         print(w)
X87 FPU access in forward taint analysis

Information

ReturnsA generator of low level TaintWarning.
def __str__(self):
Undocumented
def __repr__(self):
Undocumented
def format_as_html(self):

This method gets an html formatting string representation for this class instance.

Information

ReturnsString
def _repr_html_(self):
Undocumented
API Documentation for reven2, generated by pydoctor at 2021-01-06 13:24:12.