{
    "ana": {
      "activated": [
        "base", "mallocWrapper","escape","mutex","mutexEvents","access", "race", "assert"
      ],
      "base": {
        "privatization": "none",
        "context": {
          "non-ptr": false
        },
        "branch": {
          "refine-pointer-by-pointee": false
        }
      },
      "thread": {
        "domain": "plain",
        "include-node": false
      }
    },
    "exp": {
      "earlyglobs": true
    }
  }
