Predicate golangSpecificParamArgFilter

Holds if call is passing arg to param p in any circumstance except passing a receiver parameter to a concrete method.

Import path

import semmle.go.dataflow.internal.DataFlowDispatch

predicate golangSpecificParamArgFilter(DataFlowCall call, ParameterNode p, ArgumentNode arg)