/**

* Provides a library for local (intra-procedural) and global (inter-procedural)

* data flow analysis: deciding whether data can flow from a _source_ to a

* _sink_.

*

* Unless configured otherwise, _flow_ means that the exact value of

* the source may reach the sink. We do not track flow across pointer

* dereferences or array indexing. To track these types of flow, where the

* exact value may not be preserved, import

* `semmle.code.go.dataflow.TaintTracking`.

*

* To use global (interprocedural) data flow, extend the class

* `DataFlow::Configuration` as documented on that class. To use local

* (intraprocedural) data flow, invoke `DataFlow::localFlow` or

* `DataFlow::LocalFlowStep` with arguments of type `DataFlow::Node`.

*/

import go

/**

* Provides a library for local (intra-procedural) and global (inter-procedural)

* data flow analysis.

*/

module DataFlow2 {

import semmle.go.dataflow.internal.DataFlowImpl2

import Properties

}