Inspects source code for security problems by scanning the Go AST and
SSA code representation.
