Uses of Class
cetus.analysis.CFGraph

Packages that use CFGraph

Package	Description
cetus.application

Uses of CFGraph in cetus.application

Methods in cetus.application that return types with arguments of type CFGraph

Modifier and Type	Method and Description
java.util.Map<Procedure,CFGraph>	IPChainAnalysis.getCfgMap()

Methods in cetus.application with parameters of type CFGraph

Modifier and Type	Method and Description
static boolean	ChainTools.isEntryNode(DFANode node, CFGraph cfg)
static boolean	ChainTools.isExitNode(DFANode node, CFGraph cfg)
static DFAGraph	SlicingTools.reverseCFGraph(CFGraph cfg)

Method parameters in cetus.application with type arguments of type CFGraph

Modifier and Type	Method and Description
void	ProgramSummaryGraph.buildGraph(java.util.Map<Procedure,CFGraph> cfgMap)
void	ControlDependenceGraph.buildGraph(java.util.Map<Procedure,CFGraph> cfgMap)

Constructor parameters in cetus.application with type arguments of type CFGraph

Constructor and Description
ChainComputer(Procedure proc, java.util.Map<Procedure,CFGraph> cfgMap, java.util.LinkedHashSet<AnalysisTarget> globalDefSet, java.util.LinkedHashSet<AnalysisTarget> globalUseSet, java.util.Map<Procedure,java.util.Set<AnalysisTarget>> defTargetSetMap, java.util.Map<Procedure,java.util.Set<AnalysisTarget>> useTargetSetMap)
DataFlowAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, boolean forward, boolean may)
ProgramSlicer(java.util.Map<Procedure,CFGraph> cfgMap, IPChainAnalysis udChain, Program program)
PSGReachingDefinitionAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.Map<Procedure,java.util.Set<AnalysisTarget>> refParamMap, java.util.Map<AnalysisTarget,java.lang.Integer> refParamIdxMap)
PSGReachingDefinitionAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.Set<Symbol> globalSet, java.util.Set<AnalysisTarget> globalDefList, java.util.Set<Procedure> globalDefProcSet)
PSGReachingGlobalProcSetAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.Set<Procedure> globalProcSet)
PSGRegionalKillSetAnlaysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.Map<Procedure,java.util.Set<AnalysisTarget>> targetSetMap, java.util.Set<Procedure> globalProcSet)
PSGUpwardsExposedUsesAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.Map<Procedure,java.util.Set<AnalysisTarget>> refParamMap, java.util.Map<AnalysisTarget,java.lang.Integer> refParamIdxMap)
PSGUpwardsExposedUsesAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.Set<Symbol> globalSet, java.util.Set<AnalysisTarget> globalUseList, java.util.Set<Procedure> globalUseProcSet)
ReachingDefinitionAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.LinkedHashSet<AnalysisTarget> globalDefList)