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.
This object is not meant to be constructed directly. It is created by
||Returns the marker handle for
||Returns the marker name for
Returns the marker handle for
None if this name doesn't represent a marker in the marker manager