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

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)