Module DataFlow::DataFlow

Imports

Configuration

Provides a class for performing customized inter-procedural data flow.

Nodes

Provides classes representing particular kinds of data flow nodes, such as nodes corresponding to function definitions or nodes corresponding to parameters.

Sources

Provides support for intra-procedural tracking of a customizable set of data flow nodes.

TrackedNodes

Provides support for inter-procedural tracking of a customizable set of data flow nodes.

TypeInference

Provides classes implementing a simple intra-procedural flow analysis for inferring abstract values of nodes in the data-flow graph representation of the program.

Predicates

isIncomplete

Holds if the flow information for this node is incomplete.

localFlowStep

Holds if data can flow from node1 to node2 in one local step.

parameterNode

Gets the node corresponding to the initialization of parameter p.

parameterNode

INTERNAL: Use parameterNode(Parameter) instead.

ssaDefinitionNode

Gets the data flow node corresponding to ssa.

thisNode

INTERNAL: Use thisNode(StmtContainer container) instead.

valueNode

Gets the data flow node corresponding to nd.

Classes

Incompleteness

A classification of flows that are not modeled, or only modeled incompletely, by DataFlowNode:

Node

A node in the data flow graph.

PropRead

A data flow node that reads an object property.

PropRef

A data flow node that reads or writes an object property or class member.

PropWrite

A data flow node that writes to an object property.

SsaDefinitionNode

A node in the data flow graph which corresponds to an SSA variable definition.

ValueNode

An expression or a declaration of a function, class, namespace or enum, viewed as a node in the data flow graph.

Modules

Impl

Provides classes representing various kinds of calls.