Home | History | Annotate | Line # | Download | only in modules
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