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