CodeQL library for C#
codeql/csharp-all 3.1.1 (changelog, source)
Search

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.