Predicate MakeImplCommon::Cached::FlowThrough::Final::parameterValueFlow
Holds if p
can flow to node
in the same callable 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 parameterValueFlow(ParamNode p, Node node, ReadStepTypesOption read, string model)