Module DataFlowDispatch

Import path

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

defaultViableCallable	Gets a function that might be called by `call`.
mayBenefitFromCallContext	Holds if the set of viable implementations that can be called by `call` might be improved by knowing the call context.
parameterMatch	Holds if arguments at position `apos` match parameters at position `ppos`.
viableCallable	Gets a function that might be called by `call`.
viableImplInCallContext	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.