SymbReachabilityAnswer (B2R2)

SymbReachabilityAnswer Type

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

Represents one positive answer to a reachability query.

Record Field	Description
`State` Full Usage: `State` Field type: `SymbState`	State at the target address. Field type: `SymbState`
`Target` Full Usage: `Target` Field type: `Addr`	Target address reached by this answer. Field type: `Addr`