import semmle.python.dataflow.new.DataFlow

/**
 * A configuration to find all flows.
 * To be used on tiny programs.
 */
module AllFlowsConfig implements DataFlow::ConfigSig {
  predicate isSource(DataFlow::Node node) { any() }

  predicate isSink(DataFlow::Node node) { any() }
}

module AllFlowsFlow = DataFlow::Global<AllFlowsConfig>;