|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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, A → L, 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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |