Module MakeImpl::Impl::FlowExploration
Import path
import codeql.dataflow.internal.DataFlowImpl
Imports
Predicates
partialFlowFwd | Holds if there is a partial data flow path from |
partialFlowRev | Holds if there is a partial data flow path from |
Modules
Aliases
CallContext | A call context to restrict the targets of virtual dispatch and prune local flow. |
CallContextCall | |
CallContextNoCall | |
callContextNone | |
callContextSomeCall |
Parameters
explorationLimit | explorationLimitSig | |
flagFwd | flag | |
flagRev | flag |