Skip to content

Commit c05ca87

Browse files
author
Eric Bodden
committed
updated web page;
removing IFDS for this release because it is still incomplete, unstable and untested; will add it back later
1 parent ad75144 commit c05ca87

15 files changed

+37
-924
lines changed

TODO.txt

+1-10
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,2 @@
11
TODO:
2-
Handle MethodType constant-pool entries
3-
4-
5-
IFDS:
6-
Flow functions should use N-type arguments instead of int
7-
Flow functions should receive more arguments
8-
Better way to initialize analysis?
9-
Provide query API
10-
Useful templates
11-
Performance optimizations
2+
Handle MethodType constant-pool entries

index.html

+9-7
Original file line numberDiff line numberDiff line change
@@ -33,9 +33,10 @@
3333
<br>
3434
<center> <a name="top"><b><font face="helvetica,arial" size="+1">Latest
3535
version:
36-
2.4.0
37-
(March,
38-
2010)</font></b></a></center>
36+
2.5.0
37+
(January
38+
22nd,
39+
2012)</font></b></a></center>
3940
<br>
4041
<br>
4142
Need help using Soot? See the Soot <a href="tutorial/index.html">
@@ -82,7 +83,7 @@ <h4>Release Status:</h4>
8283
<p>The Soot Framework is an evolving research project. Our goal
8384
is to produce a
8485
robust, easy-to-use research framework for optimizing Java bytecode. </p>
85-
<p>The latest release is version 2.4.0. The new features are
86+
<p>The latest release is version 2.5.0. The new features are
8687
described in detail here: <a href="CHANGES">new features</a>. </p>
8788
</blockquote>
8889
<blockquote>
@@ -93,7 +94,8 @@ <h4>Eclipse Plugin:</h4>
9394
We
9495
have
9596
a
96-
separate <a href="eclipse/index.html">web page with
97+
separate
98+
<a href="eclipse/index.html">web page with
9799
instructions for
98100
installing and using the plugin.</a> <br>
99101
<p> You may also want to develop Soot within the Eclipse
@@ -124,9 +126,9 @@ <h4>Downloads:</h4>
124126
Get Soot from our download page a <a href="soot_download.html">Soot
125127
Downloads</a>.
126128
<p>You can simply run Soot using the following command:</p>
127-
<p><tt>java -jar soot-2.4.0.jar </tt></p>
129+
<p><tt>java -jar soot-2.5.0.jar </tt></p>
128130
<p>To get help on the command-line options, use:</p>
129-
<p><tt>java -jar soot-2.4.0.jar -help<br>
131+
<p><tt>java -jar soot-2.5.0.jar -help<br>
130132
<br>
131133
</tt>The <a href="tutorial/usage">usage document</a> gives
132134
more information about these options.<br>

soot_download.html

+27-15
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@
5555
<br>
5656
<br>
5757
<br>
58-
<p><a name="download"><b><b><b>Release 2.4.0</b><br>
58+
<p><a name="download"><b><b><b>Release 2.5.0</b><br>
5959
</b></b></a>
6060
<table border="1" cellpadding="5">
6161
<tbody>
@@ -66,16 +66,16 @@
6666
documentation for Soot, source and
6767
compiled forms of the Eclipse plugin. This is the easiest way to get
6868
Soot and we recommend the full download.
69-
This will unpack into three directories soot-2.4.0, jasmin-2.4.0 and
69+
This will unpack into three directories soot-2.5.0, jasmin-2.5.0 and
7070
polyglot-1.3.5 </td>
7171
<td><!--empty column--><br>
7272
</td>
7373
<td width="280"> <b>Complete Package</b><br>
7474
<a
75-
href="http://www.sable.mcgill.ca/software/sootall-2.4.0.jar">sootall-2.4.0.jar</a>
75+
href="http://www.sable.mcgill.ca/software/sootall-2.5.0.jar">sootall-2.5.0.jar</a>
7676
<br>
7777
<a
78-
href="http://www.sable.mcgill.ca/software/sootall-2.4.0.tar.gz">sootall-2.4.0.tar.gz</a>
78+
href="http://www.sable.mcgill.ca/software/sootall-2.5.0.tar.gz">sootall-2.5.0.tar.gz</a>
7979
</td>
8080
</tr>
8181
<tr>
@@ -94,10 +94,10 @@
9494
</td>
9595
<td> <b>Pre-compiled Jar</b><br>
9696
<a
97-
href="http://www.sable.mcgill.ca/software/sootclasses-2.4.0.jar">sootclasses-2.4.0.jar</a>
97+
href="http://www.sable.mcgill.ca/software/sootclasses-2.5.0.jar">sootclasses-2.5.0.jar</a>
9898
<br>
9999
<a
100-
href="http://www.sable.mcgill.ca/software/jasminclasses-2.4.0.jar">jasminclasses-2.4.0.jar</a>
100+
href="http://www.sable.mcgill.ca/software/jasminclasses-2.5.0.jar">jasminclasses-2.5.0.jar</a>
101101
<br>
102102
<a
103103
href="http://www.sable.mcgill.ca/software/polyglotclasses-1.3.5.jar">polyglotclasses-1.3.5.jar</a>
@@ -114,6 +114,8 @@
114114

