Skip to content

Commit 189e49b

Browse files
tautschnigtautschnig
authored
Merge pull request #8549 from peterschrammel/ps/compile-java-regression-test-sources3
Compile Java regression test sources (3/n)
2 parents 736fb6e + b51acc4 commit 189e49b

File tree

38 files changed

+298
-8
lines changed

38 files changed

+298
-8
lines changed

‎jbmc/regression/janalyzer-taint/pom.xml

+26
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer-taint</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
<packaging>pom</packaging>
10+
11+
<parent>
12+
<groupId>org.cprover.regression</groupId>
13+
<artifactId>regression</artifactId>
14+
<version>1.0-SNAPSHOT</version>
15+
</parent>
16+
17+
<modules>
18+
<module>taint-aliasing1</module>
19+
<module>taint-basic1</module>
20+
<module>taint-basic2</module>
21+
<module>taint-interface1</module>
22+
<module>taint-interproc1</module>
23+
<module>taint-map1</module>
24+
</modules>
25+
26+
</project>

‎jbmc/regression/janalyzer-taint/taint-aliasing1/aliasing1.class

-453 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer-taint/taint-aliasing1/pom.xml

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer-taint.taint-aliasing1</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
10+
<parent>
11+
<groupId>org.cprover.regression</groupId>
12+
<artifactId>regression.janalyzer-taint</artifactId>
13+
<version>1.0-SNAPSHOT</version>
14+
</parent>
15+
16+
<build>
17+
<plugins>
18+
<plugin>
19+
<artifactId>maven-jar-plugin</artifactId>
20+
<executions>
21+
<execution>
22+
<id>default-jar</id>
23+
<phase>none</phase>
24+
</execution>
25+
</executions>
26+
</plugin>
27+
</plugins>
28+
</build>
29+
30+
</project>

‎jbmc/regression/janalyzer-taint/taint-aliasing1/aliasing1.java renamed to ‎jbmc/regression/janalyzer-taint/taint-aliasing1/src/main/java/aliasing1.java

File renamed without changes.

‎jbmc/regression/janalyzer-taint/taint-aliasing1/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
aliasing1
3-
--taint taint.json
3+
--taint taint.json --cp target/classes
44
^EXIT=0$
55
^SIGNAL=0$
66
^file aliasing1.java line 10( function .*)?: There is a flow \(taint rule my_sink\)$

‎jbmc/regression/janalyzer-taint/taint-basic1/basic1.class

-497 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer-taint/taint-basic1/pom.xml

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer-taint.taint-basic1</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
10+
<parent>
11+
<groupId>org.cprover.regression</groupId>
12+
<artifactId>regression.janalyzer-taint</artifactId>
13+
<version>1.0-SNAPSHOT</version>
14+
</parent>
15+
16+
<build>
17+
<plugins>
18+
<plugin>
19+
<artifactId>maven-jar-plugin</artifactId>
20+
<executions>
21+
<execution>
22+
<id>default-jar</id>
23+
<phase>none</phase>
24+
</execution>
25+
</executions>
26+
</plugin>
27+
</plugins>
28+
</build>
29+
30+
</project>

‎jbmc/regression/janalyzer-taint/taint-basic1/basic1.java renamed to ‎jbmc/regression/janalyzer-taint/taint-basic1/src/main/java/basic1.java

File renamed without changes.

‎jbmc/regression/janalyzer-taint/taint-basic1/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
basic1
3-
--taint taint.json
3+
--taint taint.json -cp target/classes
44
^EXIT=0$
55
^SIGNAL=0$
66
^file basic1.java line 8( function .*)?: There is a T1 flow \(taint rule my_h1\)$

‎jbmc/regression/janalyzer-taint/taint-basic2/basic2.class

-501 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer-taint/taint-basic2/pom.xml

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer-taint.taint-basic2</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
10+
<parent>
11+
<groupId>org.cprover.regression</groupId>
12+
<artifactId>regression.janalyzer-taint</artifactId>
13+
<version>1.0-SNAPSHOT</version>
14+
</parent>
15+
16+
<build>
17+
<plugins>
18+
<plugin>
19+
<artifactId>maven-jar-plugin</artifactId>
20+
<executions>
21+
<execution>
22+
<id>default-jar</id>
23+
<phase>none</phase>
24+
</execution>
25+
</executions>
26+
</plugin>
27+
</plugins>
28+
</build>
29+
30+
</project>

