[Soot-list] Retrieve the points-to relation local to a certain method?

[Marc-André Laverdière]

Hello,

Nope, sadly.
The best trick I got so far is to check intersection with all locals... I am sure you can imagine many ways to optimize that ;)
-- 
Marc-André Laverdière
PhD Candidate - Doctorant
Sent from a mobile device - please excuse the brevity

Zhoulai <zell08v at orange.fr> wrote:

>Hi,
>
>Is there an easy way to retrieve local points-to analysis information
>w.r.t. a single method ?
>
>By 'local' points-to analysis w.r.t a single method', I mean the
>points-to
>relations that can be "seen"/accessible from within that method. For
>example
>
> foo (..){
>  A x = y;
>  }
>goo(){
>  A z = w;
>}
>
>It is clear that when we analyze foo, we do not need to know that 'z'
>and
>'w'may alias. Is there easy way to rule out irrelevant points-to
>information when we analyze a specific method ? I thought MethodPAG
>should
>do the work, but apparently it does not work as I expected.
>
>Thanks for your ideas.
>
>Zell.
>
>
>------------------------------------------------------------------------
>
>_______________________________________________
>Soot-list mailing list
>Soot-list at sable.mcgill.ca
>http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list