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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
{
"functions": [
{
"name": "__do_sys_cover",
"file": "cover.c",
"start_line": 23,
"end_line": 37,
"scopes": [
{
"arg": -1,
"facts": [
{
"src": {
"local": {
"name": "tmp"
}
},
"dst": {
"return": {
"func": "__do_sys_cover"
}
}
}
]
},
{
"arg": 0,
"values": [
"COVER_IOCTL1"
],
"start_line": 27,
"end_line": 29
},
{
"arg": 0,
"values": [
"COVER_IOCTL2"
],
"start_line": 29,
"end_line": 31
},
{
"arg": 0,
"values": [
"COVER_IOCTL3",
"COVER_IOCTL4"
],
"start_line": 31,
"end_line": 35,
"calls": [
"cover_helper"
],
"facts": [
{
"src": {
"argument": {
"func": "__do_sys_cover",
"arg": 0
}
},
"dst": {
"argument": {
"func": "cover_helper",
"arg": 0
}
}
}
]
}
]
},
{
"name": "cover_helper",
"file": "cover.c",
"start_line": 11,
"end_line": 21,
"is_static": true,
"scopes": [
{
"arg": -1
},
{
"arg": 0,
"values": [
"COVER_IOCTL3"
],
"start_line": 15,
"end_line": 17
},
{
"arg": 0,
"values": [
"COVER_IOCTL4"
],
"start_line": 17,
"end_line": 20
}
]
}
],
"consts": [
{
"name": "COVER_IOCTL1",
"filename": "cover.c",
"value": 1
},
{
"name": "COVER_IOCTL2",
"filename": "cover.c",
"value": 2
},
{
"name": "COVER_IOCTL3",
"filename": "cover.c",
"value": 3
},
{
"name": "COVER_IOCTL4",
"filename": "cover.c",
"value": 4
}
],
"syscalls": [
{
"func": "__do_sys_cover",
"args": [
{
"name": "cmd",
"counted_by": -1,
"type": {
"int": {
"byte_size": 4,
"name": "int",
"base": "int"
}
}
}
],
"source_file": "cover.c"
}
]
}
|
