swt.soot -> sse.sootup

soot-oss · Nov 8, 2022 · 6317400 · 6317400
1 parent 8a30c9d
commit 6317400
Show file tree

Hide file tree

Showing 1,783 changed files with 43,644 additions and 43,605 deletions.
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -75,23 +75,23 @@ jobs:
           java-version: 1.8
 
       - name: Test (JDK8)
-        run: mvn -pl '!de.upb.swt.soot.tests' -am verify -B -Dfmt.skip -Dmaven.main.skip=true -PJava8 -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn -X
+        run: mvn -pl '!de.upb.sse.sootup.tests' -am verify -B -Dfmt.skip -Dmaven.main.skip=true -PJava8 -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn -X
 
       - uses: actions/upload-artifact@v3
         if: ${{ always() }}
         with:
           name: coverage-exec
           path: |
                   */target/coverage-reports/jacoco-ut-jdk8.exec
-                  !de.upb.swt.soot.tests/
+                  !de.upb.sse.sootup.tests/
 
       - uses: actions/upload-artifact@v3
         if: ${{ always() }}
         with:
           name: test-reports-jdk8
           path: |
                   */target/surefire-reports
-                  !de.upb.swt.soot.tests/
+                  !de.upb.sse.sootup.tests/
 
 
   JDK9:
@@ -125,23 +125,23 @@ jobs:
           java-version: 1.9
 
       - name: Test (JDK9)
-        run: mvn -pl '!de.upb.swt.soot.tests' -am verify -B -Dfmt.skip -Dmaven.main.skip=true -PJava9 -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn -X
+        run: mvn -pl '!de.upb.sse.sootup.tests' -am verify -B -Dfmt.skip -Dmaven.main.skip=true -PJava9 -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn -X
 
       - uses: actions/upload-artifact@v3
         if: ${{ always() }}
         with:
           name: coverage-exec
           path: |
             */target/coverage-reports/jacoco-ut-jdk9.exec
-            !de.upb.swt.soot.tests/
+            !de.upb.sse.sootup.tests/
 
       - uses: actions/upload-artifact@v3
         if: ${{ always() }}
         with:
           name: test-reports-jdk9
           path: |
             */target/surefire-reports
-            !de.upb.swt.soot.tests/
+            !de.upb.sse.sootup.tests/
 
       # style check is not clean here but does not consume additional time as the other parallel running tests take (way) longer
       - name: Check Format
@@ -179,7 +179,7 @@ jobs:
             ${{ runner.os }}-maven-    
 
       - name: Test (IntegrationTest)
-        run: mvn -pl de.upb.swt.soot.tests -am verify -B -Dfmt.skip -Dmaven.main.skip=true -PIntegrationTest -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn
+        run: mvn -pl de.upb.sse.sootup.tests -am verify -B -Dfmt.skip -Dmaven.main.skip=true -PIntegrationTest -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=warn
 
       - uses: actions/upload-artifact@v3
         if: ${{ always() }}

diff --git a/.gitignore b/.gitignore
@@ -16,7 +16,7 @@
 # Package Files #
 *.jar
 *.war
-!de.upb.swt.soot.java.bytecode/lib/dex-tools-2.2-SNAPSHOT.jar
+!de.upb.sse.sootup.java.bytecode/lib/dex-tools-2.2-SNAPSHOT.jar
 !shared-test-resources/java-miniapps/MiniApp.jar
 !shared-test-resources/java-warApp/dummyWarApp.war
 !shared-test-resources/multi-release-jar/mrjar.jar

diff --git a/LICENSE b/LICENSE
@@ -470,7 +470,7 @@ safest to attach them to the start of each source file to most effectively
 convey the exclusion of warranty; and each file should have at least the
 "copyright" line and a pointer to where the full notice is found.
 
-    FutureSoot
+    SootUp
     Copyright (C) 2018 soot
 
     This library is free software; you can redistribute it and/or

