[Soot-list] my StrongLocalMustAliasAnalysis gives unexpected results

[Zhoulai]

Hello again,

Eric, sorry but  I wrongly interpret my experimental results. You were
right,  but still, the analysis is not yet sound in my humble opinion.

1. Here is my experimental results:
your current  fixed  StrongLocalMustAliasAnalysis returns an integer number
1 for 'c',  for each line inside the loop.

2. Here is my conclusion:
 the analysis is still unsound.


If you admit the item 1 and item 2 and are not yet bored by this long
discussion, we can exchange more emails in private. I believe that this
unsoundness can be avoided.

Zell.




>     void test(int i, A c){
> >         A b= new A();
> >         while (i>0){
> >             A a = new A();
> >             A x = a;
> >             c = b;
> >             String tag="TAG";
> >         }
> >     }
> >
> > Your  StrongLocalMustAliasAnalysis associates 'c' with UNKNOWN  for all
> the
> > control points inside the loop.
>
> Well, first of all, UNKNOWN is always sound - it may just not be as
> precise as one would like. Probably that's what you mean...
>
> > However, for the first three lines of the loop, I think 'c' has
> potentially
> > more than one value, the one  the function parameter,  and the one from
> 'b'.
>
> Correct.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20121027/8f0ce9bb/attachment.html