After my last tutorials on using Soot on the command line, and using the Soot Eclipse plugin, this is the third of a series of blog posts about frequently asked questions with using Soot. Today’s topic will be on extending Soot with your own intra-procedural data-flow analysis.
Implementing an intra-procedural data-flow analysis in Soot
Eric | September 22, 2008Using the Soot Eclipse plugin
Eric | August 30, 2008After my last tutorial on using Soot on the command line, this is the second of a series of blog posts about frequently asked questions with using Soot. Today’s topic will be on Soot’s eclipse plugin.
Soot 2.2.5 is here!
Eric | March 18, 2008Today we released version 2.2.5 of Soot, our program analysis and transformation framework for Java. Release 2.2.5 contains some exciting new features, for example:
- Manu Sridharan’s demand-driven refinement-based context-sensitive points-to analysis, based on Spark
- a new Thread-local objects analysis, which Halpert et al. used for automatic lock allocation
- an improved version of our nullness analysis, due to Julian Tibble, and
- Instance Keys, static representatives of runtime objects.
Furthermore there have been several improvements to the Soot Eclipse plugin to enhance its ease of use.