‎jbmc/regression/janalyzer-taint/taint-basic2/basic2.java renamed to ‎jbmc/regression/janalyzer-taint/taint-basic2/src/main/java/basic2.java

File renamed without changes.

‎jbmc/regression/janalyzer-taint/taint-basic2/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
basic2
3-
--taint taint.json
3+
--taint taint.json -cp target/classes
44
^EXIT=0$
55
^SIGNAL=0$
66
^file basic2.java line 8( function .*)?: There is a T1 flow \(taint rule my_h1\)$

‎jbmc/regression/janalyzer-taint/taint-interface1/interface1.class

-424 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer-taint/taint-interface1/my_I.class

-138 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer-taint/taint-interface1/pom.xml

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer-taint.taint-interface1</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
10+
<parent>
11+
<groupId>org.cprover.regression</groupId>
12+
<artifactId>regression.janalyzer-taint</artifactId>
13+
<version>1.0-SNAPSHOT</version>
14+
</parent>
15+
16+
<build>
17+
<plugins>
18+
<plugin>
19+
<artifactId>maven-jar-plugin</artifactId>
20+
<executions>
21+
<execution>
22+
<id>default-jar</id>
23+
<phase>none</phase>
24+
</execution>
25+
</executions>
26+
</plugin>
27+
</plugins>
28+
</build>
29+
30+
</project>

‎jbmc/regression/janalyzer-taint/taint-interface1/some_class.class

-287 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer-taint/taint-interface1/interface1.java renamed to ‎jbmc/regression/janalyzer-taint/taint-interface1/src/main/java/interface1.java

File renamed without changes.

‎jbmc/regression/janalyzer-taint/taint-interface1/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
interface1
3-
--taint taint.json
3+
--taint taint.json -cp target/classes
44
^EXIT=0$
55
^SIGNAL=0$
66
^file interface1.java line 18( function .*)?: There is a flow! \(taint rule sink_rule\)$

‎jbmc/regression/janalyzer-taint/taint-interproc1/interproc1.class

-467 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer-taint/taint-interproc1/pom.xml

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer-taint.taint-interproc1</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
10+
<parent>
11+
<groupId>org.cprover.regression</groupId>
12+
<artifactId>regression.janalyzer-taint</artifactId>
13+
<version>1.0-SNAPSHOT</version>
14+
</parent>
15+
16+
<build>
17+
<plugins>
18+
<plugin>
19+
<artifactId>maven-jar-plugin</artifactId>
20+
<executions>
21+
<execution>
22+
<id>default-jar</id>
23+
<phase>none</phase>
24+
</execution>
25+
</executions>
26+
</plugin>
27+
</plugins>
28+
</build>
29+
30+
</project>

‎jbmc/regression/janalyzer-taint/taint-interproc1/interproc1.java renamed to ‎jbmc/regression/janalyzer-taint/taint-interproc1/src/main/java/interproc1.java

File renamed without changes.

‎jbmc/regression/janalyzer-taint/taint-interproc1/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
interproc1
3-
--taint taint.json
3+
--taint taint.json -cp target/classes
44
^EXIT=0$
55
^SIGNAL=0$
66
^file interproc1.java line 13( function .*)?: There is a T1 flow \(taint rule my_h1\)$

‎jbmc/regression/janalyzer-taint/taint-map1/map1.class

-713 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer-taint/taint-map1/pom.xml

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer-taint.taint-map1</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
10+
<parent>
11+
<groupId>org.cprover.regression</groupId>
12+
<artifactId>regression.janalyzer-taint</artifactId>
13+
<version>1.0-SNAPSHOT</version>
14+
</parent>
15+
16+
<build>
17+
<plugins>
18+
<plugin>
19+
<artifactId>maven-jar-plugin</artifactId>
20+
<executions>
21+
<execution>
22+
<id>default-jar</id>
23+
<phase>none</phase>
24+
</execution>
25+
</executions>
26+
</plugin>
27+
</plugins>
28+
</build>
29+
30+
</project>

