CodeQL library for C/C++

codeql/cpp-all 6.0.1-dev (changelog, source)

Module signature Make::DataFlowIntegrationInputSig

Provides the input to DataFlowIntegration.

Import path

import codeql.ssa.Ssa

Predicates

allowFlowIntoUncertainDef	Holds if flow should be allowed into uncertain SSA definition `def` from previous definitions or reads.
getARead	Gets a read of SSA definition `def`.
guardControlsBlock	Holds if `guard` controls block `bb` upon evaluating to `val`.
guardDirectlyControlsBlock	Holds if `guard` directly controls block `bb` upon evaluating to `val`.
includeWriteDefsInFlowStep	Holds if `WriteDefinition`s should be included as an intermediate node between the assigned `Expr` or `Parameter` and the first read of the SSA definition.
keepAllPhiInputBackEdges	Holds if all phi input back edges should be kept in the data flow graph.
ssaDefHasSource	Holds if `def` has some form of input flow. For example, the right-hand side of an assignment or a parameter of an SSA entry definition.
supportBarrierGuardsOnPhiEdges	Holds if barrier guards should be supported on input edges to phi nodes. Disable this only if barrier guards are not going to be used.

Types

Expr	An expression with a value. That is, we expect these expressions to be represented in the data flow graph.
Guard	A (potential) guard.
GuardValue	An abstract value that a `Guard` may evaluate to.