CodeQL library for Go

codeql/go-all 3.0.1-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.
Call contexts are taken into account.

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.