SymbQuery (B2R2)

SymbQuery Type

Represents a symbolic query evaluated by SymbExecutor.Run.

Union case	Description
`ReachAddress target` Full Usage: `ReachAddress target` Parameters: target : `Addr`	Ask whether execution can reach the given address. target : `Addr`
`ReachState predicate` Full Usage: `ReachState predicate` Parameters: predicate : `SymbStopPoint -> bool`	Ask whether execution can reach a state satisfying the predicate. predicate : `SymbStopPoint -> bool`
`SatisfyAddress target` Full Usage: `SatisfyAddress target` Parameters: target : `Addr`	Ask for concrete symbolic-input values reaching the given address. target : `Addr`
`SatisfyState predicate` Full Usage: `SatisfyState predicate` Parameters: predicate : `SymbStopPoint -> bool`	Ask for concrete symbolic-input values reaching a matching state. predicate : `SymbStopPoint -> bool`

Instance member	Description
`this.IsReachAddress` Full Usage: `this.IsReachAddress` Returns: `bool`	Returns: `bool`
`this.IsReachState` Full Usage: `this.IsReachState` Returns: `bool`	Returns: `bool`
`this.IsSatisfyAddress` Full Usage: `this.IsSatisfyAddress` Returns: `bool`	Returns: `bool`
`this.IsSatisfyState` Full Usage: `this.IsSatisfyState` Returns: `bool`	Returns: `bool`