Bug #8258 ยป job.json
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 |
}
|