| Package | Description |
|---|---|
| cetus.application |
| Modifier and Type | Method and Description |
|---|---|
AnalysisTarget[] |
IPChainAnalysis.getDefTargetArray(Procedure proc) |
AnalysisTarget[] |
IPChainAnalysis.getUseTargetArray(Procedure proc) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<Procedure,java.util.Set<AnalysisTarget>> |
DataFlowAnalysis.getAnalysisTargetListMap() |
java.util.Set<AnalysisTarget> |
AnalysisTarget.getDefChain() |
java.util.Set<AnalysisTarget> |
ProgramSummaryGraph.getGlobalDefSet() |
java.util.LinkedHashSet<AnalysisTarget> |
IPChainAnalysis.getGlobalDefSet() |
java.util.Set<AnalysisTarget> |
ProgramSummaryGraph.getGlobalUseSet() |
java.util.Set<AnalysisTarget> |
AnalysisTarget.getUseChain() |
| Modifier and Type | Method and Description |
|---|---|
void |
AnalysisTarget.addDefChain(AnalysisTarget def) |
void |
AnalysisTarget.addUseChain(AnalysisTarget use) |
static java.util.Set<Symbol> |
ChainTools.getDefSymbol(AnalysisTarget[] defArray,
Procedure proc) |
static void |
ChainTools.setGenBit(DFANode cfgNode,
AnalysisTarget[] defMapEntry,
Expression currentEx) |
static void |
ChainTools.setKillBit(DFANode cfgNode,
AnalysisTarget[] defMapEntry,
Expression currentEx,
Procedure proc) |
static void |
ChainTools.setKillBitForAlias(DFANode cfgNode,
AnalysisTarget[] defMapEntry,
Expression currentEx,
Statement currentStmt,
Procedure proc) |
| Modifier and Type | Method and Description |
|---|---|
static java.util.Set<Symbol> |
ChainTools.getDefSymbol(java.util.Set<AnalysisTarget> defSet,
Procedure proc) |
void |
AnalysisTarget.putDefChain(java.util.Set<AnalysisTarget> defChain) |
void |
AnalysisTarget.putUseChain(java.util.Set<AnalysisTarget> useChain) |
void |
DataFlowAnalysis.setAnalysisTarget(Procedure targetProc,
java.util.Map<Procedure,java.util.Set<AnalysisTarget>> targetMap) |
| 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) |
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) |
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) |
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) |
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.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) |
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.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) |