prcs 1.2.0.dev.4:

plam · plam · commit 34a357960dee · 2000-10-04T17:44:05.000Z
empty
diff --git a/CHANGES b/CHANGES
@@ -1,4 +1,22 @@
-Improvements in version 1.0.1
+Improvements in version 1.2.0 (Thu Sep 28 21:41:16 EDT 2000)
+
+1. An annotation framework is included in this release.
+2. A clean implementation of VTA is finally included in Soot.
+3. New implementation of typing system included
+     - contains nice integer typing system.
+4. HashChain has a fast 'contains' method.
+     (this was announced on the soot mailing list)
+5. A branched flow analysis framework is present.
+     - This allows different results to be propagated on
+        different edges of a branch.
+6. Implemented an Array Bounds Check and a Null Pointer Check algorithm.
+   The new option '-A' annotates class files with analysis results.
+      - See the new annotation tutorials.
+7. Other minor bugs were zapped.
+ 
+(release by Feng Qian)
+
+Improvements in version 1.0.1 (not released)
 
 1. Eliminated useless Directed interface.
 
@@ -175,23 +193,3 @@ Raja Vallee-Rai
 Sable Research Group
 
 
------------------------------------------------------------------------------
-
-Improvements in the second release (version 1.2.0)
-Thu Sep 28 21:41:16 EDT 2000
-
-1) An annotation framework is added to this release.
-2) New implementation of VTA.
-3) New implementation of typing system, which has a nice interger typing system.
-4) HashChain has a fast 'contains' method.
-5) Fix some other minor bugs.
-6) We have branched flow analysis framework now.
-7) Implement an Array Bounds Check and a Null Pointer Check algorithm.
-   A new option '-A' can annotate class files with analysis results.
- 
-Feng Qian
-
-
-
-
-
diff --git a/TODO b/TODO
@@ -1,14 +1,10 @@
-For the next release of Soot, we will improve the whole-program analysis
-features.
+Open problems (as of 1.2.0):
 
-improve soot.toolkits.graph.Block so that we keep a state counter for
-the Body and don't trample stuff; this is needed to keep the BlockLength up
-to date.  Actually, that is somewhat complicated.
+1. improve our naming scheme to make Soot run on Macintosh.
+2. improve the invoke graph builder.
+3. include an interprocedural flow analysis framework
+      and improve the whole-program analysis features.
+4. improve soot.toolkits.graph.Block so that we keep a state counter for
+      the Body and don't trample stuff; this is needed to keep the 
+      BlockLength up to date.  Actually, that is somewhat complicated.
 
-------------------------------------------------
-Version 1.1.0
-Next release to do:
- 1) improve the temporary file name scheme to make the Soot run 
-    on Macintosh.
- 2) improve the invoke graph builder.
- 3) interprocedural flow analysis framework.
diff --git a/background5.gif b/background5.gif
diff --git a/background6.gif b/background6.gif
diff --git a/credits b/credits
@@ -1,7 +1,7 @@
                       Soot Credits
                  
                  
-      Soot Maintainers: Raja Vallee-Rai, Patrick Lam
+      Soot Maintainers: Raja Vallee-Rai, Patrick Lam, Feng Qian
     
     
 -------------------- Soot Contributors ------------------------
@@ -26,6 +26,7 @@ Patrick Lam (plam@sable.mcgill.ca)
 Feng Qian (fqian@sable.mcgill.ca)
     - array bounds check and annotation
     - contributed to documentation writing
+    - prepared 1.2.0 release
     
 Patrice Pominville (patrice@sable.mcgill.ca)
     - Soot infrastructure
@@ -47,7 +48,6 @@ Clark Verbrugge (clarkv@ca.ibm.com)
 Felix Kwok
     - VTA re-implementation
     
-    
 -------------------- Funding Acknowledgements ------------------
                     
 Funding support provided by:
diff --git a/index.html b/index.html
@@ -1,15 +1,15 @@
 <html>
 <head><title>Soot: a Java Optimization Framework</title></head>
 
-<body background="background5.gif" TEXT="#000000" BGCOLOR="#F3F3F3" LINK="#0000CC">
+<body background="background6.gif" TEXT="#000000" BGCOLOR="#F3F3F3" LINK="#0000CC">
 
 <table border=0 cellpadding=0 cellspacing=3>
 
 <TR>
 
 <!--LeftHandTable-->
 
-<TD ALIGN=LEFT VALIGN=TOP ROWSPACE="1" WIDTH=135>
+<TD ALIGN=LEFT VALIGN=TOP ROWSPACE="1" WIDTH=160>
 
 <p><font face="helvetica,arial" size="+1"><b>Soot Home</b></font>
 
