Module Cached :: DispatchWithCallContext

Import path


                                import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon

prunedViableImplInCallContext	Gets a viable run-time dispatch target for the call `call` in the context `ctx`. This is restricted to those calls for which a context makes a difference.
prunedViableImplInCallContextReverse	Gets a viable run-time dispatch target for the call `call` in the context `ctx`. This is restricted to those calls and results for which the return flow from the result to `call` restricts the possible context `ctx`.
reducedViableImplInCallContext	Holds if the call context `ctx` reduces the set of viable run-time dispatch targets of call `call` in `c`.
reducedViableImplInReturn	Holds if flow returning from callable `c` to call `call` might return further and if this path restricts the set of call sites that can be returned to.
viableImplInCallContextExt	Gets a viable dispatch target of `call` in the context `ctx`. This is restricted to those `call`s for which a context might make a difference.