preparing for 2.3.0 release

Author: Eric Bodden

CHANGES

@@ -1,4 +1,4 @@
-Improvements and API changes in version 2.2.6
+Improvements and API changes in version 2.3.0
 
 1. Integrated new JastAdd-based frontend with support for Java 5
    source code. Thanks to Torbjorn Ekman for contributing his

Release_Notice

@@ -1,43 +1,45 @@
 Dear Soot Users,
 
-We are pleased to announce that Soot version 2.2.5 is now available
+We are pleased to announce that Soot version 2.3.0 is now available
 at: http://www.sable.mcgill.ca/soot/
 
 This release contains the following additions and improvements:
 
-1. Soot now has an option to prepend the classpath given on the
-   command line to the default classpath.  See the documentation on 
-   the option -pp for details.
-
-2. Included Manu Sridharan's demand-driven points-to analysis.  See
-   http://doi.acm.org/10.1145/1133255.1134027 for details.  It can be
-   activated via: -p cg.spark cs-demand:true
-
-3. Added local must-alias and not-may alias analyses. See package
-   soot.jimple.toolkits.pointer.
-
-4. Updated NullnessAnalysis for better performance. Thanks to Julian
-   Tibble!
-
-5. The flow analysis framework is now generic. One can explicitly
-   declare the type of the abstraction and that is used for the fixed
-   point iteration and the node type for the graph that is iterated over.
-   This avoids a lot of casting one had to do in the past.
-
-6. Between versions 2.2.3 and 2.2.4, a bug was introduced to Spark:
-   PointsToSetInternal now implements equals/hashCode which confused the
-   propagator algorithm because it was relying on comparison by identity.
-   This lead to a five-fold slowdown on the points-to analyses and
-   potentially wrong results.  The bug has now been fixed by modifying
-   the propagator algorithm. Original speed was restored.
-
-7. Richard Halpert's lock allocator as published at PACT'07, see:
-   http://www.sable.mcgill.ca/publications/papers/#pact2007
-   It is accessible via the wjtn (whole-jimple transaction) pack.
-
-Due to the use of generics this version of Soot as well as all
-upcoming versions require to run on a JVM supporting Java version 5 or
-higher.
+1. Integrated new JastAdd-based frontend with support for Java 5
+   source code. Thanks to Torbjorn Ekman for contributing his
+   frontend and his implementation of Java2Jimple!
+   
+2. At the very least if -validate is on, Soot now checks that @this
+   is only assigned in the first statement of an instance method.
+   This has always been an implicit assumption for Jimple code
+   but up until now was not enforced. 
+   
+3. Integrated full support for preserving annotations in Jimple
+   and writing them to bytecode. SOURCE level annotations are
+   preserved if code is read from source and the flag
+   -p jb preserve-source-annotations is given. (does not hold for
+   package and local variable annotations) SOURCE level annotations
+   are not written into bytecode by Soot.
+   Annotations can easily be added to SootClass, SootMethod and
+   SootField instances using the utility class
+   soot.jimple.toolkits.annotation.j5anno.AnnotationGenerator.
+   (Thanks to Will Benton!)   
+ 
+4. Java 5 Annotations for fields, classes, parameters and methods
+   are now fully preserved in bytecode. Jasmin was changed to
+   implement this support.   
+   
+5. Ben Bellamy contributed a new implementation for the type assigner.
+   This is to be published under the title 'Efficient Local Type
+   Inference' at OOPSLA '08. The new type assigner is usually
+   faster (it is applied when processing bytecode), and sometimes
+   more precise. In particular it should always infer the most
+   narrow type possible.   
+   
+Also we incorporated fixes to numerous bugs. Thanks for reporting bugs
+and/or prividing fixes!   
+
+See http://www.sable.mcgill.ca/soot/CHANGES for details.
 
 As of version 2.2.0 the Soot bugzilla is available at:
 http://svn.sable.mcgill.ca/bugzilla/. We encourage you to add any Soot
@@ -51,4 +53,4 @@ like to know what's going on look there.
 Regards,
 
 Eric Bodden 
-Sable Research Group, McGill University
+Sable Research Group, McGill University

src/soot/Main.java

@@ -18,7 +18,7 @@
  */
 
 /*
- * Modified by the Sable Research Group and others 1997-1999.  
+ * Modified by the Sable Research Group and others 1997-2008.  
  * See the 'credits' file distributed with Soot for the complete list of
  * contributors.  (Soot is distributed at http://www.sable.mcgill.ca/soot)
  */
@@ -40,9 +40,9 @@ public static Main v() {
         return G.v().soot_Main();
     }
     // TODO: the following string should be updated by the source control
-    // No it shouldn't. Prcs is horribly borken in this respect, and causes
+    // No it shouldn't. Prcs is horribly broken in this respect, and causes
     // the code to not compile all the time.
-    public final String versionString = "2.2.5";
+    public final String versionString = "2.3.0";
 
     private Date start;
     private Date finish;