fce1b86f61
Had been observed with recent gcc-8 snapshot and $ ./config --strict-warnings enable-asan Reviewed-by: Rich Salz <rsalz@openssl.org> (Merged from https://github.com/openssl/openssl/pull/5519)
494 lines
15 KiB
C
494 lines
15 KiB
C
/*
|
|
* Copyright 2015-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 "../ssl/packet_locl.h"
|
|
#include "testutil.h"
|
|
|
|
#define BUF_LEN 255
|
|
|
|
static unsigned char smbuf[BUF_LEN];
|
|
|
|
static int test_PACKET_remaining(void)
|
|
{
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, sizeof(smbuf)))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), BUF_LEN)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 1))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), 1)
|
|
|| !TEST_true(PACKET_forward(&pkt, 1))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), 0))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_end(void)
|
|
{
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, sizeof(smbuf)))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), BUF_LEN)
|
|
|| !TEST_ptr_eq(PACKET_end(&pkt), smbuf + BUF_LEN)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 1))
|
|
|| !TEST_ptr_eq(PACKET_end(&pkt), smbuf + BUF_LEN)
|
|
|| !TEST_true(PACKET_forward(&pkt, 1))
|
|
|| !TEST_ptr_eq(PACKET_end(&pkt), smbuf + BUF_LEN))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_1(void)
|
|
{
|
|
unsigned int i = 0;
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_get_1(&pkt, &i))
|
|
|| !TEST_uint_eq(i, 0x02)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 2))
|
|
|| !TEST_true(PACKET_get_1(&pkt, &i))
|
|
|| !TEST_uint_eq(i, 0xfe)
|
|
|| !TEST_false(PACKET_get_1(&pkt, &i)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_4(void)
|
|
{
|
|
unsigned long i = 0;
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_get_4(&pkt, &i))
|
|
|| !TEST_ulong_eq(i, 0x08060402UL)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 8))
|
|
|| !TEST_true(PACKET_get_4(&pkt, &i))
|
|
|| !TEST_ulong_eq(i, 0xfefcfaf8UL)
|
|
|| !TEST_false(PACKET_get_4(&pkt, &i)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_net_2(void)
|
|
{
|
|
unsigned int i = 0;
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_get_net_2(&pkt, &i))
|
|
|| !TEST_uint_eq(i, 0x0204)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 4))
|
|
|| !TEST_true(PACKET_get_net_2(&pkt, &i))
|
|
|| !TEST_uint_eq(i, 0xfcfe)
|
|
|| !TEST_false(PACKET_get_net_2(&pkt, &i)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_net_3(void)
|
|
{
|
|
unsigned long i = 0;
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_get_net_3(&pkt, &i))
|
|
|| !TEST_ulong_eq(i, 0x020406UL)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 6))
|
|
|| !TEST_true(PACKET_get_net_3(&pkt, &i))
|
|
|| !TEST_ulong_eq(i, 0xfafcfeUL)
|
|
|| !TEST_false(PACKET_get_net_3(&pkt, &i)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_net_4(void)
|
|
{
|
|
unsigned long i = 0;
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_get_net_4(&pkt, &i))
|
|
|| !TEST_ulong_eq(i, 0x02040608UL)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 8))
|
|
|| !TEST_true(PACKET_get_net_4(&pkt, &i))
|
|
|| !TEST_ulong_eq(i, 0xf8fafcfeUL)
|
|
|| !TEST_false(PACKET_get_net_4(&pkt, &i)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_sub_packet(void)
|
|
{
|
|
PACKET pkt, subpkt;
|
|
unsigned long i = 0;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_get_sub_packet(&pkt, &subpkt, 4))
|
|
|| !TEST_true(PACKET_get_net_4(&subpkt, &i))
|
|
|| !TEST_ulong_eq(i, 0x02040608UL)
|
|
|| !TEST_size_t_eq(PACKET_remaining(&subpkt), 0)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 8))
|
|
|| !TEST_true(PACKET_get_sub_packet(&pkt, &subpkt, 4))
|
|
|| !TEST_true(PACKET_get_net_4(&subpkt, &i))
|
|
|| !TEST_ulong_eq(i, 0xf8fafcfeUL)
|
|
|| !TEST_size_t_eq(PACKET_remaining(&subpkt), 0)
|
|
|| !TEST_false(PACKET_get_sub_packet(&pkt, &subpkt, 4)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_bytes(void)
|
|
{
|
|
const unsigned char *bytes = NULL;
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_get_bytes(&pkt, &bytes, 4))
|
|
|| !TEST_uchar_eq(bytes[0], 2)
|
|
|| !TEST_uchar_eq(bytes[1], 4)
|
|
|| !TEST_uchar_eq(bytes[2], 6)
|
|
|| !TEST_uchar_eq(bytes[3], 8)
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), BUF_LEN -4)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 8))
|
|
|| !TEST_true(PACKET_get_bytes(&pkt, &bytes, 4))
|
|
|| !TEST_uchar_eq(bytes[0], 0xf8)
|
|
|| !TEST_uchar_eq(bytes[1], 0xfa)
|
|
|| !TEST_uchar_eq(bytes[2], 0xfc)
|
|
|| !TEST_uchar_eq(bytes[3], 0xfe)
|
|
|| !TEST_false(PACKET_remaining(&pkt)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_copy_bytes(void)
|
|
{
|
|
unsigned char bytes[4];
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_copy_bytes(&pkt, bytes, 4))
|
|
|| !TEST_char_eq(bytes[0], 2)
|
|
|| !TEST_char_eq(bytes[1], 4)
|
|
|| !TEST_char_eq(bytes[2], 6)
|
|
|| !TEST_char_eq(bytes[3], 8)
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), BUF_LEN - 4)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 8))
|
|
|| !TEST_true(PACKET_copy_bytes(&pkt, bytes, 4))
|
|
|| !TEST_uchar_eq(bytes[0], 0xf8)
|
|
|| !TEST_uchar_eq(bytes[1], 0xfa)
|
|
|| !TEST_uchar_eq(bytes[2], 0xfc)
|
|
|| !TEST_uchar_eq(bytes[3], 0xfe)
|
|
|| !TEST_false(PACKET_remaining(&pkt)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_copy_all(void)
|
|
{
|
|
unsigned char tmp[BUF_LEN];
|
|
PACKET pkt;
|
|
size_t len;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_copy_all(&pkt, tmp, BUF_LEN, &len))
|
|
|| !TEST_size_t_eq(len, BUF_LEN)
|
|
|| !TEST_mem_eq(smbuf, BUF_LEN, tmp, BUF_LEN)
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), BUF_LEN)
|
|
|| !TEST_false(PACKET_copy_all(&pkt, tmp, BUF_LEN - 1, &len)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_memdup(void)
|
|
{
|
|
unsigned char *data = NULL;
|
|
size_t len;
|
|
PACKET pkt;
|
|
int result = 0;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_memdup(&pkt, &data, &len))
|
|
|| !TEST_size_t_eq(len, BUF_LEN)
|
|
|| !TEST_mem_eq(data, len, PACKET_data(&pkt), len)
|
|
|| !TEST_true(PACKET_forward(&pkt, 10))
|
|
|| !TEST_true(PACKET_memdup(&pkt, &data, &len))
|
|
|| !TEST_size_t_eq(len, BUF_LEN - 10)
|
|
|| !TEST_mem_eq(data, len, PACKET_data(&pkt), len))
|
|
goto end;
|
|
result = 1;
|
|
end:
|
|
OPENSSL_free(data);
|
|
return result;
|
|
}
|
|
|
|
static int test_PACKET_strndup(void)
|
|
{
|
|
char buf1[10], buf2[10];
|
|
char *data = NULL;
|
|
PACKET pkt;
|
|
int result = 0;
|
|
|
|
memset(buf1, 'x', 10);
|
|
memset(buf2, 'y', 10);
|
|
buf2[5] = '\0';
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, (unsigned char*)buf1, 10))
|
|
|| !TEST_true(PACKET_strndup(&pkt, &data))
|
|
|| !TEST_size_t_eq(strlen(data), 10)
|
|
|| !TEST_strn_eq(data, buf1, 10)
|
|
|| !TEST_true(PACKET_buf_init(&pkt, (unsigned char*)buf2, 10))
|
|
|| !TEST_true(PACKET_strndup(&pkt, &data))
|
|
|| !TEST_size_t_eq(strlen(data), 5)
|
|
|| !TEST_str_eq(data, buf2))
|
|
goto end;
|
|
|
|
result = 1;
|
|
end:
|
|
OPENSSL_free(data);
|
|
return result;
|
|
}
|
|
|
|
static int test_PACKET_contains_zero_byte(void)
|
|
{
|
|
char buf1[10], buf2[10];
|
|
PACKET pkt;
|
|
|
|
memset(buf1, 'x', 10);
|
|
memset(buf2, 'y', 10);
|
|
buf2[5] = '\0';
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, (unsigned char*)buf1, 10))
|
|
|| !TEST_false(PACKET_contains_zero_byte(&pkt))
|
|
|| !TEST_true(PACKET_buf_init(&pkt, (unsigned char*)buf2, 10))
|
|
|| !TEST_true(PACKET_contains_zero_byte(&pkt)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_forward(void)
|
|
{
|
|
const unsigned char *byte = NULL;
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_forward(&pkt, 1))
|
|
|| !TEST_true(PACKET_get_bytes(&pkt, &byte, 1))
|
|
|| !TEST_uchar_eq(byte[0], 4)
|
|
|| !TEST_true(PACKET_forward(&pkt, BUF_LEN - 3))
|
|
|| !TEST_true(PACKET_get_bytes(&pkt, &byte, 1))
|
|
|| !TEST_uchar_eq(byte[0], 0xfe))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_buf_init(void)
|
|
{
|
|
unsigned char buf1[BUF_LEN];
|
|
PACKET pkt;
|
|
|
|
/* Also tests PACKET_remaining() */
|
|
if (!TEST_true(PACKET_buf_init(&pkt, buf1, 4))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), 4)
|
|
|| !TEST_true(PACKET_buf_init(&pkt, buf1, BUF_LEN))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), BUF_LEN)
|
|
|| !TEST_false(PACKET_buf_init(&pkt, buf1, -1)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_null_init(void)
|
|
{
|
|
PACKET pkt;
|
|
|
|
PACKET_null_init(&pkt);
|
|
if (!TEST_size_t_eq(PACKET_remaining(&pkt), 0)
|
|
|| !TEST_false(PACKET_forward(&pkt, 1)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_equal(void)
|
|
{
|
|
PACKET pkt;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, smbuf, 4))
|
|
|| !TEST_true(PACKET_equal(&pkt, smbuf, 4))
|
|
|| !TEST_false(PACKET_equal(&pkt, smbuf + 1, 4))
|
|
|| !TEST_true(PACKET_buf_init(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_true(PACKET_equal(&pkt, smbuf, BUF_LEN))
|
|
|| !TEST_false(PACKET_equal(&pkt, smbuf, BUF_LEN - 1))
|
|
|| !TEST_false(PACKET_equal(&pkt, smbuf, BUF_LEN + 1))
|
|
|| !TEST_false(PACKET_equal(&pkt, smbuf, 0)))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_length_prefixed_1(void)
|
|
{
|
|
unsigned char buf1[BUF_LEN];
|
|
const size_t len = 16;
|
|
unsigned int i;
|
|
PACKET pkt, short_pkt, subpkt = {0};
|
|
|
|
buf1[0] = (unsigned char)len;
|
|
for (i = 1; i < BUF_LEN; i++)
|
|
buf1[i] = (i * 2) & 0xff;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, buf1, BUF_LEN))
|
|
|| !TEST_true(PACKET_buf_init(&short_pkt, buf1, len))
|
|
|| !TEST_true(PACKET_get_length_prefixed_1(&pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&subpkt), len)
|
|
|| !TEST_true(PACKET_get_net_2(&subpkt, &i))
|
|
|| !TEST_uint_eq(i, 0x0204)
|
|
|| !TEST_false(PACKET_get_length_prefixed_1(&short_pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&short_pkt), len))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_length_prefixed_2(void)
|
|
{
|
|
unsigned char buf1[1024];
|
|
const size_t len = 516; /* 0x0204 */
|
|
unsigned int i;
|
|
PACKET pkt, short_pkt, subpkt = {0};
|
|
|
|
for (i = 1; i <= 1024; i++)
|
|
buf1[i - 1] = (i * 2) & 0xff;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, buf1, 1024))
|
|
|| !TEST_true(PACKET_buf_init(&short_pkt, buf1, len))
|
|
|| !TEST_true(PACKET_get_length_prefixed_2(&pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&subpkt), len)
|
|
|| !TEST_true(PACKET_get_net_2(&subpkt, &i))
|
|
|| !TEST_uint_eq(i, 0x0608)
|
|
|| !TEST_false(PACKET_get_length_prefixed_2(&short_pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&short_pkt), len))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_get_length_prefixed_3(void)
|
|
{
|
|
unsigned char buf1[1024];
|
|
const size_t len = 516; /* 0x000204 */
|
|
unsigned int i;
|
|
PACKET pkt, short_pkt, subpkt = {0};
|
|
|
|
for (i = 0; i < 1024; i++)
|
|
buf1[i] = (i * 2) & 0xff;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, buf1, 1024))
|
|
|| !TEST_true(PACKET_buf_init(&short_pkt, buf1, len))
|
|
|| !TEST_true(PACKET_get_length_prefixed_3(&pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&subpkt), len)
|
|
|| !TEST_true(PACKET_get_net_2(&subpkt, &i))
|
|
|| !TEST_uint_eq(i, 0x0608)
|
|
|| !TEST_false(PACKET_get_length_prefixed_3(&short_pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&short_pkt), len))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_as_length_prefixed_1(void)
|
|
{
|
|
unsigned char buf1[BUF_LEN];
|
|
const size_t len = 16;
|
|
unsigned int i;
|
|
PACKET pkt, exact_pkt, subpkt = {0};
|
|
|
|
buf1[0] = (unsigned char)len;
|
|
for (i = 1; i < BUF_LEN; i++)
|
|
buf1[i] = (i * 2) & 0xff;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, buf1, BUF_LEN))
|
|
|| !TEST_true(PACKET_buf_init(&exact_pkt, buf1, len + 1))
|
|
|| !TEST_false(PACKET_as_length_prefixed_1(&pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), BUF_LEN)
|
|
|| !TEST_true(PACKET_as_length_prefixed_1(&exact_pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&exact_pkt), 0)
|
|
|| !TEST_size_t_eq(PACKET_remaining(&subpkt), len))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
static int test_PACKET_as_length_prefixed_2(void)
|
|
{
|
|
unsigned char buf[1024];
|
|
const size_t len = 516; /* 0x0204 */
|
|
unsigned int i;
|
|
PACKET pkt, exact_pkt, subpkt = {0};
|
|
|
|
for (i = 1; i <= 1024; i++)
|
|
buf[i-1] = (i * 2) & 0xff;
|
|
|
|
if (!TEST_true(PACKET_buf_init(&pkt, buf, 1024))
|
|
|| !TEST_true(PACKET_buf_init(&exact_pkt, buf, len + 2))
|
|
|| !TEST_false(PACKET_as_length_prefixed_2(&pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&pkt), 1024)
|
|
|| !TEST_true(PACKET_as_length_prefixed_2(&exact_pkt, &subpkt))
|
|
|| !TEST_size_t_eq(PACKET_remaining(&exact_pkt), 0)
|
|
|| !TEST_size_t_eq(PACKET_remaining(&subpkt), len))
|
|
return 0;
|
|
|
|
return 1;
|
|
}
|
|
|
|
int setup_tests(void)
|
|
{
|
|
unsigned int i;
|
|
|
|
for (i = 1; i <= BUF_LEN; i++)
|
|
smbuf[i - 1] = (i * 2) & 0xff;
|
|
|
|
ADD_TEST(test_PACKET_buf_init);
|
|
ADD_TEST(test_PACKET_null_init);
|
|
ADD_TEST(test_PACKET_remaining);
|
|
ADD_TEST(test_PACKET_end);
|
|
ADD_TEST(test_PACKET_equal);
|
|
ADD_TEST(test_PACKET_get_1);
|
|
ADD_TEST(test_PACKET_get_4);
|
|
ADD_TEST(test_PACKET_get_net_2);
|
|
ADD_TEST(test_PACKET_get_net_3);
|
|
ADD_TEST(test_PACKET_get_net_4);
|
|
ADD_TEST(test_PACKET_get_sub_packet);
|
|
ADD_TEST(test_PACKET_get_bytes);
|
|
ADD_TEST(test_PACKET_copy_bytes);
|
|
ADD_TEST(test_PACKET_copy_all);
|
|
ADD_TEST(test_PACKET_memdup);
|
|
ADD_TEST(test_PACKET_strndup);
|
|
ADD_TEST(test_PACKET_contains_zero_byte);
|
|
ADD_TEST(test_PACKET_forward);
|
|
ADD_TEST(test_PACKET_get_length_prefixed_1);
|
|
ADD_TEST(test_PACKET_get_length_prefixed_2);
|
|
ADD_TEST(test_PACKET_get_length_prefixed_3);
|
|
ADD_TEST(test_PACKET_as_length_prefixed_1);
|
|
ADD_TEST(test_PACKET_as_length_prefixed_2);
|
|
return 1;
|
|
}
|