diff --git a/de.upb.sse.sootup.analysis/pom.xml b/de.upb.sse.sootup.analysis/pom.xml
@@ -0,0 +1,68 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
+    <modelVersion>4.0.0</modelVersion>
+
+    <name>SootUp Analysis</name>
+    <artifactId>sootup.analysis</artifactId>
+    <packaging>jar</packaging>
+    <parent>
+        <groupId>de.upb.sse</groupId>
+        <artifactId>sootup</artifactId>
+        <version>1.0.0-SNAPSHOT</version>
+    </parent>
+
+
+    <dependencyManagement>
+        <dependencies>
+            <dependency>
+                <groupId>de.upb.sse</groupId>
+                <artifactId>sootup.java.sourcecode</artifactId>
+                <version>1.0.0-SNAPSHOT</version>
+                <type>pom</type>
+                <scope>import</scope>
+            </dependency>
+        </dependencies>
+    </dependencyManagement>
+
+    <dependencies>
+        <dependency>
+            <groupId>de.upb.sse</groupId>
+            <artifactId>sootup.callgraph</artifactId>
+            <version>1.0.0-SNAPSHOT</version>
+        </dependency>
+        <dependency>
+            <groupId>de.upb.cs.swt</groupId>
+            <artifactId>heros</artifactId>
+            <version>1.2.3-SNAPSHOT</version>
+        </dependency>
+        <dependency>
+            <groupId>de.upb.sse</groupId>
+            <artifactId>sootup.java.bytecode</artifactId>
+            <version>1.0.0-SNAPSHOT</version>
+            <scope>test</scope>
+        </dependency>
+        <dependency>
+            <groupId>de.upb.sse</groupId>
+            <artifactId>sootup.java.sourcecode</artifactId>
+            <version>1.0.0-SNAPSHOT</version>
+            <scope>test</scope>
+        </dependency>
+        <dependency>
+            <groupId>de.upb.sse</groupId>
+            <artifactId>sootup.java.sourcecode</artifactId>
+            <version>1.0.0-SNAPSHOT</version>
+            <scope>test</scope>
+        </dependency>
+    </dependencies>
+    <repositories>
+        <repository>
+            <id>sonatype-snapshots</id>
+            <url>https://oss.sonatype.org/content/repositories/snapshots</url>
+            <releases>
+                <enabled>false</enabled>
+            </releases>
+        </repository>
+    </repositories>
+
+</project>
diff --git a/...cedural/icfg/AbstractJimpleBasedICFG.java → ...cedural/icfg/AbstractJimpleBasedICFG.java b/...cedural/icfg/AbstractJimpleBasedICFG.java → ...cedural/icfg/AbstractJimpleBasedICFG.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.icfg;
+package de.upb.sse.sootup.analysis.interprocedural.icfg;
 
 /*-
  * #%L
@@ -24,15 +24,15 @@
 
 import com.google.common.cache.CacheLoader;
 import com.google.common.cache.LoadingCache;
-import de.upb.swt.soot.core.graph.ExceptionalStmtGraph;
-import de.upb.swt.soot.core.graph.ForwardingStmtGraph;
-import de.upb.swt.soot.core.graph.MutableExceptionalStmtGraph;
-import de.upb.swt.soot.core.graph.StmtGraph;
-import de.upb.swt.soot.core.jimple.basic.Value;
-import de.upb.swt.soot.core.jimple.common.stmt.Stmt;
-import de.upb.swt.soot.core.model.Body;
-import de.upb.swt.soot.core.model.SootMethod;
-import de.upb.swt.soot.core.views.View;
+import de.upb.sse.sootup.core.graph.ExceptionalStmtGraph;
+import de.upb.sse.sootup.core.graph.ForwardingStmtGraph;
+import de.upb.sse.sootup.core.graph.MutableExceptionalStmtGraph;
+import de.upb.sse.sootup.core.graph.StmtGraph;
+import de.upb.sse.sootup.core.jimple.basic.Value;
+import de.upb.sse.sootup.core.jimple.common.stmt.Stmt;
+import de.upb.sse.sootup.core.model.Body;
+import de.upb.sse.sootup.core.model.SootMethod;
+import de.upb.sse.sootup.core.views.View;
 import heros.DontSynchronize;
 import heros.SynchronizedBy;
 import heros.solver.IDESolver;

diff --git a/...ocedural/icfg/BiDiInterproceduralCFG.java → ...ocedural/icfg/BiDiInterproceduralCFG.java b/...ocedural/icfg/BiDiInterproceduralCFG.java → ...ocedural/icfg/BiDiInterproceduralCFG.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.icfg;
+package de.upb.sse.sootup.analysis.interprocedural.icfg;
 
 /*-
  * #%L
@@ -22,8 +22,8 @@
  * #L%
  */
 
-import de.upb.swt.soot.core.graph.StmtGraph;
-import de.upb.swt.soot.core.jimple.basic.Value;
+import de.upb.sse.sootup.core.graph.StmtGraph;
+import de.upb.sse.sootup.core.jimple.basic.Value;
 import heros.InterproceduralCFG;
 import java.util.Collection;
 import java.util.List;

diff --git a/...ysis/interprocedural/icfg/CGEdgeUtil.java → ...ysis/interprocedural/icfg/CGEdgeUtil.java b/...ysis/interprocedural/icfg/CGEdgeUtil.java → ...ysis/interprocedural/icfg/CGEdgeUtil.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.icfg;
+package de.upb.sse.sootup.analysis.interprocedural.icfg;
 
 /*-
  * #%L
@@ -22,13 +22,13 @@
  * #L%
  */
 
