UntouchedTag (B2R2) | B2R2

UntouchedValueDomain.UntouchedTag Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Parent Module: UntouchedValueDomain
Base Type: obj
All Interfaces: IEquatable<UntouchedTag> , IStructuralEquatable , IComparable<UntouchedTag> , IComparable , IStructuralComparable

Identifies the origin of an untouched value as a register or a memory location.

Union cases

Union case	Description
`MemoryTag Addr` Full Usage: `MemoryTag Addr` Parameters: Item : `Addr`	Item : `Addr`
`RegisterTag VarKind` Full Usage: `RegisterTag VarKind` Parameters: Item : `VarKind`	Item : `VarKind`

Instance members

Instance member	Description
`this.IsMemoryTag` Full Usage: `this.IsMemoryTag` Returns: `bool`	Returns: `bool`
`this.IsRegisterTag` Full Usage: `this.IsRegisterTag` Returns: `bool`	Returns: `bool`