Skip to content

Compile Java regression test sources (3/n) #8549

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 8 commits into from
Jan 3, 2025
Merged

Compile Java regression test sources (3/n) #8549

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
a0a305d
Compile janalyzer/string-initializer test sources
peterschrammel Dec 31, 2024
4758721
Compile janalyzer/too-many-args test sources
peterschrammel Dec 31, 2024
0fe0fdc
Compile janalyzer-taint/taint-aliasing1 test sources
peterschrammel Dec 31, 2024
52a6e00
Compile janalyzer-taint/taint-basic1 test sources
peterschrammel Dec 31, 2024
1bc572a
Compile janalyzer-taint/taint-basic2 test sources
peterschrammel Dec 31, 2024
c10880b
Compile janalyzer-taint/taint-interface1 test sources
peterschrammel Dec 31, 2024
67ed88c
Compile janalyzer-taint/taint-interproc1 test sources
peterschrammel Dec 31, 2024
b51acc4
Compile janalyzer-taint/taint-map1 test sources
peterschrammel Dec 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 26 additions & 0 deletions jbmc/regression/janalyzer-taint/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
<?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</artifactId>
<version>1.0-SNAPSHOT</version>
<packaging>pom</packaging>

<parent>
<groupId>org.cprover.regression</groupId>
<artifactId>regression</artifactId>
<version>1.0-SNAPSHOT</version>
</parent>

<modules>
<module>taint-aliasing1</module>
<module>taint-basic1</module>
<module>taint-basic2</module>
<module>taint-interface1</module>
<module>taint-interproc1</module>
<module>taint-map1</module>
</modules>

</project>
Binary file removed jbmc/regression/janalyzer-taint/taint-aliasing1/aliasing1.class
View file
Open in desktop
Binary file not shown.
30 changes: 30 additions & 0 deletions jbmc/regression/janalyzer-taint/taint-aliasing1/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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-aliasing1</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>
0 ...yzer-taint/taint-aliasing1/aliasing1.java → ...nt-aliasing1/src/main/java/aliasing1.java
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion jbmc/regression/janalyzer-taint/taint-aliasing1/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CORE
aliasing1
--taint taint.json
--taint taint.json --cp target/classes
^EXIT=0$
^SIGNAL=0$
^file aliasing1.java line 10( function .*)?: There is a flow \(taint rule my_sink\)$
Expand Down
Binary file removed jbmc/regression/janalyzer-taint/taint-basic1/basic1.class
View file
Open in desktop
Binary file not shown.
30 changes: 30 additions & 0 deletions jbmc/regression/janalyzer-taint/taint-basic1/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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-basic1</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>
0 .../janalyzer-taint/taint-basic1/basic1.java → ...nt/taint-basic1/src/main/java/basic1.java
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion jbmc/regression/janalyzer-taint/taint-basic1/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CORE
basic1
--taint taint.json
--taint taint.json -cp target/classes
^EXIT=0$
^SIGNAL=0$
^file basic1.java line 8( function .*)?: There is a T1 flow \(taint rule my_h1\)$
Expand Down
Binary file removed jbmc/regression/janalyzer-taint/taint-basic2/basic2.class
View file
Open in desktop
Binary file not shown.
30 changes: 30 additions & 0 deletions jbmc/regression/janalyzer-taint/taint-basic2/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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-basic2</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>
0 .../janalyzer-taint/taint-basic2/basic2.java → ...nt/taint-basic2/src/main/java/basic2.java
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion jbmc/regression/janalyzer-taint/taint-basic2/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CORE
basic2
--taint taint.json
--taint taint.json -cp target/classes
^EXIT=0$
^SIGNAL=0$
^file basic2.java line 8( function .*)?: There is a T1 flow \(taint rule my_h1\)$
Expand Down
Binary file removed jbmc/regression/janalyzer-taint/taint-interface1/interface1.class
View file
Open in desktop
Binary file not shown.
Binary file removed jbmc/regression/janalyzer-taint/taint-interface1/my_I.class
View file
Open in desktop
Binary file not shown.
30 changes: 30 additions & 0 deletions jbmc/regression/janalyzer-taint/taint-interface1/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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-interface1</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>
Binary file removed jbmc/regression/janalyzer-taint/taint-interface1/some_class.class
View file
Open in desktop
Binary file not shown.
0 ...er-taint/taint-interface1/interface1.java → ...-interface1/src/main/java/interface1.java
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion jbmc/regression/janalyzer-taint/taint-interface1/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CORE
interface1
--taint taint.json
--taint taint.json -cp target/classes
^EXIT=0$
^SIGNAL=0$
^file interface1.java line 18( function .*)?: There is a flow! \(taint rule sink_rule\)$
Expand Down
Binary file removed jbmc/regression/janalyzer-taint/taint-interproc1/interproc1.class
View file
Open in desktop
Binary file not shown.
30 changes: 30 additions & 0 deletions jbmc/regression/janalyzer-taint/taint-interproc1/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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-interproc1</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>
0 ...er-taint/taint-interproc1/interproc1.java → ...-interproc1/src/main/java/interproc1.java
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion jbmc/regression/janalyzer-taint/taint-interproc1/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CORE
interproc1
--taint taint.json
--taint taint.json -cp target/classes
^EXIT=0$
^SIGNAL=0$
^file interproc1.java line 13( function .*)?: There is a T1 flow \(taint rule my_h1\)$
Expand Down
Binary file removed jbmc/regression/janalyzer-taint/taint-map1/map1.class
View file
Open in desktop
Binary file not shown.
30 changes: 30 additions & 0 deletions jbmc/regression/janalyzer-taint/taint-map1/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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>
0 ...sion/janalyzer-taint/taint-map1/map1.java → ...-taint/taint-map1/src/main/java/map1.java
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion jbmc/regression/janalyzer-taint/taint-map1/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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\)$
Expand Down
22 changes: 22 additions & 0 deletions jbmc/regression/janalyzer/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
<?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</artifactId>
<version>1.0-SNAPSHOT</version>
<packaging>pom</packaging>

