Declare CC0 license and copyright of all Juliet tasks for C

This affects only the actual sources for verification tasks,
not the original Juliet sources that are also available in the
repository in a subdirectory.

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 C/C++ 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 C/C++ version 1.3, the Test Suite is being made available to you under the CC0 1.0 Public Domain License.

Commit 04271be added a copyright
statement without mentioning any additional license requirements
for the modifications that were applied to create these verification
tasks from the original Juliet sources,
so I assume that we can also use them without restrictions under CC0.

Author: PhilippWendler

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_01_bad.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_01_good.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_02_bad.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_02_good.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_03_bad.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_03_good.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_04_bad.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_04_good.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_05_bad.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;

c/Juliet_Test/CWE121_Stack_Based_Buffer_Overflow---s01---CWE121_Stack_Based_Buffer_Overflow__CWE129_connect_socket_05_good.i

@@ -1,3 +1,11 @@
+// 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 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: CC0-1.0
+
 /* Generated by Frama-C */
 
 typedef unsigned long size_t;