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 occur in a range of transitions that overlaps with some TaintAccess.

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 __repr__ Undocumented
Method __str__ Returns the nicely printable string representation of this instance.
Method format_as_html This method gets an html formatting string representation for this class instance.
Method warnings Iterate over all warnings that occurred in the specified transition range
Property transition_range Property: the transition range where the warnings occurred
Method _repr_html_ Undocumented
Instance Variable _taint_data Undocumented
Instance Variable _taint_warning Undocumented
Instance Variable _trace Undocumented
def __init__(self, trace, taint_data, taint_warning):

Undocumented

def __repr__(self):

Undocumented

def __str__(self):

Returns the nicely printable string representation of this instance.

Returns
strUndocumented
def format_as_html(self):

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

Information

Returns
String
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

Returns
A generator of low level TaintWarning.
@property
transition_range: A tuple (reven2.trace.Transition, reven2.trace.Transition). =

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

Returns
A transition range of the form [first, last], with last included.
def _repr_html_(self):

Undocumented

_taint_data =

Undocumented

_taint_warning =

Undocumented

_trace =

Undocumented