UninitializedRegisterPolicy (B2R2) | B2R2

UninitializedRegisterPolicy Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: obj
All Interfaces: IEquatable<UninitializedRegisterPolicy> , IStructuralEquatable , IComparable<UninitializedRegisterPolicy> , IComparable , IStructuralComparable

Represents how concrete execution should handle uninitialized register reads.

Union cases

Union case	Description
`StopOnUninitializedRegister` Full Usage: `StopOnUninitializedRegister`	Treat uninitialized register reads as evaluation failures.
`ZeroAnyRegister` Full Usage: `ZeroAnyRegister`	Materialize any uninitialized register as zero on first read.
`ZeroCallerContext` Full Usage: `ZeroCallerContext`	Materialize caller-provided context registers as zero on first read.

Instance members

Instance member	Description
`this.IsStopOnUninitializedRegister` Full Usage: `this.IsStopOnUninitializedRegister` Returns: `bool`	Returns: `bool`
`this.IsZeroAnyRegister` Full Usage: `this.IsZeroAnyRegister` Returns: `bool`	Returns: `bool`
`this.IsZeroCallerContext` Full Usage: `this.IsZeroCallerContext` Returns: `bool`	Returns: `bool`