analyzer/conf/svcomp26/level01.json at af517a4180a8a7377996d2d5d98f4e301ad5ad1c · goblint/analyzer · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
{
  "ana": {
    "int": {
      "enums": false,
      "interval": true
    },
    "float": {
      "interval": true,
      "evaluate_math_functions": true
    },
    "activated": [
      "base",
      "threadid",
      "threadflag",
      "threadreturn",
      "mallocWrapper",
      "mutexEvents",
      "mutex",
      "access",
      "race",
      "escape",
      "expRelation",
      "mhp",
      "assert",
      "var_eq",
      "symb_locks",
      "region",
      "thread",
      "threadJoins",
      "abortUnless",
      "mutexGhosts",
      "pthreadMutexType"
    ],
    "path_sens": [
      "mutex",
      "malloc_null",
      "uninit",
      "expsplit",
      "activeSetjmp",
      "memLeak",
      "threadflag"
    ],
    "context": {
      "gas_value": 30
    },
    "base": {
      "arrays": {
        "domain": "partitioned"
      }
    },
    "autotune": {
      "activated": [
        "reduceAnalyses",
        "mallocWrappers",
        "noRecursiveIntervals",
        "enums",
        "congruence",
        "octagonAnalysis",
        "octagonVars",
        "wideningThresholds",
        "loopUnrollHeuristic",
        "memsafetySpecification",
        "noOverflows",
        "termination",
        "tmpSpecialAnalysis"
      ]
    }
  }
}