[Soot-list] Soot release 2.2.5 is available

[Richard L. Halpert]

Thanks for the plug, but TLO actually made it into the 2.2.4 release!

For those who are interested, what *is* new is (working) "locksets" in the
lock allocation package: soot.jimple.toolkits.thread.transaction, plus
deadlock detection.  Note that "transaction" is a misnomer.  These things
will be published in my upcoming thesis.

-Richard Halpert

On Tue, Mar 18, 2008 at 12:11 PM, Eric Bodden <eric.bodden at mail.mcgill.ca>
wrote:

> 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<http://www.cs.berkeley.edu/%7Emanu_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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20080318/9ce4cd94/attachment.htm