<div dir="ltr">Hi all,<div><div><br></div><div>Does anyone ever use Manu&#39;s pointer analysis(PLDI06) to answer context-sensitive queries?</div><div style="font-size:13px"><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></div><div style="font-size:13px"><br></div><div style="font-size:13px">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&#39;t find anything related to the context-sensitive call graph, not even its data structure. Can someone give me the pointer to that part?</div><div style="font-size:13px"><br></div><div style="font-size:13px">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&#39;s unsupported. </div><div style="font-size:13px"><br></div><div style="font-size:13px"><div><span style="white-space:pre-wrap">        </span>public PointsToSet reachingObjects(Context c, Local l) {</div><div><span style="white-space:pre-wrap">                </span>throw new UnsupportedOperationException();</div><div><span style="white-space:pre-wrap">        </span>}</div></div><div style="font-size:13px"><br></div><div style="font-size:13px">I was wondering whether I am missing something important while running the tool.</div><div style="font-size:13px"><br></div><div style="font-size:13px">Best,</div><div style="font-size:13px">Yu</div></div></div>