codeql/java/ql/test/library-tests/dataflow/partial/test.ql

import java
import semmle.code.java.dataflow.DataFlow
import DataFlow

module Config implements ConfigSig {
  predicate isSource(Node n) { n.asExpr().(MethodCall).getMethod().hasName("src") }

  predicate isSink(Node n) { n.asExpr().(Argument).getCall().getCallee().hasName("sink") }
}

int explorationLimit() { result = 10 }

module PartialFlow = Global<Config>::FlowExplorationFwd<explorationLimit/0>;

import PartialFlow::PartialPathGraph

from PartialFlow::PartialPathNode n, int dist
where PartialFlow::partialFlow(_, n, dist)
select dist, n