{
 "name": "svcomp-array-memsafety",
 "description": "SV-COMP array-memsafety category gold, built from per-file yml specs (valid-deref/valid-free/valid-memtrack).",
 "expected": [
  {
   "kind": "null-deref",
   "files": [
    "array-memsafety/add_last_unsafe.c",
    "array-memsafety/bubblesort_unsafe.c",
    "array-memsafety/count_down_unsafe.c",
    "array-memsafety/cstrcat_unsafe.c",
    "array-memsafety/cstrchr_unsafe.c",
    "array-memsafety/cstrlen_unsafe.c",
    "array-memsafety/cstrncat_unsafe.c",
    "array-memsafety/cstrncpy_unsafe.c",
    "array-memsafety/cstrpbrk_unsafe.c",
    "array-memsafety/diff_usafe.c",
    "array-memsafety/knapsack_alloca_unsafe.c",
    "array-memsafety/lis_unsafe.c",
    "array-memsafety/mult_array_unsafe.c",
    "array-memsafety/reverse_array_alloca_unsafe.c",
    "array-memsafety/reverse_array_unsafe.c",
    "array-memsafety/selectionsort_unsafe.c",
    "array-memsafety/stroeder1_unsafe.c"
   ],
   "id": "svcomp-array-memsafety-null-deref-0000"
  }
 ]
}