Module MakeImpl::Impl::FlowExplorationFwd
Import path
import codeql.dataflow.internal.DataFlowImpl
Imports
Aliases
partialFlow | Holds if there is a partial data flow path from |
Parameters
explorationLimit | explorationLimitSig |
import codeql.dataflow.internal.DataFlowImpl
partialFlow | Holds if there is a partial data flow path from |
explorationLimit | explorationLimitSig |