Directories

Path Synopsis
Package analysisflags defines helpers for processing flags of analysis driver tools.
Package analysisflags defines helpers for processing flags of analysis driver tools.
Package checker defines the implementation of the checker commands.
Package checker defines the implementation of the checker commands.
Package facts defines a serializable set of analysis.Fact.
Package facts defines a serializable set of analysis.Fact.