Module Cached

Import path

import semmle.go.dataflow.ExternalFlow

barrierNode	Holds if `node` is specified as a barrier with the given kind in a MaD flow model.
sinkNode	Holds if `node` is specified as a sink with the given kind in a MaD flow model.
sourceNode	Holds if `node` is specified as a source with the given kind in a MaD flow model.