<parent>
<groupId>org.cprover.regression</groupId>
<artifactId>regression</artifactId>
<version>1.0-SNAPSHOT</version>
</parent>

<modules>
<module>string-initializer</module>
<module>too-many-args</module>
</modules>

</project>
Binary file removed jbmc/regression/janalyzer/string-initializer/Basic1.class
View file
Open in desktop
Binary file not shown.
30 changes: 30 additions & 0 deletions jbmc/regression/janalyzer/string-initializer/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.string-initializer</artifactId>
<version>1.0-SNAPSHOT</version>

<parent>
<groupId>org.cprover.regression</groupId>
<artifactId>regression.janalyzer</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>
0 .../janalyzer/string-initializer/Basic1.java → ...ing-initializer/src/main/java/Basic1.java
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion jbmc/regression/janalyzer/string-initializer/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CORE
Basic1
--location-sensitive --constants --show
--location-sensitive --constants --show -cp target/classes
^EXIT=0$
^SIGNAL=0$
Hello_20 := \{ "java::java\.lang\.String" \}
Expand Down
Binary file removed jbmc/regression/janalyzer/too-many-args/A.class
View file
Open in desktop
Binary file not shown.
Binary file removed jbmc/regression/janalyzer/too-many-args/B.class
View file
Open in desktop
Binary file not shown.
30 changes: 30 additions & 0 deletions jbmc/regression/janalyzer/too-many-args/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.too-many-args</artifactId>
<version>1.0-SNAPSHOT</version>

<parent>
<groupId>org.cprover.regression</groupId>
<artifactId>regression.janalyzer</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>
0 ...regression/janalyzer/too-many-args/A.java → ...alyzer/too-many-args/src/main/java/A.java
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion jbmc/regression/janalyzer/too-many-args/test.desc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CORE
A
B
B -cp target/classes
Please give exactly one class name, and/or use -jar jarfile or --gb goto-binary
^EXIT=1$
^SIGNAL=0$
2 changes: 2 additions & 0 deletions jbmc/regression/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@
</properties>

<modules>
<module>janalyzer</module>
<module>janalyzer-taint</module>
<module>jbmc</module>
</modules>

Expand Down
Loading