lintcstubs/lintcstubs.json at main · edwintorok/lintcstubs · 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
{
    "ana": {
        "activated": [
            "expRelation",
            "base",
            "threadid",
            "threadflag",
            "threadreturn",
            "escape",
            "mutexEvents",
            "mutex",
            "access",
            "race",
            "mallocWrapper",
            "mhp",
            "assert",
            "var_eq",
            "symb_locks",
            "region",
            "thread",
            "threadJoins"
        ],
        "int": {
            "interval": true
        },
        "autotune": {
            "enabled": true,
            "activated": [
                "mallocWrappers",
                "noRecursiveIntervals",
                "enums",
                "congruence",
                "octagon",
                "wideningThresholds"
              ]
        }
    },
    "warn": {
        "integer": false,
        "behavior": false,
        "deadcode": false,
        "unsound": false,
        "imprecise": false,
        "info": false,
        "success": false
    }
}