[Soot-list] my StrongLocalMustAliasAnalysis gives unexpected results

[Zhoulai]

Hello,

I probably wrongly understand the StrongLocalMustAliasAnalysis, but it
gives me some unexpected results. Where am I wrong?

For this program, I expect that 'x' does not strongly must-alias with
itself in the scope of the method. This is because of the redefinition of
'x'. (reference: Bodden et al 2008's  "Objects Representative"paper)

************* ******************
  static void test3(int i){
                A x;
                while (true){
                     x= new A();
               }
     }
*****************

However, if my analysis driver program is correct,  my analysis says  that
'x' must strongly alias with itself (see my attached screenshot)

In the screenshot:
    -- on the right column is the Jimple statement
    -- on the left is  a mapping from local 'l' to
slmaa.instanceKeyString(l,s), where 'l' is the locals in the program, and
's'is the statement, smlaa is declared  as  "  LocalMustAliasAnalysis slmaa
= new StrongLocalMustAliasAnalysis(unitGraph) " ;

Any ideas? Thanks.
Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20121011/af35338e/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen shot 2012-10-11 at 09.27.46.png
Type: image/png
Size: 25873 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20121011/af35338e/attachment-0001.png