<div dir="ltr">Hi Eric,<div><br></div><div>Thank you so much! That confirms my assumption(I thought the codes in Soot's latest repository only contains his partial implementation.).</div><div><br></div><div><br></div><div>Best,</div><div>Yu</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Jan 24, 2015 at 5:13 AM, Bodden, Eric <span dir="ltr"><<a href="mailto:eric.bodden@sit.fraunhofer.de" target="_blank">eric.bodden@sit.fraunhofer.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Yu.<br>
<span class=""><br>
> Does anyone ever use Manu's pointer analysis(PLDI06) to answer context-sensitive queries?<br>
> <a href="https://github.com/Sable/soot/tree/develop/src/soot/jimple/spark/ondemand" target="_blank">https://github.com/Sable/soot/tree/develop/src/soot/jimple/spark/ondemand</a><br>
<br>
</span>Yes, I used it a while back.<br>
<span class="">><br>
> 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?<br>
<br>
</span>I guess it would be best to ask Manu directly.<br>
<span class=""><br>
><br>
> 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.<br>
><br>
> public PointsToSet reachingObjects(Context c, Local l) {<br>
> throw new UnsupportedOperationException();<br>
> }<br>
><br>
> I was wondering whether I am missing something important while running the tool.<br>
<br>
</span>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.<br>
<br>
Cheers,<br>
Eric<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr">--Yu</div></div>
</div>