Module DataFlowDispatch

DEPRECATED: Use semmle.code.cpp.dataflow.new.DataFlow instead.

Import path

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

parameterMatch	Holds if arguments at position `apos` match parameters at position `ppos`.
viableCallable	Gets a function that might be called by `call`.

ArgumentPosition	An argument position represented by an integer.
ParameterPosition	A parameter position represented by an integer.