Interface | Description |
---|---|
ContextSensitiveStateMachine.RecursionHandler | |
IDemandPointerAnalysis |
Basic interface for a demand-driven points-to analysis.
|
Class | Description |
---|---|
AbstractDemandPointsTo |
Abstract super class for demand points-to analysis.
|
CallStack |
Representation for a calling context.
|
ContextSensitiveStateMachine |
A state machine for tracking calling context during a points-to query.
|
ContextSensitiveStateMachine.BasicRecursionHandler |
handles method recursion by only collapsing cycles of recursive
calls observed during analysis
|
ContextSensitiveStateMachine.Factory | |
DemandRefinementPointsTo |
Demand-driven refinement-based points-to analysis.
|
InstanceFieldKeyAndState | |
InstanceKeyAndState | |
IntraProcFilter |
State machine that only allows intraprocedural paths.
|
IntraProcFilter.Factory | |
PointerKeyAndState | |
SimpleDemandPointsTo |
Purely field-based, context-insensitive demand-driven points-to analysis with
very simple implementation.
|
WithState<T> |
Simple abstraction for pairing some type with a
StateMachine.State . |
Enum | Description |
---|---|
DemandRefinementPointsTo.PointsToResult |
Possible results of a query.
|
Exception | Description |
---|---|
BudgetExceededException |
Exception thrown when a demand-driven points-to query
exceeds its allocated budget.
|