Predicate signature DataFlow :: explorationLimitSig
Gets the exploration limit for partialFlow and partialFlowRev
measured in approximate number of interprocedural steps.
Import path
import semmle.code.java.dataflow.DataFlow
signature
int
explorationLimitSig
(
)