@@ -34,7 +34,7 @@
 <center>
 <a name="top"><b><font face="helvetica,arial" size="+2">Soot: a Java Optimization Framework</font></b></center></a> <br>
 <center>
-<a name="top"><b><font face="helvetica,arial" size="+1">Latest version: 1.0.0</font></b></center></a> <br><br>
+<a name="top"><b><font face="helvetica,arial" size="+1">Latest version: 1.2.0</font></b></center></a> <br><br>
 
 <!--Introduction-->
 <a name="introduction"> <table width=100%> <tr>
@@ -81,17 +81,49 @@
 <p>The Soot Framework is an evolving research project. Our goal is to produce a
 highly robust framework for optimizing Java which is easy to use.  
 
+<!-- Release 1.2.0 -->
+<p>The 1.2.0 release is our second official release. The major new feature
+in 1.2.0 is support for classfile annotation (courtesy of Feng Qian and
+Patrice Pominville). There is also an improved typing system, due to 
+Etienne Gagnon. Variable-Type Analysis was cleanly reimplemented and
+we have included it in our release of Soot for the first time.
+We also fixed a few bugs reported against version 1.0.0. 
+
+<p>In the future, we will develop a mechanism to support
+whole-program analysis based on a program's call graph.
+
+<!-- Release 1.0.0
 <p>This release is our first official release.  We believe it to be quite solid,
 and have tested it on a set of 266 benchmarks.
 
 <p>In the future, we hope to improve support for whole-program analysis.
 We will also develop more transformations for use with Soot.
+-->
 
 </blockquote>
 
 <br>
 
 <!--ProjectStatus-->
+
+<a name="projectStatus"> <table width=100%> <tr>
+<td width=97% align=left><b><font face="helvetica,arial" size="+1">Major improvements in version 1.2.0</b></font></td></a>
+<td width=3% align=left><font size="-2"><a href="#top">top</a></td>
+</table>
+
+<blockquote>
+This is a subset of changes in version 1.2.0; a more complete listing is in the CHANGES file.
+
+<p>1. An annotation framework was added to the project.
+
+<p>2. A new implementation of the typing system is included.
+
+<p>2. A clean implementation of VTA is finally included in Soot.
+
+</blockquote>
+
+<!-- Status of release 1.0.0
+
 <a name="projectStatus"> <table width=100%> <tr>
 <td width=97% align=left><b><font face="helvetica,arial" size="+1">Improvements in version 1.0.0</b></font></td></a>
 <td width=3% align=left><font size="-2"><a href="#top">top</a></td>
@@ -102,17 +134,20 @@
 
 <p>1. Fixed bug with original name recovery.
 
-<p>2. Added documentation (see <a href="http://www.sable.mcgill.ca/soot/tutorial">some tutorials</a>.)
+<p>2. Added documentation (see <a href="tutorial">some tutorials</a>.)
 
 <p>3. Added static class synchronizer.
 
 </blockquote>
 
+-->
+
 <br>
 
 
 
 <!--Download-->
+
 <a name="download"> <table width=100%> <tr>
 <td width=97% align=left><b><font face="helvetica,arial" size="+1">Download and Installation</b></font></td></a>
 <td width=3% align=left><font size="-2"><a href="#top">top</a></td>
@@ -124,8 +159,8 @@
 
 <p>
 To install it you must unjar(untar) it, and add the classes directories
-<tt>soot-1.0.0/soot/classes</tt> and
-<tt>soot-1.0.0/jasmin/classes</tt> to your CLASSPATH.  
+<tt>soot-1.2.0/soot/classes</tt> and
+<tt>soot-1.2.0/jasmin/classes</tt> to your CLASSPATH.  
 
 To test your installation of Soot, try:
 
@@ -135,9 +170,15 @@
 </tt>
 
 <p>for some options on processing classfiles.  They are documented in more detail in the
-<a href="http://www.sable.mcgill.ca/soot/tutorial/usage">usage document</a>.
+<a href="tutorial/usage">usage document</a>.<p>
+
+Note that Soot requires at least JDK 1.2 (Java 2), as it uses Java Collections.
+We have experienced some problems with the sunwjit JIT compiler; we do
+not recommend the use of this JIT.  In particular, common subexpression 
+elimination has triggered JIT problems with sunwjit.
 
 </blockquote>
+
 <br>
 
 <!--Compilation-->
@@ -149,21 +190,23 @@
 
 Soot is already compiled in the distribution.  To recompile Soot, 
 we use the <tt> jams</tt> tool, a modified version of <tt>jam</tt> by Raffaele Sena.
