[Soot-list] Missing edges in call graph generated by Spark

Eric Bodden bodden at st.informatik.tu-darmstadt.de
Tue Feb 9 03:01:44 EST 2010


Thanks for the info.

> In this case, soot assumes newInstance0 method in java.lang.Class is native,
> which
> is the case for 1.3. However, in newer versions that method is not native.
> As a result,
> the model method, which takes care of reflection, is not invoked. I think,
> this can be
> fixed by adding a model for newInstance0 method of
> sun.reflect.NativeConstructorAccessorImpl
> class, which is a native method and creates objects through reflection.

I thought that Ondrej Lhotak had fixed this a while ago. Ondrej, do
you remember?

Eric


More information about the Soot-list mailing list