Go Analysis Framework: modular static analysis by go team

Package analysis defines the interface between a modular static analysis and an analysis driver program.