[Soot-list] Empty points-to information

[Khilan Gudka]

Dear all,

How safe is it to assume that if SPARK returns an empty points-to set for a
local or field then it is actually correct? Does it take into consideration
static initialisers? I'm implementing some optimisations that would take
advantage of this but wasn't sure about the soundness of it. I'm analysing
against GNU Classpath 0.97.2p10.

Thanks,
Khilan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100709/8e9579d9/attachment.html