Holds if call
does not have a reduced set of dispatch targets in call context ctx
.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate viableImplNotCallContextReduced(DataFlowCall call, CallContext ctx)
Holds if call
does not have a reduced set of dispatch targets in call context ctx
.
import codeql.dataflow.internal.DataFlowImplCommon
predicate viableImplNotCallContextReduced(DataFlowCall call, CallContext ctx)