[Soot-list] Seeking proposals for Google Summer Of Code projects

[Eric Bodden]

Hi Richard.

> Routev's IDE summary is only applied to distributive data flow problems,
> non-distributive data flow problems such as points-to analysis, heap
> analysis, etc, cannot benefit from that summary. However, in my experience,
> the most expensive part is always the interprocedural non-distributive data
> flow analysis. Maybe adding a proposal for non-distributive summary is also
> a good idea.

I have worked quite a bit with IFDS and IDE now and so far I have yet
to find a good use case for an analysis that would largely benefit
from non-distributive flow functions. Even alias analysis seems to
work quite well in IDE if you look at approaches such as Andromeda. Do
you know any good examples of analyses that could benefit from such a
more expressive framework?

Eric