Module DataFlowPublic

Import path

semmle.code.csharp.dataflow.internal.DataFlowPublic

Predicates

exprNode

Gets a node corresponding to expression e.

localFlow

Holds if data flows from source to sink in zero or more local (intra-procedural) steps.

localFlowStep

Holds if data flows from nodeFrom to nodeTo in exactly one local (intra-procedural) step.

parameterNode

Gets the node corresponding to the value of parameter p at function entry.

Classes

BarrierGuard

A guard that validates some expression.

ExprNode

An expression, viewed as a node in a data flow graph.

Node

An element, viewed as a node in a data flow graph. Either an expression (ExprNode) or a parameter (ParameterNode).

NonLocalJumpNode

A data flow node that jumps between callables. This can be extended in framework code to add additional data flow steps.

ParameterNode

The value of a parameter at function entry, viewed as a node in a data flow graph.