{
  "ana": {
    "int": {
      "def_exc": true,
      "interval": false,
      "enums": true
    },
    "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"
      ]
    },
    "base" : {
      "privatization": "mutex-meet",
      "invariant": {
        "enabled": false
      },
      "eval": {
        "deep-query": false
      }
    },
    "apron": {
      "invariant": {
        "diff-box": false
      }
    },
    "relation" : {
      "invariant": {
        "one-var": true,
        "local": true,
        "global": true
      }
    }
  },
  "sem": {
    "unknown_function": {
      "invalidate": {
        "globals": false
      },
      "spawn": true
    },
    "builtin_unreachable": {
      "dead_code": true
    },
    "int": {
      "signed_overflow": "assume_none"
    }
  },
  "exp": {
    "priv-distr-init": false
  },
  "solvers" : {
    "td3": {
      "side_widen" : "sides-pp"
    }
  },
  "dbg" : {
    "print_tids" : true,
    "print_wpoints" : true,
    "print_protection": true
  },
  "witness": {
    "invariant": {
      "other": false,
      "loop-head": false,
      "after-lock": true
    }
  },
  "pre": {
    "cppflags": [
      "-DGOBLINT_NO_QSORT",
      "-DGOBLINT_NO_BSEARCH"
    ]
  }
}
