/**
 * Provides classes for performing local (intra-procedural) and
 * global (inter-procedural) data flow analyses.
 */

import csharp

module DataFlow3 {
  import semmle.code.csharp.dataflow.internal.DataFlowImpl3
}