CodeQL library for Go

codeql/go-all 2.1.3-dev (changelog, source)

Module MakeImplCommon::Cached::FlowThrough::Final

The final flow-through calculation:

Calculated flow is either value-preserving (read = TReadStepTypesNone()) or summarized as a single read step with before and after types recorded in the ReadStepTypesOption parameter.
Types are checked using the compatibleTypes() relation.

Import path

import codeql.dataflow.internal.DataFlowImplCommon

Predicates

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.
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.
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.