Predicate callStep
Holds if there is flow from arg to p via the call call.
Import path
import codeql.ruby.typetracking.internal.TypeTrackingImplpredicate callStep(DataFlowCall call, Node arg, ParameterNodeImpl p)Holds if there is flow from arg to p via the call call.
import codeql.ruby.typetracking.internal.TypeTrackingImplpredicate callStep(DataFlowCall call, Node arg, ParameterNodeImpl p)