Re-add category descriptions from deleted .cfg files to .set files

PhilippWendler · PhilippWendler · commit 83f3ab8f1a3f · 2020-09-30T18:38:30.000+02:00
diff --git a/c/ConcurrencySafety-Main.set b/c/ConcurrencySafety-Main.set
@@ -1,3 +1,4 @@
+# Contains concurrency problems.
 pthread/*.yml
 pthread-atomic/*.yml
 pthread-ext/*.yml
diff --git a/c/DefinedBehavior-Arrays.set b/c/DefinedBehavior-Arrays.set
@@ -1,2 +1,3 @@
+# Contains tasks for checking whether the program might run into undefined behavior.
 array-examples/*.yml
 reducercommutativity/*.yml
diff --git a/c/DefinedBehavior-TerminCrafted.set b/c/DefinedBehavior-TerminCrafted.set
@@ -1 +1,2 @@
+# Contains tasks for checking whether the program might run into undefined behavior.
 termination-crafted/*.yml
diff --git a/c/Juliet_Test.set b/c/Juliet_Test.set
@@ -1,2 +1,3 @@
+# Contains tasks for checking memory safety of programs from Juliet Test Suite.
 Juliet_Test/*.yml
 
diff --git a/c/MemSafety-Arrays.set b/c/MemSafety-Arrays.set
@@ -1,3 +1,4 @@
+# Contains tasks for checking memory safety of array-based programs.
 array-memsafety/*.yml
 array-examples/*.yml
 array-memsafety-realloc/*.yml
diff --git a/c/MemSafety-Heap.set b/c/MemSafety-Heap.set
@@ -1,3 +1,4 @@
+# Contains tasks for checking memory safety of programs.
 memsafety/*.yml
 memsafety-ext/*.yml
 memsafety-ext2/*.yml
diff --git a/c/MemSafety-LinkedLists.set b/c/MemSafety-LinkedLists.set
@@ -1,3 +1,4 @@
+# Contains tasks for checking memory safety of programs.
 heap-manipulation/*.yml
 forester-heap/*.yml
 list-properties/*.yml
diff --git a/c/MemSafety-MemCleanup.set b/c/MemSafety-MemCleanup.set
@@ -1,3 +1,4 @@
+# Contains tasks for checking memory safety of programs.
 list-ext-properties/*.yml
 heap-manipulation/*.yml
 forester-heap/*.yml
diff --git a/c/MemSafety-Other.set b/c/MemSafety-Other.set
@@ -1,3 +1,4 @@
+# Contains tasks for checking memory safety of programs.
 loops/*.yml
 loop-acceleration/*.yml
 ntdrivers/*.yml
diff --git a/c/MemSafety-TerminCrafted.set b/c/MemSafety-TerminCrafted.set
@@ -1 +1,2 @@
+# Contains tasks for checking memory safety of array-based programs.
 termination-crafted/*.yml
diff --git a/c/NoDataRace-Main.set b/c/NoDataRace-Main.set
@@ -1,3 +1,4 @@
+# Contains problems regarding the detection of data races.
 ldv-races/*.yml
 pthread/*.yml
 pthread-atomic/*.yml
diff --git a/c/NoOverflows-BitVectors.set b/c/NoOverflows-BitVectors.set
@@ -1,3 +1,4 @@
+# Contains tasks for checking if variables of type signed integers overflow.
 signedintegeroverflow-regression/*.yml
 termination-crafted/*.yml
 termination-crafted-lit/*.yml
diff --git a/c/NoOverflows-Other.set b/c/NoOverflows-Other.set
@@ -1,3 +1,4 @@
+# Contains tasks for checking if variables of type signed integers overflow.
 recursive/*.yml
 recursive-simple/*.yml
 bitvector/*.yml
diff --git a/c/ReachSafety-Arrays.set b/c/ReachSafety-Arrays.set
@@ -1,3 +1,4 @@
+# Contains tasks for which treatment of arrays is necessary in order to determine reachability.
 array-examples/*.yml
 array-industry-pattern/*.yml
 reducercommutativity/*.yml
diff --git a/c/ReachSafety-BitVectors.set b/c/ReachSafety-BitVectors.set
@@ -1,3 +1,4 @@
+# Contains tasks for which treatment of bit-operations is necessary.
 bitvector/*.yml
 bitvector-regression/*.yml
 bitvector-loops/*.yml
diff --git a/c/ReachSafety-ControlFlow.set b/c/ReachSafety-ControlFlow.set
@@ -1,3 +1,4 @@
+# Contains programs for which the correctness depends mostly on the control-flow structure and integer variables. There is no particular focus on pointers, data structures, and concurrency.
 ntdrivers-simplified/*.yml
 openssl-simplified/*.yml
 locks/*.yml
diff --git a/c/ReachSafety-ECA.set b/c/ReachSafety-ECA.set
@@ -1,3 +1,4 @@
+# Contains programs that represent event-condition-action systems.
 eca-rers2012/*.yml
 eca-rers2018/*.yml
 psyco/*.yml
diff --git a/c/ReachSafety-Floats.set b/c/ReachSafety-Floats.set
@@ -1,3 +1,4 @@
+# Contains tasks for checking programs with floating-point arithmetics.
 floats-cdfpl/*.yml
 floats-cbmc-regression/*.yml
 float-benchs/*.yml
diff --git a/c/ReachSafety-Heap.set b/c/ReachSafety-Heap.set
@@ -1,3 +1,4 @@
+# Contains tasks that require the analysis of data structures on the heap, pointer aliases, and function pointers.
 heap-manipulation/*.yml
 list-properties/*.yml
 ldv-regression/*.yml
diff --git a/c/ReachSafety-Loops.set b/c/ReachSafety-Loops.set
@@ -1,3 +1,4 @@
+# Contains tasks for which loop analysis is necessary.
 loops/*.yml
 loop-acceleration/*.yml
 loop-crafted/*.yml
diff --git a/c/ReachSafety-ProductLines.set b/c/ReachSafety-ProductLines.set
@@ -1 +1,2 @@
+# Contains programs that represents 'products' and 'product simulators' that are derived using different configurations of product lines.
 product-lines/*.yml
diff --git a/c/ReachSafety-Recursive.set b/c/ReachSafety-Recursive.set
@@ -1,3 +1,4 @@
+# Contains tasks for which recursive analysis is necessary.
 recursive/*.yml
 recursive-simple/*.yml
 recursive-with-pointer/*.yml
diff --git a/c/ReachSafety-Sequentialized.set b/c/ReachSafety-Sequentialized.set
@@ -1,3 +1,4 @@
+# Contains sequentialized concurrent programs that were derived from SystemC programs. The programs were transformed to pure C programs by incorporating the scheduler into the C code.
 systemc/*.yml
 seq-mthreaded/*.yml
 seq-mthreaded-reduced/*.yml
diff --git a/c/ReachSafety-XCSP.set b/c/ReachSafety-XCSP.set
@@ -1 +1,2 @@
+# Contains tasks from the XCSP_to_C tool benchmark set.
 xcsp/*.yml
diff --git a/c/SoftwareSystems-AWS-C-Common-ReachSafety.set b/c/SoftwareSystems-AWS-C-Common-ReachSafety.set
@@ -1 +1,2 @@
+# Contains programs from the AWS C commons library
 aws-c-common/*.yml
diff --git a/c/SoftwareSystems-BusyBox-MemSafety.set b/c/SoftwareSystems-BusyBox-MemSafety.set
@@ -1 +1,2 @@
+# Contains problems from the software system BusyBox.
 busybox-1.22.0/*.yml
diff --git a/c/SoftwareSystems-BusyBox-NoOverflows.set b/c/SoftwareSystems-BusyBox-NoOverflows.set
@@ -1 +1,2 @@
+# Contains problems from the software system BusyBox.
 busybox-1.22.0/*.yml
diff --git a/c/SoftwareSystems-DeviceDriversLinux64-ReachSafety.set b/c/SoftwareSystems-DeviceDriversLinux64-ReachSafety.set
@@ -1,3 +1,4 @@
+# Contains problems that require the analysis of pointer aliases and function pointers.
 ldv-linux-3.0/*.yml
 ldv-linux-3.4-simple/*.yml
 ldv-linux-3.7.3/*.yml
diff --git a/c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.set b/c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.set
@@ -1,3 +1,4 @@
+# Contains large tasks from the DeviceDrivers64 category (from the LDV project).
 
 
 ldv-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-net-ethernet-sfc-sfc.cil.yml
diff --git a/c/SoftwareSystems-OpenBSD-MemSafety.set b/c/SoftwareSystems-OpenBSD-MemSafety.set
@@ -1 +1,2 @@
+# Contains problems that require the analysis of memory safety.
 openbsd-6.2/*.yml
diff --git a/c/SoftwareSystems-SQLite-MemSafety.set b/c/SoftwareSystems-SQLite-MemSafety.set
@@ -1 +1,2 @@
+# Contains problems from the software SQLite
 sqlite/*.yml
diff --git a/c/Termination-MainControlFlow.set b/c/Termination-MainControlFlow.set
@@ -1,3 +1,4 @@
+# Contains programs for which termination should be decided.
 termination-crafted/*.yml
 termination-crafted-lit/*.yml
 termination-numeric/*.yml
diff --git a/c/Termination-MainHeap.set b/c/Termination-MainHeap.set
@@ -1,3 +1,4 @@
+# Contains programs for which termination should be decided.
 termination-dietlibc/*.yml
 termination-memory-alloca/*.yml
 termination-memory-linkedlists/*.yml
diff --git a/c/Termination-Other.set b/c/Termination-Other.set
@@ -1,3 +1,4 @@
+# Contains programs for which termination should be decided.
 array-examples/*.yml
 array-industry-pattern/*.yml
 bitvector/*.yml

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# Contains concurrency problems.`
`1`	`2`	`pthread/*.yml`
`2`	`3`	`pthread-atomic/*.yml`
`3`	`4`	`pthread-ext/*.yml`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
	`1`	`+# Contains tasks for checking whether the program might run into undefined behavior.`
`1`	`2`	`array-examples/*.yml`
`2`	`3`	`reducercommutativity/*.yml`
Original file line number	Diff line number	Diff line change
`@@ -1 +1,2 @@`
	`1`	`+# Contains tasks for checking whether the program might run into undefined behavior.`
`1`	`2`	`termination-crafted/*.yml`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
	`1`	`+# Contains tasks for checking memory safety of programs from Juliet Test Suite.`
`1`	`2`	`Juliet_Test/*.yml`
`2`	`3`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# Contains tasks for checking memory safety of array-based programs.`
`1`	`2`	`array-memsafety/*.yml`
`2`	`3`	`array-examples/*.yml`
`3`	`4`	`array-memsafety-realloc/*.yml`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# Contains tasks for checking memory safety of programs.`
`1`	`2`	`memsafety/*.yml`
`2`	`3`	`memsafety-ext/*.yml`
`3`	`4`	`memsafety-ext2/*.yml`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# Contains tasks for checking memory safety of programs.`
`1`	`2`	`heap-manipulation/*.yml`
`2`	`3`	`forester-heap/*.yml`
`3`	`4`	`list-properties/*.yml`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# Contains tasks for checking memory safety of programs.`
`1`	`2`	`list-ext-properties/*.yml`
`2`	`3`	`heap-manipulation/*.yml`
`3`	`4`	`forester-heap/*.yml`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# Contains tasks for checking memory safety of programs.`
`1`	`2`	`loops/*.yml`
`2`	`3`	`loop-acceleration/*.yml`
`3`	`4`	`ntdrivers/*.yml`