Description

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

Pointer analysis of a transitively closed well-typed program should always succeed. An error can occur only due to an internal bug.