ConcStopReason (B2R2) | B2R2

ConcStopReason Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: obj
All Interfaces: IEquatable<ConcStopReason> , IStructuralEquatable , IComparable<ConcStopReason> , IComparable , IStructuralComparable

Represents the reason why concrete execution stopped.

Union cases

Union case	Description
`EvaluationError(addr, error)` Full Usage: `EvaluationError(addr, error)` Parameters: addr : `Addr` error : `ErrorCase`	Evaluation failed with a B2R2 error case. addr : `Addr` error : `ErrorCase`
`InstructionLimitReached(addr, limit)` Full Usage: `InstructionLimitReached(addr, limit)` Parameters: addr : `Addr` limit : `int`	Execution reached the configured instruction limit. addr : `Addr` limit : `int`
`InvalidInstructionAddress addr` Full Usage: `InvalidInstructionAddress addr` Parameters: addr : `Addr`	No instruction could be fetched or lifted at the given address. addr : `Addr`
`StoppedAfterAddress addr` Full Usage: `StoppedAfterAddress addr` Parameters: addr : `Addr`	Execution completed an instruction at the requested address. addr : `Addr`
`StoppedAfterReturn addr` Full Usage: `StoppedAfterReturn addr` Parameters: addr : `Addr`	Execution completed a function return. addr : `Addr`
`StoppedAtAddress addr` Full Usage: `StoppedAtAddress addr` Parameters: addr : `Addr`	Execution reached an address requested by a stop condition. addr : `Addr`
`StoppedAtCall(callSite, target)` Full Usage: `StoppedAtCall(callSite, target)` Parameters: callSite : `Addr` target : `Addr option`	Execution reached a call instruction. The target may be unknown. callSite : `Addr` target : `Addr option`
`StoppedAtReturn addr` Full Usage: `StoppedAtReturn addr` Parameters: addr : `Addr`	Execution reached a function return. addr : `Addr`
`StoppedAtSideEffect(addr, sideEffect)` Full Usage: `StoppedAtSideEffect(addr, sideEffect)` Parameters: addr : `Addr` sideEffect : `SideEffect`	Execution reached a side-effect statement. addr : `Addr` sideEffect : `SideEffect`
`UndefinedValue addr` Full Usage: `UndefinedValue addr` Parameters: addr : `Addr`	Execution stopped because an undefined value was observed. addr : `Addr`
`UserStopConditionMet addr` Full Usage: `UserStopConditionMet addr` Parameters: addr : `Addr`	A user-defined stop predicate requested termination. addr : `Addr`

Instance members

Instance member	Description
`this.IsEvaluationError` Full Usage: `this.IsEvaluationError` Returns: `bool`	Returns: `bool`
`this.IsInstructionLimitReached` Full Usage: `this.IsInstructionLimitReached` Returns: `bool`	Returns: `bool`
`this.IsInvalidInstructionAddress` Full Usage: `this.IsInvalidInstructionAddress` Returns: `bool`	Returns: `bool`
`this.IsStoppedAfterAddress` Full Usage: `this.IsStoppedAfterAddress` Returns: `bool`	Returns: `bool`
`this.IsStoppedAfterReturn` Full Usage: `this.IsStoppedAfterReturn` Returns: `bool`	Returns: `bool`
`this.IsStoppedAtAddress` Full Usage: `this.IsStoppedAtAddress` Returns: `bool`	Returns: `bool`
`this.IsStoppedAtCall` Full Usage: `this.IsStoppedAtCall` Returns: `bool`	Returns: `bool`
`this.IsStoppedAtReturn` Full Usage: `this.IsStoppedAtReturn` Returns: `bool`	Returns: `bool`
`this.IsStoppedAtSideEffect` Full Usage: `this.IsStoppedAtSideEffect` Returns: `bool`	Returns: `bool`
`this.IsUndefinedValue` Full Usage: `this.IsUndefinedValue` Returns: `bool`	Returns: `bool`
`this.IsUserStopConditionMet` Full Usage: `this.IsUserStopConditionMet` Returns: `bool`	Returns: `bool`