Predicate sourceCallStep
Holds if there is flow from arg to p via the source-code call call.
Import path
import codeql.ruby.typetracking.internal.TypeTrackingImplpredicate sourceCallStep(CallCfgNode call, Node arg, ParameterNodeImpl p)Holds if there is flow from arg to p via the source-code call call.
import codeql.ruby.typetracking.internal.TypeTrackingImplpredicate sourceCallStep(CallCfgNode call, Node arg, ParameterNodeImpl p)