tip.cfg.dfa
Class ReachingDefinitionsAnalysis
java.lang.Object
tip.cfg.CFGAnalysisAdapter
tip.cfg.FlowAnalysis<EqualitySet<CAssignVarStmPoint>>
tip.cfg.dfa.ReachingDefinitionsAnalysis
- All Implemented Interfaces:
- FixedPointAnalysis<EqualitySet<CAssignVarStmPoint>>, ICFGAnalysis
public class ReachingDefinitionsAnalysis
- extends FlowAnalysis<EqualitySet<CAssignVarStmPoint>>
Methods inherited from class tip.cfg.CFGAnalysisAdapter |
caseCAssignPtrStmPoint, caseCBinopExpPoint, caseCBlockPoint, caseCDeclStmPoint, caseCDerefExpPoint, caseCFunctionCallExpPoint, caseCFunctionPtrCallExpPoint, caseCIfThenElseStmPoint, caseCIfThenStmPoint, caseCInputExpPoint, caseCIntConstExpPoint, caseCMallocExpPoint, caseCNullExpPoint, caseCOutputStmPoint, caseCPointerExpPoint, caseCReturnStmPoint, caseCVarExpPoint, caseCWhileStmPoint, caseEntryPoint, caseExitPoint |
Methods inherited from interface tip.cfg.ICFGAnalysis |
caseCAssignPtrStmPoint, caseCBinopExpPoint, caseCBlockPoint, caseCDeclStmPoint, caseCDerefExpPoint, caseCFunctionCallExpPoint, caseCFunctionPtrCallExpPoint, caseCIfThenElseStmPoint, caseCIfThenStmPoint, caseCInputExpPoint, caseCIntConstExpPoint, caseCMallocExpPoint, caseCNullExpPoint, caseCOutputStmPoint, caseCPointerExpPoint, caseCReturnStmPoint, caseCVarExpPoint, caseCWhileStmPoint, caseEntryPoint, caseExitPoint |
ReachingDefinitionsAnalysis
public ReachingDefinitionsAnalysis()
caseCAssignVarStmPoint
public boolean caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
- Description copied from class:
CFGAnalysisAdapter
- Default implementation. Calls
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
- Specified by:
caseCAssignVarStmPoint
in interface ICFGAnalysis
- Overrides:
caseCAssignVarStmPoint
in class CFGAnalysisAdapter
- Parameters:
node
- the AAssignVarStm
associated with point
point
- the CAssignVarStmPoint
calling the method
- Returns:
true
if the result of the analysis is changed.
getVariableString
public String getVariableString(EqualitySet<CAssignVarStmPoint> variable)
- Description copied from interface:
FixedPointAnalysis
- Returns a textual representation of the variable
variable
.
- Parameters:
variable
- the variable for which a text representation is returned
- Returns:
- a textual representation of the variable
variable
showDefUseGraph
public void showDefUseGraph(ICFGCollection cfgs)