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

Module Cached

Import path

import semmle.code.csharp.dataflow.internal.SsaImpl

Predicates

adjacentReadPairSameVar

Holds if the read at cfn2 is a read of the same SSA definition def as the read at cfn1, and cfn2 can be reached from cfn1 without passing through another read.

adjacentReadPairSameVarExt

Holds if the read at cfn2 is a read of the same SSA definition def as the read at cfn1, and cfn2 can be reached from cfn1 without passing through another read.

explicitDefinition
firstReadSameVar

Holds if the value defined at SSA definition def can reach a read at cfn, without passing through any other read.

firstReadSameVarExt

Holds if the value defined at SSA definition def can reach a read at cfn, without passing through any other read.

getADefinition
getAReadAtNode
getAnAccess

Gets an access to source variable v.

implicitEntryDefinition
isCapturedVariableDefinitionFlowIn
isCapturedVariableDefinitionFlowOut
isLiveAtEndOfBlock
isLiveOutRefParameterDefinition
lastReadSameVar
lastRefBeforeRedef
lastRefBeforeRedefExt
phiHasInputFromBlock
uncertainWriteDefinitionInput
updatesCapturedVariable

Holds if call may change the value of captured variable v. The actual update occurs in def.

updatesNamedFieldOrProp

Holds if call may change the value of field or property fp. The actual update occurs in setter.

variableWriteQualifier

Datatypes