Declare CC0 license and copyright of all Juliet tasks for Java

The NIST webpage https://samate.nist.gov/SARD/testsuite.php now claims

This software is not subject to copyright protection and is in the public domain. NIST assumes no responsibility whatsoever for its use by other parties, and makes no guaranties, expressed or implied, about its quality, reliability, or any other characteristic.

Pursuant to 17 USC 105, Juliet Test Suite for Java version 1.3 is not subject to copyright protection in the United States. To the extent NIST may claim Foreign Rights in Juliet Test Suite for Java version 1.3, the Test Suite is being made available to you under the CC0 1.0 Public Domain License.

Author: PhilippWendler

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_01_bad/Main.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_01.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_01_bad_version2/Main.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_01.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_01_good/Main.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_01.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_81a_bad/CWE369_Divide_by_Zero__float_connect_tcp_divide_81_bad.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_81_bad.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_81a_bad/CWE369_Divide_by_Zero__float_connect_tcp_divide_81_base.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_81_base.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_81a_bad/CWE369_Divide_by_Zero__float_connect_tcp_divide_81_goodB2G.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_81_goodB2G.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_81a_bad/CWE369_Divide_by_Zero__float_connect_tcp_divide_81_goodG2B.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_81_goodG2B.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_81a_bad/Main.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_81a.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_81a_bad_version2/CWE369_Divide_by_Zero__float_connect_tcp_divide_81_bad.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_81_bad.java

java/juliet-java/CWE369_Divide_by_Zero__float_connect_tcp_divide_81a_bad_version2/CWE369_Divide_by_Zero__float_connect_tcp_divide_81_base.java

@@ -1,7 +1,15 @@
-/* Copyright 2020, TU Dortmund, Malte Mues ([email protected])
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2010-2020 NIST
+// SPDX-FileCopyrightText: 2020 TU Dortmund, Malte Mues ([email protected])
+// SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
+/*
 This testcase is derived from the following File in the Juliet Benchmark found at:
 https://samate.nist.gov/SARD/testsuite.php in Version 1.3
-Modifications are licenced under CC0 licence.
 
 The original file is:
 Filename: CWE369_Divide_by_Zero__float_connect_tcp_divide_81_base.java