Home | History | Annotate | Line # | Download | only in isc
      1  1.1  christos /*	$NetBSD: buffer_test.c,v 1.3 2025/01/26 16:25:49 christos Exp $	*/
      2  1.1  christos 
      3  1.1  christos /*
      4  1.1  christos  * Copyright (C) Internet Systems Consortium, Inc. ("ISC")
      5  1.1  christos  *
      6  1.1  christos  * SPDX-License-Identifier: MPL-2.0
      7  1.1  christos  *
      8  1.1  christos  * This Source Code Form is subject to the terms of the Mozilla Public
      9  1.1  christos  * License, v. 2.0. If a copy of the MPL was not distributed with this
     10  1.1  christos  * file, you can obtain one at https://mozilla.org/MPL/2.0/.
     11  1.1  christos  *
     12  1.1  christos  * See the COPYRIGHT file distributed with this work for additional
     13  1.1  christos  * information regarding copyright ownership.
     14  1.1  christos  */
     15  1.1  christos 
     16  1.1  christos #include <fcntl.h>
     17  1.1  christos #include <inttypes.h>
     18  1.1  christos #include <limits.h>
     19  1.1  christos #include <sched.h> /* IWYU pragma: keep */
     20  1.1  christos #include <setjmp.h>
     21  1.1  christos #include <stdarg.h>
     22  1.1  christos #include <stdbool.h>
     23  1.1  christos #include <stddef.h>
     24  1.1  christos #include <stdlib.h>
     25  1.1  christos #include <string.h>
     26  1.1  christos #include <unistd.h>
     27  1.1  christos 
     28  1.1  christos #define UNIT_TESTING
     29  1.1  christos #include <cmocka.h>
     30  1.1  christos 
     31  1.1  christos #include <isc/buffer.h>
     32  1.1  christos #include <isc/region.h>
     33  1.1  christos #include <isc/result.h>
     34  1.1  christos #include <isc/types.h>
     35  1.1  christos #include <isc/util.h>
     36  1.1  christos 
     37  1.1  christos #include <tests/isc.h>
     38  1.1  christos 
     39  1.1  christos /* reserve space in dynamic buffers */
     40  1.1  christos ISC_RUN_TEST_IMPL(isc_buffer_reserve) {
     41  1.1  christos 	isc_result_t result;
     42  1.1  christos 	isc_buffer_t *b;
     43  1.1  christos 
     44  1.1  christos 	UNUSED(state);
     45  1.1  christos 
     46  1.1  christos 	b = NULL;
     47  1.3  christos 	isc_buffer_allocate(mctx, &b, ISC_BUFFER_INCR);
     48  1.3  christos 	assert_int_equal(b->length, ISC_BUFFER_INCR);
     49  1.1  christos 
     50  1.1  christos 	/*
     51  1.3  christos 	 * 512 bytes should already be available, so this call does
     52  1.1  christos 	 * nothing.
     53  1.1  christos 	 */
     54  1.3  christos 	result = isc_buffer_reserve(b, 512);
     55  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
     56  1.1  christos 	assert_non_null(b);
     57  1.3  christos 	assert_int_equal(b->length, ISC_BUFFER_INCR);
     58  1.1  christos 
     59  1.1  christos 	/*
     60  1.3  christos 	 * This call should grow it to 1536 bytes as only 1024 bytes are
     61  1.1  christos 	 * available in the buffer.
     62  1.1  christos 	 */
     63  1.3  christos 	result = isc_buffer_reserve(b, 1025);
     64  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
     65  1.1  christos 	assert_non_null(b);
     66  1.3  christos 	assert_int_equal(b->length, 3 * ISC_BUFFER_INCR);
     67  1.1  christos 
     68  1.1  christos 	/*
     69  1.3  christos 	 * 1536 bytes should already be available, so this call does
     70  1.1  christos 	 * nothing.
     71  1.1  christos 	 */
     72  1.3  christos 	result = isc_buffer_reserve(b, 1500);
     73  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
     74  1.1  christos 	assert_non_null(b);
     75  1.3  christos 	assert_int_equal(b->length, 3 * ISC_BUFFER_INCR);
     76  1.1  christos 
     77  1.1  christos 	/*
     78  1.3  christos 	 * This call should grow it to 4096 bytes as only 1536 bytes are
     79  1.1  christos 	 * available in the buffer.
     80  1.1  christos 	 */
     81  1.3  christos 	result = isc_buffer_reserve(b, 3585);
     82  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
     83  1.1  christos 	assert_non_null(b);
     84  1.3  christos 	assert_int_equal(b->length, 8 * ISC_BUFFER_INCR);
     85  1.1  christos 
     86  1.1  christos 	/* Consume some of the buffer so we can run the next test. */
     87  1.1  christos 	isc_buffer_add(b, 4096);
     88  1.1  christos 
     89  1.1  christos 	/*
     90  1.1  christos 	 * This call should fail and leave buffer untouched.
     91  1.1  christos 	 */
     92  1.3  christos 	result = isc_buffer_reserve(b, UINT_MAX);
     93  1.1  christos 	assert_int_equal(result, ISC_R_NOMEMORY);
     94  1.1  christos 	assert_non_null(b);
     95  1.3  christos 	assert_int_equal(b->length, 8 * ISC_BUFFER_INCR);
     96  1.1  christos 
     97  1.1  christos 	isc_buffer_free(&b);
     98  1.1  christos }
     99  1.1  christos 
    100  1.1  christos /* dynamic buffer automatic reallocation */
    101  1.1  christos ISC_RUN_TEST_IMPL(isc_buffer_dynamic) {
    102  1.1  christos 	isc_buffer_t *b;
    103  1.1  christos 	size_t last_length = 10;
    104  1.1  christos 	int i;
    105  1.1  christos 
    106  1.1  christos 	UNUSED(state);
    107  1.1  christos 
    108  1.1  christos 	b = NULL;
    109  1.1  christos 	isc_buffer_allocate(mctx, &b, last_length);
    110  1.1  christos 	assert_non_null(b);
    111  1.1  christos 	assert_int_equal(b->length, last_length);
    112  1.1  christos 
    113  1.1  christos 	isc_buffer_putuint8(b, 1);
    114  1.1  christos 
    115  1.1  christos 	for (i = 0; i < 1000; i++) {
    116  1.1  christos 		isc_buffer_putstr(b, "thisisa24charslongstring");
    117  1.1  christos 	}
    118  1.1  christos 	assert_true(b->length - last_length >= 1000 * 24);
    119  1.1  christos 	last_length += 1000 * 24;
    120  1.1  christos 
    121  1.1  christos 	for (i = 0; i < 10000; i++) {
    122  1.1  christos 		isc_buffer_putuint8(b, 1);
    123  1.1  christos 	}
    124  1.1  christos 
    125  1.1  christos 	assert_true(b->length - last_length >= 10000 * 1);
    126  1.1  christos 	last_length += 10000 * 1;
    127  1.1  christos 
    128  1.1  christos 	for (i = 0; i < 10000; i++) {
    129  1.1  christos 		isc_buffer_putuint16(b, 1);
    130  1.1  christos 	}
    131  1.1  christos 
    132  1.1  christos 	assert_true(b->length - last_length >= 10000 * 2);
    133  1.1  christos 
    134  1.1  christos 	for (i = 0; i < 10000; i++) {
    135  1.1  christos 		isc_buffer_putuint32(b, 1);
    136  1.1  christos 	}
    137  1.1  christos 	assert_true(b->length - last_length >= 10000 * 4);
    138  1.1  christos 
    139  1.1  christos 	isc_buffer_free(&b);
    140  1.1  christos }
    141  1.1  christos 
    142  1.1  christos /* copy a region into a buffer */
    143  1.1  christos ISC_RUN_TEST_IMPL(isc_buffer_copyregion) {
    144  1.1  christos 	unsigned char data[] = { 0x11, 0x22, 0x33, 0x44 };
    145  1.1  christos 	isc_buffer_t *b = NULL;
    146  1.1  christos 	isc_result_t result;
    147  1.1  christos 
    148  1.1  christos 	isc_region_t r = {
    149  1.1  christos 		.base = data,
    150  1.1  christos 		.length = sizeof(data),
    151  1.1  christos 	};
    152  1.1  christos 
    153  1.1  christos 	UNUSED(state);
    154  1.1  christos 
    155  1.1  christos 	isc_buffer_allocate(mctx, &b, sizeof(data));
    156  1.1  christos 
    157  1.1  christos 	/*
    158  1.1  christos 	 * Fill originally allocated buffer space.
    159  1.1  christos 	 */
    160  1.1  christos 	result = isc_buffer_copyregion(b, &r);
    161  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
    162  1.1  christos 
    163  1.1  christos 	/*
    164  1.3  christos 	 * Appending should succeed.
    165  1.1  christos 	 */
    166  1.1  christos 	result = isc_buffer_copyregion(b, &r);
    167  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
    168  1.1  christos 
    169  1.1  christos 	isc_buffer_free(&b);
    170  1.1  christos }
    171  1.1  christos 
    172  1.1  christos /* sprintf() into a buffer */
    173  1.1  christos ISC_RUN_TEST_IMPL(isc_buffer_printf) {
    174  1.1  christos 	unsigned int used, prev_used;
    175  1.1  christos 	const char *empty_fmt;
    176  1.1  christos 	isc_result_t result;
    177  1.1  christos 	isc_buffer_t *b, sb;
    178  1.1  christos 	char buf[8];
    179  1.1  christos 
    180  1.1  christos 	UNUSED(state);
    181  1.1  christos 
    182  1.1  christos 	/*
    183  1.1  christos 	 * Prepare a buffer with auto-reallocation enabled.
    184  1.1  christos 	 */
    185  1.1  christos 	b = NULL;
    186  1.1  christos 	isc_buffer_allocate(mctx, &b, 0);
    187  1.1  christos 
    188  1.1  christos 	/*
    189  1.1  christos 	 * Sanity check.
    190  1.1  christos 	 */
    191  1.1  christos 	result = isc_buffer_printf(b, "foo");
    192  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
    193  1.1  christos 	used = isc_buffer_usedlength(b);
    194  1.1  christos 	assert_int_equal(used, 3);
    195  1.1  christos 
    196  1.1  christos 	result = isc_buffer_printf(b, "bar");
    197  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
    198  1.1  christos 	used = isc_buffer_usedlength(b);
    199  1.1  christos 	assert_int_equal(used, 3 + 3);
    200  1.1  christos 
    201  1.1  christos 	/*
    202  1.1  christos 	 * Also check the terminating NULL byte is there, even though it is not
    203  1.1  christos 	 * part of the buffer's used region.
    204  1.1  christos 	 */
    205  1.1  christos 	assert_memory_equal(isc_buffer_current(b), "foobar", 7);
    206  1.1  christos 
    207  1.1  christos 	/*
    208  1.1  christos 	 * Skip over data from previous check to prevent failures in previous
    209  1.1  christos 	 * check from affecting this one.
    210  1.1  christos 	 */
    211  1.1  christos 	prev_used = used;
    212  1.1  christos 	isc_buffer_forward(b, prev_used);
    213  1.1  christos 
    214  1.1  christos 	/*
    215  1.1  christos 	 * Some standard usage checks.
    216  1.1  christos 	 */
    217  1.1  christos 	isc_buffer_printf(b, "%d", 42);
    218  1.1  christos 	used = isc_buffer_usedlength(b);
    219  1.1  christos 	assert_int_equal(used - prev_used, 2);
    220  1.1  christos 
    221  1.1  christos 	isc_buffer_printf(b, "baz%1X", 42);
    222  1.1  christos 	used = isc_buffer_usedlength(b);
    223  1.1  christos 	assert_int_equal(used - prev_used, 2 + 5);
    224  1.1  christos 
    225  1.1  christos 	isc_buffer_printf(b, "%6.1f", 42.42f);
    226  1.1  christos 	used = isc_buffer_usedlength(b);
    227  1.1  christos 	assert_int_equal(used - prev_used, 2 + 5 + 6);
    228  1.1  christos 
    229  1.1  christos 	/*
    230  1.1  christos 	 * Also check the terminating NULL byte is there, even though it is not
    231  1.1  christos 	 * part of the buffer's used region.
    232  1.1  christos 	 */
    233  1.1  christos 	assert_memory_equal(isc_buffer_current(b), "42baz2A  42.4", 14);
    234  1.1  christos 
    235  1.1  christos 	/*
    236  1.1  christos 	 * Check an empty format string is properly handled.
    237  1.1  christos 	 *
    238  1.1  christos 	 * Note: we don't use a string literal for the format string to
    239  1.1  christos 	 * avoid triggering [-Werror=format-zero-length].
    240  1.1  christos 	 * Note: we have a dummy third argument as some compilers complain
    241  1.1  christos 	 * without it.
    242  1.1  christos 	 */
    243  1.1  christos 	prev_used = used;
    244  1.1  christos 	empty_fmt = "";
    245  1.1  christos 	result = isc_buffer_printf(b, empty_fmt, "");
    246  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
    247  1.1  christos 	used = isc_buffer_usedlength(b);
    248  1.1  christos 	assert_int_equal(prev_used, used);
    249  1.1  christos 
    250  1.1  christos 	isc_buffer_free(&b);
    251  1.1  christos 
    252  1.1  christos 	/*
    253  1.1  christos 	 * Check overflow on a static buffer.
    254  1.1  christos 	 */
    255  1.1  christos 	isc_buffer_init(&sb, buf, sizeof(buf));
    256  1.1  christos 	result = isc_buffer_printf(&sb, "123456");
    257  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
    258  1.1  christos 	used = isc_buffer_usedlength(&sb);
    259  1.1  christos 	assert_int_equal(used, 6);
    260  1.1  christos 
    261  1.1  christos 	result = isc_buffer_printf(&sb, "789");
    262  1.1  christos 	assert_int_equal(result, ISC_R_NOSPACE);
    263  1.1  christos 	used = isc_buffer_usedlength(&sb);
    264  1.1  christos 	assert_int_equal(used, 6);
    265  1.1  christos 
    266  1.1  christos 	result = isc_buffer_printf(&sb, "78");
    267  1.1  christos 	assert_int_equal(result, ISC_R_NOSPACE);
    268  1.1  christos 	used = isc_buffer_usedlength(&sb);
    269  1.1  christos 	assert_int_equal(used, 6);
    270  1.1  christos 
    271  1.1  christos 	result = isc_buffer_printf(&sb, "7");
    272  1.1  christos 	assert_int_equal(result, ISC_R_SUCCESS);
    273  1.1  christos 	used = isc_buffer_usedlength(&sb);
    274  1.1  christos 	assert_int_equal(used, 7);
    275  1.1  christos }
    276  1.1  christos 
    277  1.1  christos ISC_TEST_LIST_START
    278  1.1  christos 
    279  1.1  christos ISC_TEST_ENTRY(isc_buffer_reserve)
    280  1.1  christos ISC_TEST_ENTRY(isc_buffer_dynamic)
    281  1.1  christos ISC_TEST_ENTRY(isc_buffer_copyregion)
    282  1.1  christos ISC_TEST_ENTRY(isc_buffer_printf)
    283  1.1  christos 
    284  1.1  christos ISC_TEST_LIST_END
    285  1.1  christos 
    286  1.1  christos ISC_TEST_MAIN
    287