Package com.ensoftcorp.open.slice.analysis
-
Class Summary Class Description ControlDependenceGraph Constructs the Control Dependence Graph (CGD) from a given Control Flow Graph (CFG) Instead of computing control dependence using the Ferrante, Ottenstein, and Warren algorithm this uses the post-dominance frontier to compute the dominance edges.DataDependenceGraph Compute Data Dependence GraphDependenceGraph DependenceGraph.Factory FOWControlDependenceGraph Constructs the Control Dependence Graph (CGD) from a given Control Flow Graph (CFG) Computed using the Ferrante, Ottenstein, and Warren algorithm Reference: 1) http://www.cc.gatech.edu/~harrold/6340/cs6340_fall2009/Slides/BasicAnalysis4.pdfProgramDependenceGraph SystemDependenceGraph TaintGraph A program dependence graph based taint graph (also known as chopping) -
Enum Summary Enum Description DependenceGraph.SliceDirection