Directories

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