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 __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
Method __getitem__ Returns the marker name for handle
Instance Variable _marker_manager Undocumented
def __init__(self, rvn_marker_manager):

Undocumented

_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

Parametersmarker_namestring marker name.
Returnsinteger the marker handle.
def __getitem__(self, handle):

Returns the marker name for handle

Information

Parametershandleinteger marker handle.
Returnsstring the marker name.
RaisesTypeErrorif handle is not integer.
IndexErrorif handle is not a valid marker handle.
API Documentation for reven2, generated by pydoctor 21.2.2 at 2021-04-08 12:31:35.