[Soot-list] Beginner's points-to question

[Eric Bodden]

Richard you might also want to look at InstanceKeys which are now part of Soot:

http://www.sable.mcgill.ca/publications/techreports/#report2007-8

They are very convenient to use and use must-alias information
automatically. In an intraprocedural analysis you can use instance
keys just as objects: If two keys are equal then they represent the
same object (and only then!).

Eric

On 30/01/2008, Richard Warburton <richard.warburton at gmail.com> wrote:
> > Hi, Richard. There is no whole-program must-alias analysis in Soot.
> > (and I think there is none on this planet) Points-to sets can only be
> > used to decide may-aliasing. Two variables cannot alias if their
> > points-to sets do not intersect.
> >
> > Our SVN version of Soot has however an intraprocedural must-alias analysis:
> >
> > soot.jimple.toolkits.pointer.LocalMustAliasAnalysis
> >
> > Maybe that one is good enough for you?
> >
> > If you find an interprocedural must-alias analysis or wish to develop
> > one, please let me know!
>
> Hi, thanks for the fast response - I probably should have clarified
> this before hand!  An interprocedural one will be more than fine - I
> am not interested in alias analysis (per say) just using it.  I am
> wondering in general - is svn trunk fairly stable.  I mean this in the
> sense that I expect some bugs to appear every now and then, but my
> question is more whether 'experimental' features get added in
> branches, or does trunk regularly not work?
>
> An alternative would be if its possible to use the must-alias analysis
> against soot 2.2.4?
>
>   Richard
>


-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada