Module DataFlow::DataFlow

Predicates

exprNode

Gets the node corresponding to expression e.

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

Configuration

A global (inter-procedural) data flow configuration.

ExprNode

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

Node

An element, viewed as a node in a data flow graph. Either an expression (ExprNode) or a parameter (ParameterNode).

ParameterNode

The value of a parameter at function entry, viewed as a node in a data flow graph.

PathNode

A data flow node augmented with a call context and a configuration. Only nodes that are reachable from a source, and which can reach a sink, are generated.

Modules

Internal

INTERNAL: Do not use.

PathGraph

Provides the query predicates needed to include a graph in a path-problem query.

Aliases

localFlowStep

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