Go Analysis Framework: modular static analysis by go team