[Soot-list] soot purity annotation

[Jochen Huck]

Hi,

my analysis needs the information whether a method is pure or not. 
Currently I am using the tool jppa (http://jppa.sourceforge.net/) to 
retrieve the information. Today I recognized that soot can do this job 
as well with --annot-purity. My problem is that the documentation of the 
class soot.jimple.toolkits.annotation.purity.PurityAnalysis says "test, 
test, and test (and correct the potentially infinite bugs)".
Does anybody know if the purity analysis of soot is superior to the jppa 
tool? Did anybody use the soot purity analysis and can share some 
experiences?

Thank you all in advance!

Cheers,
Jochen

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100707/c5a59bf0/attachment.html