Uses of Package
tip.cfg

Packages that use tip.cfg
tip Provides the main classes for the TIP compiler, including the main entry class Main
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.cfa Provides a collection of control flow analyses for TIP programs. 
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
tip.display Provides classes for display ASTs and CFGs of TIP programs. 
tip.util Provides utility classes for the TIP compiler. 
 

Classes in tip.cfg used by tip
PointsToMap
          PointsToMap defines the interface for a points-to map mapping variables to pointer target for a program point.
 

Classes in tip.cfg used by tip.cfg
AProgramPoint
          AProgramPoint implements the basic functionality of the generated program points.
CAssignPtrStmPoint
          CAssignPtrStmPoint is a program point in a control flow graph associated with a AAssignPtrStm.
CAssignVarStmPoint
          CAssignVarStmPoint is a program point in a control flow graph associated with a AAssignVarStm.
CBinopExpPoint
          CBinopExpPoint is a program point in a control flow graph associated with a ABinopExp.
CBlockPoint
          CBlockPoint is a program point in a control flow graph associated with a ABlock.
CCFG
          CCFG is the standard implementation of ICFG.
CDeclStmPoint
          CDeclStmPoint is a program point in a control flow graph associated with a ADeclStm.
CDerefExpPoint
          CDerefExpPoint is a program point in a control flow graph associated with a ADerefExp.
CFGAnalysisAdapter
          CFGAnalysisAdapter implements ICFGAnalysis by defering all case-methods to CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).
CFGAnswer
          CFGAnswer defines an interface for the abstraction of answers based on a ICFG.
CFGQuestionAnswer
          CFGQuestionAnswer defines an interface for the abstraction of answers to questions based on a ICFG.
CFunctionCallExpPoint
          CFunctionCallExpPoint is a program point in a control flow graph associated with a AFunctionCallExp.
CFunctionPtrCallExpPoint
          CFunctionPtrCallExpPoint is a program point in a control flow graph associated with a AFunctionPtrCallExp.
CIfThenElseStmPoint
          CIfThenElseStmPoint is a program point in a control flow graph associated with a AIfThenElseStm.
CIfThenStmPoint
          CIfThenStmPoint is a program point in a control flow graph associated with a AIfThenStm.
CInputExpPoint
          CInputExpPoint is a program point in a control flow graph associated with a AInputExp.
CIntConstExpPoint
          CIntConstExpPoint is a program point in a control flow graph associated with a AIntConstExp.
CMallocExpPoint
          CMallocExpPoint is a program point in a control flow graph associated with a AMallocExp.
CNullExpPoint
          CNullExpPoint is a program point in a control flow graph associated with a ANullExp.
COutputStmPoint
          COutputStmPoint is a program point in a control flow graph associated with a AOutputStm.
CPointerExpPoint
          CPointerExpPoint is a program point in a control flow graph associated with a APointerExp.
CReturnStmPoint
          CReturnStmPoint is a program point in a control flow graph associated with a AReturnStm.
CVarExpPoint
          CVarExpPoint is a program point in a control flow graph associated with a AVarExp.
CWhileStmPoint
          CWhileStmPoint is a program point in a control flow graph associated with a AWhileStm.
DependencyStrategy
          The DependencyStrategy interface defines the necessary method to abstract forwards and backwards dependency in a FlowAnalysis.
EntryPoint
          EntryPoint represents the entry point of a control flow graph.
ExitPoint
          ExitPoint represents the exit point of a control flow graph.
FixedPointAnalysis
          FixedPointAnalysis defines the interface for general fixed-point analyses for which WorkList can be used.
ICFG
          ICFG defines the interface for a control flow graph.
ICFGAnalysis
          ICFGAnalysis defines the interface for an analysis based on IProgramPoint.
ICFGCollection
          ICFGCollection defines the interface for a collection of control flow graphs.
IProgramPoint
          IProgramPoint defines the interface for a program point in a control flow graph.
Lattice
          Lattice defines the interface for a lattice with element type T.
Target
          Target defines the interface for pointer targets.
UnionFind
           
WideningNarrowingAnalysis
          WideningNarrowingAnalysis defines the methods necessary for performing a widening-narrowing analysis using WorkList.
 

