AbstractFieldPointerKey |
|
AbstractLocalPointerKey |
|
AbstractPointerAnalysis |
|
AbstractPointerKey |
This class exists to force PointerKey implementations to implement equals() and hashCode()s.
|
AbstractPointsToSolver |
Abstract base class for solver for pointer analysis.
|
AbstractTypeInNode |
|
AllocationSite |
|
AllocationSiteInNode |
|
AllocationSiteInNodeFactory |
|
ArrayContentsKey |
A PointerKey which represents the contents of an array instance.
|
AssignEquation |
A specialized equation class introduced for efficiency.
|
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.
|
CloneContextSelector |
This context selector selects a context based on the concrete type of
the receiver to a call of java.lang.Object.clone
|
ConcreteTypeKey |
An instance key which represents a unique set for each concrete type.
|
ConstantKey<T> |
An instance key which represents a unique, constant object.
|
ContainerUtil |
Utilities for container class analysis
|
FilteredPointerKey.MultipleClassesFilter |
|
FilteredPointerKey.SingleClassFilter |
|
FilteredPointerKey.SingleInstanceFilter |
|
FilteredPointerKey.TargetMethodFilter |
|
InstanceFieldKey |
An pointer key which represents a unique set for a field associated with a set of instances.
|
InstanceFieldKeyWithFilter |
an instance field pointer key key that carries a type filter
|
LocalPointerKey |
A pointer key which provides a unique set for each local in each call graph node.
|
LocalPointerKeyWithFilter |
a local pointer key that carries a type filter
|
MultiNewArrayInNode |
|
NodeKey |
A key which represents a set corresponding to a call graph node.
|
NormalAllocationInNode |
|
PointerAnalysisImpl |
General representation of the results of pointer analysis
|
PointerAnalysisImpl.ImplicitPointsToSetVisitor |
|
PointerKeyComparator |
|
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.MutableBoolean |
|
PropagationCallGraphBuilder.TypedPointerKey |
A pointer key that delegates to an untyped variant, but adds a type filter
|
PropagationGraph |
A dataflow graph implementation specialized for propagation-based pointer analysis
|
PropagationSystem |
System of constraints that define propagation for call graph construction
|
ReceiverInstanceContext |
This is a context which is customized for the InstanceKey of the receiver.
|
ReceiverTypeContextSelector |
This context selector selects a context based on the concrete type of the receiver.
|
ReflectionHandler |
|
ReturnValueKey |
A key which represents the return value for a node.
|
ReturnValueKeyWithFilter |
a helper class which can modify a PropagationCallGraphBuilder to deal with
reflective factory methods.
|
SelectiveCPAContext |
A selective Cartesian product context that enforces object sensitivity on some set
of parameter positions.
|
SmushedAllocationSiteInNode |
An InstanceKey which represents the set of all allocation sites
of a given type in a CGNode .
|
SmushedAllocationSiteInstanceKeys |
This class provides instance keys where for a given type T in a CGNode N, there is one "abstract allocation site" instance for
all T allocations in node N.
|
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.InterestingVisitor |
sets bingo to true when it visits an interesting instruction
|
StandardSolver |
standard fixed-point iterative solver for pointer analysis
|
StaticFieldKey |
An pointer key which represents a unique set for each static field.
|
StringConstantCharArray |
An InstanceKey which represents the constant char[] contents
of a string constant object.
|
TargetMethodContextSelector |
This context selector selects a context based on whether the receiver type
dispatches to a given method.
|
UnarySideEffect |
A SideEffect is a constraint which carries a points-to-set which is def'fed or used in created constraints.
|
ZeroLengthArrayInNode |
Represents an array with length zero.
|