-import de.upb.swt.soot.callgraph.CallGraph;
-import de.upb.swt.soot.core.jimple.common.expr.*;
-import de.upb.swt.soot.core.jimple.common.stmt.Stmt;
-import de.upb.swt.soot.core.model.SootClass;
-import de.upb.swt.soot.core.model.SootMethod;
-import de.upb.swt.soot.core.signatures.MethodSignature;
-import de.upb.swt.soot.core.views.View;
+import de.upb.sse.sootup.callgraph.CallGraph;
+import de.upb.sse.sootup.core.jimple.common.expr.*;
+import de.upb.sse.sootup.core.jimple.common.stmt.Stmt;
+import de.upb.sse.sootup.core.model.SootClass;
+import de.upb.sse.sootup.core.model.SootMethod;
+import de.upb.sse.sootup.core.signatures.MethodSignature;
+import de.upb.sse.sootup.core.views.View;
 import java.util.HashSet;
 import java.util.Set;
 import org.apache.commons.lang3.tuple.ImmutablePair;

diff --git a/...rocedural/icfg/CalleeMethodSignature.java → ...rocedural/icfg/CalleeMethodSignature.java b/...rocedural/icfg/CalleeMethodSignature.java → ...rocedural/icfg/CalleeMethodSignature.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.icfg;
+package de.upb.sse.sootup.analysis.interprocedural.icfg;
 
 /*-
  * #%L
@@ -22,8 +22,8 @@
  * #L%
  */
 
