bench-yaml-validate.json

{
  "ana": {
    "sv-comp": {
      "functions": true
    },
    "int": {
      "def_exc": true,
      "enums": false,
      "interval": true
    },
    "activated": [
      "base",
      "threadid",
      "threadflag",
      "threadreturn",
      "mallocWrapper",
      "mutexEvents",
      "mutex",
      "access",
      "race",
      "escape",
      "expRelation",
      "mhp",
      "assert",
      "var_eq",
      "symb_locks",
      "thread",
      "threadJoins",
      "unassume"
    ],
    "malloc": {
      "wrappers": [
        "kmalloc",
        "__kmalloc",
        "usb_alloc_urb",
        "__builtin_alloca",
        "kzalloc",

        "ldv_malloc",

        "kzalloc_node",
        "ldv_zalloc",
        "kmalloc_array",
        "kcalloc",

        "ldv_xmalloc",
        "ldv_xzalloc",
        "ldv_calloc"
      ]
    },
    "widen": {
      "tokens": true
    }
  },
  "sem": {
    "unknown_function": {
      "invalidate": {
        "globals": false
      },
      "spawn": true
    },
    "builtin_unreachable": {
      "dead_code": true
    },
    "int": {
      "signed_overflow": "assume_none"
    },
    "null-pointer": {
      "dereference": "assume_none"
    }
  },
  "pre": {
    "cppflags": [
      "-DGOBLINT_NO_PTHREAD_ONCE",
      "-DGOBLINT_NO_QSORT",
      "-DGOBLINT_NO_BSEARCH"
    ]
  }
}