reven2.preview.taint.TaintWarning

class documentation

class TaintWarning(object):

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

A taint warning is composed of:

the transition range (a tuple of reven2.trace.Transitions) in which the warnings occurred
a list of warnings

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
`str`	Undocumented

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