Module LocalFlow

Provides predicates related to local data flow.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

defAssigns
excludeFromExposedRelations	Holds if node `n` should not be included in the exposed local data/taint flow relations. This is the case for nodes that are only relevant for inter-procedurality or field-sensitivity.
getALastEvalNode	Gets a node that may execute last in `n`, and which, when it executes last, will be the value of `n`.
getAPostUpdateNodeForArg	Gets a node for which to construct a post-update node for argument `arg`.
localFlowStepCommon
localMustFlowStep	Holds if the value of `node2` is given by `node1`.
usesInstanceField	Holds if the source variable of SSA definition `def` is an instance field.