[Soot-list] Some problems of HashMutablePDG when analyzing jar files

[Wei MA]

Dear Soot Developers,

Hope everything fine recently.

I use soot to get method PDG graph from soot-4.2.1-jar-with-dependencies.jar,

I am using HashMutablePDG of Soot and I use it to get the PDG graph of each method but I get two issues from the method constructPDG of HashMutablePDG.java :

         1. ClassCastException soot.toolkits.graph.Block cannot be cast to soot.toolkits.graph.pdg.Region 

             It happens in the code lines 432 and 433 in HashMutablePDG.java 

             assert (succRPDGNode.getType() == PDGNode.Type.REGION);

             Region succR = (Region) succRPDGNode.getNode();

1. RuntimeException: PDG construction: A and B are not supposed to be the same node!

           It happens in the code line 200 in HashMutablePDG.java 

          if (b.equals(a)) {

            throw new RuntimeException("PDG construction: A and B are not supposed to be the same node!");

          }

Log message is here:

java.lang.ClassCastException: soot.toolkits.graph.Block cannot be cast to soot.toolkits.graph.pdg.Region

fj.control.Trampoline

zipWith

java.lang.RuntimeException: PDG construction: A and B are not supposed to be the same node!

fj.test.Property$8$1

f

java.lang.RuntimeException: PDG construction: A and B are not supposed to be the same node!

fj.test.Gen$2

f

java.lang.ClassCastException: soot.toolkits.graph.Block cannot be cast to soot.toolkits.graph.pdg.Region

fj.test.Property

check

java.lang.NullPointerException

com.google.common.collect.Collections2$OrderedPermutationIterator

findNextL

java.lang.NullPointerException

com.google.common.collect.Iterators

................

................