-import de.upb.swt.soot.core.jimple.common.stmt.Stmt;
-import de.upb.swt.soot.core.signatures.MethodSignature;
+import de.upb.sse.sootup.core.jimple.common.stmt.Stmt;
+import de.upb.sse.sootup.core.signatures.MethodSignature;
 
 /** Method Signature with its calling CallGraphEdgeType and sourceStmt that invokes the call */
 public class CalleeMethodSignature {

diff --git a/...l/icfg/JimpleBasedInterproceduralCFG.java → ...l/icfg/JimpleBasedInterproceduralCFG.java b/...l/icfg/JimpleBasedInterproceduralCFG.java → ...l/icfg/JimpleBasedInterproceduralCFG.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.icfg;
+package de.upb.sse.sootup.analysis.interprocedural.icfg;
 
 /*-
  * #%L
@@ -24,16 +24,16 @@
 
 import com.google.common.cache.CacheLoader;
 import com.google.common.cache.LoadingCache;
-import de.upb.swt.soot.callgraph.CallGraph;
-import de.upb.swt.soot.callgraph.CallGraphAlgorithm;
-import de.upb.swt.soot.callgraph.ClassHierarchyAnalysisAlgorithm;
-import de.upb.swt.soot.core.jimple.common.stmt.Stmt;
-import de.upb.swt.soot.core.model.SootClass;
-import de.upb.swt.soot.core.model.SootMethod;
-import de.upb.swt.soot.core.signatures.MethodSignature;
-import de.upb.swt.soot.core.typehierarchy.ViewTypeHierarchy;
-import de.upb.swt.soot.core.views.View;
-import de.upb.swt.soot.java.core.views.JavaView;
+import de.upb.sse.sootup.callgraph.CallGraph;
+import de.upb.sse.sootup.callgraph.CallGraphAlgorithm;
+import de.upb.sse.sootup.callgraph.ClassHierarchyAnalysisAlgorithm;
+import de.upb.sse.sootup.core.jimple.common.stmt.Stmt;
+import de.upb.sse.sootup.core.model.SootClass;
+import de.upb.sse.sootup.core.model.SootMethod;
+import de.upb.sse.sootup.core.signatures.MethodSignature;
+import de.upb.sse.sootup.core.typehierarchy.ViewTypeHierarchy;
+import de.upb.sse.sootup.core.views.View;
+import de.upb.sse.sootup.java.core.views.JavaView;
 import heros.DontSynchronize;
 import heros.InterproceduralCFG;
 import heros.SynchronizedBy;

diff --git a/...de/DefaultJimpleIDETabulationProblem.java → ...de/DefaultJimpleIDETabulationProblem.java b/...de/DefaultJimpleIDETabulationProblem.java → ...de/DefaultJimpleIDETabulationProblem.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.ide;
+package de.upb.sse.sootup.analysis.interprocedural.ide;
 
 /*-
  * #%L
@@ -22,8 +22,8 @@
  * #L%
  */
 
-import de.upb.swt.soot.core.jimple.common.stmt.Stmt;
-import de.upb.swt.soot.core.model.SootMethod;
+import de.upb.sse.sootup.core.jimple.common.stmt.Stmt;
+import de.upb.sse.sootup.core.model.SootMethod;
 import heros.InterproceduralCFG;
 import heros.template.DefaultIDETabulationProblem;
 

diff --git a/.../interprocedural/ide/JimpleIDESolver.java → .../interprocedural/ide/JimpleIDESolver.java b/.../interprocedural/ide/JimpleIDESolver.java → .../interprocedural/ide/JimpleIDESolver.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.ide;
+package de.upb.sse.sootup.analysis.interprocedural.ide;
 
 /*-
  * #%L
@@ -22,8 +22,8 @@
  * #L%
  */
 
-import de.upb.swt.soot.core.jimple.common.stmt.Stmt;
-import de.upb.swt.soot.core.model.SootMethod;
+import de.upb.sse.sootup.core.jimple.common.stmt.Stmt;
+import de.upb.sse.sootup.core.model.SootMethod;
 import heros.IDETabulationProblem;
 import heros.InterproceduralCFG;
 import heros.solver.IDESolver;

diff --git a/...s/DefaultJimpleIFDSTabulationProblem.java → ...s/DefaultJimpleIFDSTabulationProblem.java b/...s/DefaultJimpleIFDSTabulationProblem.java → ...s/DefaultJimpleIFDSTabulationProblem.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.ifds;
+package de.upb.sse.sootup.analysis.interprocedural.ifds;
 
 /*-
  * #%L
@@ -22,8 +22,8 @@
  * #L%
  */
 
-import de.upb.swt.soot.core.jimple.common.stmt.Stmt;
-import de.upb.swt.soot.core.model.SootMethod;
+import de.upb.sse.sootup.core.jimple.common.stmt.Stmt;
+import de.upb.sse.sootup.core.model.SootMethod;
 import heros.InterproceduralCFG;
 import heros.template.DefaultIFDSTabulationProblem;
 

diff --git a/...nterprocedural/ifds/JimpleIFDSSolver.java → ...nterprocedural/ifds/JimpleIFDSSolver.java b/...nterprocedural/ifds/JimpleIFDSSolver.java → ...nterprocedural/ifds/JimpleIFDSSolver.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.analysis.interprocedural.ifds;
+package de.upb.sse.sootup.analysis.interprocedural.ifds;
 
 /*-
  * #%L
@@ -22,8 +22,8 @@
  * #L%
  */
 
-import de.upb.swt.soot.core.jimple.common.stmt.Stmt;
-import de.upb.swt.soot.core.model.SootMethod;
+import de.upb.sse.sootup.core.jimple.common.stmt.Stmt;
+import de.upb.sse.sootup.core.model.SootMethod;
 import heros.IFDSTabulationProblem;
 import heros.InterproceduralCFG;
 import heros.solver.IFDSSolver;

diff --git a/...edural/ifds/IFDSTaintAnalysisProblem.java → ...edural/ifds/IFDSTaintAnalysisProblem.java b/...edural/ifds/IFDSTaintAnalysisProblem.java → ...edural/ifds/IFDSTaintAnalysisProblem.java
@@ -1,4 +1,4 @@
-package de.upb.swt.soot.test.analysis.interprocedural.ifds;
+package de.upb.sse.sootup.test.analysis.interprocedural.ifds;
 
 /*-
  * #%L
@@ -22,16 +22,16 @@
  * #L%
  */
 
-import de.upb.swt.soot.analysis.interprocedural.ifds.DefaultJimpleIFDSTabulationProblem;
-import de.upb.swt.soot.core.jimple.basic.Immediate;
-import de.upb.swt.soot.core.jimple.basic.Local;
-import de.upb.swt.soot.core.jimple.basic.Value;
-import de.upb.swt.soot.core.jimple.common.constant.StringConstant;
-import de.upb.swt.soot.core.jimple.common.expr.*;
-import de.upb.swt.soot.core.jimple.common.ref.JStaticFieldRef;
-import de.upb.swt.soot.core.jimple.common.stmt.*;
-import de.upb.swt.soot.core.model.SootMethod;
-import de.upb.swt.soot.core.types.NullType;
+import de.upb.sse.sootup.analysis.interprocedural.ifds.DefaultJimpleIFDSTabulationProblem;
+import de.upb.sse.sootup.core.jimple.basic.Immediate;
+import de.upb.sse.sootup.core.jimple.basic.Local;
+import de.upb.sse.sootup.core.jimple.basic.Value;
+import de.upb.sse.sootup.core.jimple.common.constant.StringConstant;
+import de.upb.sse.sootup.core.jimple.common.expr.*;
+import de.upb.sse.sootup.core.jimple.common.ref.JStaticFieldRef;
+import de.upb.sse.sootup.core.jimple.common.stmt.*;
+import de.upb.sse.sootup.core.model.SootMethod;
+import de.upb.sse.sootup.core.types.NullType;
 import heros.DefaultSeeds;
 import heros.FlowFunction;
 import heros.FlowFunctions;