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