SymbRunStopReason (B2R2) | B2R2

SymbRunStopReason Type

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll
Base Type: obj
All Interfaces: IEquatable<SymbRunStopReason> , IStructuralEquatable

Represents a non-target state where exploration stopped.

Union cases

Union case	Description
`DepthLimitReached(addr, limit)` Full Usage: `DepthLimitReached(addr, limit)` Parameters: addr : `Addr` limit : `int`	Exploration reached the configured maximum path depth. addr : `Addr` limit : `int`
`EvaluationFailed(addr, error)` Full Usage: `EvaluationFailed(addr, error)` Parameters: addr : `Addr` error : `SymbEvalError`	Evaluation failed while executing the instruction at the given address. addr : `Addr` error : `SymbEvalError`
`InvalidInstructionStopped addr` Full Usage: `InvalidInstructionStopped addr` Parameters: addr : `Addr`	No instruction could be fetched or lifted at the given address. addr : `Addr`
`MissingSolverForQuery addr` Full Usage: `MissingSolverForQuery addr` Parameters: addr : `Addr`	A query needed a solver, but none was available. addr : `Addr`
`RunTimeoutReached timeout` Full Usage: `RunTimeoutReached timeout` Parameters: timeout : `int`	Exploration reached the configured run timeout. timeout : `int`
`SideEffectStopped(addr, sideEffect)` Full Usage: `SideEffectStopped(addr, sideEffect)` Parameters: addr : `Addr` sideEffect : `SideEffect`	Evaluation reached a LowUIR statement with architectural side effects. addr : `Addr` sideEffect : `SideEffect`
`SolverQueryFailed(addr, error)` Full Usage: `SolverQueryFailed(addr, error)` Parameters: addr : `Addr` error : `SymbEvalError`	Solver query failed at a matching state. addr : `Addr` error : `SymbEvalError`
`StateLimitReached limit` Full Usage: `StateLimitReached limit` Parameters: limit : `int`	Exploration reached the configured maximum expanded-state count. limit : `int`
`StoppedAtCall(callSite, target)` Full Usage: `StoppedAtCall(callSite, target)` Parameters: callSite : `Addr` target : `Addr option`	Exploration reached a call according to the configured call policy. callSite : `Addr` target : `Addr option`

Instance members

Instance member	Description
`this.IsDepthLimitReached` Full Usage: `this.IsDepthLimitReached` Returns: `bool`	Returns: `bool`
`this.IsEvaluationFailed` Full Usage: `this.IsEvaluationFailed` Returns: `bool`	Returns: `bool`
`this.IsInvalidInstructionStopped` Full Usage: `this.IsInvalidInstructionStopped` Returns: `bool`	Returns: `bool`
`this.IsMissingSolverForQuery` Full Usage: `this.IsMissingSolverForQuery` Returns: `bool`	Returns: `bool`
`this.IsRunTimeoutReached` Full Usage: `this.IsRunTimeoutReached` Returns: `bool`	Returns: `bool`
`this.IsSideEffectStopped` Full Usage: `this.IsSideEffectStopped` Returns: `bool`	Returns: `bool`
`this.IsSolverQueryFailed` Full Usage: `this.IsSolverQueryFailed` Returns: `bool`	Returns: `bool`
`this.IsStateLimitReached` Full Usage: `this.IsStateLimitReached` Returns: `bool`	Returns: `bool`
`this.IsStoppedAtCall` Full Usage: `this.IsStoppedAtCall` Returns: `bool`	Returns: `bool`