Package soot.toolkits.graph.pdg

Interface Summary

Interface	Description
IRegion	This interface represents a region of control dependence in the control flow graph.
ProgramDependenceGraph	This defines the interface to a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K.

Class Summary

Class	Description
ConditionalPDGNode	This represents a PDGNode that has more than 1 dependent but is not a loop header.
EnhancedBlockGraph
EnhancedUnitGraph	This class represents a control flow graph which behaves like an ExceptionalUnitGraph and BriefUnitGraph when there are no exception handling construct in the method; at the presence of such constructs, the CFG is constructed from a brief graph by adding a concise representation of the exceptional flow as well as START/STOP auxiliary nodes.
HashMutablePDG	This class implements a Program Dependence Graph as defined in Ferrante, J., Ottenstein, K.
LoopedPDGNode	This represents a loop in the PDG.
MHGDominatorTree<N>	Constructs a multi-headed dominator tree.
PDGNode	This class defines a Node in the Program Dependence Graph.
PDGRegion	This represents a region of control dependence obtained by constructing a program dependence graph.
Region	This class was originally designed to represent a weak region.
RegionAnalysis	This class computes the set of weak regions for a given method.

Enum Summary

Enum	Description
PDGNode.Attribute
PDGNode.Type