ConcEvalValue (B2R2)

ConcEvalValue Type

Represents a value that can be evaluated in the context of concrete evaluation of LowUIR statements, which can be either defined or undefined.

Union case	Description
`Def BitVector` Full Usage: `Def BitVector` Parameters: Item : `BitVector`	Concrete value. Item : `BitVector`
`Undef` Full Usage: `Undef`	Undefined value.

Instance member	Description
`this.IsDef` Full Usage: `this.IsDef` Returns: `bool`	Returns: `bool`
`this.IsUndef` Full Usage: `this.IsUndef` Returns: `bool`	Returns: `bool`