Constructs Reference for local "reg" in context "context".

Constructs synthetic reference.

NewState creates an empty abstract state.

Look for <source, sink> pairs by examining the heap alias information.

Analyzer traverses the packages and constructs an EAR partitions unifying all the IR elements in these packages.

Field can be (1) a struct field linked to an IR field (Var); (2) or one with a name but not linked to any IR element (irField = nil).

Global is a heap partition that represents all abstract objects that a global of reference type can point to.

Local is a heap partition that represents all abstract objects that a register of reference type can point to in a specific context.

Partitions represents the state with the partitions fully constructed, after which no more mutation operations will be performed.

Synthetic is for references created internally with an operator and an operand reference.

Reference is the base interface for local, global, and synthetic references.

Context represents the calling context of a reference.

FieldMap maps from Fields to a reference handle.

ReferenceSet is a hash set of references.