Project

General

Profile

Download (969 Bytes)

Feature #8595 » job.json

Evgeny Novikov, 11/28/2017 06:37 PM

 
{
"Linux kernel": {
"source": "linux-3.14",
"configuration": "allmodconfig",
"architecture": "x86_64",
"modules": [
"drivers/tty/cyclades.ko"
]
},
"LKVOG strategy": {
"name": "manual",
"groups": {
"drivers/tty/cyclades.ko": [
[
"drivers/tty/n_tty.o",
"drivers/tty/pty.o",
"drivers/tty/sysrq.o",
"drivers/tty/tty_audit.o",
"drivers/tty/tty_buffer.o",
"drivers/tty/tty_io.o",
"drivers/tty/tty_ioctl.o",
"drivers/tty/tty_ldisc.o",
"drivers/tty/tty_ldsem.o",
"drivers/tty/tty_mutex.o",
"drivers/tty/tty_port.o",
"drivers/tty/cyclades.ko"
]
]
}
},
"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": ["linux:empty"]
}
(1-1/3)