-
Notifications
You must be signed in to change notification settings - Fork 1
/
cerberus.config
79 lines (78 loc) · 2.1 KB
/
cerberus.config
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
{
"general": {
"parallel": true,
"enable_ui": true,
"debug-mode": false,
"secure-hash": false
},
"tasks": {
"default": {
"compact-results": true,
"dump-patches": false,
"docker-host": "unix:///var/run/docker.sock",
"only-analyse": false,
"only-setup": false,
"only-instrument": false,
"only-test": false,
"rebuild-all": false,
"rebuild-base": true,
"use-cache": false,
"use-container": true,
"use-gpu": false,
"use-purge": false,
"max-cpu-count": 4,
"container-profiles-id-list": [
"CP1"
],
"task-profiles-id-list": [
"TP1"
]
},
"chunks": [
{
"type": "repair",
"runs": 10,
"benchmarks":[
{
"name": "vulnloc",
"bug-id-list":["1-8,11-43"]
},
{
"name": "extractfix",
"bug-id-list":["2,9,12,14,26"]
}
],
"tools":[
{
"name":"fuzzrepair",
"params": "",
"tag": "original"
}
{
"name": "fuzzrepair",
"params": "--rand-patch-seed",
"tag": "random-seed"
}
]
}
]
},
"profiles": {
"container-profiles": [
{
"id": "CP1",
"cpu-count": 4,
"mem-limit": "32g",
"enable-network": true
}
],
"task-profiles": [
{
"id": "TP1",
"timeout": "1",
"fault-location": "auto",
"passing-test-ratio": 1
}
]
}
}