[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    Re: [Soot-list] Retrieve the points-to relation local to a certain	method?
From:       Marc-André_Laverdière <marc-andre.laverdiere-papineau () polym
Date:       2013-03-20 10:37:22
Message-ID: e64aaa03-5c3a-4e96-9abb-2f2fd7146efb () email ! android ! com
[Download RAW message or body]

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@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@sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

_______________________________________________
Soot-list mailing list
Soot-list@sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list


[prev in list] [next in list] [prev in thread] [next in thread]