Classes in tip.cfg used by tip.cfg.cfa
CFGQuestionAnswer
          CFGQuestionAnswer defines an interface for the abstraction of answers to questions based on a ICFG.
CFGQuestionAnswerAdapter
          CFGQuestionAnswerAdapter implements the default behaviour of the CFGQuestionAnswer interface.
ICFGCollection
          ICFGCollection defines the interface for a collection of control flow graphs.
IProgramPoint
          IProgramPoint defines the interface for a program point in a control flow graph.
PointsToMap
          PointsToMap defines the interface for a points-to map mapping variables to pointer target for a program point.
Target
          Target defines the interface for pointer targets.
 

Classes in tip.cfg used by tip.cfg.dfa
CAssignPtrStmPoint
          CAssignPtrStmPoint is a program point in a control flow graph associated with a AAssignPtrStm.
CAssignVarStmPoint
          CAssignVarStmPoint is a program point in a control flow graph associated with a AAssignVarStm.
CDeclStmPoint
          CDeclStmPoint is a program point in a control flow graph associated with a ADeclStm.
CFGAnalysisAdapter
          CFGAnalysisAdapter implements ICFGAnalysis by defering all case-methods to CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).
CIfThenElseStmPoint
          CIfThenElseStmPoint is a program point in a control flow graph associated with a AIfThenElseStm.
CIfThenStmPoint
          CIfThenStmPoint is a program point in a control flow graph associated with a AIfThenStm.
COutputStmPoint
          COutputStmPoint is a program point in a control flow graph associated with a AOutputStm.
CReturnStmPoint
          CReturnStmPoint is a program point in a control flow graph associated with a AReturnStm.
CWhileStmPoint
          CWhileStmPoint is a program point in a control flow graph associated with a AWhileStm.
EntryPoint
          EntryPoint represents the entry point of a control flow graph.
ExitPoint
          ExitPoint represents the exit point of a control flow graph.
FixedPointAnalysis
          FixedPointAnalysis defines the interface for general fixed-point analyses for which WorkList can be used.
FlowAnalysis
          FlowAnalysis implements the basic structure for a flow analysis implementing the FixedPointAnalysis interface.
ICFG
          ICFG defines the interface for a control flow graph.
ICFGAnalysis
          ICFGAnalysis defines the interface for an analysis based on IProgramPoint.
ICFGCollection
          ICFGCollection defines the interface for a collection of control flow graphs.
IProgramPoint
          IProgramPoint defines the interface for a program point in a control flow graph.
Lattice
          Lattice defines the interface for a lattice with element type T.
MapLattice
          MapLattice defines a map lattice, AL, from a fixed set, A, containing the elements of the domain, and a lattice, L, for the range elements.
PointsToMap
          PointsToMap defines the interface for a points-to map mapping variables to pointer target for a program point.
Target
          Target defines the interface for pointer targets.
WideningNarrowingAnalysis
          WideningNarrowingAnalysis defines the methods necessary for performing a widening-narrowing analysis using WorkList.
 

Classes in tip.cfg used by tip.display
FixedPointAnalysis
          FixedPointAnalysis defines the interface for general fixed-point analyses for which WorkList can be used.
ICFGCollection
          ICFGCollection defines the interface for a collection of control flow graphs.
PointsToMap
          PointsToMap defines the interface for a points-to map mapping variables to pointer target for a program point.
Target
          Target defines the interface for pointer targets.
 

Classes in tip.cfg used by tip.util
CFGAnswer
          CFGAnswer defines an interface for the abstraction of answers based on a ICFG.
CFGAnswerAdapter
          CFGAnswerAdapter implements the default behaviour of the CFGAnswer interface.
CIfThenElseStmPoint
          CIfThenElseStmPoint is a program point in a control flow graph associated with a AIfThenElseStm.
CIfThenStmPoint
          CIfThenStmPoint is a program point in a control flow graph associated with a AIfThenStm.
CWhileStmPoint
          CWhileStmPoint is a program point in a control flow graph associated with a AWhileStm.
EntryPoint
          EntryPoint represents the entry point of a control flow graph.
ExitPoint
          ExitPoint represents the exit point of a control flow graph.
ICFG
          ICFG defines the interface for a control flow graph.
IProgramPoint
          IProgramPoint defines the interface for a program point in a control flow graph.