t_kcov.c revision 1.1 1 1.1 kamil /*
2 1.1 kamil * SPDX-License-Identifier: BSD-2-Clause
3 1.1 kamil *
4 1.1 kamil * Copyright (c) 2018, 2019 Andrew Turner
5 1.1 kamil *
6 1.1 kamil * This software was developed by SRI International and the University of
7 1.1 kamil * Cambridge Computer Laboratory under DARPA/AFRL contract FA8750-10-C-0237
8 1.1 kamil * ("CTSRD"), as part of the DARPA CRASH research programme.
9 1.1 kamil *
10 1.1 kamil * Redistribution and use in source and binary forms, with or without
11 1.1 kamil * modification, are permitted provided that the following conditions
12 1.1 kamil * are met:
13 1.1 kamil * 1. Redistributions of source code must retain the above copyright
14 1.1 kamil * notice, this list of conditions and the following disclaimer.
15 1.1 kamil * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 kamil * notice, this list of conditions and the following disclaimer in the
17 1.1 kamil * documentation and/or other materials provided with the distribution.
18 1.1 kamil *
19 1.1 kamil * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
20 1.1 kamil * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21 1.1 kamil * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22 1.1 kamil * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
23 1.1 kamil * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24 1.1 kamil * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25 1.1 kamil * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26 1.1 kamil * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27 1.1 kamil * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28 1.1 kamil * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 1.1 kamil * SUCH DAMAGE.
30 1.1 kamil */
31 1.1 kamil #include <sys/cdefs.h>
32 1.1 kamil
33 1.1 kamil #include <sys/param.h>
34 1.1 kamil #include <sys/ioctl.h>
35 1.1 kamil #include <sys/kcov.h>
36 1.1 kamil #include <sys/mman.h>
37 1.1 kamil
38 1.1 kamil #include <fcntl.h>
39 1.1 kamil #include <pthread.h>
40 1.1 kamil #include <semaphore.h>
41 1.1 kamil
42 1.1 kamil #include <atf-c.h>
43 1.1 kamil
44 1.1 kamil #define PAGE_SIZE sysconf(_SC_PAGESIZE)
45 1.1 kamil
46 1.1 kamil static int
47 1.1 kamil open_kcov(void)
48 1.1 kamil {
49 1.1 kamil int fd;
50 1.1 kamil
51 1.1 kamil fd = open("/dev/kcov", O_RDWR);
52 1.1 kamil if (fd == -1)
53 1.1 kamil atf_tc_skip("Failed to open /dev/kcov");
54 1.1 kamil
55 1.1 kamil return fd;
56 1.1 kamil }
57 1.1 kamil
58 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_bufsize);
59 1.1 kamil ATF_TC_BODY(kcov_bufsize, tc)
60 1.1 kamil {
61 1.1 kamil int fd;
62 1.1 kamil kcov_int_t size;
63 1.1 kamil fd = open_kcov();
64 1.1 kamil
65 1.1 kamil size = 0;
66 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) == -1);
67 1.1 kamil size = 2;
68 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) == 0);
69 1.1 kamil
70 1.1 kamil close(fd);
71 1.1 kamil }
72 1.1 kamil
73 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_mmap);
74 1.1 kamil ATF_TC_BODY(kcov_mmap, tc)
75 1.1 kamil {
76 1.1 kamil void *data;
77 1.1 kamil int fd;
78 1.1 kamil kcov_int_t size = 2 * PAGE_SIZE / KCOV_ENTRY_SIZE;
79 1.1 kamil
80 1.1 kamil fd = open_kcov();
81 1.1 kamil
82 1.1 kamil ATF_CHECK(mmap(NULL, PAGE_SIZE, PROT_READ | PROT_WRITE, MAP_SHARED,
83 1.1 kamil fd, 0) == MAP_FAILED);
84 1.1 kamil
85 1.1 kamil ATF_REQUIRE(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) == 0);
86 1.1 kamil
87 1.1 kamil ATF_REQUIRE((data = mmap(NULL, 2 * PAGE_SIZE, PROT_READ | PROT_WRITE,
88 1.1 kamil MAP_SHARED, fd, 0)) != MAP_FAILED);
89 1.1 kamil
90 1.1 kamil munmap(data, 2 * PAGE_SIZE);
91 1.1 kamil
92 1.1 kamil close(fd);
93 1.1 kamil }
94 1.1 kamil
95 1.1 kamil /* This shouldn't panic */
96 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_mmap_no_munmap);
97 1.1 kamil ATF_TC_BODY(kcov_mmap_no_munmap, tc)
98 1.1 kamil {
99 1.1 kamil int fd;
100 1.1 kamil kcov_int_t size = PAGE_SIZE / KCOV_ENTRY_SIZE;
101 1.1 kamil
102 1.1 kamil fd = open_kcov();
103 1.1 kamil
104 1.1 kamil ATF_REQUIRE(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) ==0);
105 1.1 kamil
106 1.1 kamil ATF_CHECK(mmap(NULL, PAGE_SIZE, PROT_READ | PROT_WRITE, MAP_SHARED,
107 1.1 kamil fd, 0) != MAP_FAILED);
108 1.1 kamil
109 1.1 kamil close(fd);
110 1.1 kamil }
111 1.1 kamil
112 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_mmap_no_munmap_no_close);
113 1.1 kamil ATF_TC_BODY(kcov_mmap_no_munmap_no_close, tc)
114 1.1 kamil {
115 1.1 kamil int fd;
116 1.1 kamil kcov_int_t size = PAGE_SIZE / KCOV_ENTRY_SIZE;
117 1.1 kamil
118 1.1 kamil fd = open_kcov();
119 1.1 kamil
120 1.1 kamil ATF_REQUIRE(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) ==0);
121 1.1 kamil
122 1.1 kamil ATF_CHECK(mmap(NULL, PAGE_SIZE, PROT_READ | PROT_WRITE, MAP_SHARED,
123 1.1 kamil fd, 0) != MAP_FAILED);
124 1.1 kamil }
125 1.1 kamil
126 1.1 kamil static sem_t sem1, sem2;
127 1.1 kamil
128 1.1 kamil static void *
129 1.1 kamil kcov_mmap_enable_thread(void *data)
130 1.1 kamil {
131 1.1 kamil int fd;
132 1.1 kamil kcov_int_t size = PAGE_SIZE / KCOV_ENTRY_SIZE;
133 1.1 kamil
134 1.1 kamil fd = open_kcov();
135 1.1 kamil *(int *)data = fd;
136 1.1 kamil
137 1.1 kamil ATF_REQUIRE(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) ==0);
138 1.1 kamil ATF_CHECK(mmap(NULL, PAGE_SIZE, PROT_READ | PROT_WRITE, MAP_SHARED,
139 1.1 kamil fd, 0) != MAP_FAILED);
140 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_ENABLE) == 0);
141 1.1 kamil
142 1.1 kamil sem_post(&sem1);
143 1.1 kamil sem_wait(&sem2);
144 1.1 kamil
145 1.1 kamil return NULL;
146 1.1 kamil }
147 1.1 kamil
148 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_mmap_enable_thread_close);
149 1.1 kamil ATF_TC_BODY(kcov_mmap_enable_thread_close, tc)
150 1.1 kamil {
151 1.1 kamil pthread_t thread;
152 1.1 kamil int fd;
153 1.1 kamil
154 1.1 kamil sem_init(&sem1, 0, 0);
155 1.1 kamil sem_init(&sem2, 0, 0);
156 1.1 kamil pthread_create(&thread, NULL,
157 1.1 kamil kcov_mmap_enable_thread, &fd);
158 1.1 kamil sem_wait(&sem1);
159 1.1 kamil close(fd);
160 1.1 kamil sem_post(&sem2);
161 1.1 kamil pthread_join(thread, NULL);
162 1.1 kamil }
163 1.1 kamil
164 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_enable);
165 1.1 kamil ATF_TC_BODY(kcov_enable, tc)
166 1.1 kamil {
167 1.1 kamil int fd;
168 1.1 kamil kcov_int_t size = PAGE_SIZE / KCOV_ENTRY_SIZE;
169 1.1 kamil
170 1.1 kamil fd = open_kcov();
171 1.1 kamil
172 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_ENABLE) == -1);
173 1.1 kamil
174 1.1 kamil ATF_REQUIRE(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) ==0);
175 1.1 kamil
176 1.1 kamil /* We need to enable before disable */
177 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_DISABLE) == -1);
178 1.1 kamil
179 1.1 kamil /* Check enabling works only with a valid trace method */
180 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_ENABLE) == 0);
181 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_ENABLE) == -1);
182 1.1 kamil
183 1.1 kamil /* Disable should only be called once */
184 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_DISABLE) == 0);
185 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_DISABLE) == -1);
186 1.1 kamil
187 1.1 kamil /* Re-enabling should also work */
188 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_ENABLE) == 0);
189 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_DISABLE) == 0);
190 1.1 kamil
191 1.1 kamil close(fd);
192 1.1 kamil }
193 1.1 kamil
194 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_enable_no_disable);
195 1.1 kamil ATF_TC_BODY(kcov_enable_no_disable, tc)
196 1.1 kamil {
197 1.1 kamil int fd;
198 1.1 kamil kcov_int_t size = PAGE_SIZE / KCOV_ENTRY_SIZE;
199 1.1 kamil
200 1.1 kamil fd = open_kcov();
201 1.1 kamil ATF_REQUIRE(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) ==0);
202 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_ENABLE) == 0);
203 1.1 kamil close(fd);
204 1.1 kamil }
205 1.1 kamil
206 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_enable_no_disable_no_close);
207 1.1 kamil ATF_TC_BODY(kcov_enable_no_disable_no_close, tc)
208 1.1 kamil {
209 1.1 kamil int fd;
210 1.1 kamil kcov_int_t size = PAGE_SIZE / KCOV_ENTRY_SIZE;
211 1.1 kamil
212 1.1 kamil fd = open_kcov();
213 1.1 kamil ATF_REQUIRE(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) ==0);
214 1.1 kamil ATF_CHECK(ioctl(fd, KCOV_IOC_ENABLE) == 0);
215 1.1 kamil }
216 1.1 kamil
217 1.1 kamil static void *
218 1.1 kamil common_head(int *fdp)
219 1.1 kamil {
220 1.1 kamil void *data;
221 1.1 kamil int fd;
222 1.1 kamil kcov_int_t size = PAGE_SIZE / KCOV_ENTRY_SIZE;
223 1.1 kamil
224 1.1 kamil fd = open_kcov();
225 1.1 kamil
226 1.1 kamil ATF_REQUIRE_MSG(ioctl(fd, KCOV_IOC_SETBUFSIZE, &size) == 0,
227 1.1 kamil "Unable to set the kcov buffer size");
228 1.1 kamil
229 1.1 kamil data = mmap(NULL, PAGE_SIZE, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
230 1.1 kamil ATF_REQUIRE_MSG(data != MAP_FAILED, "Unable to mmap the kcov buffer");
231 1.1 kamil
232 1.1 kamil *fdp = fd;
233 1.1 kamil return data;
234 1.1 kamil }
235 1.1 kamil
236 1.1 kamil static void
237 1.1 kamil common_tail(int fd, kcov_int_t *data)
238 1.1 kamil {
239 1.1 kamil
240 1.1 kamil ATF_REQUIRE_MSG(munmap(__UNVOLATILE(data), PAGE_SIZE) == 0,
241 1.1 kamil "Unable to unmap the kcov buffer");
242 1.1 kamil
243 1.1 kamil close(fd);
244 1.1 kamil }
245 1.1 kamil
246 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_basic);
247 1.1 kamil ATF_TC_BODY(kcov_basic, tc)
248 1.1 kamil {
249 1.1 kamil kcov_int_t *buf;
250 1.1 kamil int fd;
251 1.1 kamil
252 1.1 kamil buf = common_head(&fd);
253 1.1 kamil ATF_REQUIRE_MSG(ioctl(fd, KCOV_IOC_ENABLE) == 0,
254 1.1 kamil "Unable to enable kcov ");
255 1.1 kamil
256 1.1 kamil __atomic_store_n(&buf[0], 0 , __ATOMIC_RELAXED);
257 1.1 kamil
258 1.1 kamil sleep(0);
259 1.1 kamil ATF_REQUIRE_MSG(__atomic_load_n(&buf[0], __ATOMIC_RELAXED) != 0, "No records found");
260 1.1 kamil
261 1.1 kamil ATF_REQUIRE_MSG(ioctl(fd, KCOV_IOC_DISABLE) == 0,
262 1.1 kamil "Unable to disable kcov");
263 1.1 kamil
264 1.1 kamil common_tail(fd, buf);
265 1.1 kamil }
266 1.1 kamil
267 1.1 kamil static void *
268 1.1 kamil thread_test_helper(void *ptr)
269 1.1 kamil {
270 1.1 kamil kcov_int_t *buf = ptr;
271 1.1 kamil
272 1.1 kamil __atomic_store_n(&buf[0], 0, __ATOMIC_RELAXED);
273 1.1 kamil sleep(0);
274 1.1 kamil ATF_REQUIRE_MSG(__atomic_load_n(&buf[0], __ATOMIC_RELAXED) == 0,
275 1.1 kamil "Records changed in blocked thread");
276 1.1 kamil
277 1.1 kamil return NULL;
278 1.1 kamil }
279 1.1 kamil
280 1.1 kamil ATF_TC_WITHOUT_HEAD(kcov_thread);
281 1.1 kamil ATF_TC_BODY(kcov_thread, tc)
282 1.1 kamil {
283 1.1 kamil pthread_t thread;
284 1.1 kamil kcov_int_t *buf;
285 1.1 kamil int fd;
286 1.1 kamil
287 1.1 kamil buf = common_head(&fd);
288 1.1 kamil
289 1.1 kamil ATF_REQUIRE_MSG(ioctl(fd, KCOV_IOC_ENABLE) == 0,
290 1.1 kamil "Unable to enable kcov ");
291 1.1 kamil
292 1.1 kamil pthread_create(&thread, NULL, thread_test_helper, __UNVOLATILE(buf));
293 1.1 kamil pthread_join(thread, NULL);
294 1.1 kamil
295 1.1 kamil ATF_REQUIRE_MSG(ioctl(fd, KCOV_IOC_DISABLE) == 0,
296 1.1 kamil "Unable to disable kcov");
297 1.1 kamil
298 1.1 kamil common_tail(fd, buf);
299 1.1 kamil }
300 1.1 kamil
301 1.1 kamil ATF_TP_ADD_TCS(tp)
302 1.1 kamil {
303 1.1 kamil
304 1.1 kamil ATF_TP_ADD_TC(tp, kcov_bufsize);
305 1.1 kamil ATF_TP_ADD_TC(tp, kcov_mmap);
306 1.1 kamil ATF_TP_ADD_TC(tp, kcov_mmap_no_munmap);
307 1.1 kamil ATF_TP_ADD_TC(tp, kcov_mmap_no_munmap_no_close);
308 1.1 kamil ATF_TP_ADD_TC(tp, kcov_enable);
309 1.1 kamil ATF_TP_ADD_TC(tp, kcov_enable_no_disable);
310 1.1 kamil ATF_TP_ADD_TC(tp, kcov_enable_no_disable_no_close);
311 1.1 kamil ATF_TP_ADD_TC(tp, kcov_mmap_enable_thread_close);
312 1.1 kamil ATF_TP_ADD_TC(tp, kcov_basic);
313 1.1 kamil ATF_TP_ADD_TC(tp, kcov_thread);
314 1.1 kamil return atf_no_error();
315 1.1 kamil }
316