Module Cached

Import path


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

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