Module DataFlow
Import path
import csharp
Predicates
assignableDefinitionNode | Gets a node corresponding to the definition |
exprNode | Gets a node corresponding to expression |
flowsTo | Holds if data can flow (inter-procedurally) from |
localExprFlow | Holds if data can flow from |
localFlow | Holds if data flows from |
parameterNode | Gets the node corresponding to the value of parameter |
stageStats | INTERNAL: Only for debugging. |
Classes
AssignableDefinitionNode | A definition, viewed as a node in a data flow graph. |
BarrierGuard | A guard that validates some expression. |
Configuration | A configuration of interprocedural data flow analysis. This defines sources, sinks, and any other configurable aspect of the analysis. Each use of the global data flow library must define its own unique extension of this abstract class. To create a configuration, extend this class with a subclass whose characteristic predicate is a unique singleton string. For example, write |
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 ( |
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. |
PartialPathNode | A |
PathNode | A |
PropertyContent | A reference to a property. |
Modules
PartialPathGraph | Provides the query predicates needed to include a graph in a path-problem query. |
PathGraph | Provides the query predicates needed to include a graph in a path-problem query. |
Aliases
localFlowStep | Holds if data flows from |