Module DataFlow
Provides a library for local (intra-procedural) and global (inter-procedural) data flow analysis.
Import path
import semmle.go.dataflow.DataFlowImports
| DataFlowMake<Locations::Location, DataFlowImplSpecific::GoDataFlow> | |
| Properties | Provides a class for representing and reasoning about properties of data-flow nodes. |
| Public |