analysis/

Package cfg provides intraprocedural control flow graphs (CFGs) with statement-level granularity, i.e., CFGs whose nodes correspond 1-1 to the Stmt nodes from an abstract syntax tree.

Package dataflow provides data flow analyses that can be performed on a previously constructed control flow graph, including a reaching definitions analysis and a live variables analysis for local variables.

Package loader wraps golang.org/x/tools/go/packages with utility types and methods

Package names provides functions to analyze the usage names (functions, types, variables, etc.) across multiple files.