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

[Bodden, Eric]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150124/cbbaecf7/attachment.bin