reven2.preview.taint._StateIntersection

class documentation

class _StateIntersection(_Generic[_StateIntersectionItemType]):

Represents a subset of a TaintState, obtained from removing or querying what is tainted in this state.

Method	`__init__`	Undocumented
Method	`__iter__`	Iterates over the tainted data.
Property	`empty`	`True` is nothing is tainted, `False` otherwise.
Property	`full`	`True` is everything is tainted, `False` otherwise.
Property	`size`	The number of tainted bytes.
Instance Variable	`_input_size_bytes`	Undocumented
Instance Variable	`_items`	Undocumented
Instance Variable	`_output_size_bytes`	Undocumented

def __init__(self, items, input_size_bytes, output_size_bytes):

Undocumented

Parameters
items:`_Iterable[_StateIntersectionItemType]`	Undocumented
input_size_bytes:`int`	Undocumented
output_size_bytes:`int`	Undocumented

def __iter__(self):

Iterates over the tainted data.

Returns
`_Iterator[_StateIntersectionItemType]`	Undocumented

@property
empty: bool =

True is nothing is tainted, False otherwise.

@property
full: bool =

True is everything is tainted, False otherwise.

@property
size: int =

The number of tainted bytes.

_input_size_bytes =

Undocumented

_items =

Undocumented

_output_size_bytes =

Undocumented