reven2.preview.taint.TaintState(object) class documentation

Part of reven2.preview.taint (View In Hierarchy)

A taint state lists all data that is currently tainted at a given Context.

A taint state is composed of:

Warnings

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

Examples

>>> states = taint.states()
>>> for state in states.all():
>>>     # state is an instance of TaintState
>>>     print(state)
Taint state at Context before #10
Tainted registers:
rax : [tag0,]
Tainted memories:
[phy:0x46b5ff0; 8] : [tag0,]
[phy:0x1bdb4040; 1] : [tag1,]

Taint state at Context before #11 Tainted registers: rax : [tag0,] Tainted memories: [phy:0x46b5ff0; 8] : [tag0,] [phy:0x1bdb4040; 1] : [tag1,]

Method __init__ Undocumented
Method context Property: the context associated to the state
Method tainted_registers Iterates over each TaintedRegisterSlice in this state and yields a pair of TaintedRegisterSlice and MarkerIterator
Method tainted_memories Iterates over each TaintedMemories in this state and yields a pair of TaintedMemories and MarkerIterator
Method __str__ Undocumented
Method __repr__ Undocumented
Method format_as_html This method gets an html formatting string representation for this class instance.
Method _tainted_data_str Undocumented
Method _repr_html_ Undocumented
def __init__(self, trace, taint_data, taint_state):
Undocumented
@property
def context(self):

Property: the context associated to the state

Examples

>>> states = taint.states()
>>> for state in states.all():
>>>     # state is an instance of TaintState
>>>     print(state.context)
Context before #10
Context before #11

Information

ReturnsA reven2.trace.Context.
def tainted_registers(self):

Iterates over each TaintedRegisterSlice in this state and yields a pair of TaintedRegisterSlice and MarkerIterator

Examples

>>> states = taint.states()
>>> for state in states.all():
>>>     # state is an instance of TaintState
>>>     for reg, markers in state.tainted_registers():
>>>         print(reg)
>>>         for handle, name in markers:
>>>             print(name)
rax
tag0
rax
tag0

Information

ReturnsA generator of (TaintedRegisterSlice, MarkerIterator).
def tainted_memories(self):

Iterates over each TaintedMemories in this state and yields a pair of TaintedMemories and MarkerIterator

Examples

>>> states = taint.states()
>>> for state in states.all():
>>>     # state is an instance of TaintState
>>>     for mem, markers in state.tainted_memories():
>>>         print(mem)
>>>         for handle, name in markers:
>>>             print(name)
[phy:0x46b5ff0; 8]
tag0
[phy:0x1bdb4040; 1]
tag1
[phy:0x46b5ff0; 8]
tag0
[phy:0x1bdb4040; 1]
tag1

Information

ReturnsA generator of (TaintedMemories, MarkerIterator).
def _tainted_data_str(self):
Undocumented
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.