From 662b8d03466246b1eb08ca878d4fad6f43ee72e0 Mon Sep 17 00:00:00 2001
From: Rushil Venkateswar <rushilv14@gmail.com>
Date: Thu, 27 Feb 2025 15:18:37 +0530
Subject: [PATCH 1/5] Update CallGraphExample to SootUp 2.0.0

---
 CallgraphExample/.idea/misc.xml               |  3 +-
 CallgraphExample/README.md                    |  7 +++
 CallgraphExample/pom.xml                      | 59 ++++++++++++-------
 .../sootup/examples/CallgraphExample.java     | 11 ++--
 4 files changed, 49 insertions(+), 31 deletions(-)

diff --git a/CallgraphExample/.idea/misc.xml b/CallgraphExample/.idea/misc.xml
index 5d8d5c0..bce9fde 100644
--- a/CallgraphExample/.idea/misc.xml
+++ b/CallgraphExample/.idea/misc.xml
@@ -7,9 +7,8 @@
         <option value="$PROJECT_DIR$/pom.xml" />
       </list>
     </option>
-    <option name="workspaceImportForciblyTurnedOn" value="true" />
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="jbr-17" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
 </project>
\ No newline at end of file
diff --git a/CallgraphExample/README.md b/CallgraphExample/README.md
index 885925a..546644c 100644
--- a/CallgraphExample/README.md
+++ b/CallgraphExample/README.md
@@ -1,2 +1,9 @@
 # SootUp-Examples
 Example code to help getting start with SootUp
+
+## How to install SootUp 2.0.0
+```
+git clone https://github.com/soot-oss/SootUp
+mvn install
+```
+This installs SootUp 2.0.0-SNAPSHOT version to your local Maven Repository
\ No newline at end of file
diff --git a/CallgraphExample/pom.xml b/CallgraphExample/pom.xml
index 5bc9e88..6fab1fe 100644
--- a/CallgraphExample/pom.xml
+++ b/CallgraphExample/pom.xml
@@ -8,53 +8,68 @@
     <parent>
         <groupId>org.soot-oss</groupId>
         <artifactId>sootup</artifactId>
-        <version>1.1.2-SNAPSHOT</version>
+        <version>2.0.0-SNAPSHOT</version>
     </parent>
 
     <dependencies>
         <dependency>
             <groupId>org.soot-oss</groupId>
             <artifactId>sootup.callgraph</artifactId>
-            <version>1.1.2-SNAPSHOT</version>
+            <version>2.0.0-SNAPSHOT</version>
         </dependency>
         <dependency>
             <groupId>org.soot-oss</groupId>
             <artifactId>sootup.core</artifactId>
-            <version>1.1.2-SNAPSHOT</version>
+            <version>2.0.0-SNAPSHOT</version>
         </dependency>
         <dependency>
             <groupId>org.soot-oss</groupId>
-            <artifactId>sootup.java.bytecode</artifactId>
-            <version>1.1.2-SNAPSHOT</version>
+            <artifactId>sootup.java.bytecode.frontend</artifactId>
+            <version>2.0.0-SNAPSHOT</version>
         </dependency>
         <dependency>
             <groupId>org.soot-oss</groupId>
             <artifactId>sootup.java.core</artifactId>
-            <version>1.1.2-SNAPSHOT</version>
+            <version>2.0.0-SNAPSHOT</version>
         </dependency>
         <dependency>
             <groupId>org.soot-oss</groupId>
-            <artifactId>sootup.java.sourcecode</artifactId>
-            <version>1.1.2-SNAPSHOT</version>
+            <artifactId>sootup.java.sourcecode.frontend</artifactId>
+            <version>2.0.0-SNAPSHOT</version>
         </dependency>
         <dependency>
             <groupId>org.soot-oss</groupId>
-            <artifactId>sootup.jimple.parser</artifactId>
-            <version>1.1.2-SNAPSHOT</version>
+            <artifactId>sootup.jimple.frontend</artifactId>
+            <version>2.0.0-SNAPSHOT</version>
+        </dependency>
+        <dependency>
+            <groupId>org.soot-oss</groupId>
+            <artifactId>sootup.qilin</artifactId>
+            <version>2.0.0-SNAPSHOT</version>
+        </dependency>
+        <dependency>
+            <groupId>org.soot-oss</groupId>
+            <artifactId>sootup.interceptors</artifactId>
+            <version>2.0.0-SNAPSHOT</version>
+        </dependency>
+        <dependency>
+            <groupId>org.soot-oss</groupId>
+            <artifactId>sootup.analysis.interprocedural</artifactId>
+            <version>2.0.0-SNAPSHOT</version>
+        </dependency>
+        <dependency>
+            <groupId>org.soot-oss</groupId>
+            <artifactId>sootup.analysis.intraprocedural</artifactId>
+            <version>2.0.0-SNAPSHOT</version>
         </dependency>
