NewEnvironment initialises a new environment.

NewFunction creates a new function visitor.

Block is an analyser of ssa.BasicBlock.

Environment captures the global environment of the program shared across functions.

Exported is a holder of visible local names in a function.

Function is a visitor for functions.

Instruction is a visitor for related instructions within a block.

Logger encapsulates a Logger and module which it belongs to.

Package is a visitor for package variables and initialisation.