<div dir="ltr">Dear all, I has some issue with <a href="https://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/pdg/HashMutablePDG.html" title="class in soot.toolkits.graph.pdg" style="font-family:times;font-size:medium">HashMutablePDG</a>.<div>For the following code, </div><div><br></div><div><div>public class HelloWorld {</div><div><br></div><div>    public static void main(String[] args) {</div><div>        // Prints &quot;Hello, World&quot; to the terminal window.</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                </span>int i=0;</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                </span>for(int k=0;k&lt;3;k++)</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                </span>{</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                        </span>do</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                        </span>{</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                                </span>System.out.println(&quot;Hello, World&quot;);</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                                </span>i++;</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                        </span>}while(i&lt;3);</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                </span>}</div><div>    }</div><div><br></div><div>}</div><div><a href="https://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/pdg/HashMutablePDG.html" title="class in soot.toolkits.graph.pdg" style="font-family:times;font-size:medium">HashMutablePDG</a> throws an exception as &quot;PDG construction: A and B are not supposed to be the same node!&quot;. Not sure if it is a bug or there is anything wrong in my case...<br></div><div><br></div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><font size="2"><font color="#222222" face="宋体"><span style="line-height:21px">Sincerely Yours </span></font><br></font><div><font size="2">Ding Li</font></div><div><font size="2"><a href="http://www-scf.usc.edu/~dingli/" target="_blank">http://www-scf.usc.edu/~dingli/</a></font><br></div></div></div></div>
</div></div>