CodeQL library for C/C++

codeql/cpp-all 3.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.
getAConditionalBasicBlockSuccessor	Gets an immediate conditional successor of basic block `bb`, if any.
getARead	Gets a read of SSA definition `def`.
guardControlsBlock	Holds if `guard` controls block `bb` upon evaluating to `branch`.
ssaDefAssigns	Holds if SSA definition `def` assigns `value` to the underlying variable.
ssaDefInitializesParam	Holds if SSA definition `def` initializes parameter `p` at function entry.

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.
Parameter	A parameter.