All Classes
-
All Classes Class Summary Enum Summary Class Description Activator The activator class controls the plug-in life cycleControlDependenceGraph 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 DependenceGraph.SliceDirection 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.pdfLog Centralized logging for Eclipse plugins.PDGCodemapStage Builds the PDGs for each functionProgramDependenceGraph SlicePreferences SlicingQueries SlicingResult SystemDependenceGraph TaintGraph A program dependence graph based taint graph (also known as chopping)