Package analysisflags defines helpers for processing flags of analysis driver tools.

Package checker defines the implementation of the checker commands.

Package facts defines a serializable set of analysis.Fact.