Header menu logo B2R2

ConcStopCondition<'State> Type

Represents a concrete execution stop condition.

Union cases

Union case Description

StopAfterAddress addr

Full Usage: StopAfterAddress addr

Parameters:

Stop after executing the instruction at the given address.

addr : Addr

StopAfterInstructionCount count

Full Usage: StopAfterInstructionCount count

Parameters:
    count : int

Stop after executing the given number of machine instructions.

count : int

StopAfterReturn

Full Usage: StopAfterReturn

Stop after executing a function return.

StopAtAddress addr

Full Usage: StopAtAddress addr

Parameters:

Stop before executing the instruction at the given address.

addr : Addr

StopAtCall

Full Usage: StopAtCall

Stop when a call instruction is observed.

StopAtReturn

Full Usage: StopAtReturn

Stop when a function return is observed.

StopAtSideEffect

Full Usage: StopAtSideEffect

Stop when a side-effect statement is observed.

StopOnEvaluationError

Full Usage: StopOnEvaluationError

Stop when expression or statement evaluation fails.

StopWhen predicate

Full Usage: StopWhen predicate

Parameters:

Stop when a user-provided predicate holds.

predicate : ConcStopPoint<'State> -> bool

Instance members

Instance member Description

this.IsStopAfterAddress

Full Usage: this.IsStopAfterAddress

Returns: bool
Returns: bool

this.IsStopAfterInstructionCount

Full Usage: this.IsStopAfterInstructionCount

Returns: bool
Returns: bool

this.IsStopAfterReturn

Full Usage: this.IsStopAfterReturn

Returns: bool
Returns: bool

this.IsStopAtAddress

Full Usage: this.IsStopAtAddress

Returns: bool
Returns: bool

this.IsStopAtCall

Full Usage: this.IsStopAtCall

Returns: bool
Returns: bool

this.IsStopAtReturn

Full Usage: this.IsStopAtReturn

Returns: bool
Returns: bool

this.IsStopAtSideEffect

Full Usage: this.IsStopAtSideEffect

Returns: bool
Returns: bool

this.IsStopOnEvaluationError

Full Usage: this.IsStopOnEvaluationError

Returns: bool
Returns: bool

this.IsStopWhen

Full Usage: this.IsStopWhen

Returns: bool
Returns: bool

Type something to start searching.