Package chord.analyses.alias

Static may alias and call graph analyses.

See:
Description

Interface Summary

ICICG	Specification of a context-insensitive call graph.
ICSCG	Specification of a context-sensitive call graph.

Class Summary

CIAliasAnalysis	Context-insensitive may alias analysis.
CICG	Implementation of a context-insensitive call graph.
CICGAnalysis	Context-insensitive call graph analysis.
CIObj	Representation of an object-insensitive abstract object.
CSAliasAnalysis	Context-sensitive may alias analysis.
CSCG	Implementation of a context-sensitive call graph.
CSCGAnalysis	Context-sensitive call graph analysis.
CSObj	Representation of an object-sensitive abstract object.
Ctxt	Representation of an abstract context of a method.
CtxtsAnalysis	Analysis for pre-computing abstract contexts.
DomC	Domain of abstract contexts.
DomO	Domain of abstract objects.
ThrOblAbbrCICGAnalysis	Call graph analysis producing a thread-oblivious, abbreviated, context-insensitive call graph of the program.
ThrOblAbbrCSCGAnalysis	Call graph analysis producing a thread-oblivious, abbreviated, context-sensitive call graph of the program.
ThrSenAbbrCICGAnalysis	Call graph analysis producing a thread-sensitive, abbreviated, context-insensitive call graph of the program.
ThrSenAbbrCSCGAnalysis	Call graph analysis producing a thread-sensitive, abbreviated, context-sensitive call graph of the program.

Package chord.analyses.alias Description

Static may alias and call graph analyses.