-    </dependencies>
 
-    <dependencyManagement>
-        <dependencies>
-            <dependency>
-                <groupId>org.soot-oss</groupId>
-                <artifactId>sootup.java.sourcecode</artifactId>
-                <version>1.1.2-SNAPSHOT</version>
-                <type>pom</type>
-                <scope>import</scope>
-            </dependency>
-        </dependencies>
-    </dependencyManagement>
+        <!--Logging Framework Provider-->
+        <dependency>
+            <groupId>ch.qos.logback</groupId>
+            <artifactId>logback-classic</artifactId>
+            <version>1.4.14</version>
+        </dependency>
+    </dependencies>
 
     <build>
         <plugins>
diff --git a/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java b/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
index 5a8b02c..1903de8 100644
--- a/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
+++ b/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
@@ -12,11 +12,8 @@
 import sootup.core.typehierarchy.ViewTypeHierarchy;
 import sootup.core.types.ClassType;
 import sootup.core.types.VoidType;
-import sootup.java.bytecode.inputlocation.JavaClassPathAnalysisInputLocation;
+import sootup.java.bytecode.frontend.inputlocation.JavaClassPathAnalysisInputLocation;
 import sootup.java.core.JavaIdentifierFactory;
-//import sootup.java.core.JavaProject;
-import sootup.java.core.JavaSootClass;
-import sootup.java.core.language.JavaLanguage;
 import sootup.java.core.views.JavaView;
 
 public class CallgraphExample {
@@ -27,9 +24,9 @@ public static void main(String[] args) {
     List<AnalysisInputLocation> inputLocations = new ArrayList<>();
     inputLocations.add(
             new JavaClassPathAnalysisInputLocation("src/test/resources/Callgraph/binary"));
-    inputLocations.add(
-            new JavaClassPathAnalysisInputLocation(
-                    System.getProperty("java.home") + "/lib/rt.jar")); // add rt.jar
+//    inputLocations.add(
+//            new JavaClassPathAnalysisInputLocation(
+//                    System.getProperty("java.home") + "/lib/rt.jar")); // add rt.jar
 
     JavaView view = new JavaView(inputLocations);
 

From 6d1a3994a5cbeff55047b6262145963067c668d6 Mon Sep 17 00:00:00 2001
From: Rushil Venkateswar <rushilv14@gmail.com>
Date: Thu, 27 Feb 2025 15:40:53 +0530
Subject: [PATCH 2/5] Add run configurations to compile sources and run the
 main class

---
 .../runConfigurations/CallgraphExample.xml    | 15 ++++++++
 .../Compile_Callgraph_Source.xml              | 35 +++++++++++++++++++
 CallgraphExample/pom.xml                      | 11 ++++++
 3 files changed, 61 insertions(+)
 create mode 100644 CallgraphExample/.idea/runConfigurations/CallgraphExample.xml
 create mode 100644 CallgraphExample/.idea/runConfigurations/Compile_Callgraph_Source.xml

diff --git a/CallgraphExample/.idea/runConfigurations/CallgraphExample.xml b/CallgraphExample/.idea/runConfigurations/CallgraphExample.xml
new file mode 100644
index 0000000..f85b0c0
--- /dev/null
+++ b/CallgraphExample/.idea/runConfigurations/CallgraphExample.xml
@@ -0,0 +1,15 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="CallgraphExample" type="Application" factoryName="Application" nameIsGenerated="true">
+    <option name="MAIN_CLASS_NAME" value="sootup.examples.CallgraphExample" />
+    <module name="sootup.examples" />
+    <extension name="coverage">
+      <pattern>
+        <option name="PATTERN" value="sootup.examples.*" />
+        <option name="ENABLED" value="true" />
+      </pattern>
+    </extension>
+    <method v="2">
+      <option name="Make" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/CallgraphExample/.idea/runConfigurations/Compile_Callgraph_Source.xml b/CallgraphExample/.idea/runConfigurations/Compile_Callgraph_Source.xml
new file mode 100644
index 0000000..6c712a5
--- /dev/null
+++ b/CallgraphExample/.idea/runConfigurations/Compile_Callgraph_Source.xml
@@ -0,0 +1,35 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Compile Callgraph Source" type="MavenRunConfiguration" factoryName="Maven">
+    <MavenSettings>
+      <option name="myGeneralSettings" />
+      <option name="myRunnerSettings" />
+      <option name="myRunnerParameters">
+        <MavenRunnerParameters>
+          <option name="cmdOptions" />
+          <option name="profiles">
+            <set />
+          </option>
+          <option name="goals">
+            <list>
+              <option value="clean" />
+              <option value="compile" />
+              <option value="-DsourceDirectory=src/test/resources/Callgraph/source" />
+              <option value="-DoutputDirectory=src/test/resources/Callgraph/binary" />
+            </list>
+          </option>
+          <option name="multimoduleDir" />
+          <option name="pomFileName" />
+          <option name="profilesMap">
+            <map />
+          </option>
+          <option name="projectsCmdOptionValues">
+            <list />
+          </option>
+          <option name="resolveToWorkspace" value="false" />
+          <option name="workingDirPath" value="$PROJECT_DIR$" />
+        </MavenRunnerParameters>
+      </option>
+    </MavenSettings>
+    <method v="2" />
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/CallgraphExample/pom.xml b/CallgraphExample/pom.xml
index 6fab1fe..08e9f5c 100644
--- a/CallgraphExample/pom.xml
+++ b/CallgraphExample/pom.xml
@@ -81,6 +81,17 @@
                     <skip>true</skip>
                 </configuration>
             </plugin>
+            <plugin>
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-compiler-plugin</artifactId>
+                <version>3.8.1</version>
+                <configuration>
+                    <compileSourceRoots>
+                        <compileSourceRoot>${project.basedir}/src/test/resources/Callgraph/source</compileSourceRoot>
+                    </compileSourceRoots>
+                    <outputDirectory>${project.basedir}/src/test/resources/Callgraph/binary</outputDirectory>
+                </configuration>
+            </plugin>
         </plugins>
     </build>
 

From 9a8a3d963c66423ec91eed29d6b082f2d7e99763 Mon Sep 17 00:00:00 2001
From: Rushil Venkateswar <rushilv14@gmail.com>
Date: Thu, 27 Feb 2025 17:16:45 +0530
Subject: [PATCH 3/5] Update examples and add RTA source code to
 CallGraphExample

---
 ...phExample.xml => Run_CallgraphExample.xml} |   2 +-
 .../sootup/examples/CallgraphExample.java     |  52 +++++++++++++-----
 .../test/resources/Callgraph/binary/A.class   | Bin 232 -> 0 bytes
 .../test/resources/Callgraph/binary/B.class   | Bin 265 -> 0 bytes
 .../test/resources/Callgraph/binary/C.class   | Bin 217 -> 0 bytes
 .../test/resources/Callgraph/binary/D.class   | Bin 217 -> 0 bytes
 .../test/resources/Callgraph/source/A.java    |   3 +
 .../test/resources/Callgraph/source/B.java    |   6 ++
 .../test/resources/Callgraph/source/C.java    |   7 +++
 9 files changed, 54 insertions(+), 16 deletions(-)
 rename CallgraphExample/.idea/runConfigurations/{CallgraphExample.xml => Run_CallgraphExample.xml} (78%)
 delete mode 100644 CallgraphExample/src/test/resources/Callgraph/binary/A.class
 delete mode 100644 CallgraphExample/src/test/resources/Callgraph/binary/B.class
 delete mode 100644 CallgraphExample/src/test/resources/Callgraph/binary/C.class
 delete mode 100644 CallgraphExample/src/test/resources/Callgraph/binary/D.class

diff --git a/CallgraphExample/.idea/runConfigurations/CallgraphExample.xml b/CallgraphExample/.idea/runConfigurations/Run_CallgraphExample.xml
similarity index 78%
rename from CallgraphExample/.idea/runConfigurations/CallgraphExample.xml
rename to CallgraphExample/.idea/runConfigurations/Run_CallgraphExample.xml
index f85b0c0..9c09e64 100644
--- a/CallgraphExample/.idea/runConfigurations/CallgraphExample.xml
+++ b/CallgraphExample/.idea/runConfigurations/Run_CallgraphExample.xml
@@ -1,5 +1,5 @@
 <component name="ProjectRunConfigurationManager">
-  <configuration default="false" name="CallgraphExample" type="Application" factoryName="Application" nameIsGenerated="true">
+  <configuration default="false" name="Run CallgraphExample" type="Application" factoryName="Application">
     <option name="MAIN_CLASS_NAME" value="sootup.examples.CallgraphExample" />
     <module name="sootup.examples" />
     <extension name="coverage">
diff --git a/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java b/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
index 1903de8..440f5b0 100644
--- a/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
+++ b/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
@@ -4,14 +4,20 @@
 import java.util.Collections;
 import java.util.List;
 
+import qilin.CoreConfig;
+import qilin.core.PTA;
+import qilin.driver.PTAFactory;
+import qilin.driver.PTAPattern;
 import sootup.callgraph.CallGraph;
 import sootup.callgraph.CallGraphAlgorithm;
 import sootup.callgraph.ClassHierarchyAnalysisAlgorithm;
+import sootup.callgraph.RapidTypeAnalysisAlgorithm;
 import sootup.core.inputlocation.AnalysisInputLocation;
 import sootup.core.signatures.MethodSignature;
 import sootup.core.typehierarchy.ViewTypeHierarchy;
 import sootup.core.types.ClassType;
-import sootup.core.types.VoidType;
+import sootup.core.types.PrimitiveType;
+//import sootup.core.types.VoidType;
 import sootup.java.bytecode.frontend.inputlocation.JavaClassPathAnalysisInputLocation;
 import sootup.java.core.JavaIdentifierFactory;
 import sootup.java.core.views.JavaView;
@@ -19,38 +25,54 @@
 public class CallgraphExample {
 
   public static void main(String[] args) {
+//    CoreConfig config = new CoreConfig();
+//    System.out.println(config.getPtaConfig());
     // Create a AnalysisInputLocation, which points to a directory. All class files will be loaded
     // from the directory
     List<AnalysisInputLocation> inputLocations = new ArrayList<>();
     inputLocations.add(
             new JavaClassPathAnalysisInputLocation("src/test/resources/Callgraph/binary"));
-//    inputLocations.add(
-//            new JavaClassPathAnalysisInputLocation(
-//                    System.getProperty("java.home") + "/lib/rt.jar")); // add rt.jar
 
     JavaView view = new JavaView(inputLocations);
 
     // Get a MethodSignature
     ClassType classTypeA = view.getIdentifierFactory().getClassType("A");
-    ClassType classTypeB = view.getIdentifierFactory().getClassType("B");
+    ClassType classTypeC = view.getIdentifierFactory().getClassType("C");
     MethodSignature entryMethodSignature =
             JavaIdentifierFactory.getInstance()
                     .getMethodSignature(
-                            classTypeB,
+                            classTypeC,
                             JavaIdentifierFactory.getInstance()
                                     .getMethodSubSignature(
-                                            "calc", VoidType.getInstance(), Collections.singletonList(classTypeA)));
+                                        "calc",
+                                        PrimitiveType.IntType.getInstance(),
+                                        Collections.singletonList(PrimitiveType.IntType.getInstance())
+                                    )
+                    );
 
-    // Create type hierarchy and CHA
-    final ViewTypeHierarchy typeHierarchy = new ViewTypeHierarchy(view);
-    System.out.println(typeHierarchy.subclassesOf(classTypeA));
-    CallGraphAlgorithm cha = new ClassHierarchyAnalysisAlgorithm(view);
+//    // Create type hierarchy and CHA
+//    final ViewTypeHierarchy typeHierarchy = new ViewTypeHierarchy(view);
+//    typeHierarchy.subclassesOf(classTypeA).forEach(System.out::println);
 
-    // Create CG by initializing CHA with entry method(s)
-    CallGraph cg = cha.initialize(Collections.singletonList(entryMethodSignature));
 
-    cg.callsFrom(entryMethodSignature).forEach(System.out::println);
-  }
+    // Create CG by initializing CHA with entry method(s)
+    System.out.println("-------------CHA---------------");
+    CallGraphAlgorithm cha = new ClassHierarchyAnalysisAlgorithm(view);
+    CallGraph cg1 = cha.initialize(Collections.singletonList(entryMethodSignature));
+    cg1.callsFrom(entryMethodSignature).forEach(System.out::println);
 
