[Soot-list] Empty points-to information

[Khilan Gudka]

Hi Eric,

>
> It's as sound as your call graph is. If you can make sure that your
> call graph is complete then you should be able to rely on the
> invariant "if there is an empty points-to set for v then v will never
> be assigned any value".
>

Is GNU Classpath known to work well with soot (in terms of sound
callgraph construction)? How do I know if the callgraph is complete?

Cheers,
Khilan