123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380 |
- /*
- * Copyright 2016-2017 The OpenSSL Project Authors. All Rights Reserved.
- *
- * Licensed under the OpenSSL license (the "License"). You may not use
- * this file except in compliance with the License. You can obtain a copy
- * in the file LICENSE in the source distribution or at
- * https://www.openssl.org/source/license.html
- */
- #include <string.h>
- #include <openssl/buffer.h>
- #ifdef __VMS
- # pragma names save
- # pragma names as_is,shortened
- #endif
- #include "../ssl/packet_locl.h"
- #ifdef __VMS
- # pragma names restore
- #endif
- #include "testutil.h"
- static const unsigned char simple1[] = { 0xff };
- static const unsigned char simple2[] = { 0x01, 0xff };
- static const unsigned char simple3[] = { 0x00, 0x00, 0x00, 0x01, 0xff };
- static const unsigned char nestedsub[] = { 0x03, 0xff, 0x01, 0xff };
- static const unsigned char seqsub[] = { 0x01, 0xff, 0x01, 0xff };
- static const unsigned char empty[] = { 0x00 };
- static const unsigned char alloc[] = { 0x02, 0xfe, 0xff };
- static const unsigned char submem[] = { 0x03, 0x02, 0xfe, 0xff };
- static const unsigned char fixed[] = { 0xff, 0xff, 0xff };
- static BUF_MEM *buf;
- static int cleanup(WPACKET *pkt)
- {
- WPACKET_cleanup(pkt);
- return 0;
- }
- static int test_WPACKET_init(void)
- {
- WPACKET pkt;
- int i;
- size_t written;
- unsigned char sbuf[3];
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- /* Closing a top level WPACKET should fail */
- || !TEST_false(WPACKET_close(&pkt))
- /* Finishing a top level WPACKET should succeed */
- || !TEST_true(WPACKET_finish(&pkt))
- /*
- * Can't call close or finish on a WPACKET that's already
- * finished.
- */
- || !TEST_false(WPACKET_close(&pkt))
- || !TEST_false(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple1, sizeof(simple1)))
- return cleanup(&pkt);
- /* Now try with a one byte length prefix */
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple2, sizeof(simple2)))
- return cleanup(&pkt);
- /* And a longer length prefix */
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 4))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple3, sizeof(simple3)))
- return cleanup(&pkt);
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1)))
- return cleanup(&pkt);
- for (i = 1; i < 257; i++) {
- /*
- * Putting more bytes in than fit for the size of the length prefix
- * should fail
- */
- if (!TEST_int_eq(WPACKET_put_bytes_u8(&pkt, 0xff), i < 256))
- return cleanup(&pkt);
- }
- if (!TEST_true(WPACKET_finish(&pkt)))
- return cleanup(&pkt);
- /* Test initialising from a fixed size buffer */
- if (!TEST_true(WPACKET_init_static_len(&pkt, sbuf, sizeof(sbuf), 0))
- /* Adding 3 bytes should succeed */
- || !TEST_true(WPACKET_put_bytes_u24(&pkt, 0xffffff))
- /* Adding 1 more byte should fail */
- || !TEST_false(WPACKET_put_bytes_u8(&pkt, 0xff))
- /* Finishing the top level WPACKET should succeed */
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(sbuf, written, fixed, sizeof(sbuf))
- /* Initialise with 1 len byte */
- || !TEST_true(WPACKET_init_static_len(&pkt, sbuf, sizeof(sbuf), 1))
- /* Adding 2 bytes should succeed */
- || !TEST_true(WPACKET_put_bytes_u16(&pkt, 0xfeff))
- /* Adding 1 more byte should fail */
- || !TEST_false(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(sbuf, written, alloc, sizeof(alloc)))
- return cleanup(&pkt);
- return 1;
- }
- static int test_WPACKET_set_max_size(void)
- {
- WPACKET pkt;
- size_t written;
- if (!TEST_true(WPACKET_init(&pkt, buf))
- /*
- * No previous lenbytes set so we should be ok to set the max
- * possible max size
- */
- || !TEST_true(WPACKET_set_max_size(&pkt, SIZE_MAX))
- /* We should be able to set it smaller too */
- || !TEST_true(WPACKET_set_max_size(&pkt, SIZE_MAX -1))
- /* And setting it bigger again should be ok */
- || !TEST_true(WPACKET_set_max_size(&pkt, SIZE_MAX))
- || !TEST_true(WPACKET_finish(&pkt)))
- return cleanup(&pkt);
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1))
- /*
- * Should fail because we already consumed 1 byte with the
- * length
- */
- || !TEST_false(WPACKET_set_max_size(&pkt, 0))
- /*
- * Max size can't be bigger than biggest that will fit in
- * lenbytes
- */
- || !TEST_false(WPACKET_set_max_size(&pkt, 0x0101))
- /* It can be the same as the maximum possible size */
- || !TEST_true(WPACKET_set_max_size(&pkt, 0x0100))
- /* Or it can be less */
- || !TEST_true(WPACKET_set_max_size(&pkt, 0x01))
- /* Should fail because packet is already filled */
- || !TEST_false(WPACKET_put_bytes_u8(&pkt, 0xff))
- /* You can't put in more bytes than max size */
- || !TEST_true(WPACKET_set_max_size(&pkt, 0x02))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_false(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple2, sizeof(simple2)))
- return cleanup(&pkt);
- return 1;
- }
- static int test_WPACKET_start_sub_packet(void)
- {
- WPACKET pkt;
- size_t written;
- size_t len;
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_start_sub_packet(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- /* Can't finish because we have a sub packet */
- || !TEST_false(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_close(&pkt))
- /* Sub packet is closed so can't close again */
- || !TEST_false(WPACKET_close(&pkt))
- /* Now a top level so finish should succeed */
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple1, sizeof(simple1)))
- return cleanup(&pkt);
- /* Single sub-packet with length prefix */
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple2, sizeof(simple2)))
- return cleanup(&pkt);
- /* Nested sub-packets with length prefixes */
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_get_length(&pkt, &len))
- || !TEST_size_t_eq(len, 1)
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_get_length(&pkt, &len))
- || !TEST_size_t_eq(len, 3)
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, nestedsub, sizeof(nestedsub)))
- return cleanup(&pkt);
- /* Sequential sub-packets with length prefixes */
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, seqsub, sizeof(seqsub)))
- return cleanup(&pkt);
- /* Nested sub-packets with lengths filled before finish */
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_get_length(&pkt, &len))
- || !TEST_size_t_eq(len, 1)
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_get_length(&pkt, &len))
- || !TEST_size_t_eq(len, 3)
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_fill_lengths(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, nestedsub, sizeof(nestedsub))
- || !TEST_true(WPACKET_finish(&pkt)))
- return cleanup(&pkt);
- return 1;
- }
- static int test_WPACKET_set_flags(void)
- {
- WPACKET pkt;
- size_t written;
- /* Set packet to be non-zero length */
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_set_flags(&pkt, WPACKET_FLAGS_NON_ZERO_LENGTH))
- /* Should fail because of zero length */
- || !TEST_false(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple1, sizeof(simple1)))
- return cleanup(&pkt);
- /* Repeat above test in a sub-packet */
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_start_sub_packet(&pkt))
- || !TEST_true(WPACKET_set_flags(&pkt, WPACKET_FLAGS_NON_ZERO_LENGTH))
- /* Should fail because of zero length */
- || !TEST_false(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple1, sizeof(simple1)))
- return cleanup(&pkt);
- /* Set packet to abandon non-zero length */
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1))
- || !TEST_true(WPACKET_set_flags(&pkt, WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_size_t_eq(written, 0))
- return cleanup(&pkt);
- /* Repeat above test but only abandon a sub-packet */
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_set_flags(&pkt, WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH))
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, empty, sizeof(empty)))
- return cleanup(&pkt);
- /* And repeat with a non empty sub-packet */
- if (!TEST_true(WPACKET_init(&pkt, buf))
- || !TEST_true(WPACKET_start_sub_packet_u8(&pkt))
- || !TEST_true(WPACKET_set_flags(&pkt, WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH))
- || !TEST_true(WPACKET_put_bytes_u8(&pkt, 0xff))
- || !TEST_true(WPACKET_close(&pkt))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, simple2, sizeof(simple2)))
- return cleanup(&pkt);
- return 1;
- }
- static int test_WPACKET_allocate_bytes(void)
- {
- WPACKET pkt;
- size_t written;
- unsigned char *bytes;
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1))
- || !TEST_true(WPACKET_allocate_bytes(&pkt, 2, &bytes)))
- return cleanup(&pkt);
- bytes[0] = 0xfe;
- bytes[1] = 0xff;
- if (!TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, alloc, sizeof(alloc)))
- return cleanup(&pkt);
- /* Repeat with WPACKET_sub_allocate_bytes */
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1))
- || !TEST_true(WPACKET_sub_allocate_bytes_u8(&pkt, 2, &bytes)))
- return cleanup(&pkt);
- bytes[0] = 0xfe;
- bytes[1] = 0xff;
- if (!TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, submem, sizeof(submem)))
- return cleanup(&pkt);
- return 1;
- }
- static int test_WPACKET_memcpy(void)
- {
- WPACKET pkt;
- size_t written;
- const unsigned char bytes[] = { 0xfe, 0xff };
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1))
- || !TEST_true(WPACKET_memcpy(&pkt, bytes, sizeof(bytes)))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, alloc, sizeof(alloc)))
- return cleanup(&pkt);
- /* Repeat with WPACKET_sub_memcpy() */
- if (!TEST_true(WPACKET_init_len(&pkt, buf, 1))
- || !TEST_true(WPACKET_sub_memcpy_u8(&pkt, bytes, sizeof(bytes)))
- || !TEST_true(WPACKET_finish(&pkt))
- || !TEST_true(WPACKET_get_total_written(&pkt, &written))
- || !TEST_mem_eq(buf->data, written, submem, sizeof(submem)))
- return cleanup(&pkt);
- return 1;
- }
- int setup_tests(void)
- {
- if (!TEST_ptr(buf = BUF_MEM_new()))
- return 0;
- ADD_TEST(test_WPACKET_init);
- ADD_TEST(test_WPACKET_set_max_size);
- ADD_TEST(test_WPACKET_start_sub_packet);
- ADD_TEST(test_WPACKET_set_flags);
- ADD_TEST(test_WPACKET_allocate_bytes);
- ADD_TEST(test_WPACKET_memcpy);
- return 1;
- }
- void cleanup_tests(void)
- {
- BUF_MEM_free(buf);
- }
|