ConcStopCondition<'State> Type
Represents a concrete execution stop condition.
Union cases
| Union case |
Description
|
|
Stop after executing the instruction at the given address.
|
Full Usage:
StopAfterInstructionCount count
Parameters:
int
|
Stop after executing the given number of machine instructions.
|
Full Usage:
StopAfterReturn
|
Stop after executing a function return. |
|
Stop before executing the instruction at the given address.
|
Full Usage:
StopAtCall
|
Stop when a call instruction is observed. |
Full Usage:
StopAtReturn
|
Stop when a function return is observed. |
Full Usage:
StopAtSideEffect
|
Stop when a side-effect statement is observed. |
Full Usage:
StopOnEvaluationError
|
Stop when expression or statement evaluation fails. |
|
Stop when a user-provided predicate holds.
|
Instance members
| Instance member |
Description
|
Full Usage:
this.IsStopAfterAddress
Returns: bool
|
|
Full Usage:
this.IsStopAfterInstructionCount
Returns: bool
|
|
Full Usage:
this.IsStopAfterReturn
Returns: bool
|
|
Full Usage:
this.IsStopAtAddress
Returns: bool
|
|
Full Usage:
this.IsStopAtCall
Returns: bool
|
|
Full Usage:
this.IsStopAtReturn
Returns: bool
|
|
Full Usage:
this.IsStopAtSideEffect
Returns: bool
|
|
Full Usage:
this.IsStopOnEvaluationError
Returns: bool
|
|
Full Usage:
this.IsStopWhen
Returns: bool
|
|
B2R2