CodeQL library for C#
codeql/csharp-all 0.8.12 (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
isLiveAtEndOfBlock
isLiveOutRefParameterDefinition
lastReadSameVar
lastRefBeforeRedef
lastRefBeforeRedefExt
phiHasInputFromBlock
uncertainWriteDefinitionInput
updatesNamedFieldOrProp

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

variableWriteQualifier

Datatypes