Skip to content

Commit

Permalink
splitting project into two components: analysis and user interfaces,
Browse files Browse the repository at this point in the history 
updated javadoc
  • Loading branch information
@benjholla
benjholla committed Oct 7, 2018
1 parent 0f303cb commit 248e3a0
Show file tree
Hide file tree
Showing 111 changed files with 1,592 additions and 3,133 deletions.
12 changes: 12 additions & 0 deletions com.ensoftcorp.open.pointsto.feature/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,11 @@ SOFTWARE.
<import feature="com.ensoftcorp.open.jimple.commons.feature" version="3.3.7.qualifier"/>
<import feature="com.ensoftcorp.open.java.commons.feature" version="3.3.7.qualifier"/>
<import feature="com.ensoftcorp.open.commons.feature" version="3.3.7.qualifier"/>
<import plugin="com.ensoftcorp.open.commons" version="3.3.7" match="greaterOrEqual"/>
<import plugin="com.ensoftcorp.open.java.commons" version="3.3.7" match="greaterOrEqual"/>
<import plugin="com.ensoftcorp.open.jimple.commons" version="3.3.7" match="greaterOrEqual"/>
<import plugin="com.ensoftcorp.open.pointsto" version="3.3.7" match="greaterOrEqual"/>
<import plugin="com.ensoftcorp.open.commons.ui" version="3.3.7" match="greaterOrEqual"/>
</requires>

<plugin
Expand All @@ -51,4 +56,11 @@ SOFTWARE.
version="0.0.0"
unpack="false"/>

<plugin
id="com.ensoftcorp.open.pointsto.ui"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>

