[Soot-list] Questions about Manu's demand driven pointer analysis for Java

[Yu Feng]

Hi Eric,

Thank you so much! That confirms my assumption(I thought the codes in
Soot's latest repository only contains his partial implementation.).


Best,
Yu

On Sat, Jan 24, 2015 at 5:13 AM, Bodden, Eric <eric.bodden at sit.fraunhofer.de
> wrote:

> Hi Yu.
>
> > Does anyone ever use Manu's pointer analysis(PLDI06) to answer
> context-sensitive queries?
> >
> https://github.com/Sable/soot/tree/develop/src/soot/jimple/spark/ondemand
>
> Yes, I used it a while back.
> >
> > 2. In page 10, the paper mentioned that it constructed a
> context-sensitive call graph, which will be the exactly output I am looking
> for. But I went through the codes and I can't find anything related to the
> context-sensitive call graph, not even its data structure. Can someone give
> me the pointer to that part?
>
> I guess it would be best to ask Manu directly.
>
> >
> > 3. In page 7, the paper mentioned that it can answer both a projected
> query(x points to o) and a context-sensitive query((c1,x) points to (c2,o))
> but the codes in the repository indicates that it's unsupported.
> >
> >       public PointsToSet reachingObjects(Context c, Local l) {
> >               throw new UnsupportedOperationException();
> >       }
> >
> > I was wondering whether I am missing something important while running
> the tool.
>
> Yes, I believe there were two versions of the implementation and the one
> in Soot supports only a partial interface. Maybe that is also the answer to
> question 2 but I am not sure.
>
> Cheers,
> Eric
>



-- 
--Yu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150124/dcc47238/attachment.html