Project

General

Profile

Bug #8258 ยป job.json

Anton Vasilyev, 06/23/2017 04:36 PM

 
1
{
2
    "Linux kernel": {
3
      "source": "linux-4.11.4.tar.gz",
4
      "configuration": "allmodconfig",
5
      "modules": ["drivers/misc/lkdtm.ko"]
6
    },
7
    "LKVOG strategy": {"name": "separate modules"},
8
    "maximum verification object size": 30000,
9
    "rule specifications DB": "rule specs.json",
10
    "specifications set": "Linux 4.6.7",
11
    "rule specifications": ["generic:memory"],
12
    "VTG strategy": {
13
      "name": "rule specification bugs",
14
      "verifier": {
15
        "name": "CPAchecker",
16
        "version": "bf6d3cb"
17
    },
18
    "merge source files": true
19
  }
20
}
    (1-1/1)