AllFunctions finds and returns the set of functions potentially needed by program prog, as determined by a simple linker-style reachability algorithm starting from the members and method-sets of each package.

BuildPackage builds an SSA program with IR for a single package.

CreateProgram returns a new program in SSA form, given a program loaded from source.

MainPackages returns the subset of the specified packages named "main" that define a main function.

Packages creates an SSA program for a set of packages loaded from source syntax using the golang.org/x/tools/go/packages.Load function.

Switches examines the control-flow graph of fn and returns the set of inferred value and type switches.

A ConstCase represents a single constant comparison.

A Switch is a logical high-level control flow operation (a multiway branch) discovered by analysis of a CFG containing only if/else chains.

A TypeCase represents a single type assertion.