SymbModel (B2R2) | B2R2

SymbModel Type

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll
Base Type: obj

Provides typed accessors over solver-returned symbolic values.

Constructors

Constructor	Description
`SymbModel(values)` Full Usage: `SymbModel(values)` Parameters: values : `SolverValue list` Returns: `SymbModel`	values : `SolverValue list` Returns: `SymbModel`

Instance members

Instance member	Description
`this.GetByte` Full Usage: `this.GetByte` Parameters: expr : `SymbExpr` Returns: `byte`	Gets an 8-bit solver value for a symbolic byte expression. expr : `SymbExpr` Returns: `byte`
`this.GetByte` Full Usage: `this.GetByte` Parameters: name : `string` Returns: `byte`	Gets an 8-bit solver value by symbolic variable name. name : `string` Returns: `byte`
`this.GetValue` Full Usage: `this.GetValue` Parameters: name : `string` Returns: `BitVector`	Gets a solver value by symbolic variable name. name : `string` Returns: `BitVector`
`this.ReadBytes` Full Usage: `this.ReadBytes` Parameters: buffer : `SymbByteBuffer` Returns: `byte array`	Reads bytes from a symbolic byte buffer. buffer : `SymbByteBuffer` Returns: `byte array`
`this.ReadBytes` Full Usage: `this.ReadBytes` Parameters: values : `SymbExpr seq` Returns: `byte array`	Reads bytes from symbolic byte expressions. values : `SymbExpr seq` Returns: `byte array`
`this.ReadCString` Full Usage: `this.ReadCString` Parameters: buffer : `SymbByteBuffer` Returns: `string`	Reads a null-terminated ASCII string from a symbolic byte buffer. buffer : `SymbByteBuffer` Returns: `string`
`this.ReadCString` Full Usage: `this.ReadCString` Parameters: values : `SymbExpr seq` Returns: `string`	Reads a null-terminated ASCII string from symbolic byte expressions. values : `SymbExpr seq` Returns: `string`
`this.TryGetValue` Full Usage: `this.TryGetValue` Parameters: name : `string` Returns: `BitVector option`	Finds a solver value by symbolic variable name. name : `string` Returns: `BitVector option`
`this.Values` Full Usage: `this.Values` Returns: `SolverValue list`	Raw solver values. Returns: `SolverValue list`