CleanupModule attempts to delete a directory.

CloneModule clones a remote git repository An optional keyfile may be specified for use in ssh authentication If quiet is true, don't print clone progress to stdout.

CreateTaintAnalyzer returns a new TaintAnalyzer struct.

GenerateTaintedCode returns a TaintedCode struct that stores information (source code, filename, linenumber) for a line of code.

GrabSourceCode retrieves the specified line of source code from the specified file.

InitConfig() parses the flags and sets the corresponding Config variables.

returns true if the finding was valid and false if the finding had the same source and sink.

Create a finding object.

prints out a finding.

ReturnValues returns a set of the return values of the function.

SSAvalToHash returns the hash of an ssa.Value to be used in the Taint Map.

go:embed analyzers.yml.

Analyzer stores an analyzer parsed from the configuration file.

CGRelation is a struct that contains information about an instruction and a function in the call graph.

ConfigFile stores the values parsed from the configuration file.

ConfigType stores booleans for GoKart analysis configuration.

Finding represents a single vulnerability.

MapData is a struct that contains information about each hash.

Sources stores the untrusted sources parsed from the configuration file.

TaintAnalyzer is a struct that contains information about each taint analyzer.

TaintedCode is a struct that contains information about the vulnerable line of code.