PhiInfo (B2R2)

PhiInfo Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Abbreviation For: Dictionary<VarKind, Dictionary<ProgramPoint, VarPoint>>
Base Type: obj
All Interfaces: IDictionary<VarKind, Dictionary<ProgramPoint, VarPoint>> , ICollection<KeyValuePair<VarKind, Dictionary<ProgramPoint, VarPoint>>> , IReadOnlyDictionary<VarKind, Dictionary<ProgramPoint, VarPoint>> , IReadOnlyCollection<KeyValuePair<VarKind, Dictionary<ProgramPoint, VarPoint>>> , IEnumerable<KeyValuePair<VarKind, Dictionary<ProgramPoint, VarPoint>>> , IDictionary , ICollection , IEnumerable , IDeserializationCallback , ISerializable

A mapping from a variable kind of a phi to its definitions. We represent each definition as a mapping from predecessor's program point to a variable point. This way, a definition from the same predecessor can be replaced by the latest definition.

Instance members

Instance member	Description
`this.Capacity` Full Usage: `this.Capacity` Returns: `int`	Returns: `int`
`this.Comparer` Full Usage: `this.Comparer` Returns: `IEqualityComparer<VarKind>`	Returns: `IEqualityComparer<VarKind>`
`this.Count` Full Usage: `this.Count` Returns: `int` Modifiers: abstract	Returns: `int`
`this[arg1]` Full Usage: `this[arg1]` Returns: `VarKind` Modifiers: abstract	Returns: `VarKind`
`this.Keys` Full Usage: `this.Keys` Returns: `KeyCollection<VarKind, Dictionary<ProgramPoint, VarPoint>>`	Returns: `KeyCollection<VarKind, Dictionary<ProgramPoint, VarPoint>>`
`this.Values` Full Usage: `this.Values` Returns: `ValueCollection<VarKind, Dictionary<ProgramPoint, VarPoint>>`	Returns: `ValueCollection<VarKind, Dictionary<ProgramPoint, VarPoint>>`