Header menu logo B2R2

SymbEvalError Type

Represents an error encountered during symbolic evaluation.

Union cases

Union case Description

InvalidMemoryRead Addr

Full Usage: InvalidMemoryRead Addr

Parameters:
Item : Addr

SolverFailure SolverFailure

Full Usage: SolverFailure SolverFailure

Parameters:

UninitializedRegister RegisterID

Full Usage: UninitializedRegister RegisterID

Parameters:
Item : RegisterID

UninitializedTemporary int

Full Usage: UninitializedTemporary int

Parameters:
    Item : int

Item : int

UnsupportedExpression string

Full Usage: UnsupportedExpression string

Parameters:
    Item : string

Item : string

UnsupportedOperation string

Full Usage: UnsupportedOperation string

Parameters:
    Item : string

Item : string

UnsupportedStatement string

Full Usage: UnsupportedStatement string

Parameters:
    Item : string

Item : string

UnsupportedSymbolicAddress SymbExpr

Full Usage: UnsupportedSymbolicAddress SymbExpr

Parameters:
Item : SymbExpr

Instance members

Instance member Description

this.IsInvalidMemoryRead

Full Usage: this.IsInvalidMemoryRead

Returns: bool
Returns: bool

this.IsSolverFailure

Full Usage: this.IsSolverFailure

Returns: bool
Returns: bool

this.IsUninitializedRegister

Full Usage: this.IsUninitializedRegister

Returns: bool
Returns: bool

this.IsUninitializedTemporary

Full Usage: this.IsUninitializedTemporary

Returns: bool
Returns: bool

this.IsUnsupportedExpression

Full Usage: this.IsUnsupportedExpression

Returns: bool
Returns: bool

this.IsUnsupportedOperation

Full Usage: this.IsUnsupportedOperation

Returns: bool
Returns: bool

this.IsUnsupportedStatement

Full Usage: this.IsUnsupportedStatement

Returns: bool
Returns: bool

this.IsUnsupportedSymbolicAddress

Full Usage: this.IsUnsupportedSymbolicAddress

Returns: bool
Returns: bool

Type something to start searching.