Analyze runs the pointer analysis with the scope and options specified by config, and returns the (synthetic) root of the callgraph.

CanHaveDynamicTypes reports whether the type T can "hold" dynamic types, i.e.

CanPoint reports whether the type T is pointerlike, for the purposes of this analysis.

A Config formulates a pointer analysis problem for Analyze.

A Label is an entity that may be pointed to by a pointer, map, channel, 'func', slice or interface.

A Pointer is an equivalence class of pointer-like values.

A PointsToSet is a set of labels (locations or allocations).

A Result contains the results of a pointer analysis.