/* Test inet_pton functions.
   Copyright (C) 2017-2024 Free Software Foundation, Inc.
   This file is part of the GNU C Library.

   The GNU C Library is free software; you can redistribute it and/or
   modify it under the terms of the GNU Lesser General Public
   License as published by the Free Software Foundation; either
   version 2.1 of the License, or (at your option) any later version.

   The GNU C Library is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public
   License along with the GNU C Library; if not, see
   <https://www.gnu.org/licenses/>.  */

#include <arpa/inet.h>
#include <resolv/resolv-internal.h>
#include <stdbool.h>
#include <stdio.h>
#include <string.h>
#include <support/check.h>
#include <support/next_to_fault.h>
#include <support/xunistd.h>
#include <unistd.h>

struct test_case
{
  /* The input data.  */
  const char *input;

  /* True if AF_INET parses successfully.  */
  bool ipv4_ok;

  /* True if AF_INET6 parses successfully.  */
  bool ipv6_ok;

  /* Expected result for AF_INET.  */
  unsigned char ipv4_expected[4];

  /* Expected result for AF_INET6.  */
  unsigned char ipv6_expected[16];
};

static void
check_result (const char *what, const struct test_case *t, int family,
              void *result_buffer, int inet_ret)
{
  TEST_VERIFY_EXIT (inet_ret >= -1);
  TEST_VERIFY_EXIT (inet_ret <= 1);

  int ok;
  const unsigned char *expected;
  size_t result_size;
  switch (family)
    {
    case AF_INET:
      ok = t->ipv4_ok;
      expected = t->ipv4_expected;
      result_size = 4;
      break;
    case AF_INET6:
      ok = t->ipv6_ok;
      expected = t->ipv6_expected;
      result_size = 16;
      break;
    default:
      FAIL_EXIT1 ("invalid address family %d", family);
    }

  if (inet_ret != ok)
    {
      support_record_failure ();
      printf ("error: %s return value mismatch for [[%s]], family %d\n"
              "  expected: %d\n"
              "  actual: %d\n",
              what, t->input, family, ok, inet_ret);
      return;
    }
  if (memcmp (result_buffer, expected, result_size) != 0)
    {
      support_record_failure ();
      printf ("error: %s result mismatch for [[%s]], family %d\n",
              what, t->input, family);
    }
}

static void
run_one_test (const struct test_case *t)
{
  size_t test_len = strlen (t->input);

  struct support_next_to_fault ntf_out4 = support_next_to_fault_allocate (4);
  struct support_next_to_fault ntf_out6 = support_next_to_fault_allocate (16);

  /* inet_pton requires NUL termination.  */
  {
    struct support_next_to_fault ntf_in
      = support_next_to_fault_allocate (test_len + 1);
    memcpy (ntf_in.buffer, t->input, test_len + 1);
    memset (ntf_out4.buffer, 0, 4);
    check_result ("inet_pton", t, AF_INET, ntf_out4.buffer,
                  inet_pton (AF_INET, ntf_in.buffer, ntf_out4.buffer));
    memset (ntf_out6.buffer, 0, 16);
    check_result ("inet_pton", t, AF_INET6, ntf_out6.buffer,
                  inet_pton (AF_INET6, ntf_in.buffer, ntf_out6.buffer));
    support_next_to_fault_free (&ntf_in);
  }

  /* __inet_pton_length does not require NUL termination.  */
  {
    struct support_next_to_fault ntf_in
      = support_next_to_fault_allocate (test_len);
    memcpy (ntf_in.buffer, t->input, test_len);
    memset (ntf_out4.buffer, 0, 4);
    check_result ("__inet_pton_length", t, AF_INET, ntf_out4.buffer,
                  __inet_pton_length (AF_INET, ntf_in.buffer, ntf_in.length,
                                      ntf_out4.buffer));
    memset (ntf_out6.buffer, 0, 16);
    check_result ("__inet_pton_length", t, AF_INET6, ntf_out6.buffer,
                  __inet_pton_length (AF_INET6, ntf_in.buffer, ntf_in.length,
                                      ntf_out6.buffer));
    support_next_to_fault_free (&ntf_in);
  }

  support_next_to_fault_free (&ntf_out4);
  support_next_to_fault_free (&ntf_out6);
}

