public class PSGReachingDefinitionAnalysis extends DataFlowAnalysis
| Constructor and Description |
|---|
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) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getPassName() |
getAnalysisTargetListMap, run, setAnalysisTarget, startrunpublic 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)
public java.lang.String getPassName()
getPassName in class DataFlowAnalysis