</feature>
7 changes: 3 additions & 4 deletions com.ensoftcorp.open.pointsto/META-INF/MANIFEST.MF
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,10 @@ Bundle-Name: Points-to Toolbox
Bundle-SymbolicName: com.ensoftcorp.open.pointsto;singleton:=true
Bundle-Version: 3.3.7.qualifier
Bundle-Vendor: EnSoft Corp.
Require-Bundle: net.ontopia.utils;bundle-version="5.2.2",
com.ensoftcorp.open.commons;bundle-version="3.3.7",
com.ensoftcorp.open.commons.ui;bundle-version="3.3.7",
Require-Bundle: com.ensoftcorp.open.commons;bundle-version="3.3.7",
com.ensoftcorp.open.java.commons;bundle-version="3.3.7",
com.ensoftcorp.open.jimple.commons;bundle-version="3.3.7"
com.ensoftcorp.open.jimple.commons;bundle-version="3.3.7",
net.ontopia.utils;bundle-version="5.2.2"
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ActivationPolicy: lazy
Bundle-ClassPath: .
Expand Down
8 changes: 3 additions & 5 deletions com.ensoftcorp.open.pointsto/doc/allclasses-frame.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (1.8.0_144) on Wed Nov 29 12:37:13 CST 2017 -->
<!-- Generated by javadoc (1.8.0_181) on Sun Oct 07 16:01:13 CDT 2018 -->
<title>All Classes</title>
<meta name="date" content="2017-11-29">
<meta name="date" content="2018-10-07">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<script type="text/javascript" src="script.js"></script>
</head>
Expand All @@ -20,15 +20,13 @@ <h1 class="bar">All&nbsp;Classes</h1>
<li><a href="com/ensoftcorp/open/pointsto/utilities/GraphEnhancements.html" title="class in com.ensoftcorp.open.pointsto.utilities" target="classFrame">GraphEnhancements</a></li>
<li><a href="com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis" target="classFrame">JavaPointsTo</a></li>
<li><a href="com/ensoftcorp/open/pointsto/analysis/JimplePointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis" target="classFrame">JimplePointsTo</a></li>
<li><a href="com/ensoftcorp/open/pointsto/utilities/frontier/LIFOFrontier.html" title="class in com.ensoftcorp.open.pointsto.utilities.frontier" target="classFrame">LIFOFrontier</a></li>
<li><a href="com/ensoftcorp/open/pointsto/log/Log.html" title="class in com.ensoftcorp.open.pointsto.log" target="classFrame">Log</a></li>
<li><a href="com/ensoftcorp/open/pointsto/utilities/frontier/LRUFrontier.html" title="class in com.ensoftcorp.open.pointsto.utilities.frontier" target="classFrame">LRUFrontier</a></li>
<li><a href="com/ensoftcorp/open/pointsto/analysis/PointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis" target="classFrame">PointsTo</a></li>
<li><a href="com/ensoftcorp/open/pointsto/ui/smart/PointsToAliasesSmartView.html" title="class in com.ensoftcorp.open.pointsto.ui.smart" target="classFrame">PointsToAliasesSmartView</a></li>
<li><a href="com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html" title="class in com.ensoftcorp.open.pointsto.common" target="classFrame">PointsToAnalysis</a></li>
<li><a href="com/ensoftcorp/open/pointsto/ui/smart/PointsToArrayComponentAliasesSmartView.html" title="class in com.ensoftcorp.open.pointsto.ui.smart" target="classFrame">PointsToArrayComponentAliasesSmartView</a></li>
<li><a href="com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html" title="class in com.ensoftcorp.open.pointsto.codemap" target="classFrame">PointsToCodemapStage</a></li>
<li><a href="com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html" title="class in com.ensoftcorp.open.pointsto.preferences" target="classFrame">PointsToPreferences</a></li>
<li><a href="com/ensoftcorp/open/pointsto/ui/PointsToPreferencesPage.html" title="class in com.ensoftcorp.open.pointsto.ui" target="classFrame">PointsToPreferencesPage</a></li>
<li><a href="com/ensoftcorp/open/pointsto/utilities/SubtypeCache.html" title="class in com.ensoftcorp.open.pointsto.utilities" target="classFrame">SubtypeCache</a></li>
</ul>
</div>
Expand Down
8 changes: 3 additions & 5 deletions com.ensoftcorp.open.pointsto/doc/allclasses-noframe.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (1.8.0_144) on Wed Nov 29 12:37:13 CST 2017 -->
<!-- Generated by javadoc (1.8.0_181) on Sun Oct 07 16:01:13 CDT 2018 -->
<title>All Classes</title>
<meta name="date" content="2017-11-29">
<meta name="date" content="2018-10-07">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<script type="text/javascript" src="script.js"></script>
</head>
Expand All @@ -20,15 +20,13 @@ <h1 class="bar">All&nbsp;Classes</h1>
<li><a href="com/ensoftcorp/open/pointsto/utilities/GraphEnhancements.html" title="class in com.ensoftcorp.open.pointsto.utilities">GraphEnhancements</a></li>
<li><a href="com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis">JavaPointsTo</a></li>
<li><a href="com/ensoftcorp/open/pointsto/analysis/JimplePointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis">JimplePointsTo</a></li>
<li><a href="com/ensoftcorp/open/pointsto/utilities/frontier/LIFOFrontier.html" title="class in com.ensoftcorp.open.pointsto.utilities.frontier">LIFOFrontier</a></li>
<li><a href="com/ensoftcorp/open/pointsto/log/Log.html" title="class in com.ensoftcorp.open.pointsto.log">Log</a></li>
<li><a href="com/ensoftcorp/open/pointsto/utilities/frontier/LRUFrontier.html" title="class in com.ensoftcorp.open.pointsto.utilities.frontier">LRUFrontier</a></li>
<li><a href="com/ensoftcorp/open/pointsto/analysis/PointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis">PointsTo</a></li>
<li><a href="com/ensoftcorp/open/pointsto/ui/smart/PointsToAliasesSmartView.html" title="class in com.ensoftcorp.open.pointsto.ui.smart">PointsToAliasesSmartView</a></li>
<li><a href="com/ensoftcorp/open/pointsto/common/PointsToAnalysis.html" title="class in com.ensoftcorp.open.pointsto.common">PointsToAnalysis</a></li>
<li><a href="com/ensoftcorp/open/pointsto/ui/smart/PointsToArrayComponentAliasesSmartView.html" title="class in com.ensoftcorp.open.pointsto.ui.smart">PointsToArrayComponentAliasesSmartView</a></li>
<li><a href="com/ensoftcorp/open/pointsto/codemap/PointsToCodemapStage.html" title="class in com.ensoftcorp.open.pointsto.codemap">PointsToCodemapStage</a></li>
<li><a href="com/ensoftcorp/open/pointsto/preferences/PointsToPreferences.html" title="class in com.ensoftcorp.open.pointsto.preferences">PointsToPreferences</a></li>
<li><a href="com/ensoftcorp/open/pointsto/ui/PointsToPreferencesPage.html" title="class in com.ensoftcorp.open.pointsto.ui">PointsToPreferencesPage</a></li>
<li><a href="com/ensoftcorp/open/pointsto/utilities/SubtypeCache.html" title="class in com.ensoftcorp.open.pointsto.utilities">SubtypeCache</a></li>
</ul>
</div>
Expand Down
4 changes: 2 additions & 2 deletions com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/Activator.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (1.8.0_144) on Wed Nov 29 12:37:10 CST 2017 -->
<!-- Generated by javadoc (1.8.0_181) on Sun Oct 07 16:01:11 CDT 2018 -->
<title>Activator</title>
<meta name="date" content="2017-11-29">
<meta name="date" content="2018-10-07">
<link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
<script type="text/javascript" src="../../../../script.js"></script>
</head>
Expand Down
61 changes: 49 additions & 12 deletions com.ensoftcorp.open.pointsto/doc/com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (1.8.0_144) on Wed Nov 29 12:37:10 CST 2017 -->
<!-- Generated by javadoc (1.8.0_181) on Sun Oct 07 16:01:11 CDT 2018 -->
<title>JavaPointsTo</title>
<meta name="date" content="2017-11-29">
<meta name="date" content="2018-10-07">
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
<script type="text/javascript" src="../../../../../script.js"></script>
</head>
Expand All @@ -18,7 +18,7 @@
catch(err) {
}
//-->
var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10};
var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10,"i10":10};
var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
Expand Down Expand Up @@ -75,7 +75,7 @@
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#fields.inherited.from.class.com.ensoftcorp.open.pointsto.analysis.PointsTo">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
Expand Down Expand Up @@ -127,6 +127,21 @@ <h2 title="Class JavaPointsTo" class="title">Class JavaPointsTo</h2>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!-- -->
</a>
<h3>Field Summary</h3>
<ul class="blockList">
<li class="blockList"><a name="fields.inherited.from.class.com.ensoftcorp.open.pointsto.analysis.PointsTo">
<!-- -->
</a>
<h3>Fields inherited from class&nbsp;com.ensoftcorp.open.pointsto.analysis.<a href="../../../../../com/ensoftcorp/open/pointsto/analysis/PointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis">PointsTo</a></h3>
<code><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/PointsTo.html#UPDATE_INTERVAL">UPDATE_INTERVAL</a></code></li>
</ul>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
Expand Down Expand Up @@ -177,41 +192,47 @@ <h3>Method Summary</h3>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>java.util.HashSet&lt;java.lang.Integer&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#getAliasAddresses-com.ensoftcorp.atlas.core.db.graph.Node-">getAliasAddresses</a></span>(com.ensoftcorp.atlas.core.db.graph.Node&nbsp;node)</code>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#getAliasAddresses--">getAliasAddresses</a></span>()</code>
<div class="block">Returns a set of alias addresses</div>
</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>java.util.HashSet&lt;java.lang.Integer&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#getAliasAddresses-com.ensoftcorp.atlas.core.db.graph.Node-">getAliasAddresses</a></span>(com.ensoftcorp.atlas.core.db.graph.Node&nbsp;node)</code>
<div class="block">Returns a set of alias addresses for the given node</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>java.util.HashSet&lt;java.lang.Integer&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#getArrayMemoryModelAliases-java.lang.Integer-">getArrayMemoryModelAliases</a></span>(java.lang.Integer&nbsp;address)</code>
<div class="block">Returns the mapping of arrays to the array's components</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<tr id="i6" class="altColor">
<td class="colFirst"><code>java.util.HashSet&lt;java.lang.Integer&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#getArrayMemoryModels--">getArrayMemoryModels</a></span>()</code>
<div class="block">Returns the array memory model addresses</div>
</td>
</tr>
<tr id="i6" class="altColor">
<tr id="i7" class="rowColor">
<td class="colFirst"><code>com.ensoftcorp.atlas.core.db.graph.Graph</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#getInferredDataFlowGraph--">getInferredDataFlowGraph</a></span>()</code>
<div class="block">Returns the inferred data flow graph as the results of the fixed point analysis</div>
</td>
</tr>
<tr id="i7" class="rowColor">
<tr id="i8" class="altColor">
<td class="colFirst"><code>com.ensoftcorp.atlas.core.db.graph.Node</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#getInstantiation-java.lang.Integer-">getInstantiation</a></span>(java.lang.Integer&nbsp;address)</code>
<div class="block">Returns the mapping of an address to its corresponding instantiation</div>
</td>
</tr>
<tr id="i8" class="altColor">
<tr id="i9" class="rowColor">
<td class="colFirst"><code>com.ensoftcorp.atlas.core.db.graph.Node</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#getType-java.lang.Integer-">getType</a></span>(java.lang.Integer&nbsp;address)</code>
<div class="block">Returns the mapping of an address to its corresponding static type</div>
</td>
</tr>
<tr id="i9" class="rowColor">
<tr id="i10" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/JavaPointsTo.html#removeAliasAddress-com.ensoftcorp.atlas.core.db.graph.Node-java.lang.Integer-">removeAliasAddress</a></span>(com.ensoftcorp.atlas.core.db.graph.Node&nbsp;node,
java.lang.Integer&nbsp;address)</code>
Expand Down Expand Up @@ -311,6 +332,22 @@ <h4>removeAliasAddress</h4>
</dl>
</li>
</ul>
<a name="getAliasAddresses--">
<!-- -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getAliasAddresses</h4>
<pre>public&nbsp;java.util.HashSet&lt;java.lang.Integer&gt;&nbsp;getAliasAddresses()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from class:&nbsp;<code><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/PointsTo.html#getAliasAddresses--">PointsTo</a></code></span></div>
<div class="block">Returns a set of alias addresses</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/PointsTo.html#getAliasAddresses--">getAliasAddresses</a></code>&nbsp;in class&nbsp;<code><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/PointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis">PointsTo</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
</dl>
</li>
</ul>
<a name="getAliasAddresses-com.ensoftcorp.atlas.core.db.graph.Node-">
<!-- -->
</a>
Expand All @@ -319,7 +356,7 @@ <h4>removeAliasAddress</h4>
<h4>getAliasAddresses</h4>
<pre>public&nbsp;java.util.HashSet&lt;java.lang.Integer&gt;&nbsp;getAliasAddresses(com.ensoftcorp.atlas.core.db.graph.Node&nbsp;node)</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from class:&nbsp;<code><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/PointsTo.html#getAliasAddresses-com.ensoftcorp.atlas.core.db.graph.Node-">PointsTo</a></code></span></div>
<div class="block">Returns a set of alias addresses</div>
<div class="block">Returns a set of alias addresses for the given node</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/PointsTo.html#getAliasAddresses-com.ensoftcorp.atlas.core.db.graph.Node-">getAliasAddresses</a></code>&nbsp;in class&nbsp;<code><a href="../../../../../com/ensoftcorp/open/pointsto/analysis/PointsTo.html" title="class in com.ensoftcorp.open.pointsto.analysis">PointsTo</a></code></dd>
Expand Down Expand Up @@ -477,7 +514,7 @@ <h4>getInferredDataFlowGraph</h4>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li>Field&nbsp;|&nbsp;</li>
<li><a href="#fields.inherited.from.class.com.ensoftcorp.open.pointsto.analysis.PointsTo">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
Expand Down
Loading

0 comments on commit 248e3a0

Please sign in to comment.