reven2.preview.taint.MarkerManager

class documentation

class MarkerManager(object):

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

Parameters
handle:`MarkerHandle`	`integer` marker handle.
Returns
`MarkerName`	`string` the marker name.
Raises
`TypeError`	if handle is not `integer`.
`IndexError`	if 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

_marker_manager =

Undocumented