CodeQL library for C/C++
codeql/cpp-all 2.1.1-dev (changelog, source)
Search

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)