{
  "ana": {
    "activated": [
      "expRelation", "base", "threadid", "threadflag", "threadreturn",
      "escape", "mutexEvents", "mutex", "access", "race", "mallocWrapper", "mhp", "assert",
      "symb_locks", "var_eq", "mallocFresh"
    ],
    "ctx_insens": [
      "var_eq"
    ],
    "base": {
      "privatization": "none",
      "context": {
        "non-ptr": false
      }
    },
    "thread": {
      "domain": "plain",
      "include-node": false
    },
    "malloc": {
      "wrappers": [
        "ZSTD_customMalloc",
        "ZSTD_customCalloc"
      ]
    },
    "race": {
      "free": false
    },
    "dead-code": {
      "lines": true
    }
  },
  "lib": {
    "activated": [
      "c",
      "posix",
      "pthread",
      "gcc",
      "glibc",
      "linux-userspace",
      "zstd"
    ]
  },
  "sem": {
    "unknown_function": {
      "spawn": false,
      "invalidate": {
        "globals": false,
        "args": false
      }
    }
  },
  "incremental": {
    "restart": {
      "sided": {
        "enabled": false
      }
    }
  },
  "solvers": {
    "td3": {
      "restart": {
        "wpoint": {
          "enabled": false
        }
      }
    }
  },
  "exp": {
    "earlyglobs": true,
    "extraspecials": [
      "ZSTD_customMalloc",
      "ZSTD_customCalloc",
      "ZSTD_customFree"
    ]
  },
  "pre": {
    "cppflags": ["-DZSTD_NO_INTRINSICS", "-D_FORTIFY_SOURCE=0", "-DGOBLINT_NO_ASSERT", "-DGOBLINT_NO_BSEARCH"]
  },
  "cil": {
    "merge": {
      "inlines": false
    }
  },
  "dbg": {
    "timing": {
      "enabled": true
    }
  },
  "warn": {
    "assert": false,
    "behavior": false,
    "integer": false,
    "cast": false,
    "race": true,
    "deadcode": true,
    "analyzer": false,
    "unsound": false,
    "imprecise": false,
    "unknown": false,
    "error": false,
    "warning": true,
    "info": false,
    "debug": false,
    "success": true
  }
}
