| Package | Description |
|---|---|
| com.ibm.wala.analysis.pointers |
This package defines utilities to help navigate pointer analysis results.
|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.reflection.java7 | |
| com.ibm.wala.client |
This package provides interfaces for some base utilities for use by WALA clients.
|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.alg.refinepolicy | |
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.demandpa.util | |
| com.ibm.wala.escape | |
| com.ibm.wala.ipa.callgraph |
This package provides basic interfaces and functions for call graph
construction.
|
| com.ibm.wala.ipa.callgraph.impl |
This package provides some implementations of basic functions needed for
various call graph construction algorithms.
|
| com.ibm.wala.ipa.callgraph.propagation |
This package provides the base layer for propagation-based call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.callgraph.propagation.cfa |
This package provides RTA call graph
construction.
|
| com.ibm.wala.ipa.callgraph.propagation.rta |
This package provides CFA-style call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.modref | |
| com.ibm.wala.ipa.slicer | |
| com.ibm.wala.ipa.slicer.thin | |
| com.ibm.wala.viz.viewer |
| Class and Description |
|---|
| HeapModel
A
HeapModel embodies how a pointer analysis abstracts heap locations. |
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| Class and Description |
|---|
| ConstantKey
An instance key which represents a unique, constant object.
|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| SSAContextInterpreter
An object that provides an interface to local method information needed for CFA.
|
| Class and Description |
|---|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| SSAContextInterpreter
An object that provides an interface to local method information needed for CFA.
|
| Class and Description |
|---|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| Class and Description |
|---|
| HeapModel
A
HeapModel embodies how a pointer analysis abstracts heap locations. |
| InstanceFieldKey
An pointer key which represents a unique set for a field associated with a set of instances.
|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| Class and Description |
|---|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| Class and Description |
|---|
| FilteredPointerKey.TypeFilter |
| HeapModel
A
HeapModel embodies how a pointer analysis abstracts heap locations. |
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| LocalPointerKey
A pointer key which provides a unique set for each local in each call graph node.
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| StaticFieldKey
An pointer key which represents a unique set for each static field.
|
| Class and Description |
|---|
| HeapModel
A
HeapModel embodies how a pointer analysis abstracts heap locations. |
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| Class and Description |
|---|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| Class and Description |
|---|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| Class and Description |
|---|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| SSAContextInterpreter
An object that provides an interface to local method information needed for CFA.
|
| SSAPropagationCallGraphBuilder
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative
dataflow solver, and constraints generated by statements in SSA form.
|
| Class and Description |
|---|
| AbstractFieldPointerKey
Common implementation for
InstanceFieldPointerKey implementations. |
| AbstractLocalPointerKey
A
PointerKey representing a local variable must carry at least a CGNode. |
| AbstractPointerAnalysis
Abstract superclass for
PointerAnalysis implementations. |
| AbstractPointerKey
This class exists to force
PointerKey implementations to implement equals() and hashCode()s. |
| AbstractPointsToSolver
Abstract base class for solver for pointer analysis.
|
| AbstractTypeInNode |
| AllocationSiteInNode |
| ConstantKey
An instance key which represents a unique, constant object.
|
| FilteredPointerKey
A
PointerKey which carries a type filter, used during pointer analysis |
| FilteredPointerKey.TypeFilter |
| HeapModel
A
HeapModel embodies how a pointer analysis abstracts heap locations. |
| InstanceFieldKey
An pointer key which represents a unique set for a field associated with a set of instances.
|
| InstanceFieldPointerKey |
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| InstanceKeyFactory
An object that abstracts how to model instances in the heap.
|
| IPointerOperator
An operator in pointer analysis constraints.
|
| IPointsToSolver
Basic interface for a pointer analysis solver.
|
| LocalPointerKey
A pointer key which provides a unique set for each local in each call graph node.
|
| NodeKey
A key which represents a set corresponding to a call graph node.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| PointerAnalysisImpl
General representation of the results of pointer analysis
|
| PointerAnalysisImpl.ImplicitPointsToSetVisitor |
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| PointerKeyFactory
An object that abstracts how to model pointers in the heap.
|
| PointsToMap
An object that tracks the mapping between pointer keys and points-to set variables
|
| PointsToSetVariable
Representation of a points-to set during an andersen-style analysis.
|
| PropagationCallGraphBuilder
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative
dataflow solver
TODO: This implementation currently keeps all points to sets live ...
|
| PropagationCallGraphBuilder.FilterOperator
The FilterOperator is a filtered set-union.
|
| PropagationCallGraphBuilder.InverseFilterOperator |
| PropagationSystem
System of constraints that define propagation for call graph construction
|
| ReflectionHandler
A helper class which can modify a
PropagationCallGraphBuilder to deal with reflective factory methods. |
| ReturnValueKey
A key which represents the return value for a node.
|
| SSAContextInterpreter
An object that provides an interface to local method information needed for CFA.
|
| SSAPropagationCallGraphBuilder
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative
dataflow solver, and constraints generated by statements in SSA form.
|
| SSAPropagationCallGraphBuilder.ConstraintVisitor
A visitor that generates constraints based on statements in SSA form.
|
| SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer |
| SSAPropagationCallGraphBuilder.InterestingVisitor
sets bingo to true when it visits an interesting instruction
|
| StringConstantCharArray
An
InstanceKey which represents the constant char[] contents
of a string constant object. |
| UnarySideEffect
A SideEffect is a constraint which carries a points-to-set which is def'fed or used in created constraints.
|
| Class and Description |
|---|
| AbstractLocalPointerKey
A
PointerKey representing a local variable must carry at least a CGNode. |
| AbstractPointerKey
This class exists to force
PointerKey implementations to implement equals() and hashCode()s. |
| ClassBasedInstanceKeys
This class provides Instance Key call backs where each instance is in the same equivalence class as all other instances of the
same concrete type.
|
| FilteredPointerKey
A
PointerKey which carries a type filter, used during pointer analysis |
| FilteredPointerKey.TypeFilter |
| HeapModel
A
HeapModel embodies how a pointer analysis abstracts heap locations. |
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| InstanceKeyFactory
An object that abstracts how to model instances in the heap.
|
| NodeKey
A key which represents a set corresponding to a call graph node.
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| PointerKeyFactory
An object that abstracts how to model pointers in the heap.
|
| PropagationCallGraphBuilder
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative
dataflow solver
TODO: This implementation currently keeps all points to sets live ...
|
| ReturnValueKey
A key which represents the return value for a node.
|
| SSAContextInterpreter
An object that provides an interface to local method information needed for CFA.
|
| SSAPropagationCallGraphBuilder
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative
dataflow solver, and constraints generated by statements in SSA form.
|
| Class and Description |
|---|
| AbstractPointerAnalysis
Abstract superclass for
PointerAnalysis implementations. |
| ClassBasedInstanceKeys
This class provides Instance Key call backs where each instance is in the same equivalence class as all other instances of the
same concrete type.
|
| FilteredPointerKey
A
PointerKey which carries a type filter, used during pointer analysis |
| FilteredPointerKey.TypeFilter |
| HeapModel
A
HeapModel embodies how a pointer analysis abstracts heap locations. |
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| InstanceKeyFactory
An object that abstracts how to model instances in the heap.
|
| IPointsToSolver
Basic interface for a pointer analysis solver.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| PointerKeyFactory
An object that abstracts how to model pointers in the heap.
|
| PointsToSetVariable
Representation of a points-to set during an andersen-style analysis.
|
| PropagationCallGraphBuilder
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative
dataflow solver
TODO: This implementation currently keeps all points to sets live ...
|
| PropagationSystem
System of constraints that define propagation for call graph construction
|
| SSAContextInterpreter
An object that provides an interface to local method information needed for CFA.
|
| Class and Description |
|---|
| AbstractFieldPointerKey
Common implementation for
InstanceFieldPointerKey implementations. |
| AbstractPointerKey
This class exists to force
PointerKey implementations to implement equals() and hashCode()s. |
| FilteredPointerKey
A
PointerKey which carries a type filter, used during pointer analysis |
| FilteredPointerKey.TypeFilter |
| HeapModel
A
HeapModel embodies how a pointer analysis abstracts heap locations. |
| InstanceFieldPointerKey |
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| InstanceKeyFactory
An object that abstracts how to model instances in the heap.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| PointerKeyFactory
An object that abstracts how to model pointers in the heap.
|
| Class and Description |
|---|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| Class and Description |
|---|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
| Class and Description |
|---|
| InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| PointerAnalysis
Abstract definition of pointer analysis
|
| PointerKey
A PointerKey instance serves as the representative for an equivalence class
of pointers.
|
Copyright © 2015. All rights reserved.