1 1.6 christos /* $NetBSD: t_memmem.c,v 1.6 2020/11/27 16:50:02 christos Exp $ */ 2 1.1 pgoyette 3 1.1 pgoyette /*- 4 1.1 pgoyette * Copyright (c) 2005 The NetBSD Foundation, Inc. 5 1.1 pgoyette * All rights reserved. 6 1.1 pgoyette * 7 1.1 pgoyette * This code is derived from software contributed to The NetBSD Foundation 8 1.1 pgoyette * by Perry E. Metzger of Metzger, Dowdeswell & Co. LLC. 9 1.1 pgoyette * 10 1.1 pgoyette * Redistribution and use in source and binary forms, with or without 11 1.1 pgoyette * modification, are permitted provided that the following conditions 12 1.1 pgoyette * are met: 13 1.1 pgoyette * 1. Redistributions of source code must retain the above copyright 14 1.1 pgoyette * notice, this list of conditions and the following disclaimer. 15 1.1 pgoyette * 2. Redistributions in binary form must reproduce the above copyright 16 1.1 pgoyette * notice, this list of conditions and the following disclaimer in the 17 1.1 pgoyette * documentation and/or other materials provided with the distribution. 18 1.1 pgoyette * 19 1.1 pgoyette * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20 1.1 pgoyette * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21 1.1 pgoyette * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22 1.1 pgoyette * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23 1.1 pgoyette * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24 1.1 pgoyette * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25 1.1 pgoyette * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26 1.1 pgoyette * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27 1.1 pgoyette * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28 1.1 pgoyette * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29 1.1 pgoyette * POSSIBILITY OF SUCH DAMAGE. 30 1.1 pgoyette */ 31 1.1 pgoyette 32 1.1 pgoyette #include <atf-c.h> 33 1.1 pgoyette 34 1.1 pgoyette #include <stdio.h> 35 1.1 pgoyette #include <stdlib.h> 36 1.1 pgoyette #include <string.h> 37 1.4 christos #include <sys/mman.h> 38 1.1 pgoyette 39 1.1 pgoyette char p0[] = ""; 40 1.1 pgoyette int lp0 = 0; 41 1.1 pgoyette char p1[] = "0123"; 42 1.1 pgoyette int lp1 = 4; 43 1.1 pgoyette char p2[] = "456"; 44 1.1 pgoyette int lp2 = 3; 45 1.1 pgoyette char p3[] = "789"; 46 1.1 pgoyette int lp3 = 3; 47 1.1 pgoyette char p4[] = "abc"; 48 1.1 pgoyette int lp4 = 3; 49 1.1 pgoyette char p5[] = "0"; 50 1.1 pgoyette int lp5 = 1; 51 1.1 pgoyette char p6[] = "9"; 52 1.1 pgoyette int lp6 = 1; 53 1.1 pgoyette char p7[] = "654"; 54 1.1 pgoyette int lp7 = 3; 55 1.3 christos char p8[] = "89abc"; 56 1.3 christos int lp8 = 5; 57 1.1 pgoyette 58 1.1 pgoyette char b0[] = ""; 59 1.1 pgoyette int lb0 = 0; 60 1.1 pgoyette char b1[] = "0"; 61 1.1 pgoyette int lb1 = 1; 62 1.1 pgoyette char b2[] = "0123456789"; 63 1.1 pgoyette int lb2 = 10; 64 1.1 pgoyette 65 1.1 pgoyette #define expect(b) \ 66 1.1 pgoyette if (!(b)) { \ 67 1.1 pgoyette fprintf(stderr, "failed on line %d\n", __LINE__); \ 68 1.1 pgoyette atf_tc_fail("Check stderr for test id/line"); \ 69 1.1 pgoyette } 70 1.1 pgoyette 71 1.2 jruoho ATF_TC(memmem_basic); 72 1.2 jruoho ATF_TC_HEAD(memmem_basic, tc) 73 1.1 pgoyette { 74 1.1 pgoyette 75 1.1 pgoyette atf_tc_set_md_var(tc, "descr", "Test memmem results"); 76 1.1 pgoyette } 77 1.1 pgoyette 78 1.2 jruoho ATF_TC_BODY(memmem_basic, tc) 79 1.1 pgoyette { 80 1.1 pgoyette 81 1.1 pgoyette expect(memmem(b2, lb2, p0, lp0) == b2); 82 1.1 pgoyette expect(memmem(b0, lb0, p0, lp0) == b0); 83 1.1 pgoyette expect(memmem(b0, lb0, p1, lp1) == NULL); 84 1.1 pgoyette expect(memmem(b1, lb1, p1, lp1) == NULL); 85 1.1 pgoyette 86 1.1 pgoyette expect(memmem(b2, lb2, p1, lp1) == b2); 87 1.1 pgoyette expect(memmem(b2, lb2, p2, lp2) == (b2 + 4)); 88 1.1 pgoyette expect(memmem(b2, lb2, p3, lp3) == (b2 + 7)); 89 1.1 pgoyette 90 1.1 pgoyette expect(memmem(b2, lb2, p5, lp5) == b2); 91 1.1 pgoyette expect(memmem(b2, lb2, p6, lp6) == (b2 + 9)); 92 1.1 pgoyette 93 1.1 pgoyette expect(memmem(b2, lb2, p4, lp4) == NULL); 94 1.1 pgoyette expect(memmem(b2, lb2, p7, lp7) == NULL); 95 1.3 christos expect(memmem(b2, lb2, p8, lp8) == NULL); 96 1.1 pgoyette } 97 1.1 pgoyette 98 1.4 christos ATF_TC(memmem_oob); 99 1.4 christos ATF_TC_HEAD(memmem_oob, tc) 100 1.4 christos { 101 1.4 christos atf_tc_set_md_var(tc, "descr", "Test memmem out of bounds read"); 102 1.4 christos } 103 1.4 christos 104 1.4 christos ATF_TC_BODY(memmem_oob, tc) 105 1.4 christos { 106 1.4 christos static const char str[] = "abcde"; 107 1.4 christos size_t pg = getpagesize(); 108 1.6 christos char *src = mmap(NULL, 2 * pg, PROT_READ|PROT_WRITE, 109 1.4 christos MAP_ANON|MAP_PRIVATE, -1, (off_t)0); 110 1.5 gson ATF_CHECK(src != MAP_FAILED); 111 1.4 christos char *guard = mmap(src + pg, pg, 112 1.4 christos PROT_NONE, MAP_ANON|MAP_PRIVATE|MAP_FIXED, -1, (off_t)0); 113 1.6 christos printf("%p\n", guard); 114 1.4 christos for (size_t i = 2; i < 5; i++) { 115 1.4 christos char *search = src + pg - i; 116 1.4 christos char match[sizeof(str)]; 117 1.4 christos search[-1] = str[0]; 118 1.4 christos search[0] = str[0]; 119 1.4 christos search[1] = str[0]; 120 1.4 christos memcpy(match, str, i); 121 1.4 christos ATF_CHECK(memmem(search, i, match, i) != search); 122 1.4 christos } 123 1.4 christos munmap(guard, pg); 124 1.4 christos munmap(src, pg); 125 1.4 christos } 126 1.4 christos 127 1.4 christos 128 1.1 pgoyette ATF_TP_ADD_TCS(tp) 129 1.1 pgoyette { 130 1.1 pgoyette 131 1.2 jruoho ATF_TP_ADD_TC(tp, memmem_basic); 132 1.4 christos ATF_TP_ADD_TC(tp, memmem_oob); 133 1.1 pgoyette 134 1.1 pgoyette return atf_no_error(); 135 1.1 pgoyette } 136