Header menu logo B2R2

ISymbMemory Type

Represents a symbolic memory used in the evaluation.

Instance members

Instance member Description

this.ByteRead

Full Usage: this.ByteRead

Parameters:
Returns: Result<SymbExpr, SymbEvalError>
Modifiers: abstract

Reads a symbolic byte from a concrete address.

arg0 : Addr
Returns: Result<SymbExpr, SymbEvalError>

this.ByteWrite

Full Usage: this.ByteWrite

Parameters:
Modifiers: abstract

Store a symbolic byte at a concrete address.

arg0 : Addr
arg1 : SymbExpr

this.Clear

Full Usage: this.Clear

Modifiers: abstract

Clears up the memory contents; make the whole memory empty.

this.Clone

Full Usage: this.Clone

Returns: ISymbMemory
Modifiers: abstract

Return an independent copy of this memory object.

Returns: ISymbMemory

this.Load

Full Usage: this.Load

Parameters:
Returns: Result<SymbExpr, SymbEvalError>
Modifiers: abstract

Loads a symbolic value from concrete addresses.

arg0 : Addr
arg1 : Endian
arg2 : RegType
Returns: Result<SymbExpr, SymbEvalError>

this.Store

Full Usage: this.Store

Parameters:
Modifiers: abstract

Store a symbolic value at concrete addresses.

arg0 : Addr
arg1 : SymbExpr
arg2 : Endian

Type something to start searching.