‎jbmc/regression/janalyzer-taint/taint-map1/map1.java renamed to ‎jbmc/regression/janalyzer-taint/taint-map1/src/main/java/map1.java

File renamed without changes.

‎jbmc/regression/janalyzer-taint/taint-map1/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
map1
3-
--taint taint.json
3+
--taint taint.json -cp target/classes
44
^EXIT=0$
55
^SIGNAL=0$
66
^file map1.java line 12( function .*)?: There is a flow \(taint rule my_sink\)$

‎jbmc/regression/janalyzer/pom.xml

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
<packaging>pom</packaging>
10+
11+
<parent>
12+
<groupId>org.cprover.regression</groupId>
13+
<artifactId>regression</artifactId>
14+
<version>1.0-SNAPSHOT</version>
15+
</parent>
16+
17+
<modules>
18+
<module>string-initializer</module>
19+
<module>too-many-args</module>
20+
</modules>
21+
22+
</project>

‎jbmc/regression/janalyzer/string-initializer/Basic1.class

-911 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer/string-initializer/pom.xml

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer.string-initializer</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
10+
<parent>
11+
<groupId>org.cprover.regression</groupId>
12+
<artifactId>regression.janalyzer</artifactId>
13+
<version>1.0-SNAPSHOT</version>
14+
</parent>
15+
16+
<build>
17+
<plugins>
18+
<plugin>
19+
<artifactId>maven-jar-plugin</artifactId>
20+
<executions>
21+
<execution>
22+
<id>default-jar</id>
23+
<phase>none</phase>
24+
</execution>
25+
</executions>
26+
</plugin>
27+
</plugins>
28+
</build>
29+
30+
</project>

‎jbmc/regression/janalyzer/string-initializer/Basic1.java renamed to ‎jbmc/regression/janalyzer/string-initializer/src/main/java/Basic1.java

File renamed without changes.

‎jbmc/regression/janalyzer/string-initializer/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
Basic1
3-
--location-sensitive --constants --show
3+
--location-sensitive --constants --show -cp target/classes
44
^EXIT=0$
55
^SIGNAL=0$
66
Hello_20 := \{ "java::java\.lang\.String" \}

‎jbmc/regression/janalyzer/too-many-args/A.class

-228 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer/too-many-args/B.class

-228 Bytes
Binary file not shown.

‎jbmc/regression/janalyzer/too-many-args/pom.xml

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<project xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
5+
<modelVersion>4.0.0</modelVersion>
6+
<groupId>org.cprover.regression</groupId>
7+
<artifactId>regression.janalyzer.too-many-args</artifactId>
8+
<version>1.0-SNAPSHOT</version>
9+
10+
<parent>
11+
<groupId>org.cprover.regression</groupId>
12+
<artifactId>regression.janalyzer</artifactId>
13+
<version>1.0-SNAPSHOT</version>
14+
</parent>
15+
16+
<build>
17+
<plugins>
18+
<plugin>
19+
<artifactId>maven-jar-plugin</artifactId>
20+
<executions>
21+
<execution>
22+
<id>default-jar</id>
23+
<phase>none</phase>
24+
</execution>
25+
</executions>
26+
</plugin>
27+
</plugins>
28+
</build>
29+
30+
</project>

‎jbmc/regression/janalyzer/too-many-args/A.java renamed to ‎jbmc/regression/janalyzer/too-many-args/src/main/java/A.java

File renamed without changes.

‎jbmc/regression/janalyzer/too-many-args/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
A
3-
B
3+
B -cp target/classes
44
Please give exactly one class name, and/or use -jar jarfile or --gb goto-binary
55
^EXIT=1$
66
^SIGNAL=0$

‎jbmc/regression/pom.xml

+2
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,8 @@
1414
</properties>
1515

1616
<modules>
17+
<module>janalyzer</module>
18+
<module>janalyzer-taint</module>
1719
<module>jbmc</module>
1820
<module>book-examples</module>
1921
</modules>

0 commit comments

Comments
 (0)