UntouchedValueDomain (B2R2)

UntouchedValueDomain Module

Defines the untouched value domain and its operations for untouched value analysis.

Type	Description
Lattice	Represents a lattice element in the untouched value domain.
UntouchedTag	Identifies the origin of an untouched value as a register or a memory location.

Function or value	Description
`UntouchedValueDomain.join c1 c2` Full Usage: `UntouchedValueDomain.join c1 c2` Parameters: c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`	c1 : `Lattice` c2 : `Lattice` Returns: `Lattice`
`UntouchedValueDomain.subsume fromV toV` Full Usage: `UntouchedValueDomain.subsume fromV toV` Parameters: fromV : `Lattice` toV : `Lattice` Returns: `bool`	fromV : `Lattice` toV : `Lattice` Returns: `bool`