Module DataFlowPublic

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPublic

Predicates

assignableDefinitionNode

Gets a node corresponding to the definition def.

exprNode

Gets a node corresponding to expression e.

localExprFlow

Holds if data can flow from e1 to e2 in zero or more local (intra-procedural) steps.

localFlow

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

parameterNode

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

Classes

AssignableDefinitionNode

A definition, viewed as a node in a data flow graph.

BarrierGuard

A guard that validates some expression.

Content

A reference contained in an object. This is either a field, a property, or an element in a collection.

ElementContent

A reference to an element in a collection.

ExprNode

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

FieldContent

A reference to a field.

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.

PropertyContent

A reference to a property.

Aliases

localFlowStep

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