[Soot-list] Rebuilding the context sensitive call graph
Eric Bodden
eric.bodden at mail.mcgill.ca
Thu Jan 31 22:07:46 EST 2008
> That's just the first idea that came to mind... it seems reasonable,
> although you'll get a huge number of classes. You could also pass the
> context as a parameter and then switch / dispatch on it inside <init>.
> I guess there are lots of ways to do it, but the fact remains that after
> a "new" bytecode you are expected to have a specialinvoke to <init>.
> Some/all/no VM's might ignore that, and the JVM Spec itself might
> actually be fuzzy... you'll have to see.
As far as I remember the bytecode verifier has to reject code that
accesses a variable that was freshly assigned a new statement but on
which <init> was not called.
Eric
More information about the Soot-list
mailing list