[Soot-list] Soot release 2.2.5 is available

[Eric Bodden]

Dear Soot users,

We are pleased to announce that Soot version 2.2.5 is now available
at: http://www.sable.mcgill.ca/soot/

This release contains:

    * Manu Sridharan's demand-driven refinement-based context-sensitive
          points-to analysis [1], based on Spark
    * a new Thread-local objects analysis, which Halpert et al. used for
          automatic lock allocation [2]
    * an improved version of our nullness analysis, due to Julian Tibble, and
    * Instance Keys [3], static representatives of runtime objects.

Most of the flow-analysis framework now uses generics for enhanced type safety.

Furthermore there have been several improvements to the Soot Eclipse
plugin to enhance its usability. Several bug fixes have been included
as well.

Eric Bodden provides a showcase of these features here:
http://www.bodden.de/tools/soot-225/

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
bugs there.

Thanks to everybody who contributed to this release, in form of code,
bug fixes, comments or in whichever way.

Eric

(on behalf of the Soot team)

[1] http://www.cs.berkeley.edu/~manu_s/pldi06.pdf
[2] http://www.sable.mcgill.ca/publications/papers/#pact2007
[3] http://www.sable.mcgill.ca/publications/techreports/#report2007-8

-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada