Module DataFlowDispatch

Import path

import semmle.go.dataflow.internal.DataFlowDispatch

golangSpecificParamArgFilter	Holds if `call` is passing `arg` to param `p` in any circumstance except passing a receiver parameter to a concrete method.
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.