[Soot-list] FlowAnalysis on large graphs

[Eric Bodden]

Hi Karthik.

On 30 March 2012 11:02, Karthik <reachsrk at gmail.com> wrote:
> Have there been any efforts to parallelize such analyses? I did find a few
> papers about parallelization of such analyses.
> Does Soot have any of those features?

Not yet but I have been thinking about it. As you can probably
imagine, it's not quite trivial.

> Also, in general, I've observed that many analyses trade off precision in
> order to reduce the explosion of memory consumption and time.
> I'm not sure, but it may be interesting to explore other approaches such as
> BDDBDDB, which may have different memory and time
> characteristics, depending on the nature and complexity of the analysis.

Well, if you are interested in using BDDs then you can always use
Paddle, which is based on Soot:
http://www.sable.mcgill.ca/paddle/

Eric