diff --git a/com.ensoftcorp.open.pointsto/build.properties b/com.ensoftcorp.open.pointsto/build.properties
index 13e7dcb..fefd546 100755
--- a/com.ensoftcorp.open.pointsto/build.properties
+++ b/com.ensoftcorp.open.pointsto/build.properties
@@ -2,6 +2,7 @@ source.. = src/
output.. = bin/
bin.includes = .,\
plugin.xml,\
+ doc/,\
META-INF/
jars.compile.order = .
\ No newline at end of file
diff --git a/com.ensoftcorp.open.pointsto/doc/allclasses-frame.html b/com.ensoftcorp.open.pointsto/doc/allclasses-frame.html
new file mode 100644
index 0000000..11e43a8
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/allclasses-frame.html
@@ -0,0 +1,36 @@
+
+
+
+
+
+All Classes
+All Classes
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/allclasses-noframe.html b/com.ensoftcorp.open.pointsto/doc/allclasses-noframe.html
new file mode 100644
index 0000000..5a2d873
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/allclasses-noframe.html
@@ -0,0 +1,36 @@
+
+
+
+
+
+All Classes
+All Classes
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/Activator.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/Activator.html
new file mode 100644
index 0000000..08898a8
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/Activator.html
@@ -0,0 +1,405 @@
+
+
+
+
+
+Activator
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+org.eclipse.core.runtime.Plugin
+
+
+org.eclipse.ui.plugin.AbstractUIPlugin
+
+
+com.ensoftcorp.open.pointsto.Activator
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+
+Fields
+Modifier and Type
+Field and Description
+
+
+static java.lang.StringPLUGIN_ID
+
+
+
+
+
+Fields inherited from class org.eclipse.core.runtime.Plugin
+PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+Activator The constructor
+
+
+
+
+
+
+
+
+Method Summary
+
+
+
+
+
+Methods inherited from class org.eclipse.ui.plugin.AbstractUIPlugin
+getDialogSettings, getImageRegistry, getPreferenceStore, getWorkbench, imageDescriptorFromPlugin, shutdown, startup
+
+
+
+
+Methods inherited from class org.eclipse.core.runtime.Plugin
+find, find, getBundle, getDescriptor, getLog, getPluginPreferences, getStateLocation, internalInitializeDefaultPluginPreferences, isDebugging, openStream, openStream, savePluginPreferences, setDebugging, toString
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Field Detail
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+Activator
+public Activator()
+The constructor
+
+
+
+
+
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+ JavaPointsTo
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+JavaPointsTo
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+voidaddAliasAddress Removes an alias address from the alias set
+
+
+voiddispose Signals that the points to analysis results no longer need to be maintained by the analysis
+
+
+com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>getAddressedNodes Returns a set of all addressed nodes
+
+
+java.util.HashSet<java.lang.Integer>getAliasAddresses Returns a set of alias addresses
+
+
+java.util.HashSet<java.lang.Integer>getArrayMemoryModelAliases Returns the mapping of arrays to the array's components
+
+
+java.util.HashSet<java.lang.Integer>getArrayMemoryModels Returns the array memory model addresses
+
+
+com.ensoftcorp.atlas.core.db.graph.GraphgetInferredDataFlowGraph Returns the inferred data flow graph as the results of the fixed point analysis
+
+
+com.ensoftcorp.atlas.core.db.graph.NodegetInstantiation Returns the mapping of an address to its corresponding instantiation
+
+
+com.ensoftcorp.atlas.core.db.graph.NodegetType Returns the mapping of an address to its corresponding static type
+
+
+voidremoveAliasAddress Adds an alias address to the alias set
+
+
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+JavaPointsTo
+public JavaPointsTo()
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
+addAliasAddress
+public void addAliasAddress(com.ensoftcorp.atlas.core.db.graph.Node node,
+ java.lang.Integer address)
+
+Removes an alias address from the alias set
+
+Specified by: addAliasAddress PointsTo
+
+
+
+
+
+
+
+removeAliasAddress
+public void removeAliasAddress(com.ensoftcorp.atlas.core.db.graph.Node node,
+ java.lang.Integer address)
+
+Adds an alias address to the alias set
+
+Specified by: removeAliasAddress PointsTo
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
JimplePointsTo
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+JimplePointsTo
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+voidaddAliasAddress Removes an alias address from the alias set
+
+
+voiddispose Signals that the points to analysis results no longer need to be maintained by the analysis
+
+
+com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>getAddressedNodes Returns a set of all addressed nodes
+
+
+java.util.HashSet<java.lang.Integer>getAliasAddresses Returns a set of alias addresses
+
+
+java.util.HashSet<java.lang.Integer>getArrayMemoryModelAliases Returns the mapping of arrays to the array's components
+
+
+java.util.HashSet<java.lang.Integer>getArrayMemoryModels Returns the array memory model addresses
+
+
+com.ensoftcorp.atlas.core.db.graph.GraphgetInferredDataFlowGraph Returns the inferred data flow graph as the results of the fixed point analysis
+
+
+com.ensoftcorp.atlas.core.db.graph.NodegetInstantiation Returns the mapping of an address to its corresponding instantiation
+
+
+com.ensoftcorp.atlas.core.db.graph.NodegetType Returns the mapping of an address to its corresponding static type
+
+
+voidremoveAliasAddress Adds an alias address to the alias set
+
+
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+JimplePointsTo
+public JimplePointsTo()
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
+addAliasAddress
+public void addAliasAddress(com.ensoftcorp.atlas.core.db.graph.Node node,
+ java.lang.Integer address)
+
+Removes an alias address from the alias set
+
+Specified by: addAliasAddress PointsTo
+
+
+
+
+
+
+
+removeAliasAddress
+public void removeAliasAddress(com.ensoftcorp.atlas.core.db.graph.Node node,
+ java.lang.Integer address)
+
+Adds an alias address to the alias set
+
+Specified by: removeAliasAddress PointsTo
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
PointsTo
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.analysis.PointsTo
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+PointsTo
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Abstract Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+abstract voidaddAliasAddress Removes an alias address from the alias set
+
+
+abstract voiddispose Signals that the points to analysis results no longer need to be maintained by the analysis
+
+
+abstract com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>getAddressedNodes Returns a set of all addressed nodes
+
+
+abstract java.util.HashSet<java.lang.Integer>getAliasAddresses Returns a set of alias addresses
+
+
+abstract java.util.HashSet<java.lang.Integer>getArrayMemoryModelAliases Returns the mapping of arrays to the array's components
+
+
+abstract java.util.HashSet<java.lang.Integer>getArrayMemoryModels Returns the array memory model addresses
+
+
+abstract com.ensoftcorp.atlas.core.db.graph.GraphgetInferredDataFlowGraph Returns the inferred data flow graph as the results of the fixed point analysis
+
+
+abstract com.ensoftcorp.atlas.core.db.graph.NodegetInstantiation Returns the mapping of an address to its corresponding instantiation
+
+
+abstract com.ensoftcorp.atlas.core.db.graph.NodegetType Returns the mapping of an address to its corresponding static type
+
+
+booleanhasRun Returns true if the points-to analysis has completed
+
+
+booleanisDisposed
+
+abstract voidremoveAliasAddress Adds an alias address to the alias set
+
+
+doublerun Runs the points to analysis (if it hasn't been run already)
+ and returns the time in milliseconds to complete the analysis
+
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+PointsTo
+public PointsTo()
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+addAliasAddress
+public abstract void addAliasAddress(com.ensoftcorp.atlas.core.db.graph.Node node,
+ java.lang.Integer address)
+Removes an alias address from the alias set
+
+Parameters: node -
+
+
+
+
+
+
+
+removeAliasAddress
+public abstract void removeAliasAddress(com.ensoftcorp.atlas.core.db.graph.Node node,
+ java.lang.Integer address)
+Adds an alias address to the alias set
+
+Parameters: node -
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Uses of Class com.ensoftcorp.open.pointsto.analysis.JavaPointsTo
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.analysis.JavaPointsTo
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JimplePointsTo.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JimplePointsTo.html
new file mode 100644
index 0000000..4185cda
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/JimplePointsTo.html
@@ -0,0 +1,124 @@
+
+
+
+
+
+Uses of Class com.ensoftcorp.open.pointsto.analysis.JimplePointsTo
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.analysis.JimplePointsTo
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/PointsTo.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/PointsTo.html
new file mode 100644
index 0000000..79d8197
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/class-use/PointsTo.html
@@ -0,0 +1,212 @@
+
+
+
+
+
+Uses of Class com.ensoftcorp.open.pointsto.analysis.PointsTo
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-frame.html
new file mode 100644
index 0000000..a44020b
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/package-frame.html
@@ -0,0 +1,22 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.analysis
+com.ensoftcorp.open.pointsto.analysis
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+Class Summary
+Class
+Description
+
+
+
+JavaPointsTo
+A fixed point points-to analysis for Java
+
+
+
+JimplePointsTo
+A fixed point points-to analysis for Jimple
+
+
+
+PointsTo
+An abstract class defining the features that a points-to analyzer should
+ implement.
+
+
+
+
+
+
+
com.ensoftcorp.open.pointsto.analysis Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+com.ensoftcorp.open.pointsto.analysis.PointsTo
+
+
+
+
Uses of Package com.ensoftcorp.open.pointsto.analysis
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/class-use/Activator.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/class-use/Activator.html
new file mode 100644
index 0000000..fe4eab4
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/class-use/Activator.html
@@ -0,0 +1,166 @@
+
+
+
+
+
+Uses of Class com.ensoftcorp.open.pointsto.Activator
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html
new file mode 100644
index 0000000..1dd2c69
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html
@@ -0,0 +1,384 @@
+
+
+
+
+
+PointsToCodemapStage
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.commons.codemap.PrioritizedCodemapStage
+
+
+com.ensoftcorp.open.pointsto.codemap.PointsToCodemapStage
+
+
+
+
+
+
+
+
+public class PointsToCodemapStage
+extends com.ensoftcorp.open.commons.codemap.PrioritizedCodemapStage
+A hook for automatically running points-to analysis with the user's
+ preferences after Atlas creates a program graph
+
+Author: Ben Holland
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+
+Fields
+Modifier and Type
+Field and Description
+
+
+static java.lang.StringIDENTIFIER
+
+
+
+
+
+
+
+Constructor Summary
+
+
+
+
+
+
+
+Method Summary
+
+
+
+
+
+Methods inherited from class com.ensoftcorp.open.commons.codemap.PrioritizedCodemapStage
+equals, hashCode, toString
+
+
+
+
+Methods inherited from class java.lang.Object
+getClass, notify, notifyAll, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Field Detail
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+ Uses of Class com.ensoftcorp.open.pointsto.codemap.PointsToCodemapStage
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.codemap.PointsToCodemapStage
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-frame.html
new file mode 100644
index 0000000..69ebc66
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/codemap/package-frame.html
@@ -0,0 +1,20 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.codemap
+com.ensoftcorp.open.pointsto.codemap
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+Class Summary
+Class
+Description
+
+
+
+PointsToCodemapStage
+A hook for automatically running points-to analysis with the user's
+ preferences after Atlas creates a program graph
+
+
+
+
+
+
+
com.ensoftcorp.open.pointsto.codemap Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+com.ensoftcorp.open.commons.codemap.PrioritizedCodemapStage
+
+
+
+
+
+
Uses of Package com.ensoftcorp.open.pointsto.codemap
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.codemap
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html
new file mode 100644
index 0000000..49fea24
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html
@@ -0,0 +1,613 @@
+
+
+
+
+
+PointsToAnalysis
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.common.PointsToAnalysis
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+
+Fields
+Modifier and Type
+Field and Description
+
+
+static java.lang.StringALIAS_PREFIX The tag prefix of points-to addresses.
+
+
+static java.lang.StringARRAY_MEMORY_MODEL_PREFIX This tag is placed on array instantiations to hold a serialized
+ form of the addresses used to model an array's memory.
+
+
+static java.lang.StringINFERRED_DATA_FLOW Applied to edges to indicate that the edge's runtime data flow possibility was
+ verified by the points-to analysis
+
+
+static java.lang.StringINFERRED_TYPE_OF Applied to edges to indicate that the edge's runtime type of possibility was
+ verified by the points-to analysis
+
+
+static java.lang.StringNULL_ALIAS An alias to null
+ This is reserved to replace "address"
+
+static java.lang.StringNULL_ARRAY_MEMORY_MODEL An uninitialized array model
+ This is reserved to replace "address"
+
+
+
+
+
+
+
+Constructor Summary
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Static Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+static com.ensoftcorp.atlas.core.query.QgetAliases Returns nodes with the same points-to address tags as the given node
+
+
+static java.lang.String[]getAliasTags Returns an array of points-to tags applied to the given node
+
+
+static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>getArrayMemoryModelAliases Returns aliases to the array memory model
+
+
+static java.lang.String[]getArrayMemoryModelAliasTags Returns tags of aliases to the array memory model
+
+
+static java.lang.String[]getArrayMemoryModelTags Returns tags denoting the array memory models represented by the given
+ array instantiation
+
+
+static booleanisArrayMemoryModelAlias Returns true if the alias is an array memory model
+ Does not consider null aliases
+
+
+static booleanmayAlias Checks if the two given references may be aliases of each other
+
+
+static booleanmustAlias Checks if the two given references must be aliases of each other
+
+
+static booleannotAliases
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Field Detail
+
+
+
+
+
+ALIAS_PREFIX
+public static final java.lang.String ALIAS_PREFIX
+The tag prefix of points-to addresses. An "address" is an abstract concept
+ the corresponds to a unique allocation. References with overlapping
+ points-to addresses may be aliases of each other. References with only
+ the same alias must be aliases of each other. References without any
+ commons points-to address must not be aliases of each other.
+
+ For convenience this tag is also applied to array components to indicate
+ the array address. An array component will contain a single address
+ corresponding to a unique array instantiation.
+
+See Also: Constant Field Values
+
+
+
+
+
+
+
+
+
+
+
+ARRAY_MEMORY_MODEL_PREFIX
+public static final java.lang.String ARRAY_MEMORY_MODEL_PREFIX
+This tag is placed on array instantiations to hold a serialized
+ form of the addresses used to model an array's memory. An array is
+ assigned an address for each of its dimensions.
+
+See Also: Constant Field Values
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
+
+
+
+
+mayAlias
+public static boolean mayAlias(com.ensoftcorp.atlas.core.db.graph.Node ref1,
+ com.ensoftcorp.atlas.core.db.graph.Node ref2)
+Checks if the two given references may be aliases of each other
+
+Parameters: ref1 - ref2 - Returns:
+
+
+
+
+
+
+
+mustAlias
+public static boolean mustAlias(com.ensoftcorp.atlas.core.db.graph.Node ref1,
+ com.ensoftcorp.atlas.core.db.graph.Node ref2)
+Checks if the two given references must be aliases of each other
+
+Parameters: ref1 - ref2 - Returns:
+
+
+
+
+
+
+
+getArrayMemoryModelAliases
+public static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getArrayMemoryModelAliases(com.ensoftcorp.atlas.core.db.graph.Node arrayInstantiation)
+Returns aliases to the array memory model
+
+Parameters: arrayInstantiation - Returns:
+
+
+
+
+
+
+
+
+
+
+
+getArrayMemoryModelTags
+public static java.lang.String[] getArrayMemoryModelTags(com.ensoftcorp.atlas.core.db.graph.Node arrayInstantiation)
+Returns tags denoting the array memory models represented by the given
+ array instantiation
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+ Uses of Class com.ensoftcorp.open.pointsto.common.PointsToAnalysis
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.common.PointsToAnalysis
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-frame.html
new file mode 100644
index 0000000..9e073e8
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-frame.html
@@ -0,0 +1,20 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.common
+com.ensoftcorp.open.pointsto.common
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+Class Summary
+Class
+Description
+
+
+
+PointsToAnalysis
+Some defined attributes and tags exposed by the analysis
+
+
+
+
+
+
+
com.ensoftcorp.open.pointsto.common Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-use.html
new file mode 100644
index 0000000..aa2b43a
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/common/package-use.html
@@ -0,0 +1,124 @@
+
+
+
+
+
+Uses of Package com.ensoftcorp.open.pointsto.common
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.common
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/Log.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/Log.html
new file mode 100644
index 0000000..49755d2
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/Log.html
@@ -0,0 +1,375 @@
+
+
+
+
+
+Log
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.log.Log
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+Log
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Static Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+static voiddebug
+
+static voiddebug
+
+static voiderror
+
+static voidinfo
+
+static voidinfo
+
+static voidlog
+
+static voidwarning
+
+static voidwarning
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+ Uses of Class com.ensoftcorp.open.pointsto.log.Log
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.log.Log
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-frame.html
new file mode 100644
index 0000000..fa71475
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/log/package-frame.html
@@ -0,0 +1,20 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.log
+com.ensoftcorp.open.pointsto.log
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+Class Summary
+Class
+Description
+
+
+
+Log
+Centralized logging for Eclipse plugins.
+
+
+
+
+
+
+
com.ensoftcorp.open.pointsto.log Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+com.ensoftcorp.open.pointsto.log.Log
+
+
+
+
Uses of Package com.ensoftcorp.open.pointsto.log
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.log
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-frame.html
new file mode 100644
index 0000000..946e5b3
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/package-frame.html
@@ -0,0 +1,20 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto
+com.ensoftcorp.open.pointsto
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+Class Summary
+Class
+Description
+
+
+
+Activator
+An activator class for controlling the plug-in life cycle
+
+
+
+
+
+
+
com.ensoftcorp.open.pointsto Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+org.eclipse.core.runtime.Plugin (implements org.osgi.framework.BundleActivator)
+
+org.eclipse.ui.plugin.AbstractUIPlugin
+
+
+
+
+
+
+
+
Uses of Package com.ensoftcorp.open.pointsto
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html
new file mode 100644
index 0000000..5ae94d1
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html
@@ -0,0 +1,977 @@
+
+
+
+
+
+PointsToPreferences
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
+
+
+com.ensoftcorp.open.pointsto.preferences.PointsToPreferences
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+
+
+
+
+
+
+
+Constructor Summary
+
+
+
+
+
+
+
+Method Summary
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+ Uses of Class com.ensoftcorp.open.pointsto.preferences.PointsToPreferences
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.preferences.PointsToPreferences
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-frame.html
new file mode 100644
index 0000000..15fc1a3
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-frame.html
@@ -0,0 +1,20 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.preferences
+com.ensoftcorp.open.pointsto.preferences
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-tree.html
new file mode 100644
index 0000000..f00dfdf
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/preferences/package-tree.html
@@ -0,0 +1,141 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.preferences Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
+
+
+
+
+
+
Uses of Package com.ensoftcorp.open.pointsto.preferences
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.preferences
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/PointsToPreferencesPage.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/PointsToPreferencesPage.html
new file mode 100644
index 0000000..90c500a
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/PointsToPreferencesPage.html
@@ -0,0 +1,357 @@
+
+
+
+
+
+PointsToPreferencesPage
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+org.eclipse.jface.dialogs.DialogPage
+
+
+org.eclipse.jface.preference.PreferencePage
+
+
+org.eclipse.jface.preference.FieldEditorPreferencePage
+
+
+com.ensoftcorp.open.pointsto.ui.PointsToPreferencesPage
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+
+
+
+
+Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
+FLAT, GRID
+
+
+
+
+Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider
+ERROR, INFORMATION, NONE, WARNING
+
+
+
+
+
+
+Constructor Summary
+
+
+
+
+
+
+
+Method Summary
+
+
+
+
+
+Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
+dispose, performOk, propertyChange, setVisible
+
+
+
+
+Methods inherited from class org.eclipse.jface.preference.PreferencePage
+applyData, computeSize, createControl, getContainer, getPreferenceStore, isValid, okToLeave, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString
+
+
+
+
+Methods inherited from class org.eclipse.jface.dialogs.DialogPage
+getControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessage
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
+
+
+
+
+Methods inherited from interface org.eclipse.jface.preference.IPreferencePage
+computeSize, isValid, okToLeave, performCancel, performOk, setContainer, setSize
+
+
+
+
+Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage
+createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
+
+Prev Class
+Next Class
+
+
+
+
+
+
+
+
+
+ Uses of Class com.ensoftcorp.open.pointsto.ui.PointsToPreferencesPage
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.ui.PointsToPreferencesPage
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-frame.html
new file mode 100644
index 0000000..cf7383e
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/package-frame.html
@@ -0,0 +1,20 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.ui
+com.ensoftcorp.open.pointsto.ui
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+Class Summary
+Class
+Description
+
+
+
+PointsToPreferencesPage
+UI for setting points-to analysis preferences
+
+
+
+
+
+
+
com.ensoftcorp.open.pointsto.ui Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+org.eclipse.jface.dialogs.DialogPage (implements org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider)
+
+org.eclipse.jface.preference.PreferencePage (implements org.eclipse.jface.preference.IPreferencePage)
+
+org.eclipse.jface.preference.FieldEditorPreferencePage (implements org.eclipse.jface.util.IPropertyChangeListener)
+
+
+
+
+
+
+
+
+
+
Uses of Package com.ensoftcorp.open.pointsto.ui
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.ui
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToAliasesSmartView.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToAliasesSmartView.html
new file mode 100644
index 0000000..04912ca
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/PointsToAliasesSmartView.html
@@ -0,0 +1,393 @@
+
+
+
+
+
+PointsToAliasesSmartView
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript
+
+
+com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
+
+
+com.ensoftcorp.open.pointsto.ui.smart.PointsToAliasesSmartView
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+
+
+
+
+Fields inherited from interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
+MAX_STEP
+
+
+
+
+
+
+Constructor Summary
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+com.ensoftcorp.atlas.core.script.FrontierStyledResultevaluate
+
+com.ensoftcorp.atlas.core.script.FrontierStyledResultexplore
+
+intgetDefaultStepBottom
+
+intgetDefaultStepTop
+
+java.lang.StringgetTitle
+
+
+
+
+
+Methods inherited from class com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
+selectionChanged, selectionChanged
+
+
+
+
+Methods inherited from class com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript
+indexChanged, indexCleared
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+
PointsToArrayComponentAliasesSmartView
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript
+
+
+com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
+
+
+com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Field Summary
+
+
+
+
+Fields inherited from interface com.ensoftcorp.atlas.ui.scripts.selections.IResizableScript
+MAX_STEP
+
+
+
+
+
+
+Constructor Summary
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+com.ensoftcorp.atlas.core.script.FrontierStyledResultevaluate
+
+com.ensoftcorp.atlas.core.script.FrontierStyledResultexplore
+
+intgetDefaultStepBottom
+
+intgetDefaultStepTop
+
+java.lang.StringgetTitle
+
+
+
+
+
+Methods inherited from class com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
+selectionChanged, selectionChanged
+
+
+
+
+Methods inherited from class com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript
+indexChanged, indexCleared
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+
Uses of Class com.ensoftcorp.open.pointsto.ui.smart.PointsToAliasesSmartView
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.ui.smart.PointsToAliasesSmartView
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToArrayComponentAliasesSmartView.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToArrayComponentAliasesSmartView.html
new file mode 100644
index 0000000..65418cf
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/class-use/PointsToArrayComponentAliasesSmartView.html
@@ -0,0 +1,124 @@
+
+
+
+
+
+Uses of Class com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-frame.html
new file mode 100644
index 0000000..39db169
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-frame.html
@@ -0,0 +1,21 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.ui.smart
+com.ensoftcorp.open.pointsto.ui.smart
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-tree.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-tree.html
new file mode 100644
index 0000000..21c499f
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/ui/smart/package-tree.html
@@ -0,0 +1,146 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.ui.smart Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript (implements com.ensoftcorp.atlas.ui.scripts.selections.AtlasSmartViewScript)
+
+com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
+
+com.ensoftcorp.open.pointsto.ui.smart.PointsToAliasesSmartView
+com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView
+
+
+
+
+
+
+
+
Uses of Package com.ensoftcorp.open.pointsto.ui.smart
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.ui.smart
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AddressFactory.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AddressFactory.html
new file mode 100644
index 0000000..608b382
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/AddressFactory.html
@@ -0,0 +1,279 @@
+
+
+
+
+
+AddressFactory
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.utilities.AddressFactory
+
+
+
+
+
+
+public class AddressFactory
+extends java.lang.Object
+A factory for generating unique "addresses" for each factory instance. An
+ address is an abstract notion and will depending on the implementation of the
+ points-to analysis. Typically an address will be used to differentiate
+ allocation sites for some given context.
+
+Author: Ben Holland
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+AddressFactory
+
+
+
+
+
+
+
+Method Summary
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+AddressFactory
+public AddressFactory()
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
AnalysisUtilities
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.utilities.AnalysisUtilities
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Static Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>getArrayReadAccessesForArrayReference Given an array reference, returns a set of corresponding array accesses
+
+
+static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>getArrayReferencesForArrayAccess Given an array access, returns a set of corresponding array references
+
+
+static com.ensoftcorp.atlas.core.db.graph.NodegetArrayTypeForDimension Given an array element type, return the array type for the given dimension
+
+
+static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>getArrayWriteAccessesForArrayReference Given an array reference, returns a set of corresponding array accesses
+
+
+static com.ensoftcorp.atlas.core.query.QgetConservativeDataFlow Returns a data flow graph containing all data flow edges minus those
+ involved in dynamic dispatches with multiple targets resulting in a
+ conservative data flow graph with only statically resolvable data flow
+ edges.
+
+
+static com.ensoftcorp.atlas.core.db.set.AtlasHashSet<com.ensoftcorp.atlas.core.db.graph.Node>getDynamicCallsiteThisSet Returns a set of callsite this nodes involved in dynamic dispatches
+
+
+static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>getSignatureSet Given a set of methods, returns the given set with their method signature
+ elements (param, return, this).
+
+
+static com.ensoftcorp.atlas.core.query.Qroots Returns the subset of the given nodes that are roots in the given edge
+ context
+
+
+static com.ensoftcorp.atlas.core.db.graph.NodestatedType Given an object reference, return the stated type of that reference.
+
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+statedType
+public static com.ensoftcorp.atlas.core.db.graph.Node statedType(com.ensoftcorp.atlas.core.db.graph.GraphElement ge)
+Given an object reference, return the stated type of that reference.
+
+Parameters: ge - Returns:
+
+
+
+
+
+
+
+getArrayReadAccessesForArrayReference
+public static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getArrayReadAccessesForArrayReference(com.ensoftcorp.atlas.core.db.graph.GraphElement arrayReference)
+Given an array reference, returns a set of corresponding array accesses
+
+Parameters: arrayReference - Returns:
+
+
+
+
+
+
+
+getArrayWriteAccessesForArrayReference
+public static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getArrayWriteAccessesForArrayReference(com.ensoftcorp.atlas.core.db.graph.GraphElement arrayReference)
+Given an array reference, returns a set of corresponding array accesses
+
+Parameters: arrayReference - Returns:
+
+
+
+
+
+
+
+getArrayReferencesForArrayAccess
+public static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getArrayReferencesForArrayAccess(com.ensoftcorp.atlas.core.db.graph.GraphElement arrayAccess)
+Given an array access, returns a set of corresponding array references
+
+Parameters: arrayAccess - Returns:
+
+
+
+
+
+
+
+getArrayTypeForDimension
+public static com.ensoftcorp.atlas.core.db.graph.Node getArrayTypeForDimension(com.ensoftcorp.atlas.core.db.graph.GraphElement arrayElementType,
+ int dimension)
+Given an array element type, return the array type for the given dimension
+
+Parameters: arrayElementType - dimension - Returns:
+
+
+
+
+
+
+
+getConservativeDataFlow
+public static com.ensoftcorp.atlas.core.query.Q getConservativeDataFlow(org.eclipse.core.runtime.IProgressMonitor monitor)
+Returns a data flow graph containing all data flow edges minus those
+ involved in dynamic dispatches with multiple targets resulting in a
+ conservative data flow graph with only statically resolvable data flow
+ edges.
+
+Parameters: monitor - Returns:
+
+
+
+
+
+
+
+roots
+public static com.ensoftcorp.atlas.core.query.Q roots(com.ensoftcorp.atlas.core.query.Q edgeContext,
+ com.ensoftcorp.atlas.core.query.Q nodes)
+Returns the subset of the given nodes that are roots in the given edge
+ context
+
+Parameters: edgeContext - nodes - Returns:
+
+
+
+
+
+
+
+getDynamicCallsiteThisSet
+public static com.ensoftcorp.atlas.core.db.set.AtlasHashSet<com.ensoftcorp.atlas.core.db.graph.Node> getDynamicCallsiteThisSet(org.eclipse.core.runtime.IProgressMonitor monitor)
+Returns a set of callsite this nodes involved in dynamic dispatches
+
+Parameters: m - Returns:
+
+
+
+
+
+
+
+getSignatureSet
+public static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getSignatureSet(com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> methods)
+Given a set of methods, returns the given set with their method signature
+ elements (param, return, this).
+
+Parameters: methods - signatureSet -
+
+
+
+
+
+
+
GraphEnhancements
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.utilities.GraphEnhancements
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+
+
+
+
+
+
+Method Summary
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+
SubtypeCache
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.utilities.SubtypeCache
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+SubtypeCache
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+booleanisSubtypeOf
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
Uses of Class com.ensoftcorp.open.pointsto.utilities.AddressFactory
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.utilities.AddressFactory
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AnalysisUtilities.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AnalysisUtilities.html
new file mode 100644
index 0000000..4959071
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/AnalysisUtilities.html
@@ -0,0 +1,124 @@
+
+
+
+
+
+Uses of Class com.ensoftcorp.open.pointsto.utilities.AnalysisUtilities
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.utilities.AnalysisUtilities
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/GraphEnhancements.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/GraphEnhancements.html
new file mode 100644
index 0000000..432fd74
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/GraphEnhancements.html
@@ -0,0 +1,124 @@
+
+
+
+
+
+Uses of Class com.ensoftcorp.open.pointsto.utilities.GraphEnhancements
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.utilities.GraphEnhancements
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/SubtypeCache.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/SubtypeCache.html
new file mode 100644
index 0000000..251dbb4
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/class-use/SubtypeCache.html
@@ -0,0 +1,124 @@
+
+
+
+
+
+Uses of Class com.ensoftcorp.open.pointsto.utilities.SubtypeCache
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.utilities.SubtypeCache
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/FIFOFrontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/FIFOFrontier.html
new file mode 100644
index 0000000..7208a70
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/FIFOFrontier.html
@@ -0,0 +1,412 @@
+
+
+
+
+
+FIFOFrontier
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.utilities.frontier.FIFOFrontier<E>
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+FIFOFrontier Creates a new frontier
+
+
+FIFOFrontier Creates a new frontier with the given initial capacity
+
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+booleanadd E e)Adds the element to the end of frontier, if the element already exists
+ the frontier is left unchanged.
+
+
+booleanhasNext Returns true if the frontier is not empty, false otherwise
+
+
+E next Returns (and removes) the next element from the frontier in Least
+ Recently Used (LRU) order
+
+
+intsize Returns the number of elements in this frontier set (its cardinality).
+
+
+java.lang.StringtoString Returns a string representation of this frontier collection.
+
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+FIFOFrontier
+public FIFOFrontier()
+Creates a new frontier
+
+
+
+
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+toString
+public java.lang.String toString()
+Returns a string representation of this frontier collection. The string
+ representation consists of a list of the collection's elements in the
+ order they are returned by its iterator, enclosed in square brackets
+ ("[]"). Adjacent elements are separated by the characters ", " (comma and
+ space). Elements are converted to strings as by String.valueOf(Object).
+
+Specified by: toString Frontier <E >Overrides: toString in class java.lang.ObjectReturns:
+
+
+
+
+
+
+
Frontier
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+Summary:
+Nested |
+Field |
+Constr |
+Method
+
+Detail:
+Field |
+Constr |
+Method
+
+
+
+
+
+
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Abstract Methods
+Modifier and Type
+Method and Description
+
+
+booleanadd E e)Adds the element to the frontier Returns true if the element was added,
+ false if the element already existed.
+
+
+booleanhasNext Returns true if the frontier is not empty, false otherwise
+
+
+E next Returns (and removes) the next element from the frontier
+
+
+java.lang.StringtoString Returns a string representation of this frontier collection.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Summary:
+Nested |
+Field |
+Constr |
+Method
+
+Detail:
+Field |
+Constr |
+Method
+
+
+
+ LRUFrontier
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+java.lang.Object
+
+
+com.ensoftcorp.open.pointsto.utilities.frontier.LRUFrontier<E>
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Summary
+
+Constructors
+Constructor and Description
+
+
+LRUFrontier Creates a new frontier
+
+
+LRUFrontier Creates a new frontier with the given initial capacity
+
+
+
+
+
+
+
+
+Method Summary
+
+All Methods Instance Methods Concrete Methods
+Modifier and Type
+Method and Description
+
+
+booleanadd E e)Adds the element to the frontier, moving the element to the end of the
+ frontier if it already is contained in the frontier.
+
+
+booleanhasNext Returns true if the frontier is not empty, false otherwise
+
+
+E next Returns (and removes) the next element from the frontier in Least
+ Recently Used (LRU) order
+
+
+intsize Returns the number of elements in this frontier set (its cardinality).
+
+
+java.lang.StringtoString Returns a string representation of this frontier collection.
+
+
+
+
+
+
+Methods inherited from class java.lang.Object
+equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
+
+
+
+
+
+
+
+
+
+
+
+
+Constructor Detail
+
+
+
+
+
+LRUFrontier
+public LRUFrontier()
+Creates a new frontier
+
+
+
+
+
+
+
+
+
+
+
+
+Method Detail
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+add
+public boolean add(E e)
+Adds the element to the frontier, moving the element to the end of the
+ frontier if it already is contained in the frontier. Returns true if the
+ element was added, false if the element already existed.
+
+Specified by: add Frontier <E >Parameters: e - Returns:
+
+
+
+
+
+
+
+
+
+
+
+toString
+public java.lang.String toString()
+Returns a string representation of this frontier collection. The string
+ representation consists of a list of the collection's elements in the
+ order they are returned by its iterator, enclosed in square brackets
+ ("[]"). Adjacent elements are separated by the characters ", " (comma and
+ space). Elements are converted to strings as by String.valueOf(Object).
+
+Specified by: toString Frontier <E >Overrides: toString in class java.lang.ObjectReturns:
+
+
+
+
+
+
+
Uses of Class com.ensoftcorp.open.pointsto.utilities.frontier.FIFOFrontier
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.utilities.frontier.FIFOFrontier
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/Frontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/Frontier.html
new file mode 100644
index 0000000..c8a6a75
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/Frontier.html
@@ -0,0 +1,172 @@
+
+
+
+
+
+Uses of Interface com.ensoftcorp.open.pointsto.utilities.frontier.Frontier
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/LRUFrontier.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/LRUFrontier.html
new file mode 100644
index 0000000..680472f
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/class-use/LRUFrontier.html
@@ -0,0 +1,124 @@
+
+
+
+
+
+Uses of Class com.ensoftcorp.open.pointsto.utilities.frontier.LRUFrontier
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.utilities.frontier.LRUFrontier
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-frame.html
new file mode 100644
index 0000000..6293fbc
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/frontier/package-frame.html
@@ -0,0 +1,25 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.utilities.frontier
+
+
Interfaces
+
+
Classes
+
+
com.ensoftcorp.open.pointsto.utilities.frontier
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+Interface Summary
+Interface
+Description
+
+
+
+Frontier <E>
+Data structure for maintaining the worklist set of elements to process in a
+ prescribed order.
+
+
+
+
+
+
+
+Class Summary
+Class
+Description
+
+
+
+FIFOFrontier <E>
+A First In First Out based worklist
+
+
+
+LRUFrontier <E>
+A Least Recently Used based worklist
+
+
+
+
+
+
+
com.ensoftcorp.open.pointsto.utilities.frontier Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+com.ensoftcorp.open.pointsto.utilities.frontier.FIFOFrontier Frontier <E>)
+com.ensoftcorp.open.pointsto.utilities.frontier.LRUFrontier Frontier <E>)
+
+
+
+
Interface Hierarchy
+
+com.ensoftcorp.open.pointsto.utilities.frontier.Frontier
+
+
Uses of Package com.ensoftcorp.open.pointsto.utilities.frontier
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-frame.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-frame.html
new file mode 100644
index 0000000..0b4c330
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-frame.html
@@ -0,0 +1,23 @@
+
+
+
+
+
+com.ensoftcorp.open.pointsto.utilities
+com.ensoftcorp.open.pointsto.utilities
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+Class Summary
+Class
+Description
+
+
+
+AddressFactory
+A factory for generating unique "addresses" for each factory instance.
+
+
+
+AnalysisUtilities
+Utilities for assisting in the computation of points-to sets.
+
+
+
+GraphEnhancements
+Utilities for making enhancements to the Atlas graph based on points-to results
+
+
+
+SubtypeCache
+A cache for efficiently answering subtyping relationships
+
+
+
+
+
+
+
com.ensoftcorp.open.pointsto.utilities Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-use.html b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-use.html
new file mode 100644
index 0000000..bae38d8
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/utilities/package-use.html
@@ -0,0 +1,124 @@
+
+
+
+
+
+Uses of Package com.ensoftcorp.open.pointsto.utilities
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+No usage of com.ensoftcorp.open.pointsto.utilities
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/constant-values.html b/com.ensoftcorp.open.pointsto/doc/constant-values.html
new file mode 100644
index 0000000..d295395
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/constant-values.html
@@ -0,0 +1,328 @@
+
+
+
+
+
+Constant Field Values
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
com.ensoftcorp.*
+
+
+
+com.ensoftcorp.open.pointsto.Activator
+Modifier and Type
+Constant Field
+Value
+
+
+
+
+
+ public static final java.lang.StringPLUGIN_ID "com.ensoftcorp.open.pointsto"
+
+
+
+
+
+
+
+com.ensoftcorp.open.pointsto.codemap.PointsToCodemapStage
+Modifier and Type
+Constant Field
+Value
+
+
+
+
+
+ public static final java.lang.StringIDENTIFIER "com.ensoftcorp.open.pointsto"
+
+
+
+
+
+
+
Deprecated List
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/help-doc.html b/com.ensoftcorp.open.pointsto/doc/help-doc.html
new file mode 100644
index 0000000..26cf190
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/help-doc.html
@@ -0,0 +1,229 @@
+
+
+
+
+
+API Help
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+Overview
+The Overview page is the front page of this API document and provides a list of all packages with a summary for each. This page can also contain an overall description of the set of packages.
+
+
+Package
+Each package has a page that contains a list of its classes and interfaces, with a summary for each. This page can contain six categories:
+
+Interfaces (italic)
+Classes
+Enums
+Exceptions
+Errors
+Annotation Types
+
+
+
+Class/Interface
+Each class, interface, nested class and nested interface has its own separate page. Each of these pages has three sections consisting of a class/interface description, summary tables, and detailed member descriptions:
+
+Class inheritance diagram
+Direct Subclasses
+All Known Subinterfaces
+All Known Implementing Classes
+Class/interface declaration
+Class/interface description
+
+
+Nested Class Summary
+Field Summary
+Constructor Summary
+Method Summary
+
+
+Field Detail
+Constructor Detail
+Method Detail
+
+Each summary entry contains the first sentence from the detailed description for that item. The summary entries are alphabetical, while the detailed descriptions are in the order they appear in the source code. This preserves the logical groupings established by the programmer.
+
+
+Annotation Type
+Each annotation type has its own separate page with the following sections:
+
+Annotation Type declaration
+Annotation Type description
+Required Element Summary
+Optional Element Summary
+Element Detail
+
+
+
+Enum
+Each enum has its own separate page with the following sections:
+
+Enum declaration
+Enum description
+Enum Constant Summary
+Enum Constant Detail
+
+
+
+Use
+Each documented package, class and interface has its own Use page. This page describes what packages, classes, methods, constructors and fields use any part of the given class or package. Given a class or interface A, its Use page includes subclasses of A, fields declared as A, methods that return A, and methods and constructors with parameters of type A. You can access this page by first going to the package, class or interface, then clicking on the "Use" link in the navigation bar.
+
+
+Tree (Class Hierarchy)
+There is a Class Hierarchy page for all packages, plus a hierarchy for each package. Each hierarchy page contains a list of classes and a list of interfaces. The classes are organized by inheritance structure starting with java.lang.Object. The interfaces do not inherit from java.lang.Object.
+
+When viewing the Overview page, clicking on "Tree" displays the hierarchy for all packages.
+When viewing a particular package, class or interface page, clicking "Tree" displays the hierarchy for only that package.
+
+
+
+Deprecated API
+The Deprecated API page lists all of the API that have been deprecated. A deprecated API is not recommended for use, generally due to improvements, and a replacement API is usually given. Deprecated APIs may be removed in future implementations.
+
+
+Index
+The Index contains an alphabetic list of all classes, interfaces, constructors, methods, and fields.
+
+
+Prev/Next
+These links take you to the next or previous class, interface, package, or related page.
+
+
+Frames/No Frames
+These links show and hide the HTML frames. All pages are available with or without frames.
+
+
+All Classes
+The All Classes link shows all classes and interfaces except non-static nested types.
+
+
+Serialized Form
+Each serializable or externalizable class has a description of its serialization fields and methods. This information is of interest to re-implementors, not to developers using the API. While there is no link in the navigation bar, you can get to this information by going to any serialized class and clicking "Serialized Form" in the "See also" section of the class description.
+
+
+Constant Field Values
+The Constant Field Values page lists the static final fields and their values.
+
+
+
This help file applies to API documentation generated using the standard doclet. A-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
A
+
+Activator com.ensoftcorp.open.pointsto
+An activator class for controlling the plug-in life cycle
+
+Activator() Activator
+The constructor
+
+add(E) FIFOFrontier
+Adds the element to the end of frontier, if the element already exists
+ the frontier is left unchanged.
+
+add(E) Frontier
+Adds the element to the frontier Returns true if the element was added,
+ false if the element already existed.
+
+add(E) LRUFrontier
+Adds the element to the frontier, moving the element to the end of the
+ frontier if it already is contained in the frontier.
+
+addAliasAddress(Node, Integer) JavaPointsTo
+addAliasAddress(Node, Integer) JimplePointsTo
+addAliasAddress(Node, Integer) PointsTo
+Removes an alias address from the alias set
+
+AddressFactory com.ensoftcorp.open.pointsto.utilities
+A factory for generating unique "addresses" for each factory instance.
+
+AddressFactory() AddressFactory
+ALIAS_PREFIX PointsToAnalysis
+The tag prefix of points-to addresses.
+
+AnalysisUtilities com.ensoftcorp.open.pointsto.utilities
+Utilities for assisting in the computation of points-to sets.
+
+AnalysisUtilities() AnalysisUtilities
+ARRAY_MEMORY_MODEL_PREFIX PointsToAnalysis
+This tag is placed on array instantiations to hold a serialized
+ form of the addresses used to model an array's memory.
+
+
+
A C D E F G H I J L M N P R S T W L-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
L
+
+loadPreferences() PointsToPreferences
+Loads or refreshes current preference values
+
+Log com.ensoftcorp.open.pointsto.log
+Centralized logging for Eclipse plugins.
+
+Log() Log
+log(int, String, Throwable) Log
+LRUFrontier E > - Class in com.ensoftcorp.open.pointsto.utilities.frontier
+A Least Recently Used based worklist
+
+LRUFrontier() LRUFrontier
+Creates a new frontier
+
+LRUFrontier(int) LRUFrontier
+Creates a new frontier with the given initial capacity
+
+
+
A C D E F G H I J L M N P R S T W M-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
M
+
+mayAlias(Node, Node) PointsToAnalysis
+Checks if the two given references may be aliases of each other
+
+mustAlias(Node, Node) PointsToAnalysis
+Checks if the two given references must be aliases of each other
+
+
+
A C D E F G H I J L M N P R S T W N-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
N
+
+next() FIFOFrontier
+Returns (and removes) the next element from the frontier in Least
+ Recently Used (LRU) order
+
+next() Frontier
+Returns (and removes) the next element from the frontier
+
+next() LRUFrontier
+Returns (and removes) the next element from the frontier in Least
+ Recently Used (LRU) order
+
+notAliases(Node, Node) PointsToAnalysis
+NULL_ALIAS PointsToAnalysis
+An alias to null
+ This is reserved to replace "address"
+NULL_ARRAY_MEMORY_MODEL PointsToAnalysis
+An uninitialized array model
+ This is reserved to replace "address"
+
+
A C D E F G H I J L M N P R S T W P-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
P
+
+performIndexing(IProgressMonitor) PointsToCodemapStage
+PLUGIN_ID Activator
+POINTS_TO_ANALYSIS_MODE PointsToPreferences
+POINTS_TO_ANALYSIS_MODE_DEFAULT PointsToPreferences
+PointsTo com.ensoftcorp.open.pointsto.analysis
+An abstract class defining the features that a points-to analyzer should
+ implement.
+
+PointsTo() PointsTo
+PointsToAliasesSmartView com.ensoftcorp.open.pointsto.ui.smart
+PointsToAliasesSmartView() PointsToAliasesSmartView
+PointsToAnalysis com.ensoftcorp.open.pointsto.common
+Some defined attributes and tags exposed by the analysis
+
+PointsToAnalysis() PointsToAnalysis
+PointsToArrayComponentAliasesSmartView com.ensoftcorp.open.pointsto.ui.smart
+PointsToArrayComponentAliasesSmartView() PointsToArrayComponentAliasesSmartView
+PointsToCodemapStage com.ensoftcorp.open.pointsto.codemap
+A hook for automatically running points-to analysis with the user's
+ preferences after Atlas creates a program graph
+
+PointsToCodemapStage() PointsToCodemapStage
+PointsToPreferences com.ensoftcorp.open.pointsto.preferences
+PointsToPreferences() PointsToPreferences
+PointsToPreferencesPage com.ensoftcorp.open.pointsto.ui
+UI for setting points-to analysis preferences
+
+PointsToPreferencesPage() PointsToPreferencesPage
+
+
A C D E F G H I J L M N P R S T W R-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
R
+
+removeAliasAddress(Node, Integer) JavaPointsTo
+removeAliasAddress(Node, Integer) JimplePointsTo
+removeAliasAddress(Node, Integer) PointsTo
+Adds an alias address to the alias set
+
+restoreDefaults() PointsToPreferences
+Restores the default preferences
+
+REWRITE_ARRAY_COMPONENTS PointsToPreferences
+Enable/disable rewriting array components
+
+REWRITE_ARRAY_COMPONENTS_DEFAULT PointsToPreferences
+rewriteArrayComponents(PointsTo) GraphEnhancements
+roots(Q, Q) AnalysisUtilities
+Returns the subset of the given nodes that are roots in the given edge
+ context
+
+run() PointsTo
+Runs the points to analysis (if it hasn't been run already)
+ and returns the time in milliseconds to complete the analysis
+
+RUN_POINTS_TO_ANALYSIS PointsToPreferences
+Enable/disable points-to analysis
+
+RUN_POINTS_TO_ANALYSIS_DEFAULT PointsToPreferences
+
+
A C D E F G H I J L M N P R S T W S-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
S
+
+serializeAliases(PointsTo) GraphEnhancements
+Converts temporary sets to tags and attributes
+
+serializeArrayMemoryModels(PointsTo) GraphEnhancements
+setJavaPointsToAnalysisMode() PointsToPreferences
+Configures points-to analysis mode to target Java source
+
+setJimplePointsToAnalysisMode() PointsToPreferences
+Configures points-to analysis mode to target Jimple
+
+size() FIFOFrontier
+Returns the number of elements in this frontier set (its cardinality).
+
+size() LRUFrontier
+Returns the number of elements in this frontier set (its cardinality).
+
+start(BundleContext) Activator
+statedType(GraphElement) AnalysisUtilities
+Given an object reference, return the stated type of that reference.
+
+stop(BundleContext) Activator
+SubtypeCache com.ensoftcorp.open.pointsto.utilities
+A cache for efficiently answering subtyping relationships
+
+SubtypeCache(IProgressMonitor) SubtypeCache
+
+
A C D E F G H I J L M N P R S T W T-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
T
+
+TAG_ALIASES PointsToPreferences
+Enable/disable tagging aliases
+
+TAG_ALIASES_DEFAULT PointsToPreferences
+TAG_INFERRED_DATAFLOWS PointsToPreferences
+Enable/disable tagging inferred dataflows
+
+TAG_INFERRED_DATAFLOWS_DEFAULT PointsToPreferences
+TAG_RUNTIME_TYPES PointsToPreferences
+Enable/disable tagging of runtime types
+
+TAG_RUNTIME_TYPES_DEFAULT PointsToPreferences
+tagInferredDataFlowEdges(PointsTo) GraphEnhancements
+tagInferredTypeOfEdges(PointsTo) GraphEnhancements
+toString() FIFOFrontier
+Returns a string representation of this frontier collection.
+
+toString() Frontier
+Returns a string representation of this frontier collection.
+
+toString() LRUFrontier
+Returns a string representation of this frontier collection.
+
+TRACK_PRIMITIVES PointsToPreferences
+Enable/disable tracking of primitives (very expensive)
+ Also enables modeling JDK data flows of primitive instantiations for bytecode
+
+TRACK_PRIMITIVES_DEFAULT PointsToPreferences
+
+
A C D E F G H I J L M N P R S T W W-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
W
+
+warning(String) Log
+warning(String, Throwable) Log
+
+
A C D E F G H I J L M N P R S T W C-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
C
+
+com.ensoftcorp.open.pointsto - package com.ensoftcorp.open.pointsto
+com.ensoftcorp.open.pointsto.analysis - package com.ensoftcorp.open.pointsto.analysis
+com.ensoftcorp.open.pointsto.codemap - package com.ensoftcorp.open.pointsto.codemap
+com.ensoftcorp.open.pointsto.common - package com.ensoftcorp.open.pointsto.common
+com.ensoftcorp.open.pointsto.log - package com.ensoftcorp.open.pointsto.log
+com.ensoftcorp.open.pointsto.preferences - package com.ensoftcorp.open.pointsto.preferences
+com.ensoftcorp.open.pointsto.ui - package com.ensoftcorp.open.pointsto.ui
+com.ensoftcorp.open.pointsto.ui.smart - package com.ensoftcorp.open.pointsto.ui.smart
+com.ensoftcorp.open.pointsto.utilities - package com.ensoftcorp.open.pointsto.utilities
+com.ensoftcorp.open.pointsto.utilities.frontier - package com.ensoftcorp.open.pointsto.utilities.frontier
+
+
A C D E F G H I J L M N P R S T W D-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
D
+
+debug(String) Log
+debug(String, Throwable) Log
+dispose() JavaPointsTo
+dispose() JimplePointsTo
+dispose() PointsTo
+Signals that the points to analysis results no longer need to be maintained by the analysis
+
+DISPOSE_RESOURCES PointsToPreferences
+Enable/disable disposal of points-to resources
+
+DISPOSE_RESOURCES_DEFAULT PointsToPreferences
+
+
A C D E F G H I J L M N P R S T W E-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
E
+
+enableDisposeResources(boolean) PointsToPreferences
+Configures resource disposal
+
+enabledPointsToAnalysis(boolean) PointsToPreferences
+Configures whether or not immutability analysis should be run
+
+enableGeneralLogging(boolean) PointsToPreferences
+Configures general logging
+
+enableRewriteArrayComponents(boolean) PointsToPreferences
+Configures array component rewritting
+
+enableTagAliases(boolean) PointsToPreferences
+Configures alias tagging
+
+enableTagInferredDataflows(boolean) PointsToPreferences
+Configures inferred data flow tagging
+
+enableTagRuntimeTypes(boolean) PointsToPreferences
+Configures runtime type tagging
+
+enableTrackPrimitives(boolean) PointsToPreferences
+Configures primitive tracking
+
+error(String, Throwable) Log
+evaluate(IAtlasSelectionEvent, int, int) PointsToAliasesSmartView
+evaluate(IAtlasSelectionEvent, int, int) PointsToArrayComponentAliasesSmartView
+explore(FrontierEdgeExploreEvent, FrontierStyledResult) PointsToAliasesSmartView
+explore(FrontierEdgeExploreEvent, FrontierStyledResult) PointsToArrayComponentAliasesSmartView
+
+
A C D E F G H I J L M N P R S T W F-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
F
+
+FIFOFrontier E > - Class in com.ensoftcorp.open.pointsto.utilities.frontier
+A First In First Out based worklist
+
+FIFOFrontier() FIFOFrontier
+Creates a new frontier
+
+FIFOFrontier(int) FIFOFrontier
+Creates a new frontier with the given initial capacity
+
+Frontier E > - Interface in com.ensoftcorp.open.pointsto.utilities.frontier
+Data structure for maintaining the worklist set of elements to process in a
+ prescribed order.
+
+
+
A C D E F G H I J L M N P R S T W G-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
G
+
+GENERAL_LOGGING PointsToPreferences
+Enable/disable general logging
+
+GENERAL_LOGGING_DEFAULT PointsToPreferences
+getAddressedNodes() JavaPointsTo
+getAddressedNodes() JimplePointsTo
+getAddressedNodes() PointsTo
+Returns a set of all addressed nodes
+
+getAliasAddresses(Node) JavaPointsTo
+getAliasAddresses(Node) JimplePointsTo
+getAliasAddresses(Node) PointsTo
+Returns a set of alias addresses
+
+getAliases(Node) PointsToAnalysis
+Returns nodes with the same points-to address tags as the given node
+
+getAliasTags(Node) PointsToAnalysis
+Returns an array of points-to tags applied to the given node
+
+getArrayMemoryModelAliases(Integer) JavaPointsTo
+getArrayMemoryModelAliases(Integer) JimplePointsTo
+getArrayMemoryModelAliases(Integer) PointsTo
+Returns the mapping of arrays to the array's components
+
+getArrayMemoryModelAliases(Node) PointsToAnalysis
+Returns aliases to the array memory model
+
+getArrayMemoryModelAliasTags(Node) PointsToAnalysis
+Returns tags of aliases to the array memory model
+
+getArrayMemoryModels() JavaPointsTo
+getArrayMemoryModels() JimplePointsTo
+getArrayMemoryModels() PointsTo
+Returns the array memory model addresses
+
+getArrayMemoryModelTags(Node) PointsToAnalysis
+Returns tags denoting the array memory models represented by the given
+ array instantiation
+
+getArrayReadAccessesForArrayReference(GraphElement) AnalysisUtilities
+Given an array reference, returns a set of corresponding array accesses
+
+getArrayReferencesForArrayAccess(GraphElement) AnalysisUtilities
+Given an array access, returns a set of corresponding array references
+
+getArrayTypeForDimension(GraphElement, int) AnalysisUtilities
+Given an array element type, return the array type for the given dimension
+
+getArrayWriteAccessesForArrayReference(GraphElement) AnalysisUtilities
+Given an array reference, returns a set of corresponding array accesses
+
+getCodemapStageDependencies() PointsToCodemapStage
+getConservativeDataFlow(IProgressMonitor) AnalysisUtilities
+Returns a data flow graph containing all data flow edges minus those
+ involved in dynamic dispatches with multiple targets resulting in a
+ conservative data flow graph with only statically resolvable data flow
+ edges.
+
+getDefault() Activator
+Returns the shared instance
+
+getDefaultStepBottom() PointsToAliasesSmartView
+getDefaultStepBottom() PointsToArrayComponentAliasesSmartView
+getDefaultStepTop() PointsToAliasesSmartView
+getDefaultStepTop() PointsToArrayComponentAliasesSmartView
+getDisplayName() PointsToCodemapStage
+getDynamicCallsiteThisSet(IProgressMonitor) AnalysisUtilities
+Returns a set of callsite this nodes involved in dynamic dispatches
+
+getIdentifier() PointsToCodemapStage
+getInferredDataFlowGraph() JavaPointsTo
+getInferredDataFlowGraph() JimplePointsTo
+getInferredDataFlowGraph() PointsTo
+Returns the inferred data flow graph as the results of the fixed point analysis
+
+getInstantiation(Integer) JavaPointsTo
+getInstantiation(Integer) JimplePointsTo
+getInstantiation(Integer) PointsTo
+Returns the mapping of an address to its corresponding instantiation
+
+getNewAddress() AddressFactory
+getSignatureSet(AtlasSet<Node>) AnalysisUtilities
+Given a set of methods, returns the given set with their method signature
+ elements (param, return, this).
+
+getTitle() PointsToAliasesSmartView
+getTitle() PointsToArrayComponentAliasesSmartView
+getType(Integer) JavaPointsTo
+getType(Integer) JimplePointsTo
+getType(Integer) PointsTo
+Returns the mapping of an address to its corresponding static type
+
+GraphEnhancements com.ensoftcorp.open.pointsto.utilities
+Utilities for making enhancements to the Atlas graph based on points-to results
+
+GraphEnhancements() GraphEnhancements
+
+
A C D E F G H I J L M N P R S T W H-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
H
+
+hasNext() FIFOFrontier
+Returns true if the frontier is not empty, false otherwise
+
+hasNext() Frontier
+Returns true if the frontier is not empty, false otherwise
+
+hasNext() LRUFrontier
+Returns true if the frontier is not empty, false otherwise
+
+hasRun() PointsTo
+Returns true if the points-to analysis has completed
+
+
+
A C D E F G H I J L M N P R S T W I-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
I
+
+IDENTIFIER PointsToCodemapStage
+INFERRED_DATA_FLOW PointsToAnalysis
+Applied to edges to indicate that the edge's runtime data flow possibility was
+ verified by the points-to analysis
+
+INFERRED_TYPE_OF PointsToAnalysis
+Applied to edges to indicate that the edge's runtime type of possibility was
+ verified by the points-to analysis
+
+info(String) Log
+info(String, Throwable) Log
+init(IWorkbench) PointsToPreferencesPage
+initializeDefaultPreferences() PointsToPreferences
+isArrayMemoryModelAlias(String) PointsToAnalysis
+Returns true if the alias is an array memory model
+ Does not consider null aliases
+
+isDisposed() PointsTo
+isDisposeResourcesEnabled() PointsToPreferences
+isGeneralLoggingEnabled() PointsToPreferences
+isJavaPointsToAnalysisModeEnabled() PointsToPreferences
+Returns true if java points-to analysis is enabled
+
+isJimplePointsToAnalysisModeEnabled() PointsToPreferences
+Returns true if jimple points-to analysis is enabled
+
+isPointsToAnalysisEnabled() PointsToPreferences
+Returns true if points-to analysis is enabled
+
+isRewriteArrayComponentsEnabled() PointsToPreferences
+isSubtypeOf(Node, Node) SubtypeCache
+isTagAliasesEnabled() PointsToPreferences
+isTagInferredDataflowsEnabled() PointsToPreferences
+isTagRuntimeTypesEnabled() PointsToPreferences
+isTrackPrimitivesEnabled() PointsToPreferences
+
+
A C D E F G H I J L M N P R S T W J-Index
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+A C D E F G H I J L M N P R S T W
+
+
+
J
+
+JAVA_POINTS_TO_ANALYSIS_MODE PointsToPreferences
+JavaPointsTo com.ensoftcorp.open.pointsto.analysis
+A fixed point points-to analysis for Java
+
+JavaPointsTo() JavaPointsTo
+JIMPLE_POINTS_TO_ANALYSIS_MODE PointsToPreferences
+JimplePointsTo com.ensoftcorp.open.pointsto.analysis
+A fixed point points-to analysis for Jimple
+
+JimplePointsTo() JimplePointsTo
+
+
A C D E F G H I J L M N P R S T W Generated Documentation (Untitled)
+
+
+
+
+
+<![CDATA[
+<noscript>
+<div>JavaScript is disabled on your browser.</div>
+</noscript>
+<h2>Frame Alert</h2>
+<p>This document is designed to be viewed using the frames feature. If you see this message, you are using a non-frame-capable web client. Link to <a href="overview-summary.html">Non-frame version</a>.</p>
+]]>
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/overview-frame.html b/com.ensoftcorp.open.pointsto/doc/overview-frame.html
new file mode 100644
index 0000000..19c1f89
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/overview-frame.html
@@ -0,0 +1,30 @@
+
+
+
+
+
+Overview List
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/overview-summary.html b/com.ensoftcorp.open.pointsto/doc/overview-summary.html
new file mode 100644
index 0000000..aea9eac
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/overview-summary.html
@@ -0,0 +1,171 @@
+
+
+
+
+
+Overview
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/com.ensoftcorp.open.pointsto/doc/overview-tree.html b/com.ensoftcorp.open.pointsto/doc/overview-tree.html
new file mode 100644
index 0000000..b678a29
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/overview-tree.html
@@ -0,0 +1,205 @@
+
+
+
+
+
+Class Hierarchy
+
+JavaScript is disabled on your browser.
+
+
+
+
+
+
+
+
Class Hierarchy
+
+java.lang.Object
+
+com.ensoftcorp.atlas.ui.scripts.selections.AbstractAtlasSmartViewScript (implements com.ensoftcorp.atlas.ui.scripts.selections.AtlasSmartViewScript)
+
+com.ensoftcorp.atlas.ui.scripts.selections.FilteringAtlasSmartViewScript
+
+com.ensoftcorp.open.pointsto.ui.smart.PointsToAliasesSmartView
+com.ensoftcorp.open.pointsto.ui.smart.PointsToArrayComponentAliasesSmartView
+
+
+
+
+org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
+
+
+com.ensoftcorp.open.pointsto.utilities.AddressFactory
+com.ensoftcorp.open.pointsto.utilities.AnalysisUtilities
+org.eclipse.jface.dialogs.DialogPage (implements org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider)
+
+org.eclipse.jface.preference.PreferencePage (implements org.eclipse.jface.preference.IPreferencePage)
+
+org.eclipse.jface.preference.FieldEditorPreferencePage (implements org.eclipse.jface.util.IPropertyChangeListener)
+
+
+
+
+
+
+com.ensoftcorp.open.pointsto.utilities.frontier.FIFOFrontier Frontier <E>)
+com.ensoftcorp.open.pointsto.utilities.GraphEnhancements
+com.ensoftcorp.open.pointsto.log.Log
+com.ensoftcorp.open.pointsto.utilities.frontier.LRUFrontier Frontier <E>)
+org.eclipse.core.runtime.Plugin (implements org.osgi.framework.BundleActivator)
+
+org.eclipse.ui.plugin.AbstractUIPlugin
+
+
+
+
+com.ensoftcorp.open.pointsto.analysis.PointsTo
+com.ensoftcorp.open.pointsto.common.PointsToAnalysis
+com.ensoftcorp.open.commons.codemap.PrioritizedCodemapStage
+
+
+com.ensoftcorp.open.pointsto.utilities.SubtypeCache
+
+
+
+
Interface Hierarchy
+
+com.ensoftcorp.open.pointsto.utilities.frontier.Frontier
+
+
" + tabs[value][1] + " ";
+ }
+ }
+}
diff --git a/com.ensoftcorp.open.pointsto/doc/stylesheet.css b/com.ensoftcorp.open.pointsto/doc/stylesheet.css
new file mode 100644
index 0000000..98055b2
--- /dev/null
+++ b/com.ensoftcorp.open.pointsto/doc/stylesheet.css
@@ -0,0 +1,574 @@
+/* Javadoc style sheet */
+/*
+Overall document style
+*/
+
+@import url('resources/fonts/dejavu.css');
+
+body {
+ background-color:#ffffff;
+ color:#353833;
+ font-family:'DejaVu Sans', Arial, Helvetica, sans-serif;
+ font-size:14px;
+ margin:0;
+}
+a:link, a:visited {
+ text-decoration:none;
+ color:#4A6782;
+}
+a:hover, a:focus {
+ text-decoration:none;
+ color:#bb7a2a;
+}
+a:active {
+ text-decoration:none;
+ color:#4A6782;
+}
+a[name] {
+ color:#353833;
+}
+a[name]:hover {
+ text-decoration:none;
+ color:#353833;
+}
+pre {
+ font-family:'DejaVu Sans Mono', monospace;
+ font-size:14px;
+}
+h1 {
+ font-size:20px;
+}
+h2 {
+ font-size:18px;
+}
+h3 {
+ font-size:16px;
+ font-style:italic;
+}
+h4 {
+ font-size:13px;
+}
+h5 {
+ font-size:12px;
+}
+h6 {
+ font-size:11px;
+}
+ul {
+ list-style-type:disc;
+}
+code, tt {
+ font-family:'DejaVu Sans Mono', monospace;
+ font-size:14px;
+ padding-top:4px;
+ margin-top:8px;
+ line-height:1.4em;
+}
+dt code {
+ font-family:'DejaVu Sans Mono', monospace;
+ font-size:14px;
+ padding-top:4px;
+}
+table tr td dt code {
+ font-family:'DejaVu Sans Mono', monospace;
+ font-size:14px;
+ vertical-align:top;
+ padding-top:4px;
+}
+sup {
+ font-size:8px;
+}
+/*
+Document title and Copyright styles
+*/
+.clear {
+ clear:both;
+ height:0px;
+ overflow:hidden;
+}
+.aboutLanguage {
+ float:right;
+ padding:0px 21px;
+ font-size:11px;
+ z-index:200;
+ margin-top:-9px;
+}
+.legalCopy {
+ margin-left:.5em;
+}
+.bar a, .bar a:link, .bar a:visited, .bar a:active {
+ color:#FFFFFF;
+ text-decoration:none;
+}
+.bar a:hover, .bar a:focus {
+ color:#bb7a2a;
+}
+.tab {
+ background-color:#0066FF;
+ color:#ffffff;
+ padding:8px;
+ width:5em;
+ font-weight:bold;
+}
+/*
+Navigation bar styles
+*/
+.bar {
+ background-color:#4D7A97;
+ color:#FFFFFF;
+ padding:.8em .5em .4em .8em;
+ height:auto;/*height:1.8em;*/
+ font-size:11px;
+ margin:0;
+}
+.topNav {
+ background-color:#4D7A97;
+ color:#FFFFFF;
+ float:left;
+ padding:0;
+ width:100%;
+ clear:right;
+ height:2.8em;
+ padding-top:10px;
+ overflow:hidden;
+ font-size:12px;
+}
+.bottomNav {
+ margin-top:10px;
+ background-color:#4D7A97;
+ color:#FFFFFF;
+ float:left;
+ padding:0;
+ width:100%;
+ clear:right;
+ height:2.8em;
+ padding-top:10px;
+ overflow:hidden;
+ font-size:12px;
+}
+.subNav {
+ background-color:#dee3e9;
+ float:left;
+ width:100%;
+ overflow:hidden;
+ font-size:12px;
+}
+.subNav div {
+ clear:left;
+ float:left;
+ padding:0 0 5px 6px;
+ text-transform:uppercase;
+}
+ul.navList, ul.subNavList {
+ float:left;
+ margin:0 25px 0 0;
+ padding:0;
+}
+ul.navList li{
+ list-style:none;
+ float:left;
+ padding: 5px 6px;
+ text-transform:uppercase;
+}
+ul.subNavList li{
+ list-style:none;
+ float:left;
+}
+.topNav a:link, .topNav a:active, .topNav a:visited, .bottomNav a:link, .bottomNav a:active, .bottomNav a:visited {
+ color:#FFFFFF;
+ text-decoration:none;
+ text-transform:uppercase;
+}
+.topNav a:hover, .bottomNav a:hover {
+ text-decoration:none;
+ color:#bb7a2a;
+ text-transform:uppercase;
+}
+.navBarCell1Rev {
+ background-color:#F8981D;
+ color:#253441;
+ margin: auto 5px;
+}
+.skipNav {
+ position:absolute;
+ top:auto;
+ left:-9999px;
+ overflow:hidden;
+}
+/*
+Page header and footer styles
+*/
+.header, .footer {
+ clear:both;
+ margin:0 20px;
+ padding:5px 0 0 0;
+}
+.indexHeader {
+ margin:10px;
+ position:relative;
+}
+.indexHeader span{
+ margin-right:15px;
+}
+.indexHeader h1 {
+ font-size:13px;
+}
+.title {
+ color:#2c4557;
+ margin:10px 0;
+}
+.subTitle {
+ margin:5px 0 0 0;
+}
+.header ul {
+ margin:0 0 15px 0;
+ padding:0;
+}
+.footer ul {
+ margin:20px 0 5px 0;
+}
+.header ul li, .footer ul li {
+ list-style:none;
+ font-size:13px;
+}
+/*
+Heading styles
+*/
+div.details ul.blockList ul.blockList ul.blockList li.blockList h4, div.details ul.blockList ul.blockList ul.blockListLast li.blockList h4 {
+ background-color:#dee3e9;
+ border:1px solid #d0d9e0;
+ margin:0 0 6px -8px;
+ padding:7px 5px;
+}
+ul.blockList ul.blockList ul.blockList li.blockList h3 {
+ background-color:#dee3e9;
+ border:1px solid #d0d9e0;
+ margin:0 0 6px -8px;
+ padding:7px 5px;
+}
+ul.blockList ul.blockList li.blockList h3 {
+ padding:0;
+ margin:15px 0;
+}
+ul.blockList li.blockList h2 {
+ padding:0px 0 20px 0;
+}
+/*
+Page layout container styles
+*/
+.contentContainer, .sourceContainer, .classUseContainer, .serializedFormContainer, .constantValuesContainer {
+ clear:both;
+ padding:10px 20px;
+ position:relative;
+}
+.indexContainer {
+ margin:10px;
+ position:relative;
+ font-size:12px;
+}
+.indexContainer h2 {
+ font-size:13px;
+ padding:0 0 3px 0;
+}
+.indexContainer ul {
+ margin:0;
+ padding:0;
+}
+.indexContainer ul li {
+ list-style:none;
+ padding-top:2px;
+}
+.contentContainer .description dl dt, .contentContainer .details dl dt, .serializedFormContainer dl dt {
+ font-size:12px;
+ font-weight:bold;
+ margin:10px 0 0 0;
+ color:#4E4E4E;
+}
+.contentContainer .description dl dd, .contentContainer .details dl dd, .serializedFormContainer dl dd {
+ margin:5px 0 10px 0px;
+ font-size:14px;
+ font-family:'DejaVu Sans Mono',monospace;
+}
+.serializedFormContainer dl.nameValue dt {
+ margin-left:1px;
+ font-size:1.1em;
+ display:inline;
+ font-weight:bold;
+}
+.serializedFormContainer dl.nameValue dd {
+ margin:0 0 0 1px;
+ font-size:1.1em;
+ display:inline;
+}
+/*
+List styles
+*/
+ul.horizontal li {
+ display:inline;
+ font-size:0.9em;
+}
+ul.inheritance {
+ margin:0;
+ padding:0;
+}
+ul.inheritance li {
+ display:inline;
+ list-style:none;
+}
+ul.inheritance li ul.inheritance {
+ margin-left:15px;
+ padding-left:15px;
+ padding-top:1px;
+}
+ul.blockList, ul.blockListLast {
+ margin:10px 0 10px 0;
+ padding:0;
+}
+ul.blockList li.blockList, ul.blockListLast li.blockList {
+ list-style:none;
+ margin-bottom:15px;
+ line-height:1.4;
+}
+ul.blockList ul.blockList li.blockList, ul.blockList ul.blockListLast li.blockList {
+ padding:0px 20px 5px 10px;
+ border:1px solid #ededed;
+ background-color:#f8f8f8;
+}
+ul.blockList ul.blockList ul.blockList li.blockList, ul.blockList ul.blockList ul.blockListLast li.blockList {
+ padding:0 0 5px 8px;
+ background-color:#ffffff;
+ border:none;
+}
+ul.blockList ul.blockList ul.blockList ul.blockList li.blockList {
+ margin-left:0;
+ padding-left:0;
+ padding-bottom:15px;
+ border:none;
+}
+ul.blockList ul.blockList ul.blockList ul.blockList li.blockListLast {
+ list-style:none;
+ border-bottom:none;
+ padding-bottom:0;
+}
+table tr td dl, table tr td dl dt, table tr td dl dd {
+ margin-top:0;
+ margin-bottom:1px;
+}
+/*
+Table styles
+*/
+.overviewSummary, .memberSummary, .typeSummary, .useSummary, .constantsSummary, .deprecatedSummary {
+ width:100%;
+ border-left:1px solid #EEE;
+ border-right:1px solid #EEE;
+ border-bottom:1px solid #EEE;
+}
+.overviewSummary, .memberSummary {
+ padding:0px;
+}
+.overviewSummary caption, .memberSummary caption, .typeSummary caption,
+.useSummary caption, .constantsSummary caption, .deprecatedSummary caption {
+ position:relative;
+ text-align:left;
+ background-repeat:no-repeat;
+ color:#253441;
+ font-weight:bold;
+ clear:none;
+ overflow:hidden;
+ padding:0px;
+ padding-top:10px;
+ padding-left:1px;
+ margin:0px;
+ white-space:pre;
+}
+.overviewSummary caption a:link, .memberSummary caption a:link, .typeSummary caption a:link,
+.useSummary caption a:link, .constantsSummary caption a:link, .deprecatedSummary caption a:link,
+.overviewSummary caption a:hover, .memberSummary caption a:hover, .typeSummary caption a:hover,
+.useSummary caption a:hover, .constantsSummary caption a:hover, .deprecatedSummary caption a:hover,
+.overviewSummary caption a:active, .memberSummary caption a:active, .typeSummary caption a:active,
+.useSummary caption a:active, .constantsSummary caption a:active, .deprecatedSummary caption a:active,
+.overviewSummary caption a:visited, .memberSummary caption a:visited, .typeSummary caption a:visited,
+.useSummary caption a:visited, .constantsSummary caption a:visited, .deprecatedSummary caption a:visited {
+ color:#FFFFFF;
+}
+.overviewSummary caption span, .memberSummary caption span, .typeSummary caption span,
+.useSummary caption span, .constantsSummary caption span, .deprecatedSummary caption span {
+ white-space:nowrap;
+ padding-top:5px;
+ padding-left:12px;
+ padding-right:12px;
+ padding-bottom:7px;
+ display:inline-block;
+ float:left;
+ background-color:#F8981D;
+ border: none;
+ height:16px;
+}
+.memberSummary caption span.activeTableTab span {
+ white-space:nowrap;
+ padding-top:5px;
+ padding-left:12px;
+ padding-right:12px;
+ margin-right:3px;
+ display:inline-block;
+ float:left;
+ background-color:#F8981D;
+ height:16px;
+}
+.memberSummary caption span.tableTab span {
+ white-space:nowrap;
+ padding-top:5px;
+ padding-left:12px;
+ padding-right:12px;
+ margin-right:3px;
+ display:inline-block;
+ float:left;
+ background-color:#4D7A97;
+ height:16px;
+}
+.memberSummary caption span.tableTab, .memberSummary caption span.activeTableTab {
+ padding-top:0px;
+ padding-left:0px;
+ padding-right:0px;
+ background-image:none;
+ float:none;
+ display:inline;
+}
+.overviewSummary .tabEnd, .memberSummary .tabEnd, .typeSummary .tabEnd,
+.useSummary .tabEnd, .constantsSummary .tabEnd, .deprecatedSummary .tabEnd {
+ display:none;
+ width:5px;
+ position:relative;
+ float:left;
+ background-color:#F8981D;
+}
+.memberSummary .activeTableTab .tabEnd {
+ display:none;
+ width:5px;
+ margin-right:3px;
+ position:relative;
+ float:left;
+ background-color:#F8981D;
+}
+.memberSummary .tableTab .tabEnd {
+ display:none;
+ width:5px;
+ margin-right:3px;
+ position:relative;
+ background-color:#4D7A97;
+ float:left;
+
+}
+.overviewSummary td, .memberSummary td, .typeSummary td,
+.useSummary td, .constantsSummary td, .deprecatedSummary td {
+ text-align:left;
+ padding:0px 0px 12px 10px;
+}
+th.colOne, th.colFirst, th.colLast, .useSummary th, .constantsSummary th,
+td.colOne, td.colFirst, td.colLast, .useSummary td, .constantsSummary td{
+ vertical-align:top;
+ padding-right:0px;
+ padding-top:8px;
+ padding-bottom:3px;
+}
+th.colFirst, th.colLast, th.colOne, .constantsSummary th {
+ background:#dee3e9;
+ text-align:left;
+ padding:8px 3px 3px 7px;
+}
+td.colFirst, th.colFirst {
+ white-space:nowrap;
+ font-size:13px;
+}
+td.colLast, th.colLast {
+ font-size:13px;
+}
+td.colOne, th.colOne {
+ font-size:13px;
+}
+.overviewSummary td.colFirst, .overviewSummary th.colFirst,
+.useSummary td.colFirst, .useSummary th.colFirst,
+.overviewSummary td.colOne, .overviewSummary th.colOne,
+.memberSummary td.colFirst, .memberSummary th.colFirst,
+.memberSummary td.colOne, .memberSummary th.colOne,
+.typeSummary td.colFirst{
+ width:25%;
+ vertical-align:top;
+}
+td.colOne a:link, td.colOne a:active, td.colOne a:visited, td.colOne a:hover, td.colFirst a:link, td.colFirst a:active, td.colFirst a:visited, td.colFirst a:hover, td.colLast a:link, td.colLast a:active, td.colLast a:visited, td.colLast a:hover, .constantValuesContainer td a:link, .constantValuesContainer td a:active, .constantValuesContainer td a:visited, .constantValuesContainer td a:hover {
+ font-weight:bold;
+}
+.tableSubHeadingColor {
+ background-color:#EEEEFF;
+}
+.altColor {
+ background-color:#FFFFFF;
+}
+.rowColor {
+ background-color:#EEEEEF;
+}
+/*
+Content styles
+*/
+.description pre {
+ margin-top:0;
+}
+.deprecatedContent {
+ margin:0;
+ padding:10px 0;
+}
+.docSummary {
+ padding:0;
+}
+
+ul.blockList ul.blockList ul.blockList li.blockList h3 {
+ font-style:normal;
+}
+
+div.block {
+ font-size:14px;
+ font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
+}
+
+td.colLast div {
+ padding-top:0px;
+}
+
+
+td.colLast a {
+ padding-bottom:3px;
+}
+/*
+Formatting effect styles
+*/
+.sourceLineNo {
+ color:green;
+ padding:0 30px 0 0;
+}
+h1.hidden {
+ visibility:hidden;
+ overflow:hidden;
+ font-size:10px;
+}
+.block {
+ display:block;
+ margin:3px 10px 2px 0px;
+ color:#474747;
+}
+.deprecatedLabel, .descfrmTypeLabel, .memberNameLabel, .memberNameLink,
+.overrideSpecifyLabel, .packageHierarchyLabel, .paramLabel, .returnLabel,
+.seeLabel, .simpleTagLabel, .throwsLabel, .typeNameLabel, .typeNameLink {
+ font-weight:bold;
+}
+.deprecationComment, .emphasizedPhrase, .interfaceName {
+ font-style:italic;
+}
+
+div.block div.block span.deprecationComment, div.block div.block span.emphasizedPhrase,
+div.block div.block span.interfaceName {
+ font-style:normal;
+}
+
+div.contentContainer ul.blockList li.blockList h2{
+ padding-bottom:0px;
+}