Header menu logo B2R2

StackPointerDomain.Lattice Type

Union cases

Union case Description

ConstSP BitVector

Full Usage: ConstSP BitVector

Parameters:
Item : BitVector

NotConstSP

Full Usage: NotConstSP

Undef

Full Usage: Undef

Instance members

Instance member Description

this.IsConstSP

Full Usage: this.IsConstSP

Returns: bool
Returns: bool

this.IsNotConstSP

Full Usage: this.IsNotConstSP

Returns: bool
Returns: bool

this.IsUndef

Full Usage: this.IsUndef

Returns: bool
Returns: bool

Type something to start searching.