All Classes

Class	Description
Activator	An activator class for controlling the plug-in life cycle
AddressFactory	A factory for generating unique "addresses" for each factory instance.
AnalysisUtilities	Utilities for assisting in the computation of points-to sets.
FIFOFrontier<E>	A First In First Out based worklist
Frontier<E>	Data structure for maintaining the worklist set of elements to process in a prescribed order.
GraphEnhancements	Utilities for making enhancements to the Atlas graph based on points-to results
JavaPointsTo	A fixed point points-to analysis for Java
JimplePointsTo	A fixed point points-to analysis for Jimple
LIFOFrontier<E>	A Last In First Out based worklist
Log	Centralized logging for Eclipse plugins.
LRUFrontier<E>	A Least Recently Used based worklist
PointsTo	An abstract class defining the features that a points-to analyzer should implement.
PointsToAnalysis	Some defined attributes and tags exposed by the analysis
PointsToCodemapStage	A hook for automatically running points-to analysis with the user's preferences after Atlas creates a program graph
PointsToPreferences
SubtypeCache	A cache for efficiently answering subtyping relationships