[Soot-list] Seems a bug in HashMutablePDG

[Ding Li]

Dear all, I has some issue with HashMutablePDG
<https://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/pdg/HashMutablePDG.html>
.
For the following code,

public class HelloWorld {

    public static void main(String[] args) {
        // Prints "Hello, World" to the terminal window.
int i=0;
for(int k=0;k<3;k++)
{
do
{
System.out.println("Hello, World");
i++;
}while(i<3);
}
    }

}
HashMutablePDG
<https://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/pdg/HashMutablePDG.html>
throws
an exception as "PDG construction: A and B are not supposed to be the same
node!". Not sure if it is a bug or there is anything wrong in my case...


-- 
Sincerely Yours
Ding Li
http://www-scf.usc.edu/~dingli/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20160925/752be7cf/attachment.html