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

Module LocalFlow

Provides predicates related to local data flow.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

Predicates

defAssigns
excludeFromExposedRelations

Holds if node n should not be included in the exposed local data/taint flow relations. This is the case for nodes that are only relevant for inter-procedurality or field-sensitivity.

getALastEvalNode

Gets a node that may execute last in n, and which, when it executes last, will be the value of n.

getAPostUpdateNodeForArg

Gets a node for which to construct a post-update node for argument arg.

localFlowSsaInputFromRead

Holds if read is a last node reading SSA definition def, which can reach next.

localFlowStepCommon
localMustFlowStep

Holds if the value of node2 is given by node1.

localSsaFlowStep

Holds if there is a local flow step from nodeFrom to nodeTo involving SSA definition def.

localSsaFlowStepUseUse

Holds if there is a local use-use flow step from nodeFrom to nodeTo involving SSA definition def.

ssaDefAssigns
usesInstanceField

Holds if the source variable of SSA definition def is an instance field.

Classes

LocalExprStepConfiguration
UncertainExplicitSsaDefinition

An uncertain SSA definition. Either an uncertain explicit definition or an uncertain qualifier definition.