reven2.preview.taint.TaintWarning

class documentation

class TaintWarning(object):

View In Hierarchy

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
Property 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.
Instance Variable _trace Undocumented
Instance Variable _taint_data Undocumented
Instance Variable _taint_warning Undocumented
Method _repr_html_ Undocumented
def __init__(self, trace, taint_data, taint_warning):

Undocumented

_trace =

Undocumented

_taint_data =

Undocumented

_taint_warning =

Undocumented

@property
transition_range =

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 21.2.2 at 2021-07-01 16:38:17.