Merge pull request #1208 from sosy-lab/reuse-juliet

Add REUSE-compatible license declarations to Juliet tasks

Author: dbeyer

.reuse/dep5

@@ -10,6 +10,11 @@ Files:
 Copyright: 2011-2020 The SV-Benchmarks Community
 License: CC0-1.0
 
+Files: c/Juliet_Test/Juliet_Test_Suite_v1.3_for_C_Cpp
+ _
+Copyright: 2010-2020 NIST
+License: CC0-1.0
+
 Files:
  clauses
  c/bitvector
@@ -31,7 +36,6 @@ Copyright: unknown
 License: LicenseRef-unknown
 
 Files:
- c/Juliet_Test
  c/array-cav19
  c/array-crafted
  c/array-examples
@@ -152,7 +156,6 @@ Files:
  java/jdart-regression
  java/jdart-regression
  java/jpf-regression
- java/juliet-java
  _
 Copyright: unknown
 License: LicenseRef-in-text-file

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;