DoAnalysis handles the worklist algorithm. path is the relative path starting from $GOPATH sourcefiles are the source file which should be analyzed. sourceAndSinkFile is the file which contains the sources and sinks. error will be returned if an error occurs during execution. If a flow from a source
(path string, sourcefiles []string, sourceAndSinkFile string, allpkgs bool, pkgs string, ptr bool)
source not stored for this graph (policy: none)