Project

General

Profile

Download (734 Bytes)

Bug #8606 ยป job.json

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

 
{
"Linux kernel": {
"source": "linux-4.9.65",
"configuration": "allmodconfig",
"architecture": "x86_64",
"modules": ["drivers/"],
"future_modules": ["drivers/","fs/","net/","sound"]
},
"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 4.6.7",
"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"]
}
    (1-1/1)