+    // Create CG by using RTA with entry method(s)
+    System.out.println("-------------RTA---------------");
+    CallGraphAlgorithm rta = new RapidTypeAnalysisAlgorithm(view);
+    CallGraph cg2 = rta.initialize(Collections.singletonList(entryMethodSignature));
+    cg2.callsFrom(entryMethodSignature).forEach(System.out::println);
 
+//    // Create CG by using QPA with entry method(s)
+//    System.out.println("-------------PTA---------------");
+//    PTAPattern pattern = new PTAPattern("insens");
+//    PTA pta = PTAFactory.createPTA(pattern, view, "C");
+//    pta.run();
+//    CallGraph cg3 = pta.getCallGraph();
+//    cg3.callsFrom(entryMethodSignature).forEach(System.out::println);
+  }
 }
diff --git a/CallgraphExample/src/test/resources/Callgraph/binary/A.class b/CallgraphExample/src/test/resources/Callgraph/binary/A.class
deleted file mode 100644
index 3edb8c8e9d608b32e4179a225a54b21a9f6ab536..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 232
zcmZ8ay9&ZU5S-29qA?nKwXjnQ(^!fS1R)?=DAr!$A(5DXBz~2Rm0;lq_)+4XrCZGG
z%+Bt<KhGC{349kOJO@n&ErOV)d0Ng0=3uxZSo7kb2>vq7)v7wj>avw_#*UT9EMXc%
z!-(K+it3W6MXE<49G~P>daz&<C?vGC4l<b^gLQmTNr^rT{;JCWUxCdiSoN5R*&aPW
icWwv{qxhM6R70InN4vagFk2n5zx^dm&baIuXnX;p+aQ?$

diff --git a/CallgraphExample/src/test/resources/Callgraph/binary/B.class b/CallgraphExample/src/test/resources/Callgraph/binary/B.class
deleted file mode 100644
index 0388f728562e6da8e6e8e0179a2046730ed38853..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 265
zcmYL@KWhR(5XIlzt+&bMqUKL)5z?Fyw6QY;G!PIZDH62aJC|^BxdYLBFB=7md;mXG
z@U4wo%$t4ld&3<5_kRHTxHnL^HmIYa(bTvRM9+DduU-UU(w+*`Yc+R*#w0J@`}!w!
z%P*T2bW~=GjCe8`4m@Z+tMxK-Z@C{vqwd1~+88xN8n-bnaVL<Gpy~ZyVaxB{N4jv?
ziuRD(l5u;C2ZX%GzX0O1teU?TRj9S69c05saKY-wz89`HtR8)2G@$B^+9H^pVRN!W
Lh7{2&A_3wf7ak+B

diff --git a/CallgraphExample/src/test/resources/Callgraph/binary/C.class b/CallgraphExample/src/test/resources/Callgraph/binary/C.class
deleted file mode 100644
index dbcf5e4658ee58d9138c9ba6bed08db4b0cf1a63..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 217
zcmZ8aF$%&!5S+c-T{K4X0JX47EUYX=kboeFjbiO3rijD@g7H;0R)U2O@KNHPr3*W=
zJ2T6^KhGC{DFP1;d>368J%XO)Wqz3xoG{uGWLzCHLa@%uY}1^RtlpWVU`3{;NSVS_
zv?6%hs;Sd#nOjT8lasj`9}<c{G4}!^2!3NrfX|>9HE%;^Vpih^=*|PdWz;{>S}n90
WZFIn=f?4*};r5qwIODM<(D?$c8XDCA

diff --git a/CallgraphExample/src/test/resources/Callgraph/binary/D.class b/CallgraphExample/src/test/resources/Callgraph/binary/D.class
deleted file mode 100644
index ea6682f0f56bc9e035560449c3318dc53842e692..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 217
zcmZ8aF%E)25S%@ZLlNZxYGDT!R+h#FVnSkUG}azSfk8-!_$nJK6AK^Uql|l&Zn87G
zGqc(E=lKFKhws9I=b-OkKv0XKDlSWc6@+_&jOt@f@Yh9^Z`yO3H#?n{tjJ848B>si
z3BldgZIk7z!dNPvo%B_Ekgy39b4Qp!@EcPCd<L6Q@it~AW_$Vo-FYB5jOr&EtAj41
ViH`VGFw3Dl-2RdlXI$0<dS9=@8rT2;

diff --git a/CallgraphExample/src/test/resources/Callgraph/source/A.java b/CallgraphExample/src/test/resources/Callgraph/source/A.java
index de78cd2..08fbfb1 100644
--- a/CallgraphExample/src/test/resources/Callgraph/source/A.java
+++ b/CallgraphExample/src/test/resources/Callgraph/source/A.java
@@ -2,4 +2,7 @@ public class A {
   public int calc(int a) {
     return a + 3;
   }
+  public void bar() {
+    System.out.println("Bar");
+  }
 }
\ No newline at end of file
diff --git a/CallgraphExample/src/test/resources/Callgraph/source/B.java b/CallgraphExample/src/test/resources/Callgraph/source/B.java
index be6169e..acd7d1c 100644
--- a/CallgraphExample/src/test/resources/Callgraph/source/B.java
+++ b/CallgraphExample/src/test/resources/Callgraph/source/B.java
@@ -2,4 +2,10 @@ public class B {
   public void calc(A a) {
     a.calc(1); // can be A.calc, B.calc, C.calc
   }
+  public void foo(int x) {
+    // conditional instantiation check
+    A a = new A();
+    a.bar();
+    System.out.println("Foo");
+  }
 }
\ No newline at end of file
diff --git a/CallgraphExample/src/test/resources/Callgraph/source/C.java b/CallgraphExample/src/test/resources/Callgraph/source/C.java
index 1a31fa5..261ce1f 100644
--- a/CallgraphExample/src/test/resources/Callgraph/source/C.java
+++ b/CallgraphExample/src/test/resources/Callgraph/source/C.java
@@ -1,5 +1,12 @@
 public class C extends A {
   public int calc(int a) {
+    B b = new B();
+    b.foo(a);
     return a + 2;
   }
+
+  public static void main(String[] args) {
+    C c = new C();
+    c.calc(1);
+  }
 }
\ No newline at end of file

From a639ee9ad5a6715850cbfe53db336ac5fa06723e Mon Sep 17 00:00:00 2001
From: Rushil Venkateswar <rushilv14@gmail.com>
Date: Thu, 27 Feb 2025 17:32:32 +0530
Subject: [PATCH 4/5] Add recursive print method to class

---
 .../sootup/examples/CallgraphExample.java     | 39 +++++++++++++++++--
 1 file changed, 36 insertions(+), 3 deletions(-)

diff --git a/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java b/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
index 440f5b0..1144668 100644
--- a/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
+++ b/CallgraphExample/src/main/java/sootup/examples/CallgraphExample.java
@@ -3,6 +3,7 @@
 import java.util.ArrayList;
 import java.util.Collections;
 import java.util.List;
+import java.util.HashSet;
 
 import qilin.CoreConfig;
 import qilin.core.PTA;
@@ -17,12 +18,27 @@
 import sootup.core.typehierarchy.ViewTypeHierarchy;
 import sootup.core.types.ClassType;
 import sootup.core.types.PrimitiveType;
-//import sootup.core.types.VoidType;
+
 import sootup.java.bytecode.frontend.inputlocation.JavaClassPathAnalysisInputLocation;
 import sootup.java.core.JavaIdentifierFactory;
 import sootup.java.core.views.JavaView;
 
+import org.slf4j.LoggerFactory;
+import ch.qos.logback.classic.Logger;
+import ch.qos.logback.classic.Level;
+
 public class CallgraphExample {
+  static {
+    // Set logger level programmatically
+    Logger rootLogger = (Logger) LoggerFactory.getLogger("sootup");
+    rootLogger.setLevel(Level.ERROR);
+
+    Logger callgraphLogger = (Logger) LoggerFactory.getLogger("sootup.callgraph");
+    callgraphLogger.setLevel(Level.ERROR);
+
+    Logger typeHierarchyLogger = (Logger) LoggerFactory.getLogger("sootup.core.typehierarchy");
+    typeHierarchyLogger.setLevel(Level.ERROR);
+  }
 
   public static void main(String[] args) {
 //    CoreConfig config = new CoreConfig();
@@ -59,13 +75,15 @@ public static void main(String[] args) {
     System.out.println("-------------CHA---------------");
     CallGraphAlgorithm cha = new ClassHierarchyAnalysisAlgorithm(view);
     CallGraph cg1 = cha.initialize(Collections.singletonList(entryMethodSignature));
-    cg1.callsFrom(entryMethodSignature).forEach(System.out::println);
+//    cg1.callsFrom(entryMethodSignature).forEach(System.out::println);
+    recursivePrint(entryMethodSignature, cg1, new HashSet<>(), "");
 
     // Create CG by using RTA with entry method(s)
     System.out.println("-------------RTA---------------");
     CallGraphAlgorithm rta = new RapidTypeAnalysisAlgorithm(view);
     CallGraph cg2 = rta.initialize(Collections.singletonList(entryMethodSignature));
-    cg2.callsFrom(entryMethodSignature).forEach(System.out::println);
+//    cg2.callsFrom(entryMethodSignature).forEach(System.out::println);
+    recursivePrint(entryMethodSignature, cg2, new HashSet<>(), "");
 
 //    // Create CG by using QPA with entry method(s)
 //    System.out.println("-------------PTA---------------");
@@ -75,4 +93,19 @@ public static void main(String[] args) {
 //    CallGraph cg3 = pta.getCallGraph();
 //    cg3.callsFrom(entryMethodSignature).forEach(System.out::println);
   }
+
+  public static void recursivePrint(MethodSignature m, CallGraph cg, HashSet<Integer> visited, String indent) {
+      // Base case: if the method has already been visited, return to avoid infinite recursion
+      if (visited.contains(m.hashCode())) {
+        return;
+      }
+      // Pretty print the node
+      System.out.println(indent + " -> " + m);
+
+      // Mark the method as visited
+      visited.add(m.hashCode());
+
+      // Pretty print the children with indentation
+      cg.callTargetsFrom(m).forEach(child -> recursivePrint(child, cg, visited, indent + "    "));
+    }
 }

From 4f33b08ab9702aad917dd9d3f10f375951e296fa Mon Sep 17 00:00:00 2001
From: Rushil Venkateswar <rushilv14@gmail.com>
Date: Fri, 28 Feb 2025 22:09:06 +0530
Subject: [PATCH 5/5] Add .class files

---
 .../src/test/resources/Callgraph/binary/A.class   | Bin 0 -> 535 bytes
 .../src/test/resources/Callgraph/binary/B.class   | Bin 0 -> 646 bytes
 .../src/test/resources/Callgraph/binary/C.class   | Bin 0 -> 550 bytes
 .../src/test/resources/Callgraph/binary/D.class   | Bin 0 -> 305 bytes
 4 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 CallgraphExample/src/test/resources/Callgraph/binary/A.class
 create mode 100644 CallgraphExample/src/test/resources/Callgraph/binary/B.class
 create mode 100644 CallgraphExample/src/test/resources/Callgraph/binary/C.class
 create mode 100644 CallgraphExample/src/test/resources/Callgraph/binary/D.class

diff --git a/CallgraphExample/src/test/resources/Callgraph/binary/A.class b/CallgraphExample/src/test/resources/Callgraph/binary/A.class
new file mode 100644
index 0000000000000000000000000000000000000000..0cc4af318c398d87e0fda74bff4eae0df0706f38
GIT binary patch
literal 535
zcmZuuO-sW-6r63+q>0hi*4B^uRlT$x%tcVB2vraYL4``sZqiV<q=}@d;D7R>2L%uQ
z0DqMDHZ8S+fqk?4-puT<`TG9&1aO3X6B#HvR0~;X421!I<aWTrzJ2Wud@o_pPDLn^
zGX|yJ=o-ku&|z9wfc1yoc^W1DkXX@}L}e#65|Moqi!kXVvCoIi9F~Z1&SMh=EbAy*
zC}D-6^beUqe~{83B)9s+F3m+=BJ4LCT^$t$)?!dEqMpx?cSPu4jfbuu-*PvgPSJ@x
z9&~vu<aydulY23u7*4B6Qkr`N^>(98W}FtG;_{fm>_p?(^Dl+8(prZyBx)$ri^)#`
zlW#_Kl}<JxBg`JWgT2rugEgvh3|i|{tqB1esHVM5Y*9ywPlzo|)v9*)OgOJqQf*~2
spK6JTZS0VmVRshcm^kt_;}v>w@eTRk81gU6FgfURQH)uXT6*c;53_bu!2kdN

literal 0
HcmV?d00001

diff --git a/CallgraphExample/src/test/resources/Callgraph/binary/B.class b/CallgraphExample/src/test/resources/Callgraph/binary/B.class
new file mode 100644
index 0000000000000000000000000000000000000000..d74de2bf7f4d239c717910f952ccdfda365d055d
GIT binary patch
literal 646
zcmZvZ+iuf95QhJa-PmzmTGFPRq2=iG<QwjSKnYT%Nai4=3gQZFf+<@iUgSCm9t$o~
zsYpBk4~6*0j;N5ZwX?gkGv7Zu`|J1lPXLb*2dKgE;D%U2U19A+f7bCtXUFlY(MdWk
z6zWe*W{Rf@PShR-@X_!PgjhzXpt=g~SWm{BqJFzC$BvlQ5NpD7MmlexiFFSfAzIk{
zM`G~xv`D9nvNH;`l2Y8*_;qfwVo>C%o_2g(Wx%1e0j}eQhnpd8;kLs1e}WafPm(&x
zNQ)|5c^9%wcHC(XJ#4Y+9?N}h-=_+ziOJHJv*{?!kMw9lPcyN+&`{?__6w(5d^D#l
zBk6V6kSOUAMUEC%moDdnwN(qm{e`2i5De@rAE$>#u=U=76pU@$VaMfjprq%t+uX&R
z73Za$GpKJ|)Nq$pj=^z{Hmm}09}i03G9J<+$<G)qP;b|r!+Ud)F0U&}b+{#BvkF@v
zn1Dx!2vKNbX90W17>8M{AMoFvVdcf%9GAZ1a`Va@*DlaaA_d^{57EE|f>L6uO8zU+
U!Y=lR_OVim)wtegW(@~_0ObN<v;Y7A

literal 0
HcmV?d00001

diff --git a/CallgraphExample/src/test/resources/Callgraph/binary/C.class b/CallgraphExample/src/test/resources/Callgraph/binary/C.class
new file mode 100644
index 0000000000000000000000000000000000000000..5e4a6959eb494fabb060a7ee3578007a078a29dc
GIT binary patch
literal 550
zcmZuu%T5A85UgRB$F2(qC_eCoj|9}n#T&*%HZdWtUN8{j#Q_o5z;3dFU**LMB$D_6
zew49>CGp~6x~HqVs(X6Ae?GqeoZ`Sl1X>)rg(zYI;zA&H=6de%TtF+8n{gzF)=b2q
zDYIa~LXx>B-xttJbybpPiESdKN>a#L$YF`ej_h~BnmV2BKXwJuj_Y-AMuT=YxRvcb
zk*wphuqgvq#dA;}KD)2%;@DMcOCCyywnAz|^nr9efqd!Sd693j(wAPZ(ijG=*Q=JB
z%*&uhdhVYzWjK`C@JB(Xd+DkPV)ltrL6O5pxE4TzQ2U@=W>ldU^wGl!#0M`C<Y`qJ
zJS((TSb$Zm%`h&2h$6Stg6T6;#P23Bu8#|2n1$%WJHb$hd*fY00y>iHs|0sK(p->q
ztfN551Pp9olS~6!*q%4JVyq@lPmyAiMdwH#Bh&huHEdy!u6}4?)*>HL*s4fsf}gv~
M>D5#B7)P-G3+jDG`Tzg`

literal 0
HcmV?d00001

diff --git a/CallgraphExample/src/test/resources/Callgraph/binary/D.class b/CallgraphExample/src/test/resources/Callgraph/binary/D.class
new file mode 100644
index 0000000000000000000000000000000000000000..68bb813316fda353253f9b0d41c25ec65ea27f9d
GIT binary patch
literal 305
zcmYLEO>4qH6r7i=NgKbam0o)CrXKXtLqYLkC<vjKis!B|;EEcEAHS-Xo(etq1N>3q
zY!qC0Z+J6rhPS8l{}I3&8UY-*K2!+>cmf#-yn)%6-B94R+EX77WJ7@(rSn8kjm#$b
z+^=UzHqo;cnR=AQdNtLVvGa{oyM@^@AqxAnQjZC(aeK@#%_0V0={}2-4`V~Tu)EX;
zjV62^WS;}EC$T?r>Jf!l==?!`b2(tQGFV0S(shAY&bbPzWUTp}VK!8~s_!47gS*$w
Ty)Re&=H(`yP@|i_%lDrz+8-tc

literal 0
HcmV?d00001