[Soot-list] Pointsto analysis for reflection methods

[Eric Bodden]

Hi again

> Eric, I know you're far more expert on this, but isn't precise-newinstance for paddle, and not spark?

My apologies, you are right!

> Jun, As Eric suggested, you need to provide the dynamically loaded class - "Dog"  to set_dynamic_class(), for example:
>     Options.v().set_dynamic_class( Arrays.asList( "Dog" ) );

Chers
Eric