Gets a node corresponding to the definition
Gets a node corresponding to expression
Holds if data can flow from
Holds if data flows from
Gets the node corresponding to the value of parameter
A definition, viewed as a node in a data flow graph.
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
A reference contained in an object. This is either a field, a property, or an element in a collection.
An entity that represents a set of
A reference to an element in a collection.
An expression, viewed as a node in a data flow graph.
A reference to a field.
An element, viewed as a node in a data flow graph. Either an expression (
A data flow node that jumps between callables. This can be extended in framework code to add additional data flow steps.
The value of a parameter at function entry, viewed as a node in a data flow graph.
A reference to a property.
A reference to a synthetic field.
Provides a set of barrier nodes for a guard that validates an expression.
Holds if the guard