updating metadata for 2.4.0 release

CHANGES

@@ -1,4 +1,4 @@
-Improvements and API changes in version 2.3.1
+Improvements and API changes in version 2.4.0
 
 1. Deprecated class StronglyConnectedComponents because it is
    inefficient. There is a new class StronglyConnectedComponentsFast
@@ -13,6 +13,8 @@ Improvements and API changes in version 2.3.1
 4. Added new phase option "reflection-log" to support TamiFlex
    reflection log files. This option allows Spark to construct sound
    call graphs and points-to sets even for programs that use reflection.
+   More information is available at:
+   http://code.google.com/p/tamiflex/wiki/DaCapoAndSoot
 
 Improvements and API changes in version 2.3.0
 

Release_Notice

@@ -1,43 +1,21 @@
 Dear Soot Users,
 
-We are pleased to announce that Soot version 2.3.0 is now available
+We are pleased to announce that Soot version 2.4.0 is now available
 at: http://www.sable.mcgill.ca/soot/
 
 This release contains the following additions and improvements:
 
-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.   
+1. Hossein Sadat-Mohtasham's implementation of program dependency graphs
+
+2. Support for creating sound call graphs even for programs that use
+   reflection, custom class loaders and runtime-generated classes.
+   For this purpose, Soot uses TamiFlex to create a runtime log file that
+   contains information about how refleciton is being used. Spark then
+   uses the log file during call-graph and points-to graph construction.
+   See http://code.google.com/p/tamiflex/wiki/DaCapoAndSoot for details.     
 
 Also we incorporated fixes to numerous bugs. Thanks for reporting bugs
-and/or prividing fixes!   
+and/or providing fixes!   
 
 See http://www.sable.mcgill.ca/soot/CHANGES for details.
 
@@ -53,4 +31,4 @@ like to know what's going on look there.
 Regards,
 
 Eric Bodden 
-Sable Research Group, McGill University
+Software Technology Group, Technische Universit�t Darmstadt

credits

@@ -23,6 +23,7 @@ Eric Bodden
     - Instance Keys
       - Local must-alias analysis
     - Integration of JastAdd frontend
+    - TamiFlex support for reflection
 
 Phong Co ([email protected])
     - Jimple scalar optimizations