115115

116116

117+
118+
117119
</p>
118120
</td>
119121
<td><br>
@@ -131,17 +133,17 @@
131133
</td>
132134
<td> <b>Soot Source</b><br>
133135
<a
134-
href="http://www.sable.mcgill.ca/software/sootsrc-2.4.0.jar">sootsrc-2.4.0.jar</a>
136+
href="http://www.sable.mcgill.ca/software/sootsrc-2.5.0.jar">sootsrc-2.5.0.jar</a>
135137
<br>
136138
<a
137-
href="http://www.sable.mcgill.ca/software/sootsrc-2.4.0.tar.gz">sootsrc-2.4.0.tar.gz</a>
139+
href="http://www.sable.mcgill.ca/software/sootsrc-2.5.0.tar.gz">sootsrc-2.5.0.tar.gz</a>
138140
<br>
139141
<b>Jasmin Source</b><br>
140142
<a
141-
href="http://www.sable.mcgill.ca/software/jasminsrc-2.4.0.jar">jasminsrc-2.4.0.jar</a>
143+
href="http://www.sable.mcgill.ca/software/jasminsrc-2.5.0.jar">jasminsrc-2.5.0.jar</a>
142144
<br>
143145
<a
144-
href="http://www.sable.mcgill.ca/software/jasminsrc-2.4.0.tar.gz">jasminsrc-2.4.0.tar.gz</a>
146+
href="http://www.sable.mcgill.ca/software/jasminsrc-2.5.0.tar.gz">jasminsrc-2.5.0.tar.gz</a>
145147
<br>
146148
<b>Polyglot Source</b><br>
147149
<a
@@ -159,19 +161,29 @@
159161
</td>
160162
<td> <b>Tutorials Only</b><br>
161163
<a
162-
href="http://www.sable.mcgill.ca/software/soot-tutorial-2.4.0.jar">soot-tutorial-2.4.0.jar</a>
164+
href="http://www.sable.mcgill.ca/software/soot-tutorial-2.5.0.jar">soot-tutorial-2.5.0.jar</a>
163165
<br>
164166
<a
165-
href="http://www.sable.mcgill.ca/software/soot-tutorial-2.4.0.tar.gz">soot-tutorial-2.4.0.tar.gz</a>
167+
href="http://www.sable.mcgill.ca/software/soot-tutorial-2.5.0.tar.gz">soot-tutorial-2.5.0.tar.gz</a>
166168
</td>
167169
</tr>
168170
</tbody>
169171
</table>
170172
</p>
171173
<p><a name="download"><b><b><b>Older Releases</b><br>
172174
</b></b></a>
173-
<table border="0" cellpadding="5" width="100%">
175+
<table style="width: 100%;" border="0" cellpadding="5">
174176
<tbody>
177+
<tr>
178+
<td style="vertical-align: middle;">Release 2.4.0<br>
179+
</td>
180+
<td style="vertical-align: top;"><a
181+
href="http://www.sable.mcgill.ca/software/sootall-2.4.0.jar">Download
182+
.jar file</a> <br>
183+
<a
184+
href="http://www.sable.mcgill.ca/software/sootall-2.4.0.tar.gz">Download
185+
.tar.gz</a></td>
186+
</tr>
175187
<tr>
176188
<td>Release 2.3.0</td>
177189
<td><a
@@ -191,7 +203,7 @@
191203
.tar.gz</a></td>
192204
</tr>
193205
<tr>
194-
<td>Release 2.2.4</td>
206+
<td>Release 2.2.5</td>
195207
<td><a
196208
href="http://www.sable.mcgill.ca/software/sootall-2.2.4.jar">Download
197209
.jar file</a> <br>
@@ -273,7 +285,7 @@
273285
.tar.gz</a> </td>
274286
</tr>
275287
<tr>
276-
<td>Release 1.2.4 </td>
288+
<td>Release 1.2.5 </td>
277289
<td> <a
278290
href="http://www.sable.mcgill.ca/software/soot-1.2.4.jar">Download
279291
.jar file</a> <br>

src/soot/jimple/interproc/ifds/DefaultInterproceduralCFG.java

-130
This file was deleted.

src/soot/jimple/interproc/ifds/InterproceduralCFG.java

-29
This file was deleted.

0 commit comments

Comments
 (0)