Uses of Interface
tip.cfg.ICFGAnalysis

Packages that use ICFGAnalysis
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
 

Uses of ICFGAnalysis in tip.cfg
 

Subinterfaces of ICFGAnalysis in tip.cfg
 interface FixedPointAnalysis<VariableType>
          FixedPointAnalysis defines the interface for general fixed-point analyses for which WorkList can be used.
 interface WideningNarrowingAnalysis<VariableType>
          WideningNarrowingAnalysis defines the methods necessary for performing a widening-narrowing analysis using WorkList.
 

Classes in tip.cfg that implement ICFGAnalysis
 class CFGAnalysisAdapter
          CFGAnalysisAdapter implements ICFGAnalysis by defering all case-methods to CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).
 class FlowAnalysis<VariableType>
          FlowAnalysis implements the basic structure for a flow analysis implementing the FixedPointAnalysis interface.
 

Methods in tip.cfg with parameters of type ICFGAnalysis
 boolean IProgramPoint.apply(ICFGAnalysis analysis)
          Calls the appropriate case-method on analysis and returns the result.
 boolean ExitPoint.apply(ICFGAnalysis analysis)
          Calls caseExitPoint(Node,ExitPoint) on analysis and returns the result.
 boolean EntryPoint.apply(ICFGAnalysis analysis)
          Calls caseEntryPoint(Node,EntryPoint) on analysis and returns the result.
 boolean CWhileStmPoint.apply(ICFGAnalysis analysis)
          Calls caseCWhileStmPoint(AWhileStm,CWhileStmPoint) on analysis and returns the result.
 boolean CVarExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCVarExpPoint(AVarExp,CVarExpPoint) on analysis and returns the result.
 boolean CReturnStmPoint.apply(ICFGAnalysis analysis)
          Calls caseCReturnStmPoint(AReturnStm,CReturnStmPoint) on analysis and returns the result.
 boolean CPointerExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCPointerExpPoint(APointerExp,CPointerExpPoint) on analysis and returns the result.
 boolean COutputStmPoint.apply(ICFGAnalysis analysis)
          Calls caseCOutputStmPoint(AOutputStm,COutputStmPoint) on analysis and returns the result.
 boolean CNullExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCNullExpPoint(ANullExp,CNullExpPoint) on analysis and returns the result.
 boolean CMallocExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCMallocExpPoint(AMallocExp,CMallocExpPoint) on analysis and returns the result.
 boolean CIntConstExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCIntConstExpPoint(AIntConstExp,CIntConstExpPoint) on analysis and returns the result.
 boolean CInputExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCInputExpPoint(AInputExp,CInputExpPoint) on analysis and returns the result.
 boolean CIfThenStmPoint.apply(ICFGAnalysis analysis)
          Calls caseCIfThenStmPoint(AIfThenStm,CIfThenStmPoint) on analysis and returns the result.
 boolean CIfThenElseStmPoint.apply(ICFGAnalysis analysis)
          Calls caseCIfThenElseStmPoint(AIfThenElseStm,CIfThenElseStmPoint) on analysis and returns the result.
 boolean CFunctionPtrCallExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCFunctionPtrCallExpPoint(AFunctionPtrCallExp,CFunctionPtrCallExpPoint) on analysis and returns the result.
 boolean CFunctionCallExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCFunctionCallExpPoint(AFunctionCallExp,CFunctionCallExpPoint) on analysis and returns the result.
 boolean CDerefExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCDerefExpPoint(ADerefExp,CDerefExpPoint) on analysis and returns the result.
 boolean CDeclStmPoint.apply(ICFGAnalysis analysis)
          Calls caseCDeclStmPoint(ADeclStm,CDeclStmPoint) on analysis and returns the result.
 boolean CBlockPoint.apply(ICFGAnalysis analysis)
          Calls caseCBlockPoint(ABlock,CBlockPoint) on analysis and returns the result.
 boolean CBinopExpPoint.apply(ICFGAnalysis analysis)
          Calls caseCBinopExpPoint(ABinopExp,CBinopExpPoint) on analysis and returns the result.
 boolean CAssignVarStmPoint.apply(ICFGAnalysis analysis)
          Calls caseCAssignVarStmPoint(AAssignVarStm,CAssignVarStmPoint) on analysis and returns the result.
 boolean CAssignPtrStmPoint.apply(ICFGAnalysis analysis)
          Calls caseCAssignPtrStmPoint(AAssignPtrStm,CAssignPtrStmPoint) on analysis and returns the result.
 

Uses of ICFGAnalysis in tip.cfg.dfa
 

Classes in tip.cfg.dfa that implement ICFGAnalysis
 class AvailableExpressionsAnalysis
          AvailableExpressionsAnalysis implements the Available Expressions forwards-must analysis.
 class ConstantPropagationAnalysis
           
 class DivisionAnalysis
           
 class IntervalAnalysis
           
 class LivenessAnalysis
          LivenessAnalysis implements the Liveness backwards-may analysis.
 class NullPointerAnalysis
           
 class ReachingDefinitionsAnalysis
           
 class ShapeAnalysis
          ShapeAnalysis implements the Shape analysis for computing points-to maps.
 class SignAnalysis
           
 class VeryBusyExpressionsAnalysis