Predicate MakeImplCommon::Cached::FlowThrough::Final::getterStep
Holds if arg
flows to out
through a call using only
value-preserving steps and a single read step, not taking call
contexts into account, thus representing a getter-step.
This predicate is exposed for testing only.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate getterStep(ArgNode arg, ContentSet c, Node out)