| 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.
|
Copyright © 2015. All rights reserved.