[Soot-list] context sensitive allocation site for specjbb

[Eric Bodden]

Hello.

> It seems that inlining a few important calls that we know in advance
> is quite a useful feature. I've been wanting to do so in many cases.
> So, is there any easy and reliable way that we can inline calls before
> anything happens (or at least before whole program analysis)?

Soot has an inliner for static calls, but I am not sure there's one
for virtual calls.

> By the way, it seems that hacking Spark to add manually AllocNode's
> for Class.newInstance() is a way to make points-to analysis work for
> such allocation sites, under the context of developing software
> engineering tools rather than doing compiler optimization.

Well, the Soot integration with TamiFlex is really just a more
principled way to get a bit away from that manual "hacking".

Eric