Home | History | Annotate | Line # | Download | only in string
t_memmem.c revision 1.3.14.1
      1  1.3.14.1  christos /*	$NetBSD: t_memmem.c,v 1.3.14.1 2019/06/10 22:10:05 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.3.14.1  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.3.14.1  christos ATF_TC(memmem_oob);
     99  1.3.14.1  christos ATF_TC_HEAD(memmem_oob, tc)
    100  1.3.14.1  christos {
    101  1.3.14.1  christos 	atf_tc_set_md_var(tc, "descr", "Test memmem out of bounds read");
    102  1.3.14.1  christos }
    103  1.3.14.1  christos 
    104  1.3.14.1  christos ATF_TC_BODY(memmem_oob, tc)
    105  1.3.14.1  christos {
    106  1.3.14.1  christos 	static const char str[] = "abcde";
    107  1.3.14.1  christos 	size_t pg = getpagesize();
    108  1.3.14.1  christos 	char *src = mmap(NULL, pg, PROT_READ|PROT_WRITE,
    109  1.3.14.1  christos 	    MAP_ANON|MAP_PRIVATE, -1, (off_t)0);
    110  1.3.14.1  christos 	ATF_CHECK(src != MAP_FAILED);
    111  1.3.14.1  christos 	char *guard = mmap(src + pg, pg,
    112  1.3.14.1  christos 	    PROT_NONE, MAP_ANON|MAP_PRIVATE|MAP_FIXED, -1, (off_t)0);
    113  1.3.14.1  christos 	for (size_t i = 2; i < 5; i++) {
    114  1.3.14.1  christos 		char *search = src + pg - i;
    115  1.3.14.1  christos 		char match[sizeof(str)];
    116  1.3.14.1  christos 		search[-1] = str[0];
    117  1.3.14.1  christos 		search[0] = str[0];
    118  1.3.14.1  christos 		search[1] = str[0];
    119  1.3.14.1  christos 		memcpy(match, str, i);
    120  1.3.14.1  christos 		ATF_CHECK(memmem(search, i, match, i) != search);
    121  1.3.14.1  christos 	}
    122  1.3.14.1  christos 	munmap(guard, pg);
    123  1.3.14.1  christos 	munmap(src, pg);
    124  1.3.14.1  christos }
    125  1.3.14.1  christos 
    126  1.3.14.1  christos 
    127       1.1  pgoyette ATF_TP_ADD_TCS(tp)
    128       1.1  pgoyette {
    129       1.1  pgoyette 
    130       1.2    jruoho 	ATF_TP_ADD_TC(tp, memmem_basic);
    131  1.3.14.1  christos 	ATF_TP_ADD_TC(tp, memmem_oob);
    132       1.1  pgoyette 
    133       1.1  pgoyette 	return atf_no_error();
    134       1.1  pgoyette }
    135