-This is included in the <tt>soot-1.0.0/jams</tt> directory of the distribution.  Invoking
-jams from the <tt>soot-1.0.0/soot</tt> will recompile Soot as necessary.
+This is included in the <tt>soot-1.2.0/jams</tt> directory of the distribution. 
+Invoking jams from the <tt>soot-1.2.0/soot</tt> will recompile Soot as necessary.
+It may be tricky to compile both Soot and jasmin at the same time
+because of dependences. An easy way is to use the compiled jasmin
+when compiling Soot. 
 
+<p>
 NOTE: The Jimple parser is generated by <a href="http://www.sable.mcgill.ca/sablecc">SableCC</a>.
-It requires <tt> lexer.dat</tt> and <tt>parser.dat</tt> files to be in the classes directory;
-they are provided in the src directory.  The following commands in the main
-Soot directory (<tt>soot-1.beta.6/soot</tt>) are required after a clean recompile.
-
-<pre>
-$ cp src/soot/jimple/parser/parser/parser.dat \
-             classes/soot/jimple/parser/parser
-$ cp src/soot/jimple/parser/lexer/lexer.dat \
-             classes/soot/jimple/parser/parser
-</pre>
-                          
+It requires <tt>lexer.dat</tt> and <tt>parser.dat</tt> files to be in the classes directory;
+they are provided in the src directory. Also, Soot uses peephole optimization to improve the
+generated bytecode. This requires the <tt>peephole.dat</tt> file be copied to 
+the classes directory. 
+
+<p>
+If you have jams correctly set up, the `foo' target will copy these <tt>.dat</tt>
+files from the src/ directory to the classes/ directory. Use command `<tt>jams foo</tt>'.
+
 </blockquote>
 <br>
 
@@ -182,7 +225,7 @@
 href="http://www.sable.mcgill.ca/publications">conference papers</a>
 describing Soot.  
 
-<li>A set of <a href="http://www.sable.mcgill.ca/soot/tutorial">documents</a> describing Soot, both as a Java application optimizer and
+<li>A set of <a href="tutorial">documents</a> describing Soot, both as a Java application optimizer and
 as a compiler framework.
 
 <li><a href="doc/index.html">The Soot API.</a> Most of the
@@ -231,8 +274,10 @@
 
 <blockquote>
  
-The official Soot maintainers are <a href="mailto:rvalleerai@sable.mcgill.ca"> Raja Vallee-Rai</a> and 
-<a href="mailto:plam@sable.mcgill.ca">Patrick Lam</a>.
+The official Soot maintainers are 
+<a href="mailto:rvalleerai@sable.mcgill.ca"> Raja Vallee-Rai</a>, 
+<a href="mailto:plam@sable.mcgill.ca">Patrick Lam</a>, and
+<a href="mailto:fqian@sable.mcgill.ca">Feng Qian</a>.
 
 <br>
 <br><b>Click <a href="./credits">here</a> for the complete list of contributors and acknowledgements.</b>
@@ -244,7 +289,7 @@
 <center>
 <blockquote>
 
-<font face="Arial, Helvetica" size=-2> <i>Last updated on March 24, 2000</i><br></font>
+<font face="Arial, Helvetica" size=-2> <i>Last updated on Octumber 2, 2000</i><br></font>
           
 </blockquote>
 
diff --git a/src/soot/Main.java b/src/soot/Main.java
@@ -546,7 +546,7 @@ public static void setAnnotationPhases(String opt)
     private static void printHelp()
     {
          // $Format: "            System.out.println(\"Soot version 1.0.0 (build $ProjectVersion$)\");"$
-            System.out.println("Soot version 1.0.0 (build 1.2.0.dev.3)");
+            System.out.println("Soot version 1.0.0 (build 1.2.0.dev.4)");
             System.out.println("Copyright (C) 1997-2000 Raja Vallee-Rai (rvalleerai@sable.mcgill.ca).");
             System.out.println("All rights reserved.");
             System.out.println("");

Original file line number	Diff line number	Diff line change
`@@ -546,7 +546,7 @@ public static void setAnnotationPhases(String opt)`
`546`	`546`	`private static void printHelp()`
`547`	`547`	`{`
`548`	`548`	`// $Format: " System.out.println(\"Soot version 1.0.0 (build $ProjectVersion$)\");"$`
`549`		`- System.out.println("Soot version 1.0.0 (build 1.2.0.dev.3)");`
	`549`	`+ System.out.println("Soot version 1.0.0 (build 1.2.0.dev.4)");`
`550`	`550`	`System.out.println("Copyright (C) 1997-2000 Raja Vallee-Rai (rvalleerai@sable.mcgill.ca).");`
`551`	`551`	`System.out.println("All rights reserved.");`
`552`	`552`	`System.out.println("");`