Compare commits

...

2 Commits

Author SHA1 Message Date
Sergey Fionov
3e21d63843
Merge 07ec589dd3 into 1cc1536e6a 2024-04-09 20:32:09 +02:00
Sergey Fionov
07ec589dd3 Fix out-of-bound access in ip6addr_ntoa_r()
When detecting that zero is single, code reads the next group even if it is last group.

If next bytes are not-null, last zero is not omitted.

If next bytes are null, last zero is omitted, but since there are no groups left,
finishing ':' will not be written, resulting in invalid address.

This commit turns off non-single zero check for the last group.
2024-03-07 11:02:37 +02:00
2 changed files with 15 additions and 11 deletions

View File

@ -270,15 +270,16 @@ ip6addr_ntoa_r(const ip6_addr_t *addr, char *buf, int buflen)
/* Check for empty block. */ /* Check for empty block. */
if (current_block_value == 0) { if (current_block_value == 0) {
if (current_block_index == 7 && empty_block_flag == 1) { if (current_block_index == 7) {
/* special case, we must render a ':' for the last block. */ if (empty_block_flag == 1) {
buf[i++] = ':'; /* special case, we must render a ':' for the last block. */
if (i >= buflen) { buf[i++] = ':';
return NULL; if (i >= buflen) {
return NULL;
}
break;
} }
break; } else if (empty_block_flag == 0) {
}
if (empty_block_flag == 0) {
/* generate empty block "::", but only if more than one contiguous zero block, /* generate empty block "::", but only if more than one contiguous zero block,
* according to current formatting suggestions RFC 5952. */ * according to current formatting suggestions RFC 5952. */
next_block_value = lwip_htonl(addr->addr[(current_block_index + 1) >> 1]); next_block_value = lwip_htonl(addr->addr[(current_block_index + 1) >> 1]);

View File

@ -268,15 +268,18 @@ END_TEST
struct test_addr_and_str { struct test_addr_and_str {
ip_addr_t addr; ip_addr_t addr;
u32_t bytes_after;
const char *str; const char *str;
}; };
START_TEST(test_ip6_ntoa) START_TEST(test_ip6_ntoa)
{ {
struct test_addr_and_str tests[] = { struct test_addr_and_str tests[] = {
{IPADDR6_INIT_HOST(0xfe800000, 0x00000000, 0xb2a1a2ff, 0xfea3a4a5), "FE80::B2A1:A2FF:FEA3:A4A5"}, /* test shortened zeros */ {IPADDR6_INIT_HOST(0xfe800000, 0x00000000, 0xb2a1a2ff, 0xfea3a4a5), 0, "FE80::B2A1:A2FF:FEA3:A4A5"}, /* test shortened zeros */
{IPADDR6_INIT_HOST(0xfe800000, 0xff000000, 0xb2a1a2ff, 0xfea3a4a5), "FE80:0:FF00:0:B2A1:A2FF:FEA3:A4A5"}, /* don't omit single zero blocks */ {IPADDR6_INIT_HOST(0xfe800000, 0xff000000, 0xb2a1a2ff, 0xfea3a4a5), 0, "FE80:0:FF00:0:B2A1:A2FF:FEA3:A4A5"}, /* don't omit single zero blocks */
{IPADDR6_INIT_HOST(0xfe800000, 0xff000000, 0xb2000000, 0x0000a4a5), "FE80:0:FF00:0:B200::A4A5"}, /* omit longest zero block */ {IPADDR6_INIT_HOST(0xfe800000, 0xff000000, 0xb2000000, 0x0000a4a5), 0, "FE80:0:FF00:0:B200::A4A5"}, /* omit longest zero block */
{IPADDR6_INIT_HOST(0x20010db8, 0x00010002, 0x00030004, 0x00050000), 0, "2001:DB8:1:2:3:4:5:0"}, /* do not omit last zero due to out-of-bounds bug */
{IPADDR6_INIT_HOST(0x20010db8, 0x00010002, 0x00030004, 0x00050000), 1, "2001:DB8:1:2:3:4:5:0"}, /* do not omit last zero due to out-of-bounds bug */
}; };
char buf[128]; char buf[128];
char *str; char *str;