|
Packit |
aea12f |
/*
|
|
Packit |
aea12f |
* Copyright (C) 2017 Red Hat
|
|
Packit |
aea12f |
*
|
|
Packit |
aea12f |
* Author: Nikos Mavrogiannopoulos
|
|
Packit |
aea12f |
*
|
|
Packit |
aea12f |
* This file is part of GnuTLS.
|
|
Packit |
aea12f |
*
|
|
Packit |
aea12f |
* GnuTLS is free software; you can redistribute it and/or modify it
|
|
Packit |
aea12f |
* under the terms of the GNU General Public License as published by
|
|
Packit |
aea12f |
* the Free Software Foundation; either version 3 of the License, or
|
|
Packit |
aea12f |
* (at your option) any later version.
|
|
Packit |
aea12f |
*
|
|
Packit |
aea12f |
* GnuTLS is distributed in the hope that it will be useful, but
|
|
Packit |
aea12f |
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
aea12f |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit |
aea12f |
* General Public License for more details.
|
|
Packit |
aea12f |
*
|
|
Packit |
aea12f |
* You should have received a copy of the GNU General Public License
|
|
Packit |
aea12f |
* along with GnuTLS; if not, write to the Free Software Foundation,
|
|
Packit |
aea12f |
* Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA
|
|
Packit |
aea12f |
*/
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
#ifdef HAVE_CONFIG_H
|
|
Packit |
aea12f |
#include <config.h>
|
|
Packit |
aea12f |
#endif
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
#include <stdlib.h>
|
|
Packit |
aea12f |
#include <stdio.h>
|
|
Packit |
aea12f |
#include <string.h>
|
|
Packit |
aea12f |
#include <gnutls/gnutls.h>
|
|
Packit |
aea12f |
#include <gnutls/dane.h>
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
#include "utils.h"
|
|
Packit |
aea12f |
|
|
Packit Service |
991b93 |
unsigned _gnutls_ecc_curve_is_supported(gnutls_ecc_curve_t);
|
|
Packit Service |
991b93 |
|
|
Packit |
aea12f |
/* Check whether the string functions will return a non-repeated and
|
|
Packit |
aea12f |
* non null value.
|
|
Packit |
aea12f |
*/
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
static
|
|
Packit |
aea12f |
void _check_non_null(int line, int i, const char *val)
|
|
Packit |
aea12f |
{
|
|
Packit |
aea12f |
if (val == NULL)
|
|
Packit |
aea12f |
fail("issue in line %d, item %d\n", line, i);
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
static
|
|
Packit |
aea12f |
void _check_unique_non_null(int line, int i, const char *val)
|
|
Packit |
aea12f |
{
|
|
Packit |
aea12f |
static char previous_val[128];
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
if (val == NULL)
|
|
Packit |
aea12f |
fail("issue in line %d, item %d\n", line, i);
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
if (strcmp(val, previous_val)==0) {
|
|
Packit |
aea12f |
fail("issue in line %d, item %d: %s\n", line, i, val);
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
snprintf(previous_val, sizeof(previous_val), "%s", val);
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
static
|
|
Packit |
aea12f |
void _check_unique(int line, int i, const char *val)
|
|
Packit |
aea12f |
{
|
|
Packit |
aea12f |
static char previous_val[128];
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
if (val == NULL) {
|
|
Packit |
aea12f |
previous_val[0] = 0;
|
|
Packit |
aea12f |
return;
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
if (strcmp(val, previous_val)==0)
|
|
Packit |
aea12f |
fail("issue in line %d, item %d: %s\n", line, i, val);
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
snprintf(previous_val, sizeof(previous_val), "%s", val);
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
#define check_unique(x) _check_unique(__LINE__, i, x)
|
|
Packit |
aea12f |
#define check_unique_non_null(x) _check_unique_non_null(__LINE__, i, x)
|
|
Packit |
aea12f |
#define check_non_null(x) _check_non_null(__LINE__, i, x)
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
void doit(void)
|
|
Packit |
aea12f |
{
|
|
Packit |
aea12f |
int ret;
|
|
Packit |
aea12f |
int i;
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
ret = global_init();
|
|
Packit |
aea12f |
if (ret < 0) {
|
|
Packit |
aea12f |
fail("global_init\n");
|
|
Packit |
aea12f |
exit(1);
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
for (i=GNUTLS_E_UNIMPLEMENTED_FEATURE;i<=0;i++) {
|
|
Packit |
aea12f |
check_unique(gnutls_strerror(i));
|
|
Packit |
aea12f |
check_unique(gnutls_strerror_name(i));
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
for (i=0;i
|
|
Packit |
aea12f |
check_non_null(gnutls_handshake_description_get_name(i));
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
for (i=GNUTLS_PK_UNKNOWN+1;i<=GNUTLS_PK_MAX;i++)
|
|
Packit |
aea12f |
check_unique_non_null(gnutls_pk_algorithm_get_name(i));
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
for (i=GNUTLS_SIGN_UNKNOWN+1;i<=GNUTLS_SIGN_MAX;i++) {
|
|
Packit |
aea12f |
if (i==19) continue;
|
|
Packit |
aea12f |
check_unique_non_null(gnutls_sign_algorithm_get_name(i));
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
for (i=GNUTLS_A_CLOSE_NOTIFY;i<=GNUTLS_A_MAX;i++) {
|
|
Packit |
aea12f |
check_unique(gnutls_alert_get_strname(i));
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
for (i=GNUTLS_SEC_PARAM_INSECURE;i<=GNUTLS_SEC_PARAM_MAX;i++) {
|
|
Packit |
aea12f |
check_non_null(gnutls_sec_param_get_name(i));
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit Service |
991b93 |
check_non_null(gnutls_certificate_verification_profile_get_name(GNUTLS_PROFILE_VERY_WEAK));
|
|
Packit Service |
991b93 |
check_non_null(gnutls_certificate_verification_profile_get_name(GNUTLS_PROFILE_LOW));
|
|
Packit Service |
991b93 |
check_non_null(gnutls_certificate_verification_profile_get_name(GNUTLS_PROFILE_LEGACY));
|
|
Packit Service |
991b93 |
check_non_null(gnutls_certificate_verification_profile_get_name(GNUTLS_PROFILE_MEDIUM));
|
|
Packit Service |
991b93 |
check_non_null(gnutls_certificate_verification_profile_get_name(GNUTLS_PROFILE_HIGH));
|
|
Packit Service |
991b93 |
check_non_null(gnutls_certificate_verification_profile_get_name(GNUTLS_PROFILE_ULTRA));
|
|
Packit Service |
991b93 |
|
|
Packit |
aea12f |
for (i=GNUTLS_ECC_CURVE_INVALID+1;i<=GNUTLS_ECC_CURVE_MAX;i++) {
|
|
Packit Service |
991b93 |
if (_gnutls_ecc_curve_is_supported(i) == 0)
|
|
Packit Service |
991b93 |
continue;
|
|
Packit Service |
991b93 |
|
|
Packit |
aea12f |
check_unique_non_null(gnutls_ecc_curve_get_name(i));
|
|
Packit |
aea12f |
if (i == GNUTLS_ECC_CURVE_X25519)
|
|
Packit |
aea12f |
continue; /* no oid yet */
|
|
Packit Service |
991b93 |
if (i == GNUTLS_ECC_CURVE_X448)
|
|
Packit Service |
991b93 |
continue; /* no oid yet */
|
|
Packit |
aea12f |
check_unique_non_null(gnutls_ecc_curve_get_oid(i));
|
|
Packit |
aea12f |
}
|
|
Packit |
aea12f |
|
|
Packit |
aea12f |
gnutls_global_deinit();
|
|
Packit |
aea12f |
}
|