Project

General

Profile

Feature #8595 » job.json

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

 
1
{
2
  "Linux kernel": {
3
    "source": "linux-3.14",
4
    "configuration": "allmodconfig",
5
    "architecture": "x86_64",
6
    "modules": [
7
      "drivers/tty/cyclades.ko"
8
    ]
9
  },
10
  "LKVOG strategy": {
11
    "name": "manual",
12
    "groups": {
13
      "drivers/tty/cyclades.ko": [
14
        [
15
          "drivers/tty/n_tty.o",
16
          "drivers/tty/pty.o",
17
          "drivers/tty/sysrq.o",
18
          "drivers/tty/tty_audit.o",
19
          "drivers/tty/tty_buffer.o",
20
          "drivers/tty/tty_io.o",
21
          "drivers/tty/tty_ioctl.o",
22
          "drivers/tty/tty_ldisc.o",
23
          "drivers/tty/tty_ldsem.o",
24
          "drivers/tty/tty_mutex.o",
25
          "drivers/tty/tty_port.o",
26
          "drivers/tty/cyclades.ko"
27
        ]
28
      ]
29
    }
30
  },
31
  "maximum verification object size": 30000,
32
  "rule specifications DB": "rule specs.json",
33
  "verifier profiles DB": "verifier profiles.json",
34
  "specifications set": "Linux 3.14 (base)",
35
  "rule specifications": ["linux:empty"]
36
}
(1-1/3)