Skip to content

Commit

Permalink
updated web page;
Browse files Browse the repository at this point in the history 
removing IFDS for this release because it is still incomplete, unstable and untested; will add it back later
  • Loading branch information
Eric Bodden committed Jan 22, 2012
1 parent ad75144 commit c05ca87
Show file tree
Hide file tree
Showing 15 changed files with 37 additions and 924 deletions.
11 changes: 1 addition & 10 deletions TODO.txt
View file
Original file line number Diff line number Diff line change
@@ -1,11 +1,2 @@
TODO:
Handle MethodType constant-pool entries


IFDS:
Flow functions should use N-type arguments instead of int
Flow functions should receive more arguments
Better way to initialize analysis?
Provide query API
Useful templates
Performance optimizations
Handle MethodType constant-pool entries
16 changes: 9 additions & 7 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -33,9 +33,10 @@
<br>
<center> <a name="top"><b><font face="helvetica,arial" size="+1">Latest
version:
2.4.0
(March,
2010)</font></b></a></center>
2.5.0
(January
22nd,
2012)</font></b></a></center>
<br>
<br>
Need help using Soot? See the Soot <a href="tutorial/index.html">
Expand Down Expand Up @@ -82,7 +83,7 @@ <h4>Release Status:</h4>
<p>The Soot Framework is an evolving research project. Our goal
is to produce a
robust, easy-to-use research framework for optimizing Java bytecode. </p>
<p>The latest release is version 2.4.0. The new features are
<p>The latest release is version 2.5.0. The new features are
described in detail here: <a href="CHANGES">new features</a>. </p>
</blockquote>
<blockquote>
Expand All @@ -93,7 +94,8 @@ <h4>Eclipse Plugin:</h4>
We
have
a
separate <a href="eclipse/index.html">web page with
separate
<a href="eclipse/index.html">web page with
instructions for
installing and using the plugin.</a> <br>
<p> You may also want to develop Soot within the Eclipse
Expand Down Expand Up @@ -124,9 +126,9 @@ <h4>Downloads:</h4>
Get Soot from our download page a <a href="soot_download.html">Soot
Downloads</a>.
<p>You can simply run Soot using the following command:</p>
<p><tt>java -jar soot-2.4.0.jar </tt></p>
<p><tt>java -jar soot-2.5.0.jar </tt></p>
<p>To get help on the command-line options, use:</p>
<p><tt>java -jar soot-2.4.0.jar -help<br>
<p><tt>java -jar soot-2.5.0.jar -help<br>
<br>
</tt>The <a href="tutorial/usage">usage document</a> gives
more information about these options.<br>
Expand Down
42 changes: 27 additions & 15 deletions soot_download.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@
<br>
<br>
<br>
<p><a name="download"><b><b><b>Release 2.4.0</b><br>
<p><a name="download"><b><b><b>Release 2.5.0</b><br>
</b></b></a>
<table border="1" cellpadding="5">
<tbody>
Expand All @@ -66,16 +66,16 @@
documentation for Soot, source and
compiled forms of the Eclipse plugin. This is the easiest way to get
Soot and we recommend the full download.
This will unpack into three directories soot-2.4.0, jasmin-2.4.0 and
This will unpack into three directories soot-2.5.0, jasmin-2.5.0 and
polyglot-1.3.5 </td>
<td><!--empty column--><br>
</td>
<td width="280"> <b>Complete Package</b><br>
<a
href="http://www.sable.mcgill.ca/software/sootall-2.4.0.jar">sootall-2.4.0.jar</a>
href="http://www.sable.mcgill.ca/software/sootall-2.5.0.jar">sootall-2.5.0.jar</a>
<br>
<a
href="http://www.sable.mcgill.ca/software/sootall-2.4.0.tar.gz">sootall-2.4.0.tar.gz</a>
href="http://www.sable.mcgill.ca/software/sootall-2.5.0.tar.gz">sootall-2.5.0.tar.gz</a>
</td>
</tr>
<tr>
Expand All @@ -94,10 +94,10 @@
</td>
<td> <b>Pre-compiled Jar</b><br>
<a
href="http://www.sable.mcgill.ca/software/sootclasses-2.4.0.jar">sootclasses-2.4.0.jar</a>
href="http://www.sable.mcgill.ca/software/sootclasses-2.5.0.jar">sootclasses-2.5.0.jar</a>
<br>
<a
href="http://www.sable.mcgill.ca/software/jasminclasses-2.4.0.jar">jasminclasses-2.4.0.jar</a>
href="http://www.sable.mcgill.ca/software/jasminclasses-2.5.0.jar">jasminclasses-2.5.0.jar</a>
<br>
<a
href="http://www.sable.mcgill.ca/software/polyglotclasses-1.3.5.jar">polyglotclasses-1.3.5.jar</a>
Expand All @@ -114,6 +114,8 @@





