Predicate MakeImplCommon::Cached::FlowThrough::Final::argumentValueFlowsThrough
Holds if arg
flows to out
through a call using only
value-preserving steps and possibly a single read step, not taking
call contexts into account.
If a read step was taken, then read
captures the Content
, the
container type, and the content type.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate argumentValueFlowsThrough(ArgNode arg, ReadStepTypesOption read, Node out, string model)