diff --git a/.gitmodules b/.gitmodules
index 1a37153..8eec204 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "soot-dev-iccbot"]
+[submodule "soot-dev"]
path = soot-dev
url = https://github.com/LightningRS/soot-dev-iccbot.git
diff --git a/CrashTracker/pom.xml b/CrashTracker/pom.xml
index a05c4bb..d342ac3 100644
--- a/CrashTracker/pom.xml
+++ b/CrashTracker/pom.xml
@@ -10,8 +10,8 @@
UTF-8
- 1.8
- 1.8
+ ${java.version}
+ ${java.version}
@@ -102,7 +102,7 @@
org.soot-oss
soot
- 4.4.0-SNAPSHOT-ICCBot
+ 4.5.0-SNAPSHOT-ICCBot
org.smali
@@ -130,44 +130,7 @@
-
-
-
-
com.google.guava
@@ -252,7 +215,7 @@
org.testng
testng
- 7.7.0
+ 7.6.1
test
@@ -269,16 +232,32 @@
logback-classic
1.2.11
+
org.junit.jupiter
junit-jupiter-api
5.9.0
compile
+
+
+
+ org.sosy-lab
+ java-smt
+ 3.14.3
+
+
+ org.jetbrains
+ annotations
+ RELEASE
+ compile
+
+
+
-
-
+
+
sonatype-snapshot
https://oss.sonatype.org/content/repositories/snapshots
@@ -292,7 +271,7 @@
itemis-mbeddr
https://projects.itemis.de/nexus/content/repositories/mbeddr/
- default
+ default
true
@@ -300,7 +279,7 @@
true
-
+
@@ -310,14 +289,22 @@
lombok-maven-plugin
1.18.20.0
-
- org.apache.maven.plugins
- maven-surefire-plugin
- 2.22.1
-
- true
-
-
+
+ org.apache.maven.plugins
+ maven-surefire-plugin
+ 2.22.1
+
+ true
+
+
+
+ org.apache.maven.plugins
+ maven-compiler-plugin
+
+ 11
+ 11
+
+
\ No newline at end of file
diff --git a/pom.xml b/pom.xml
index a3f0d4b..31dbbb5 100644
--- a/pom.xml
+++ b/pom.xml
@@ -10,15 +10,15 @@
pom
-
- soot-dev
+
CrashTracker
+ soot-dev
UTF-8
- 1.8
- 1.8
+ ${java.version}
+ ${java.version}
@@ -99,7 +99,6 @@
jar-with-dependencies
- false
diff --git a/soot-dev b/soot-dev
index 3d5d4f4..096beb1 160000
--- a/soot-dev
+++ b/soot-dev
@@ -1 +1 @@
-Subproject commit 3d5d4f40b2129801937cc17e5fab00df43d78c94
+Subproject commit 096beb1e2d47937ad3c48c681c7819d718b5eb16