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