Project

General

Profile

Download (574 Bytes)

Bug #8258 ยป job.json

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

 
{
"Linux kernel": {
"source": "linux-4.11.4.tar.gz",
"configuration": "allmodconfig",
"modules": ["drivers/misc/lkdtm.ko"]
},
"LKVOG strategy": {"name": "separate modules"},
"maximum verification object size": 30000,
"rule specifications DB": "rule specs.json",
"specifications set": "Linux 4.6.7",
"rule specifications": ["generic:memory"],
"VTG strategy": {
"name": "rule specification bugs",
"verifier": {
"name": "CPAchecker",
"version": "bf6d3cb"
},
"merge source files": true
}
}
    (1-1/1)