[Soot-list] NaiveSideEffectTester

[Phung Hua Nguyen]

>
> Just out of curiousity, do you have experimental data confirming that this is 
> useful?
Not yet. I will count the number of final fields in benchmarks.

Anyway, I think even for PASideEffectTester, final fields is also useful 
because we don't need to check the intersection of 2 points-to sets when 
the field is final. Therefore, we may get better performance and more 
precise.

>
> Chris
>

Nguyen Hua Phung
University of New South Wales