Module DataFlowPublic
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPublic
Predicates
assignableDefinitionNode |
Gets a node corresponding to the definition |
exprNode |
Gets a node corresponding to expression |
localExprFlow |
Holds if data can flow from |
localFlow |
Holds if data flows from |
parameterNode |
Gets the node corresponding to the value of parameter |
Classes
AssignableDefinitionNode |
A definition, viewed as a node in a data flow graph. |
BarrierGuard |
DEPRECATED: Use |
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 |
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 ( |
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. |
Modules
BarrierGuard |
Provides a set of barrier nodes for a guard that validates an expression. |
Predicate signatures
guardChecksSig |
Holds if the guard |
Aliases
localFlowStep |
Holds if data flows from |