Project

General

Profile

Bug #8606 ยป job.json

Evgeny Novikov, 11/28/2017 05:21 PM

 
1
{
2
  "Linux kernel": {
3
    "source": "linux-4.9.65",
4
    "configuration": "allmodconfig",
5
    "architecture": "x86_64",
6
    "modules": ["drivers/"],
7
    "future_modules": ["drivers/","fs/","net/","sound"]
8
  },
9
  "LKVOG strategy": {"name": "separate modules"},
10
  "maximum verification object size": 30000,
11
  "rule specifications DB": "rule specs.json",
12
  "verifier profiles DB": "verifier profiles.json",
13
  "specifications set": "Linux 4.6.7",
14
  "rule specifications": ["generic:memory", "linux:alloc:irq", "linux:drivers:base:class", "linux:drivers:base:dma-mapping", "linux:alloc:spinlock", "linux:kernel:locking:mutex", "linux:drivers:clk1", "linux:drivers:clk2", "linux:kernel:locking:spinlock", "linux:usb:dev", "linux:usb:urb"]
15
}
    (1-1/1)