class documentation

class MarkerManager(object):

View In Hierarchy

Manages the taint markers defined in a taint.

It allows to recover the marker name associated to a marker handle.

In the simplified API where the markers are predefined to "tag0" and "tag1", its usefulness is limited.

Warning

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

Method __getitem__ Returns the marker name for handle
Method __init__ Undocumented
Method marker_handle_of Returns the marker handle for marker_name or None if this name doesn't represent a marker in the marker manager
Instance Variable _marker_manager Undocumented
def __getitem__(self, handle):

Returns the marker name for handle

Information

Parameters
handle:MarkerHandleinteger marker handle.
Returns
MarkerNamestring the marker name.
Raises
TypeErrorif handle is not integer.
IndexErrorif handle is not a valid marker handle.
def __init__(self, rvn_marker_manager):

Undocumented

def marker_handle_of(self, marker_name):

Returns the marker handle for marker_name or None if this name doesn't represent a marker in the marker manager

Information

Parameters
marker_name:MarkerNamestring marker name.
Returns
_Optional[MarkerHandle]integer the marker handle.
_marker_manager =

Undocumented