|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |