Module LocalFlow
Provides predicates related to local data flow.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
Predicates
defAssigns | |
excludeFromExposedRelations | Holds if node |
getALastEvalNode | Gets a node that may execute last in |
getAPostUpdateNodeForArg | Gets a node for which to construct a post-update node for argument |
localFlowSsaInputFromRead | Holds if |
localFlowStepCommon | |
localMustFlowStep | Holds if the value of |
localSsaFlowStep | Holds if there is a local flow step from |
localSsaFlowStepUseUse | Holds if there is a local use-use flow step from |
ssaDefAssigns | |
usesInstanceField | Holds if the source variable of SSA definition |
Classes
LocalExprStepConfiguration | |
UncertainExplicitSsaDefinition | An uncertain SSA definition. Either an uncertain explicit definition or an uncertain qualifier definition. |