From b84035eda5b4f87fa827a3cbf7f48cd15650b97c Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Tue, 31 Dec 2024 14:25:00 +0100
Subject: [PATCH] Compile janalyzer-taint/taint-map1 test sources

Add pom.xml for compilation,
move sources
remove obsolete pre-compiled class files.
---
 jbmc/regression/janalyzer-taint/pom.xml       |   1 +
 .../janalyzer-taint/taint-map1/map1.class     | Bin 713 -> 0 bytes
 .../janalyzer-taint/taint-map1/pom.xml        |  30 ++++++++++++++++++
 .../taint-map1/{ => src/main/java}/map1.java  |   0
 .../janalyzer-taint/taint-map1/test.desc      |   2 +-
 5 files changed, 32 insertions(+), 1 deletion(-)
 delete mode 100644 jbmc/regression/janalyzer-taint/taint-map1/map1.class
 create mode 100644 jbmc/regression/janalyzer-taint/taint-map1/pom.xml
 rename jbmc/regression/janalyzer-taint/taint-map1/{ => src/main/java}/map1.java (100%)

diff --git a/jbmc/regression/janalyzer-taint/pom.xml b/jbmc/regression/janalyzer-taint/pom.xml
index 778e68d8f9e..d51891beaed 100644
--- a/jbmc/regression/janalyzer-taint/pom.xml
+++ b/jbmc/regression/janalyzer-taint/pom.xml
@@ -20,6 +20,7 @@
         <module>taint-basic2</module>
         <module>taint-interface1</module>
         <module>taint-interproc1</module>
+        <module>taint-map1</module>
     </modules>
 
 </project>
diff --git a/jbmc/regression/janalyzer-taint/taint-map1/map1.class b/jbmc/regression/janalyzer-taint/taint-map1/map1.class
deleted file mode 100644
index 46876c31837f9308c90e81f546a43b9a788e5663..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 713
zcmZvaTQ37q6ouF6ROe!7-Re%=r-(-4K|;JpgeV>~#FI=pYG|iTJ0tP0cv2*OfFC8+
zOiLR&lR0N+pOtT~efE5Qy?p@KK-z$gq>5n!5hM*57%?!4v2KiGB3LGa+?0xG6)Az(
zw&Ob9j(}pN&jg~o<!dPr&pNI=_DgwL&Dr@PGkWRqvLwCR@^vGwmHp}!^Mh78duKn`
znWF6$GAH>vdF5>hsFc?n_g-Mg`hOl&GEPInp3|V)mG!lNW1<_TKwrr8J*Sx2w`;dY
zcEv;jeJW;5%wkT(yom)YnplEmq8|eSiN7}3O^MhaSZMIT^<+U-Y4E`=`tsyPAZZ=6
zx6o9uhn|)P*5?gXd{1DrLq8ol{GTGAAPHFP0BASRyhEfoCY>V%qWpL(pe06=+y(cp
z<rj!&1_HfYV_{N2L;P2ogTfcE-VwQYfpS<!G`p<S(Y5l5n1b^#euWyr(P|x9i#A3c
zOOU3KrelN#<`^x}f)-4I)dDjq{$#<Uy+daO@x-{@Pn>E_r>PzdPpN1XYS>OtFv!CQ
GhQ0ypG>WzW

diff --git a/jbmc/regression/janalyzer-taint/taint-map1/pom.xml b/jbmc/regression/janalyzer-taint/taint-map1/pom.xml
new file mode 100644
index 00000000000..162ded92a26
--- /dev/null
+++ b/jbmc/regression/janalyzer-taint/taint-map1/pom.xml
@@ -0,0 +1,30 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<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/xsd/maven-4.0.0.xsd">
+    <modelVersion>4.0.0</modelVersion>
+    <groupId>org.cprover.regression</groupId>
+    <artifactId>regression.janalyzer-taint.taint-map1</artifactId>
+    <version>1.0-SNAPSHOT</version>
+
+    <parent>
+        <groupId>org.cprover.regression</groupId>
+        <artifactId>regression.janalyzer-taint</artifactId>
+        <version>1.0-SNAPSHOT</version>
+    </parent>
+
+    <build>
+        <plugins>
+            <plugin>
+                <artifactId>maven-jar-plugin</artifactId>
+                <executions>
+                    <execution>
+                        <id>default-jar</id>
+                        <phase>none</phase>
+                    </execution>
+                </executions>
+            </plugin>
+        </plugins>
+    </build>
+
+</project>
diff --git a/jbmc/regression/janalyzer-taint/taint-map1/map1.java b/jbmc/regression/janalyzer-taint/taint-map1/src/main/java/map1.java
similarity index 100%
rename from jbmc/regression/janalyzer-taint/taint-map1/map1.java
rename to jbmc/regression/janalyzer-taint/taint-map1/src/main/java/map1.java
diff --git a/jbmc/regression/janalyzer-taint/taint-map1/test.desc b/jbmc/regression/janalyzer-taint/taint-map1/test.desc
index 850c9775508..65b4d101cf8 100644
--- a/jbmc/regression/janalyzer-taint/taint-map1/test.desc
+++ b/jbmc/regression/janalyzer-taint/taint-map1/test.desc
@@ -1,6 +1,6 @@
 CORE
 map1
---taint taint.json
+--taint taint.json -cp target/classes
 ^EXIT=0$
 ^SIGNAL=0$
 ^file map1.java line 12( function .*)?: There is a flow \(taint rule my_sink\)$