Header menu logo B2R2

InsAndOuts Type

Represents an abstract value used in reaching definition analysis.

Record fields

Record Field Description

Ins

Full Usage: Ins

Field type: Set<VarPoint>

The set of variable points that reach the current vertex.

Field type: Set<VarPoint>

Outs

Full Usage: Outs

Field type: Set<VarPoint>

The set of variable points that are defined at the current vertex.

Field type: Set<VarPoint>

Type something to start searching.