godoctor: github.com/godoctor/godoctor/analysis

Directories

PathSynopsis
cfgPackage 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.
dataflowPackage 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.
namesPackage names provides functions to analyze the usage names (functions, types, variables, etc.) across multiple files.

Updated 2018-04-22. Refresh now. Tools for package owners.