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

import java

module DataFlow4 {
  import semmle.code.java.dataflow.internal.DataFlowImpl4
}
