Project

General

Profile

Bug #8690 ยป job(18).json

Ilja Zakharov, 01/26/2018 04:16 PM

 
1
{
2
  "Linux kernel": {
3
    "source": "linux-3.14",
4
    "configuration": "allmodconfig",
5
    "architecture": "x86_64",
6
    "external modules": "tests",
7
    "modules": [
8
      "arrays/one-element",
9
      "arrays/ten-elements",
10
      "arrays/two-dimensional",
11
      "arrays/two-elements",
12
      "bitfields",
13
      "bitwise-operations/and",
14
      "bitwise-operations/complement",
15
      "bitwise-operations/left-shift",
16
      "bitwise-operations/or",
17
      "bitwise-operations/right-shift",
18
      "bitwise-operations/xor",
19
      "casts",
20
      "conditions/dangling-else",
21
      "conditions/if",
22
      "conditions/if-else",
23
      "conditions/if-else-if",
24
      "conditions/if-else-if-else",
25
      "conditions/nested",
26
      "conditions/ternary-operator",
27
      "dynamic-memory/xmalloc",
28
      "dynamic-memory/xmalloc-data",
29
      "dynamic-memory/xzalloc",
30
      "dynamic-memory/xzalloc-data",
31
      "enumerations",
32
      "function-pointers",
33
      "gotos",
34
      "inline-assembler",
35
      "integers/binary-minus",
36
      "integers/binary-plus",
37
      "integers/division",
38
      "integers/multiplication",
39
      "integers/remainder",
40
      "integers/unary-minus",
41
      "integers/unary-plus",
42
      "inter-functional-analysis/one-level",
43
      "inter-functional-analysis/ten-levels",
44
      "inter-functional-analysis/two-levels",
45
      "lists",
46
      "logical-operations/and",
47
      "logical-operations/not",
48
      "logical-operations/or",
49
      "loops/break",
50
      "loops/continue",
51
      "loops/do-while",
52
      "loops/nested",
53
      "loops/one-iteration",
54
      "loops/ten-iterations",
55
      "loops/two-iterations",
56
      "loops/while",
57
      "pointers/address",
58
      "pointers/alias",
59
      "pointers/container-of",
60
      "pointers/dereference",
61
      "pointers/null",
62
      "recursion/one-depth",
63
      "recursion/ten-depth",
64
      "recursion/two-depth",
65
      "relational-operations/equal",
66
      "relational-operations/greater",
67
      "relational-operations/greater-or-equal",
68
      "relational-operations/less",
69
      "relational-operations/less-or-equal",
70
      "relational-operations/not-equal",
71
      "sizeof",
72
      "structures/no-nesting",
73
      "structures/one-nesting",
74
      "structures/ten-nesting",
75
      "switches/break",
76
      "switches/default",
77
      "switches/one-case",
78
      "switches/ten-cases",
79
      "switches/two-cases",
80
      "unions/no-nesting",
81
      "unions/one-nesting",
82
      "unions/same-memory",
83
      "unions/ten-nesting",
84
      "variables/assignment",
85
      "variables/bitwise-and-assignment",
86
      "variables/bitwise-or-assignment",
87
      "variables/bitwise-xor-assignment",
88
      "variables/division-assignment",
89
      "variables/left-shift-assignment",
90
      "variables/minus-assignment",
91
      "variables/multiplication-assignment",
92
      "variables/plus-assignment",
93
      "variables/postfix-decrement",
94
      "variables/postfix-increment",
95
      "variables/prefix-decrement",
96
      "variables/prefix-increment",
97
      "variables/remainder-assignment",
98
      "variables/right-shift-assignment"
99
    ]
100
  },
101
  "LKVOG strategy": {"name": "separate modules"},
102
  "maximum verification object size": 30000,
103
  "rule specifications DB": "rule specs.json",
104
  "verifier profiles DB": "verifier profiles.json",
105
  "specifications set": "Linux 3.14 (base)",
106
  "rule specifications": ["test"],
107
  "ideal verdicts": [
108
    {"ideal verdict": "safe"},
109
    {
110
      "ideal verdict": "unsafe",
111
      "verification object": [
112
        "ext-modules/bitfields/unsafe.ko",
113
        "ext-modules/casts/unsafe.ko",
114
        "ext-modules/enumerations/unsafe.ko",
115
        "ext-modules/gotos/unsafe.ko",
116
        "ext-modules/inline-assembler/unsafe.ko",
117
        "ext-modules/arrays/one-element/unsafe.ko",
118
        "ext-modules/arrays/ten-elements/unsafe.ko",
119
        "ext-modules/arrays/two-dimensional/unsafe.ko",
120
        "ext-modules/arrays/two-elements/unsafe.ko",
121
        "ext-modules/bitwise-operations/and/unsafe.ko",
122
        "ext-modules/bitwise-operations/complement/unsafe.ko",
123
        "ext-modules/bitwise-operations/left-shift/unsafe.ko",
124
        "ext-modules/bitwise-operations/or/unsafe.ko",
125
        "ext-modules/bitwise-operations/right-shift/unsafe.ko",
126
        "ext-modules/conditions/dangling-else/unsafe.ko",
127
        "ext-modules/conditions/if/unsafe.ko",
128
        "ext-modules/conditions/if-else/unsafe.ko",
129
        "ext-modules/conditions/if-else-if/unsafe.ko",
130
        "ext-modules/conditions/if-else-if-else/unsafe.ko",
131
        "ext-modules/conditions/nested/unsafe.ko",
132
        "ext-modules/conditions/ternary-operator/unsafe.ko",
133
        "ext-modules/dynamic-memory/xmalloc/unsafe.ko",
134
        "ext-modules/dynamic-memory/xmalloc-data/unsafe.ko",
135
        "ext-modules/dynamic-memory/xzalloc/unsafe.ko",
136
        "ext-modules/dynamic-memory/xzalloc-data/unsafe.ko",
137
        "ext-modules/integers/binary-minus/unsafe.ko",
138
        "ext-modules/integers/binary-plus/unsafe.ko",
139
        "ext-modules/integers/division/unsafe.ko",
140
        "ext-modules/integers/multiplication/unsafe.ko",
141
        "ext-modules/integers/remainder/unsafe.ko",
142
        "ext-modules/integers/unary-minus/unsafe.ko",
143
        "ext-modules/integers/unary-plus/unsafe.ko",
144
        "ext-modules/inter-functional-analysis/one-level/unsafe.ko",
145
        "ext-modules/inter-functional-analysis/ten-levels/unsafe.ko",
146
        "ext-modules/inter-functional-analysis/two-levels/unsafe.ko",
147
        "ext-modules/logical-operations/and/unsafe.ko",
148
        "ext-modules/logical-operations/not/unsafe.ko",
149
        "ext-modules/logical-operations/or/unsafe.ko",
150
        "ext-modules/loops/break/unsafe.ko",
151
        "ext-modules/loops/continue/unsafe.ko",
152
        "ext-modules/loops/do-while/unsafe.ko",
153
        "ext-modules/loops/nested/unsafe.ko",
154
        "ext-modules/loops/one-iteration/unsafe.ko",
155
        "ext-modules/loops/ten-iterations/unsafe.ko",
156
        "ext-modules/loops/two-iterations/unsafe.ko",
157
        "ext-modules/loops/while/unsafe.ko",
158
        "ext-modules/pointers/container-of/unsafe.ko",
159
        "ext-modules/pointers/null/unsafe.ko",
160
        "ext-modules/recursion/one-depth/unsafe.ko",
161
        "ext-modules/recursion/ten-depth/unsafe.ko",
162
        "ext-modules/recursion/two-depth/unsafe.ko",
163
        "ext-modules/relational-operations/equal/unsafe.ko",
164
        "ext-modules/relational-operations/greater/unsafe.ko",
165
        "ext-modules/relational-operations/greater-or-equal/unsafe.ko",
166
        "ext-modules/relational-operations/less/unsafe.ko",
167
        "ext-modules/relational-operations/less-or-equal/unsafe.ko",
168
        "ext-modules/relational-operations/not-equal/unsafe.ko",
169
        "ext-modules/structures/no-nesting/unsafe.ko",
170
        "ext-modules/structures/one-nesting/unsafe.ko",
171
        "ext-modules/structures/ten-nesting/unsafe.ko",
172
        "ext-modules/switches/break/unsafe.ko",
173
        "ext-modules/switches/default/unsafe.ko",
174
        "ext-modules/switches/one-case/unsafe.ko",
175
        "ext-modules/switches/ten-cases/unsafe.ko",
176
        "ext-modules/switches/two-cases/unsafe.ko",
177
        "ext-modules/unions/no-nesting/unsafe.ko",
178
        "ext-modules/unions/one-nesting/unsafe.ko",
179
        "ext-modules/unions/same-memory/unsafe.ko",
180
        "ext-modules/unions/ten-nesting/unsafe.ko",
181
        "ext-modules/variables/assignment/unsafe.ko",
182
        "ext-modules/variables/bitwise-and-assignment/unsafe.ko",
183
        "ext-modules/variables/bitwise-or-assignment/unsafe.ko",
184
        "ext-modules/variables/bitwise-xor-assignment/unsafe.ko",
185
        "ext-modules/variables/division-assignment/unsafe.ko",
186
        "ext-modules/variables/left-shift-assignment/unsafe.ko",
187
        "ext-modules/variables/minus-assignment/unsafe.ko",
188
        "ext-modules/variables/multiplication-assignment/unsafe.ko",
189
        "ext-modules/variables/plus-assignment/unsafe.ko",
190
        "ext-modules/variables/postfix-decrement/unsafe.ko",
191
        "ext-modules/variables/postfix-increment/unsafe.ko",
192
        "ext-modules/variables/prefix-decrement/unsafe.ko",
193
        "ext-modules/variables/prefix-increment/unsafe.ko",
194
        "ext-modules/variables/remainder-assignment/unsafe.ko",
195
        "ext-modules/variables/right-shift-assignment/unsafe.ko"
196
      ]
197
    }
198
  ]
199
}
    (1-1/1)