{
 "name": "svcomp-array-memsafety-realloc",
 "description": "SV-COMP array-memsafety-realloc category gold, built from per-file yml specs (valid-deref/valid-free/valid-memtrack).",
 "expected": [
  {
   "kind": "memory-leak",
   "files": [
    "array-memsafety-realloc/array-realloc-3.c"
   ],
   "id": "svcomp-array-memsafety-realloc-memory-leak-0000"
  },
  {
   "kind": "use-after-free",
   "files": [
    "array-memsafety-realloc/array-realloc-1.c"
   ],
   "id": "svcomp-array-memsafety-realloc-use-after-free-0001"
  }
 ]
}