</p>
</td>
<td><br>
Expand All @@ -131,17 +133,17 @@
</td>
<td> <b>Soot Source</b><br>
<a
href="http://www.sable.mcgill.ca/software/sootsrc-2.4.0.jar">sootsrc-2.4.0.jar</a>
href="http://www.sable.mcgill.ca/software/sootsrc-2.5.0.jar">sootsrc-2.5.0.jar</a>
<br>
<a
href="http://www.sable.mcgill.ca/software/sootsrc-2.4.0.tar.gz">sootsrc-2.4.0.tar.gz</a>
href="http://www.sable.mcgill.ca/software/sootsrc-2.5.0.tar.gz">sootsrc-2.5.0.tar.gz</a>
<br>
<b>Jasmin Source</b><br>
<a
href="http://www.sable.mcgill.ca/software/jasminsrc-2.4.0.jar">jasminsrc-2.4.0.jar</a>
href="http://www.sable.mcgill.ca/software/jasminsrc-2.5.0.jar">jasminsrc-2.5.0.jar</a>
<br>
<a
href="http://www.sable.mcgill.ca/software/jasminsrc-2.4.0.tar.gz">jasminsrc-2.4.0.tar.gz</a>
href="http://www.sable.mcgill.ca/software/jasminsrc-2.5.0.tar.gz">jasminsrc-2.5.0.tar.gz</a>
<br>
<b>Polyglot Source</b><br>
<a
Expand All @@ -159,19 +161,29 @@
</td>
<td> <b>Tutorials Only</b><br>
<a
href="http://www.sable.mcgill.ca/software/soot-tutorial-2.4.0.jar">soot-tutorial-2.4.0.jar</a>
href="http://www.sable.mcgill.ca/software/soot-tutorial-2.5.0.jar">soot-tutorial-2.5.0.jar</a>
<br>
<a
href="http://www.sable.mcgill.ca/software/soot-tutorial-2.4.0.tar.gz">soot-tutorial-2.4.0.tar.gz</a>
href="http://www.sable.mcgill.ca/software/soot-tutorial-2.5.0.tar.gz">soot-tutorial-2.5.0.tar.gz</a>
</td>
</tr>
</tbody>
</table>
</p>
<p><a name="download"><b><b><b>Older Releases</b><br>
</b></b></a>
<table border="0" cellpadding="5" width="100%">
<table style="width: 100%;" border="0" cellpadding="5">
<tbody>
<tr>
<td style="vertical-align: middle;">Release 2.4.0<br>
</td>
<td style="vertical-align: top;"><a
href="http://www.sable.mcgill.ca/software/sootall-2.4.0.jar">Download
.jar file</a> <br>
<a
href="http://www.sable.mcgill.ca/software/sootall-2.4.0.tar.gz">Download
.tar.gz</a></td>
</tr>
<tr>
<td>Release 2.3.0</td>
<td><a
Expand All @@ -191,7 +203,7 @@
.tar.gz</a></td>
</tr>
<tr>
<td>Release 2.2.4</td>
<td>Release 2.2.5</td>
<td><a
href="http://www.sable.mcgill.ca/software/sootall-2.2.4.jar">Download
.jar file</a> <br>
Expand Down Expand Up @@ -273,7 +285,7 @@
.tar.gz</a> </td>
</tr>
<tr>
<td>Release 1.2.4 </td>
<td>Release 1.2.5 </td>
<td> <a
href="http://www.sable.mcgill.ca/software/soot-1.2.4.jar">Download
.jar file</a> <br>
Expand Down
130 changes: 0 additions & 130 deletions src/soot/jimple/interproc/ifds/DefaultInterproceduralCFG.java
View file

This file was deleted.

29 changes: 0 additions & 29 deletions src/soot/jimple/interproc/ifds/InterproceduralCFG.java
View file

This file was deleted.

Loading

0 comments on commit c05ca87

Please sign in to comment.