For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

DataFlowPublic

Module DataFlowPublic


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

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.

AssignableDefinitionNode	A definition, viewed as a node in a data flow graph.
BarrierGuard	DEPRECATED: Use `BarrierGuard` module instead.
Content	A reference contained in an object. This is either a field, a property, or an element in a collection.
ContentSet	An entity that represents a set of `Content`s.
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.
SyntheticFieldContent	A reference to a synthetic field.

Provides a set of barrier nodes for a guard that validates an expression.

Holds if the guard g validates the expression e upon evaluating to v.

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