Module Cached

Import path

import semmle.code.csharp.dataflow.internal.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.