Package com.tonic.analysis.dataflow

The data flow graph over a method's values.

Class Summary

Class	Description
DataFlowEdge	An edge in the data flow graph connecting two nodes.
DataFlowGraph	A data flow graph for a single method.
DataFlowNode	A node in the data flow graph standing for a value or operation, with mutable taint state.
DataFlowNode.Builder	Mutable accumulator for the immutable fields of a DataFlowNode.

Enum Summary

Enum	Description
DataFlowEdgeType	Types of edges in a data flow graph.
DataFlowNodeType	Types of nodes in a data flow graph.