Merge pull request #8 from hanada31/develop

submodule and pom update

.gitmodules

@@ -1,3 +1,3 @@
-[submodule "soot-dev-iccbot"]
+[submodule "soot-dev"]
 	path = soot-dev
 	url = https://github.com/LightningRS/soot-dev-iccbot.git

CrashTracker/pom.xml

@@ -10,8 +10,8 @@
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-        <maven.compiler.source>1.8</maven.compiler.source>
-        <maven.compiler.target>1.8</maven.compiler.target>
+        <maven.compiler.source>${java.version}</maven.compiler.source>
+        <maven.compiler.target>${java.version}</maven.compiler.target>
     </properties>
 
     <dependencies>
@@ -102,7 +102,7 @@
         <dependency>
             <groupId>org.soot-oss</groupId>
             <artifactId>soot</artifactId>
-            <version>4.4.0-SNAPSHOT-ICCBot</version>
+            <version>4.5.0-SNAPSHOT-ICCBot</version>
             <exclusions>
                 <exclusion>
                     <groupId>org.smali</groupId>
@@ -130,44 +130,7 @@
                 </exclusion>
             </exclusions>
         </dependency>
-	<!-- https://mvnrepository.com/artifact/org.soot-oss/soot -->
-	<!-- https://mvnrepository.com/artifact/io.github.nkbai/soot -->
-		<!--<dependency>
-			 <groupId>io.github.nkbai</groupId>
-			<artifactId>soot</artifactId>
-			<version>4.3.1</version>
-			<groupId>org.soot-oss</groupId>
-			<artifactId>soot</artifactId>
-			<version>4.4.0-SNAPSHOT</version>
-			<exclusions>
-				<exclusion>
-					<groupId>org.smali</groupId>
-					<artifactId>dexlib2</artifactId>
-				</exclusion>
-				<exclusion>
-					<groupId>commons-io</groupId>
-					<artifactId>commons-io</artifactId>
-				</exclusion>
-				<exclusion>
-					<groupId>com.google.guava</groupId>
-					<artifactId>guava</artifactId>
-				</exclusion>
-				<exclusion>
-					<groupId>javax.xml.bind</groupId>
-					<artifactId>jaxb-api</artifactId>
-				</exclusion>
-				<exclusion>
-					<groupId>org.slf4j</groupId>
-					<artifactId>slf4j-api</artifactId>
-				</exclusion>
-				<exclusion>
-					<groupId>com.google.errorprone</groupId>
-					<artifactId>error_prone_annotations</artifactId>
-				</exclusion>
-			</exclusions>
-		</dependency>-->
 
-
         <!-- https://mvnrepository.com/artifact/com.google.guava/guava -->
         <dependency>
             <groupId>com.google.guava</groupId>
@@ -252,7 +215,7 @@
         <dependency>
             <groupId>org.testng</groupId>
             <artifactId>testng</artifactId>
-            <version>7.7.0</version>
+            <version>7.6.1</version>
             <scope>test</scope>
         </dependency>
 
@@ -269,16 +232,32 @@
             <artifactId>logback-classic</artifactId>
             <version>1.2.11</version>
         </dependency>
+
         <dependency>
             <groupId>org.junit.jupiter</groupId>
             <artifactId>junit-jupiter-api</artifactId>
             <version>5.9.0</version>
             <scope>compile</scope>
         </dependency>
+
+        <!-- https://mvnrepository.com/artifact/org.sosy-lab/java-smt -->
+        <dependency>
+            <groupId>org.sosy-lab</groupId>
+            <artifactId>java-smt</artifactId>
+            <version>3.14.3</version>
+        </dependency>
+        <dependency>
+            <groupId>org.jetbrains</groupId>
+            <artifactId>annotations</artifactId>
+            <version>RELEASE</version>
+            <scope>compile</scope>
+        </dependency>
+
+
     </dependencies>
 
-	
-		<repositories>
+
+    <repositories>
         <repository>
             <id>sonatype-snapshot</id>
             <url>https://oss.sonatype.org/content/repositories/snapshots</url>
@@ -292,15 +271,15 @@
         <repository>
             <id>itemis-mbeddr</id>
             <url>https://projects.itemis.de/nexus/content/repositories/mbeddr/</url>
-			<layout>default</layout>
+            <layout>default</layout>
             <releases>
                 <enabled>true</enabled>
             </releases>
             <snapshots>
                 <enabled>true</enabled>
             </snapshots>
         </repository>
-	</repositories>
+    </repositories>
 
     <build>
         <plugins>
@@ -310,14 +289,22 @@
                 <artifactId>lombok-maven-plugin</artifactId>
                 <version>1.18.20.0</version>
             </plugin>
-			<plugin>
-				<groupId>org.apache.maven.plugins</groupId>
-				<artifactId>maven-surefire-plugin</artifactId>
-				<version>2.22.1</version>
-				<configuration>
-					<skipTests>true</skipTests>
-				</configuration>
-			</plugin>
+            <plugin>
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-surefire-plugin</artifactId>
+                <version>2.22.1</version>
+                <configuration>
+                    <skipTests>true</skipTests>
+                </configuration>
+            </plugin>
+            <plugin>
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-compiler-plugin</artifactId>
+                <configuration>
+                    <source>11</source>
+                    <target>11</target>
+                </configuration>
+            </plugin>
         </plugins>
     </build>
 </project>

pom.xml

@@ -10,15 +10,15 @@
 
 
     <packaging>pom</packaging>
-    <modules>		
-		<module>soot-dev</module>
+    <modules>
         <module>CrashTracker</module>
+        <module>soot-dev</module>
     </modules>
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-        <maven.compiler.source>1.8</maven.compiler.source>
-        <maven.compiler.target>1.8</maven.compiler.target>
+        <maven.compiler.source>${java.version}</maven.compiler.source>
+        <maven.compiler.target>${java.version}</maven.compiler.target>
     </properties>
 
     <dependencies>
@@ -99,7 +99,6 @@
                     <descriptorRefs>
                         <descriptorRef>jar-with-dependencies</descriptorRef>
                     </descriptorRefs>
-					<appendAssemblyId>false</appendAssemblyId>
                 </configuration>
             </plugin>
         </plugins>