Module Cached
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
Predicates
adjacentReadPairSameVar |
Holds if the read at |
adjacentReadPairSameVarExt |
Holds if the read at |
explicitDefinition | |
firstReadSameVar |
Holds if the value defined at SSA definition |
firstReadSameVarExt |
Holds if the value defined at SSA definition |
getADefinition | |
getAReadAtNode | |
getAnAccess |
Gets an access to source variable |
implicitEntryDefinition | |
isCapturedVariableDefinitionFlowIn | |
isCapturedVariableDefinitionFlowOut | |
isLiveAtEndOfBlock | |
isLiveOutRefParameterDefinition | |
lastReadSameVar | |
lastRefBeforeRedef | |
lastRefBeforeRedefExt | |
phiHasInputFromBlock | |
uncertainWriteDefinitionInput | |
updatesCapturedVariable |
Holds if |
updatesNamedFieldOrProp |
Holds if |
variableWriteQualifier |