Project

General

Profile

Download (7.98 KB)

Bug #8690 ยป job(18).json

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

 
{
"Linux kernel": {
"source": "linux-3.14",
"configuration": "allmodconfig",
"architecture": "x86_64",
"external modules": "tests",
"modules": [
"arrays/one-element",
"arrays/ten-elements",
"arrays/two-dimensional",
"arrays/two-elements",
"bitfields",
"bitwise-operations/and",
"bitwise-operations/complement",
"bitwise-operations/left-shift",
"bitwise-operations/or",
"bitwise-operations/right-shift",
"bitwise-operations/xor",
"casts",
"conditions/dangling-else",
"conditions/if",
"conditions/if-else",
"conditions/if-else-if",
"conditions/if-else-if-else",
"conditions/nested",
"conditions/ternary-operator",
"dynamic-memory/xmalloc",
"dynamic-memory/xmalloc-data",
"dynamic-memory/xzalloc",
"dynamic-memory/xzalloc-data",
"enumerations",
"function-pointers",
"gotos",
"inline-assembler",
"integers/binary-minus",
"integers/binary-plus",
"integers/division",
"integers/multiplication",
"integers/remainder",
"integers/unary-minus",
"integers/unary-plus",
"inter-functional-analysis/one-level",
"inter-functional-analysis/ten-levels",
"inter-functional-analysis/two-levels",
"lists",
"logical-operations/and",
"logical-operations/not",
"logical-operations/or",
"loops/break",
"loops/continue",
"loops/do-while",
"loops/nested",
"loops/one-iteration",
"loops/ten-iterations",
"loops/two-iterations",
"loops/while",
"pointers/address",
"pointers/alias",
"pointers/container-of",
"pointers/dereference",
"pointers/null",
"recursion/one-depth",
"recursion/ten-depth",
"recursion/two-depth",
"relational-operations/equal",
"relational-operations/greater",
"relational-operations/greater-or-equal",
"relational-operations/less",
"relational-operations/less-or-equal",
"relational-operations/not-equal",
"sizeof",
"structures/no-nesting",
"structures/one-nesting",
"structures/ten-nesting",
"switches/break",
"switches/default",
"switches/one-case",
"switches/ten-cases",
"switches/two-cases",
"unions/no-nesting",
"unions/one-nesting",
"unions/same-memory",
"unions/ten-nesting",
"variables/assignment",
"variables/bitwise-and-assignment",
"variables/bitwise-or-assignment",
"variables/bitwise-xor-assignment",
"variables/division-assignment",
"variables/left-shift-assignment",
"variables/minus-assignment",
"variables/multiplication-assignment",
"variables/plus-assignment",
"variables/postfix-decrement",
"variables/postfix-increment",
"variables/prefix-decrement",
"variables/prefix-increment",
"variables/remainder-assignment",
"variables/right-shift-assignment"
]
},
"LKVOG strategy": {"name": "separate modules"},
"maximum verification object size": 30000,
"rule specifications DB": "rule specs.json",
"verifier profiles DB": "verifier profiles.json",
"specifications set": "Linux 3.14 (base)",
"rule specifications": ["test"],
"ideal verdicts": [
{"ideal verdict": "safe"},
{
"ideal verdict": "unsafe",
"verification object": [
"ext-modules/bitfields/unsafe.ko",
"ext-modules/casts/unsafe.ko",
"ext-modules/enumerations/unsafe.ko",
"ext-modules/gotos/unsafe.ko",
"ext-modules/inline-assembler/unsafe.ko",
"ext-modules/arrays/one-element/unsafe.ko",
"ext-modules/arrays/ten-elements/unsafe.ko",
"ext-modules/arrays/two-dimensional/unsafe.ko",
"ext-modules/arrays/two-elements/unsafe.ko",
"ext-modules/bitwise-operations/and/unsafe.ko",
"ext-modules/bitwise-operations/complement/unsafe.ko",
"ext-modules/bitwise-operations/left-shift/unsafe.ko",
"ext-modules/bitwise-operations/or/unsafe.ko",
"ext-modules/bitwise-operations/right-shift/unsafe.ko",
"ext-modules/conditions/dangling-else/unsafe.ko",
"ext-modules/conditions/if/unsafe.ko",
"ext-modules/conditions/if-else/unsafe.ko",
"ext-modules/conditions/if-else-if/unsafe.ko",
"ext-modules/conditions/if-else-if-else/unsafe.ko",
"ext-modules/conditions/nested/unsafe.ko",
"ext-modules/conditions/ternary-operator/unsafe.ko",
"ext-modules/dynamic-memory/xmalloc/unsafe.ko",
"ext-modules/dynamic-memory/xmalloc-data/unsafe.ko",
"ext-modules/dynamic-memory/xzalloc/unsafe.ko",
"ext-modules/dynamic-memory/xzalloc-data/unsafe.ko",
"ext-modules/integers/binary-minus/unsafe.ko",
"ext-modules/integers/binary-plus/unsafe.ko",
"ext-modules/integers/division/unsafe.ko",
"ext-modules/integers/multiplication/unsafe.ko",
"ext-modules/integers/remainder/unsafe.ko",
"ext-modules/integers/unary-minus/unsafe.ko",
"ext-modules/integers/unary-plus/unsafe.ko",
"ext-modules/inter-functional-analysis/one-level/unsafe.ko",
"ext-modules/inter-functional-analysis/ten-levels/unsafe.ko",
"ext-modules/inter-functional-analysis/two-levels/unsafe.ko",
"ext-modules/logical-operations/and/unsafe.ko",
"ext-modules/logical-operations/not/unsafe.ko",
"ext-modules/logical-operations/or/unsafe.ko",
"ext-modules/loops/break/unsafe.ko",
"ext-modules/loops/continue/unsafe.ko",
"ext-modules/loops/do-while/unsafe.ko",
"ext-modules/loops/nested/unsafe.ko",
"ext-modules/loops/one-iteration/unsafe.ko",
"ext-modules/loops/ten-iterations/unsafe.ko",
"ext-modules/loops/two-iterations/unsafe.ko",
"ext-modules/loops/while/unsafe.ko",
"ext-modules/pointers/container-of/unsafe.ko",
"ext-modules/pointers/null/unsafe.ko",
"ext-modules/recursion/one-depth/unsafe.ko",
"ext-modules/recursion/ten-depth/unsafe.ko",
"ext-modules/recursion/two-depth/unsafe.ko",
"ext-modules/relational-operations/equal/unsafe.ko",
"ext-modules/relational-operations/greater/unsafe.ko",
"ext-modules/relational-operations/greater-or-equal/unsafe.ko",
"ext-modules/relational-operations/less/unsafe.ko",
"ext-modules/relational-operations/less-or-equal/unsafe.ko",
"ext-modules/relational-operations/not-equal/unsafe.ko",
"ext-modules/structures/no-nesting/unsafe.ko",
"ext-modules/structures/one-nesting/unsafe.ko",
"ext-modules/structures/ten-nesting/unsafe.ko",
"ext-modules/switches/break/unsafe.ko",
"ext-modules/switches/default/unsafe.ko",
"ext-modules/switches/one-case/unsafe.ko",
"ext-modules/switches/ten-cases/unsafe.ko",
"ext-modules/switches/two-cases/unsafe.ko",
"ext-modules/unions/no-nesting/unsafe.ko",
"ext-modules/unions/one-nesting/unsafe.ko",
"ext-modules/unions/same-memory/unsafe.ko",
"ext-modules/unions/ten-nesting/unsafe.ko",
"ext-modules/variables/assignment/unsafe.ko",
"ext-modules/variables/bitwise-and-assignment/unsafe.ko",
"ext-modules/variables/bitwise-or-assignment/unsafe.ko",
"ext-modules/variables/bitwise-xor-assignment/unsafe.ko",
"ext-modules/variables/division-assignment/unsafe.ko",
"ext-modules/variables/left-shift-assignment/unsafe.ko",
"ext-modules/variables/minus-assignment/unsafe.ko",
"ext-modules/variables/multiplication-assignment/unsafe.ko",
"ext-modules/variables/plus-assignment/unsafe.ko",
"ext-modules/variables/postfix-decrement/unsafe.ko",
"ext-modules/variables/postfix-increment/unsafe.ko",
"ext-modules/variables/prefix-decrement/unsafe.ko",
"ext-modules/variables/prefix-increment/unsafe.ko",
"ext-modules/variables/remainder-assignment/unsafe.ko",
"ext-modules/variables/right-shift-assignment/unsafe.ko"
]
}
]
}
    (1-1/1)