Module DataFlow

Provides a library for local (intra-procedural) and global (inter-procedural) data flow analysis.

Import path

import semmle.go.dataflow.DataFlow

DataFlowImpl1	DEPRECATED: Use `Global` and `GlobalWithState` instead.
DataFlowMake<Locations::Location, DataFlowImplSpecific::GoDataFlow>
Properties	Provides a class for representing and reasoning about properties of data-flow nodes.