/* The test cases were manually crafted and the set enhanced with
   American Fuzzy Lop.  */
const struct test_case test_cases[] =
  {
    {.input = ".:", },
    {.input = "0.0.0.0",
     .ipv4_ok = true,
     .ipv4_expected = {0, 0, 0, 0},
    },
    {.input = "0.:", },
    {.input = "00", },
    {.input = "0000000", },
    {.input = "00000000000000000", },
    {.input = "092.", },
    {.input = "10.0.301.2", },
    {.input = "127.0.0.1",
     .ipv4_ok = true,
     .ipv4_expected = {127, 0, 0, 1},
    },
    {.input = "19..", },
    {.input = "192.0.2.-1", },
    {.input = "192.0.2.01", },
    {.input = "192.0.2.1.", },
    {.input = "192.0.2.1192.", },
    {.input = "192.0.2.192.\377..", },
    {.input = "192.0.2.256", },
    {.input = "192.0.2.27",
     .ipv4_ok = true,
     .ipv4_expected = {192, 0, 2, 27},
    },
    {.input = "192.0.201.", },
    {.input = "192.0.261.", },
    {.input = "192.0.2\256", },
    {.input = "192.0.\262.", },
    {.input = "192.062.", },
    {.input = "192.092.\256", },
    {.input = "192.0\2562.", },
    {.input = "192.192.0.2661\031", },
    {.input = "192.192.00n2.1.", },
    {.input = "192.192.2.190.", },
    {.input = "192.255.255.2555", },
    {.input = "192.92.219\023.", },
    {.input = "192.\260.2.", },
    {.input = "1:1::1:1",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0x1, 0x0, 0x1, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x1, 0x0, 0x1
     },
    },
    {.input = "2", },
    {.input = "2.", },
    {.input = "2001:db8:00001::f", },
    {.input = "2001:db8:10000::f", },
    {.input = "2001:db8:1234:5678:abcd:ef01:2345:67",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x12, 0x34, 0x56, 0x78,
       0xab, 0xcd, 0xef, 0x1, 0x23, 0x45, 0x0, 0x67
     },
    },
    {.input = "2001:db8:1234:5678:abcd:ef01:2345:6789:1", },
    {.input = "2001:db8:1234:5678:abcd:ef01:2345::6789", },
    {.input = "2001:db8::0",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
     },
    },
    {.input = "2001:db8::00",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
     },
    },
    {.input = "2001:db8::1",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x1
     },
    },
    {.input = "2001:db8::10",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x10
     },
    },
    {.input = "2001:db8::19",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x19
     },
    },
    {.input = "2001:db8::1::\012", },
    {.input = "2001:db8::1::2\012", },
    {.input = "2001:db8::2",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x2
     },
    },
    {.input = "2001:db8::3",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x3
     },
    },
    {.input = "2001:db8::4",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x4
     },
    },
    {.input = "2001:db8::5",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x5
     },
    },
    {.input = "2001:db8::6",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x6
     },
    },
    {.input = "2001:db8::7",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x7
     },
    },
    {.input = "2001:db8::8",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x8
     },
    },
    {.input = "2001:db8::9",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x9
     },
    },
    {.input = "2001:db8::A",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xa
     },
    },
    {.input = "2001:db8::B",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xb
     },
    },
    {.input = "2001:db8::C",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xc
     },
    },
    {.input = "2001:db8::D",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xd
     },
    },
    {.input = "2001:db8::E",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xe
     },
    },
    {.input = "2001:db8::F",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xf
     },
    },
    {.input = "2001:db8::a",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xa
     },
    },
    {.input = "2001:db8::b",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xb
     },
    },
    {.input = "2001:db8::c",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xc
     },
    },
    {.input = "2001:db8::d",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xd
     },
    },
    {.input = "2001:db8::e",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xe
     },
    },
    {.input = "2001:db8::f",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xf
     },
    },
    {.input = "2001:db8::ff",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x20, 0x1, 0xd, 0xb8, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xff
     },
    },
    {.input = "2001:db8::ffff:2\012", },
    {.input = "22", },
    {.input = "2222@", },
    {.input = "255.255.255.255",
     .ipv4_ok = true,
     .ipv4_expected = {255, 255, 255, 255},
    },
    {.input = "255.255.255.255\001", },
    {.input = "255.255.255.25555", },
    {.input = "2:", },
    {.input = "2:a:8:EEEE::EEEE:F:EEE8:EEEE\034*:", },
    {.input = "2:ff:1:1:7:ff:1:1:7.", },
    {.input = "2f:0000000000000000000000000000000000000000000000000000000000"
     "0000000000000000000000000000000000000000000000000000000000000000000000"
     "0G01",
    },
    {.input = "429495", },
    {.input = "5::5::", },
    {.input = "6.6.", },
    {.input = "992.", },
    {.input = "::",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
     },
    },
    {.input = "::00001", },
    {.input = "::1",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x1
     },
    },
    {.input = "::10000", },
    {.input = "::1:1",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x1, 0x0, 0x1
     },
    },
    {.input = "::ff:1:1:7.0.0.1",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0xff,
       0x0, 0x1, 0x0, 0x1, 0x7, 0x0, 0x0, 0x1
     },
    },
    {.input = "::ff:1:1:7:ff:1:1:7.", },
    {.input = "::ff:1:1:7ff:1:8:7.0.0.1", },
    {.input = "::ff:1:1:7ff:1:8f:1:1:71", },
    {.input = "::ffff:02fff:127.0.S1", },
    {.input = "::ffff:127.0.0.1",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0xff, 0xff, 0x7f, 0x0, 0x0, 0x1
     },
    },
    {.input = "::ffff:1:7.0.0.1",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0,
       0xff, 0xff, 0x0, 0x1, 0x7, 0x0, 0x0, 0x1
     },
    },
    {.input = ":\272", },
    {.input = "A:f:ff:1:1:D:ff:1:1::7.", },
    {.input = "AAAAA.", },
    {.input = "D:::", },
    {.input = "DF8F", },
    {.input = "F::",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0xf, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
     },
    },
    {.input = "F:A:8:EEEE:8:EEEE\034*:", },
    {.input = "F:a:8:EEEE:8:EEEE\034*:", },
    {.input = "F:ff:100:7ff:1:8:7.0.10.1",
     .ipv6_ok = true,
     .ipv6_expected = {
       0x0, 0xf, 0x0, 0xff, 0x1, 0x0, 0x7, 0xff,
       0x0, 0x1, 0x0, 0x8, 0x7, 0x0, 0xa, 0x1
     },
    },
    {.input = "d92.", },
    {.input = "ff:00000000000000000000000000000000000000000000000000000000000"
     "00000000000000000000000000000000000000000000000000000000000000000001",
    },
    {.input = "fff2:2::ff2:2:f7",
     .ipv6_ok = true,
     .ipv6_expected = {
       0xff, 0xf2, 0x0, 0x2, 0x0, 0x0, 0x0, 0x0,
       0x0, 0x0, 0xf, 0xf2, 0x0, 0x2, 0x0, 0xf7
     },
    },
    {.input = "ffff:ff:ff:fff:ff:ff:ff:", },
    {.input = "\272:", },
    {NULL}
  };

static int
do_test (void)
{
  for (size_t i = 0; test_cases[i].input != NULL; ++i)
    run_one_test (test_cases + i);
  return 0;
}

#include <support/test-driver.c>