|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
ContextManager | Interface for context managers, which decide how edges should be added to a context-sensitive call graph. |
ContextSensitiveCallGraph | Represents a context-sensitive call graph for querying by client analyses. |
ContextSensitiveEdge | Represents a single context-sensitive edge in a call graph. |
EdgePredicate | An interface for predicates on edges, used to specify which edges should or shouldn't be included as part of a particular subgraph. |
Class Summary | |
---|---|
CallGraph | Represents the edges in a call graph. |
CallGraphBuilder | Models the call graph. |
CallGraphPack | A radio pack implementation for the call graph pack that calls the intra-procedural clinit eliminator after the call graph has been built. |
CHATransformer | Builds an invoke graph using Class Hierarchy Analysis. |
ClinitElimAnalysis | |
ClinitElimTransformer | |
ContextInsensitiveContextManager | A context manager which adds no context-sensitivity to the call graph. |
Edge | Represents a single edge in a call graph. |
ExplicitEdgesPred | A predicate that accepts edges that are the result of an explicit invoke. |
Filter | Represents a subset of the edges in a call graph satisfying an EdgePredicate predicate. |
InstanceInvokeEdgesPred | A predicate that accepts edges that are the result of an explicit instance invoke. |
ObjSensContextManager | A context manager which creates an object-sensitive call graph. |
OneCFAContextManager | A context manager which creates a 1-CFA call graph. |
OnFlyCallGraphBuilder | Models the call graph. |
ReachableMethods | Keeps track of the methods transitively reachable from the specified entry points through the given call graph edges. |
SlowCallGraph | Represents the edges in a call graph. |
Sources | Adapts an iterator over a collection of Edge's to be an iterator over the source methods of the edges. |
Targets | Adapts an iterator over a collection of Edge's to be an iterator over the target methods of the edges. |
TopologicalOrderer | |
TransitiveTargets | Extends a TargetsOfMethod or TargetsOfUnit to include edges transitively reachable from any target methods. |
Units | Adapts an iterator over a collection of Edge's to be an iterator over the source units of the edges. |
UnreachableMethodTransformer | |
VirtualCalls | Resolves virtual calls. |
VirtualCallSite | Holds relevant information about a particular virtual call site. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |