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`.
getPostUpdateReverseStep	Holds if a reverse local flow step should be added from the post-update node for `e` to the post-update node for the result.
isInstanceField	Holds if the source variable `v` is an instance field.
localFlowStepCommon
localMustFlowStep	Holds if the value of `node2` is given by `node1`.