test/cmp_ctx_test.c

   1 /*
   2  * Copyright 2007-2021 The OpenSSL Project Authors. All Rights Reserved.
   3  * Copyright Nokia 2007-2019
   4  * Copyright Siemens AG 2015-2019
   5  *
   6  * Licensed under the Apache License 2.0 (the "License").  You may not use
   7  * this file except in compliance with the License.  You can obtain a copy
   8  * in the file LICENSE in the source distribution or at
   9  * https://www.openssl.org/source/license.html
  10  */
  11
  12 #include "helpers/cmp_testlib.h"
  13
  14 #include <openssl/x509_vfy.h>
  15
  16 static X509 *test_cert;
  17
  18 /* Avoid using X509_new() via the generic macros below. */
  19 #define X509_new() X509_dup(test_cert)
  20
  21 typedef struct test_fixture {
  22     const char *test_case_name;
  23     OSSL_CMP_CTX *ctx;
  24 } OSSL_CMP_CTX_TEST_FIXTURE;
  25
  26 static void tear_down(OSSL_CMP_CTX_TEST_FIXTURE *fixture)
  27 {
  28     if (fixture != NULL)
  29         OSSL_CMP_CTX_free(fixture->ctx);
  30     OPENSSL_free(fixture);
  31 }
  32
  33 static OSSL_CMP_CTX_TEST_FIXTURE *set_up(const char *const test_case_name)
  34 {
  35     OSSL_CMP_CTX_TEST_FIXTURE *fixture;
  36
  37     if (!TEST_ptr(fixture = OPENSSL_zalloc(sizeof(*fixture))))
  38         return NULL;
  39     if (!TEST_ptr(fixture->ctx = OSSL_CMP_CTX_new(NULL, NULL))) {
  40         tear_down(fixture);
  41         return NULL;
  42     }
  43     fixture->test_case_name = test_case_name;
  44     return fixture;
  45 }
  46
  47 static STACK_OF(X509) *sk_X509_new_1(void)
  48 {
  49     STACK_OF(X509) *sk = sk_X509_new_null();
  50     X509 *x = X509_dup(test_cert);
  51
  52     if (x == NULL || !sk_X509_push(sk, x)) {
  53         sk_X509_free(sk);
  54         X509_free(x);
  55         sk = NULL;
  56     }
  57     return sk;
  58 }
  59
  60 static void sk_X509_pop_X509_free(STACK_OF(X509) *sk)
  61 {
  62     OSSL_STACK_OF_X509_free(sk);
  63 }
  64
  65 static int execute_CTX_reinit_test(OSSL_CMP_CTX_TEST_FIXTURE *fixture)
  66 {
  67     OSSL_CMP_CTX *ctx = fixture->ctx;
  68     ASN1_OCTET_STRING *bytes = NULL;
  69     STACK_OF(X509) *certs = NULL;
  70     int res = 0;
  71
  72     /* set non-default values in all relevant fields */
  73     ctx->status = 1;
  74     ctx->failInfoCode = 1;
  75     if (!ossl_cmp_ctx_set0_statusString(ctx, sk_ASN1_UTF8STRING_new_null())
  76             || !ossl_cmp_ctx_set0_newCert(ctx, X509_dup(test_cert))
  77             || !TEST_ptr(certs = sk_X509_new_1())
  78             || !ossl_cmp_ctx_set1_newChain(ctx, certs)
  79             || !ossl_cmp_ctx_set1_caPubs(ctx, certs)
  80             || !ossl_cmp_ctx_set1_extraCertsIn(ctx, certs)
  81             || !ossl_cmp_ctx_set0_validatedSrvCert(ctx, X509_dup(test_cert))
  82             || !TEST_ptr(bytes = ASN1_OCTET_STRING_new())
  83             || !OSSL_CMP_CTX_set1_transactionID(ctx, bytes)
  84             || !OSSL_CMP_CTX_set1_senderNonce(ctx, bytes)
  85             || !ossl_cmp_ctx_set1_recipNonce(ctx, bytes))
  86         goto err;
  87
  88     if (!TEST_true(OSSL_CMP_CTX_reinit(ctx)))
  89         goto err;
  90
  91     /* check whether values have been reset to default in all relevant fields */
  92     if (!TEST_true(ctx->status == -1
  93                        && ctx->failInfoCode == -1
  94                        && ctx->statusString == NULL
  95                        && ctx->newCert == NULL
  96                        && ctx->newChain == NULL
  97                        && ctx->caPubs == NULL
  98                        && ctx->extraCertsIn == NULL
  99                        && ctx->validatedSrvCert == NULL
 100                        && ctx->transactionID == NULL
 101                        && ctx->senderNonce == NULL
 102                        && ctx->recipNonce == NULL))
 103         goto err;
 104
 105     /* this does not check that all remaining fields are untouched */
 106     res = 1;
 107
 108  err:
 109     sk_X509_pop_X509_free(certs);
 110     ASN1_OCTET_STRING_free(bytes);
 111     return res;
 112 }
 113
 114 static int test_CTX_reinit(void)
 115 {
 116     SETUP_TEST_FIXTURE(OSSL_CMP_CTX_TEST_FIXTURE, set_up);
 117     EXECUTE_TEST(execute_CTX_reinit_test, tear_down);
 118     return result;
 119 }
 120
 121 #if !defined(OPENSSL_NO_ERR) && !defined(OPENSSL_NO_AUTOERRINIT)
 122
 123 static int msg_total_size = 0;
 124 static int msg_total_size_log_cb(const char *func, const char *file, int line,
 125                                  OSSL_CMP_severity level, const char *msg)
 126 {
 127     msg_total_size += strlen(msg);
 128     TEST_note("total=%d len=%zu msg='%s'\n", msg_total_size, strlen(msg), msg);
 129     return 1;
 130 }
 131
 132 # define STR64 "This is a 64 bytes looooooooooooooooooooooooooooooooong string.\n"
 133 /* max string length ISO C90 compilers are required to support is 509. */
 134 # define STR509 STR64 STR64 STR64 STR64 STR64 STR64 STR64 \
 135     "This is a 61 bytes loooooooooooooooooooooooooooooong string.\n"
 136 static const char *const max_str_literal = STR509;
 137 # define STR_SEP "<SEP>"
 138
 139 static int execute_CTX_print_errors_test(OSSL_CMP_CTX_TEST_FIXTURE *fixture)
 140 {
 141     OSSL_CMP_CTX *ctx = fixture->ctx;
 142     int base_err_msg_size, expected_size;
 143     int res = 1;
 144
 145     if (!TEST_true(OSSL_CMP_CTX_set_log_cb(ctx, NULL)))
 146         res = 0;
 147     if (!TEST_true(ctx->log_cb == NULL))
 148         res = 0;
 149
 150 # ifndef OPENSSL_NO_STDIO
 151     ERR_raise(ERR_LIB_CMP, CMP_R_MULTIPLE_SAN_SOURCES);
 152     OSSL_CMP_CTX_print_errors(ctx); /* should print above error to STDERR */
 153 # endif
 154
 155     /* this should work regardless of OPENSSL_NO_STDIO and OPENSSL_NO_TRACE: */
 156     if (!TEST_true(OSSL_CMP_CTX_set_log_cb(ctx, msg_total_size_log_cb)))
 157         res = 0;
 158     if (!TEST_true(ctx->log_cb == msg_total_size_log_cb)) {
 159         res = 0;
 160     } else {
 161         ERR_raise(ERR_LIB_CMP, CMP_R_INVALID_ARGS);
 162         base_err_msg_size = strlen("INVALID_ARGS");
 163         ERR_raise(ERR_LIB_CMP, CMP_R_NULL_ARGUMENT);
 164         base_err_msg_size += strlen("NULL_ARGUMENT");
 165         expected_size = base_err_msg_size;
 166         ossl_cmp_add_error_data("data1"); /* should prepend separator ":" */
 167         expected_size += strlen(":" "data1");
 168         ossl_cmp_add_error_data("data2"); /* should prepend separator " : " */
 169         expected_size += strlen(" : " "data2");
 170         ossl_cmp_add_error_line("new line"); /* should prepend separator "\n" */
 171         expected_size += strlen("\n" "new line");
 172         OSSL_CMP_CTX_print_errors(ctx);
 173         if (!TEST_int_eq(msg_total_size, expected_size))
 174             res = 0;
 175
 176         ERR_raise(ERR_LIB_CMP, CMP_R_INVALID_ARGS);
 177         base_err_msg_size = strlen("INVALID_ARGS") + strlen(":");
 178         expected_size = base_err_msg_size;
 179         while (expected_size < 4096) { /* force split */
 180             ERR_add_error_txt(STR_SEP, max_str_literal);
 181             expected_size += strlen(STR_SEP) + strlen(max_str_literal);
 182         }
 183         expected_size += base_err_msg_size - 2 * strlen(STR_SEP);
 184         msg_total_size = 0;
 185         OSSL_CMP_CTX_print_errors(ctx);
 186         if (!TEST_int_eq(msg_total_size, expected_size))
 187             res = 0;
 188     }
 189
 190     return res;
 191 }
 192
 193 static int test_CTX_print_errors(void)
 194 {
 195     SETUP_TEST_FIXTURE(OSSL_CMP_CTX_TEST_FIXTURE, set_up);
 196     EXECUTE_TEST(execute_CTX_print_errors_test, tear_down);
 197     return result;
 198 }
 199 #endif
 200
 201 static
 202 int execute_CTX_reqExtensions_have_SAN_test(OSSL_CMP_CTX_TEST_FIXTURE *fixture)
 203 {
 204     OSSL_CMP_CTX *ctx = fixture->ctx;
 205     const int len = 16;
 206     unsigned char str[16 /* = len */];
 207     ASN1_OCTET_STRING *data = NULL;
 208     X509_EXTENSION *ext = NULL;
 209     X509_EXTENSIONS *exts = NULL;
 210     int res = 0;
 211
 212     if (!TEST_false(OSSL_CMP_CTX_reqExtensions_have_SAN(ctx)))
 213         return 0;
 214
 215     if (!TEST_int_eq(1, RAND_bytes(str, len))
 216             || !TEST_ptr(data = ASN1_OCTET_STRING_new())
 217             || !TEST_true(ASN1_OCTET_STRING_set(data, str, len)))
 218         goto err;
 219     ext = X509_EXTENSION_create_by_NID(NULL, NID_subject_alt_name, 0, data);
 220     if (!TEST_ptr(ext)
 221             || !TEST_ptr(exts = sk_X509_EXTENSION_new_null())
 222             || !TEST_true(sk_X509_EXTENSION_push(exts, ext))
 223             || !TEST_true(OSSL_CMP_CTX_set0_reqExtensions(ctx, exts))) {
 224         X509_EXTENSION_free(ext);
 225         sk_X509_EXTENSION_free(exts);
 226         goto err;
 227     }
 228     if (TEST_int_eq(OSSL_CMP_CTX_reqExtensions_have_SAN(ctx), 1)) {
 229         ext = sk_X509_EXTENSION_pop(exts);
 230         res = TEST_false(OSSL_CMP_CTX_reqExtensions_have_SAN(ctx));
 231         X509_EXTENSION_free(ext);
 232     }
 233  err:
 234     ASN1_OCTET_STRING_free(data);
 235     return res;
 236 }
 237
 238 static int test_CTX_reqExtensions_have_SAN(void)
 239 {
 240     SETUP_TEST_FIXTURE(OSSL_CMP_CTX_TEST_FIXTURE, set_up);
 241     EXECUTE_TEST(execute_CTX_reqExtensions_have_SAN_test, tear_down);
 242     return result;
 243 }
 244
 245 static int test_log_line;
 246 static int test_log_cb_res = 0;
 247 static int test_log_cb(const char *func, const char *file, int line,
 248                        OSSL_CMP_severity level, const char *msg)
 249 {
 250     test_log_cb_res =
 251 #ifndef PEDANTIC
 252         (TEST_str_eq(func, "execute_cmp_ctx_log_cb_test")
 253          || TEST_str_eq(func, "(unknown function)")) &&
 254 #endif
 255         (TEST_str_eq(file, OPENSSL_FILE)
 256          || TEST_str_eq(file, "(no file)"))
 257         && (TEST_int_eq(line, test_log_line) || TEST_int_eq(line, 0))
 258         && (TEST_int_eq(level, OSSL_CMP_LOG_INFO) || TEST_int_eq(level, -1))
 259         && TEST_str_eq(msg, "ok");
 260     return 1;
 261 }
 262
 263 static int execute_cmp_ctx_log_cb_test(OSSL_CMP_CTX_TEST_FIXTURE *fixture)
 264 {
 265     int res = 1;
 266     OSSL_CMP_CTX *ctx = fixture->ctx;
 267
 268     OSSL_TRACE(ALL, "this general trace message is not shown by default\n");
 269
 270     OSSL_CMP_log_open();
 271     OSSL_CMP_log_open(); /* multiple calls should be harmless */
 272
 273     if (!TEST_true(OSSL_CMP_CTX_set_log_cb(ctx, NULL))) {
 274         res = 0;
 275     } else {
 276         ossl_cmp_err(ctx, "this should be printed as CMP error message");
 277         ossl_cmp_warn(ctx, "this should be printed as CMP warning message");
 278         ossl_cmp_debug(ctx, "this should not be printed");
 279         TEST_true(OSSL_CMP_CTX_set_log_verbosity(ctx, OSSL_CMP_LOG_DEBUG));
 280         ossl_cmp_debug(ctx, "this should be printed as CMP debug message");
 281         TEST_true(OSSL_CMP_CTX_set_log_verbosity(ctx, OSSL_CMP_LOG_INFO));
 282     }
 283     if (!TEST_true(OSSL_CMP_CTX_set_log_cb(ctx, test_log_cb))) {
 284         res = 0;
 285     } else {
 286         test_log_line = OPENSSL_LINE + 1;
 287         ossl_cmp_log2(INFO, ctx, "%s%c", "o", 'k');
 288         if (!TEST_int_eq(test_log_cb_res, 1))
 289             res = 0;
 290         OSSL_CMP_CTX_set_log_verbosity(ctx, OSSL_CMP_LOG_ERR);
 291         test_log_cb_res = -1; /* callback should not be called at all */
 292         test_log_line = OPENSSL_LINE + 1;
 293         ossl_cmp_log2(INFO, ctx, "%s%c", "o", 'k');
 294         if (!TEST_int_eq(test_log_cb_res, -1))
 295             res = 0;
 296     }
 297     OSSL_CMP_log_close();
 298     OSSL_CMP_log_close(); /* multiple calls should be harmless */
 299     return res;
 300 }
 301
 302 static int test_cmp_ctx_log_cb(void)
 303 {
 304     SETUP_TEST_FIXTURE(OSSL_CMP_CTX_TEST_FIXTURE, set_up);
 305     EXECUTE_TEST(execute_cmp_ctx_log_cb_test, tear_down);
 306     return result;
 307 }
 308
 309 static BIO *test_http_cb(BIO *bio, void *arg, int use_ssl, int detail)
 310 {
 311     return NULL;
 312 }
 313
 314 static OSSL_CMP_MSG *test_transfer_cb(OSSL_CMP_CTX *ctx,
 315                                       const OSSL_CMP_MSG *req)
 316 {
 317     return NULL;
 318 }
 319
 320 static int test_certConf_cb(OSSL_CMP_CTX *ctx, X509 *cert, int fail_info,
 321                             const char **txt)
 322 {
 323     return 0;
 324 }
 325
 326 typedef OSSL_CMP_CTX CMP_CTX; /* prevents rewriting type name by below macro */
 327 #define OSSL_CMP_CTX 1 /* name prefix for exported setter functions */
 328 #define ossl_cmp_ctx 0 /* name prefix for internal setter functions */
 329 #define set 0
 330 #define set0 0
 331 #define set1 1
 332 #define get 0
 333 #define get0 0
 334 #define get1 1
 335
 336 #define DEFINE_SET_GET_BASE_TEST(PREFIX, SETN, GETN, DUP, FIELD, TYPE, ERR, \
 337                                  DEFAULT, NEW, FREE) \
 338 static int \
 339 execute_CTX_##SETN##_##GETN##_##FIELD(OSSL_CMP_CTX_TEST_FIXTURE *fixture) \
 340 { \
 341     CMP_CTX *ctx = fixture->ctx; \
 342     int (*set_fn)(CMP_CTX *ctx, TYPE) = \
 343         (int (*)(CMP_CTX *ctx, TYPE))PREFIX##_##SETN##_##FIELD; \
 344     /* need type cast in above assignment as TYPE arg sometimes is const */ \
 345     TYPE (*get_fn)(const CMP_CTX *ctx) = OSSL_CMP_CTX_##GETN##_##FIELD; \
 346     TYPE val1_to_free = NEW; \
 347     TYPE val1 = val1_to_free; \
 348     TYPE val1_read = 0; /* 0 works for any type */ \
 349     TYPE val2_to_free = NEW; \
 350     TYPE val2 = val2_to_free; \
 351     TYPE val2_read = 0; \
 352     TYPE val3_read = 0; \
 353     int res = 1; \
 354     \
 355     if (!TEST_int_eq(ERR_peek_error(), 0)) \
 356         res = 0; \
 357     if (PREFIX == 1) { /* exported setter functions must test ctx == NULL */ \
 358         if ((*set_fn)(NULL, val1) || ERR_peek_error() == 0) { \
 359             TEST_error("setter did not return error on ctx == NULL"); \
 360             res = 0; \
 361         } \
 362     } \
 363     ERR_clear_error(); \
 364     \
 365     if ((*get_fn)(NULL) != ERR || ERR_peek_error() == 0) { \
 366         TEST_error("getter did not return error on ctx == NULL"); \
 367         res = 0; \
 368     } \
 369     ERR_clear_error(); \
 370     \
 371     val1_read = (*get_fn)(ctx); \
 372     if (!DEFAULT(val1_read)) { \
 373         TEST_error("did not get default value"); \
 374         res = 0; \
 375     } \
 376     if (!(*set_fn)(ctx, val1)) { \
 377         TEST_error("setting first value failed"); \
 378         res = 0; \
 379     } \
 380     if (SETN == 0) \
 381         val1_to_free = 0; /* 0 works for any type */ \
 382     \
 383     if (GETN == 1) \
 384         FREE(val1_read); \
 385     val1_read = (*get_fn)(ctx); \
 386     if (SETN == 0) { \
 387         if (val1_read != val1) { \
 388             TEST_error("set/get first value did not match"); \
 389             res = 0; \
 390         } \
 391     } else { \
 392         if (DUP && val1_read == val1) { \
 393             TEST_error("first set did not dup the value"); \
 394             res = 0; \
 395         } \
 396         if (DEFAULT(val1_read)) { \
 397             TEST_error("first set had no effect"); \
 398             res = 0; \
 399         } \
 400     } \
 401     \
 402     if (!(*set_fn)(ctx, val2)) { \
 403         TEST_error("setting second value failed"); \
 404         res = 0; \
 405     } \
 406     if (SETN == 0) \
 407         val2_to_free = 0; \
 408     \
 409     val2_read = (*get_fn)(ctx); \
 410     if (DEFAULT(val2_read)) { \
 411         TEST_error("second set reset the value"); \
 412         res = 0; \
 413     } \
 414     if (SETN == 0 && GETN == 0) { \
 415         if (val2_read != val2) { \
 416             TEST_error("set/get second value did not match"); \
 417             res = 0; \
 418         } \
 419     } else { \
 420         if (DUP && val2_read == val2) { \
 421             TEST_error("second set did not dup the value"); \
 422             res = 0; \
 423         } \
 424         if (val2 == val1) { \
 425             TEST_error("second value is same as first value"); \
 426             res = 0; \
 427         } \
 428         if (GETN == 1 && val2_read == val1_read) { \
 429             /* \
 430              * Note that if GETN == 0 then possibly val2_read == val1_read \
 431              * because set1 may allocate the new copy at the same location. \
 432              */ \
 433             TEST_error("second get returned same as first get"); \
 434             res = 0; \
 435         } \
 436     } \
 437     \
 438     val3_read = (*get_fn)(ctx); \
 439     if (DEFAULT(val3_read)) { \
 440         TEST_error("third set reset the value"); \
 441         res = 0; \
 442     } \
 443     if (GETN == 0) { \
 444         if (val3_read != val2_read) { \
 445             TEST_error("third get gave different value"); \
 446             res = 0; \
 447         } \
 448     } else { \
 449         if (DUP && val3_read == val2_read) { \
 450             TEST_error("third get did not create a new dup"); \
 451             res = 0; \
 452         } \
 453     } \
 454     /* this does not check that all remaining fields are untouched */ \
 455     \
 456     if (!TEST_int_eq(ERR_peek_error(), 0)) \
 457         res = 0; \
 458     \
 459     FREE(val1_to_free); \
 460     FREE(val2_to_free); \
 461     if (GETN == 1) { \
 462         FREE(val1_read); \
 463         FREE(val2_read); \
 464         FREE(val3_read); \
 465     } \
 466     return TEST_true(res); \
 467 } \
 468 \
 469 static int test_CTX_##SETN##_##GETN##_##FIELD(void) \
 470 { \
 471     SETUP_TEST_FIXTURE(OSSL_CMP_CTX_TEST_FIXTURE, set_up); \
 472     EXECUTE_TEST(execute_CTX_##SETN##_##GETN##_##FIELD, tear_down); \
 473     return result; \
 474 }
 475
 476 static char *char_new(void)
 477 {
 478     return OPENSSL_strdup("test");
 479 }
 480
 481 static void char_free(char *val)
 482 {
 483     OPENSSL_free(val);
 484 }
 485
 486 #define EMPTY_SK_X509(x) ((x) == NULL || sk_X509_num(x) == 0)
 487
 488 static X509_STORE *X509_STORE_new_1(void)
 489 {
 490     X509_STORE *store = X509_STORE_new();
 491
 492     if (store != NULL)
 493         X509_VERIFY_PARAM_set_flags(X509_STORE_get0_param(store), 1);
 494     return store;
 495 }
 496
 497 #define DEFAULT_STORE(x) \
 498     ((x) == NULL || X509_VERIFY_PARAM_get_flags(X509_STORE_get0_param(x)) == 0)
 499
 500 #define IS_NEG(x) ((x) < 0)
 501 #define IS_0(x) ((x) == 0) /* for any type */
 502 #define DROP(x) (void)(x) /* dummy free() for non-pointer and function types */
 503
 504 #define RET_IF_NULL_ARG(ctx, ret) \
 505     if (ctx == NULL) { \
 506         ERR_raise(ERR_LIB_CMP, CMP_R_NULL_ARGUMENT); \
 507         return ret; \
 508     }
 509
 510 /* cannot use PREFIX instead of OSSL_CMP and CTX due to #define OSSL_CMP_CTX */
 511 #define DEFINE_SET_GET_TEST(OSSL_CMP, CTX, N, M, DUP, FIELD, TYPE) \
 512     DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set##N, get##M, DUP, FIELD, \
 513                              TYPE *, NULL, IS_0, TYPE##_new(), TYPE##_free)
 514
 515 #define DEFINE_SET_GET_SK_TEST_DEFAULT(OSSL_CMP, CTX, N, M, FIELD, ELEM_TYPE, \
 516                                        DEFAULT, NEW, FREE) \
 517     DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set##N, get##M, 1, FIELD, \
 518                              STACK_OF(ELEM_TYPE)*, NULL, DEFAULT, NEW, FREE)
 519 #define DEFINE_SET_GET_SK_TEST(OSSL_CMP, CTX, N, M, FIELD, T) \
 520     DEFINE_SET_GET_SK_TEST_DEFAULT(OSSL_CMP, CTX, N, M, FIELD, T, \
 521                                    IS_0, sk_##T##_new_null(), sk_##T##_free)
 522 #define DEFINE_SET_GET_SK_X509_TEST(OSSL_CMP, CTX, N, M, FNAME) \
 523     DEFINE_SET_GET_SK_TEST_DEFAULT(OSSL_CMP, CTX, N, M, FNAME, X509, \
 524                                    EMPTY_SK_X509, \
 525                                    sk_X509_new_1(), sk_X509_pop_X509_free)
 526
 527 #define DEFINE_SET_GET_TEST_DEFAULT(OSSL_CMP, CTX, N, M, DUP, FIELD, TYPE, \
 528                                     DEFAULT) \
 529     DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set##N, get##M, DUP, FIELD, \
 530                              TYPE *, NULL, DEFAULT, TYPE##_new(), TYPE##_free)
 531 #define DEFINE_SET_TEST_DEFAULT(OSSL_CMP, CTX, N, DUP, FIELD, TYPE, DEFAULT) \
 532     static TYPE *OSSL_CMP_CTX_get0_##FIELD(const CMP_CTX *ctx) \
 533     { \
 534         RET_IF_NULL_ARG(ctx, NULL); \
 535         return (TYPE *)ctx->FIELD; \
 536     } \
 537     DEFINE_SET_GET_TEST_DEFAULT(OSSL_CMP, CTX, N, 0, DUP, FIELD, TYPE, DEFAULT)
 538 #define DEFINE_SET_TEST(OSSL_CMP, CTX, N, DUP, FIELD, TYPE) \
 539     DEFINE_SET_TEST_DEFAULT(OSSL_CMP, CTX, N, DUP, FIELD, TYPE, IS_0)
 540
 541 #define DEFINE_SET_SK_TEST(OSSL_CMP, CTX, N, FIELD, TYPE) \
 542     static STACK_OF(TYPE) *OSSL_CMP_CTX_get0_##FIELD(const CMP_CTX *ctx) \
 543     { \
 544         RET_IF_NULL_ARG(ctx, NULL); \
 545         return ctx->FIELD; \
 546     } \
 547     DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set##N, get0, 1, FIELD, \
 548                              STACK_OF(TYPE)*, NULL, IS_0, \
 549                              sk_##TYPE##_new_null(), sk_##TYPE##_free)
 550
 551 typedef OSSL_HTTP_bio_cb_t OSSL_CMP_http_cb_t;
 552 #define DEFINE_SET_CB_TEST(FIELD) \
 553     static OSSL_CMP_##FIELD##_t OSSL_CMP_CTX_get_##FIELD(const CMP_CTX *ctx) \
 554     { \
 555         RET_IF_NULL_ARG(ctx, NULL); \
 556         return ctx->FIELD; \
 557     } \
 558     DEFINE_SET_GET_BASE_TEST(OSSL_CMP_CTX, set, get, 0, FIELD, \
 559                              OSSL_CMP_##FIELD##_t, NULL, IS_0, \
 560                              test_##FIELD, DROP)
 561 #define DEFINE_SET_GET_P_VOID_TEST(FIELD) \
 562     DEFINE_SET_GET_BASE_TEST(OSSL_CMP_CTX, set, get, 0, FIELD, void *, \
 563                              NULL, IS_0, ((void *)1), DROP)
 564
 565 #define DEFINE_SET_GET_INT_TEST_DEFAULT(OSSL_CMP, CTX, FIELD, DEFAULT) \
 566     DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set, get, 0, FIELD, int, -1, \
 567                              DEFAULT, 1, DROP)
 568 #define DEFINE_SET_GET_INT_TEST(OSSL_CMP, CTX, FIELD) \
 569     DEFINE_SET_GET_INT_TEST_DEFAULT(OSSL_CMP, CTX, FIELD, IS_NEG)
 570 #define DEFINE_SET_INT_TEST(FIELD) \
 571     static int OSSL_CMP_CTX_get_##FIELD(const CMP_CTX *ctx) \
 572     { \
 573         RET_IF_NULL_ARG(ctx, -1); \
 574         return ctx->FIELD; \
 575     } \
 576     DEFINE_SET_GET_INT_TEST_DEFAULT(OSSL_CMP, CTX, FIELD, IS_0)
 577
 578 #define DEFINE_SET_GET_ARG_FN(SETN, GETN, FIELD, ARG, T) \
 579     static int OSSL_CMP_CTX_##SETN##_##FIELD##_##ARG(CMP_CTX *ctx, T val) \
 580     { \
 581         return OSSL_CMP_CTX_##SETN##_##FIELD(ctx, ARG, val); \
 582     } \
 583     \
 584     static T OSSL_CMP_CTX_##GETN##_##FIELD##_##ARG(const CMP_CTX *ctx) \
 585     { \
 586         return OSSL_CMP_CTX_##GETN##_##FIELD(ctx, ARG); \
 587     }
 588
 589 #define DEFINE_SET_GET1_STR_FN(SETN, FIELD) \
 590     static int OSSL_CMP_CTX_##SETN##_##FIELD##_str(CMP_CTX *ctx, char *val)\
 591     { \
 592         return OSSL_CMP_CTX_##SETN##_##FIELD(ctx, (unsigned char *)val, \
 593                                              strlen(val));              \
 594     } \
 595     \
 596     static char *OSSL_CMP_CTX_get1_##FIELD##_str(const CMP_CTX *ctx) \
 597     { \
 598         const ASN1_OCTET_STRING *bytes = NULL; \
 599         \
 600         RET_IF_NULL_ARG(ctx, NULL); \
 601         bytes = ctx->FIELD; \
 602         return bytes == NULL ? NULL : \
 603             OPENSSL_strndup((char *)bytes->data, bytes->length); \
 604     }
 605
 606 #define push 0
 607 #define push0 0
 608 #define push1 1
 609 #define DEFINE_PUSH_BASE_TEST(PUSHN, DUP, FIELD, ELEM, TYPE, T, \
 610                               DEFAULT, NEW, FREE) \
 611 static TYPE sk_top_##FIELD(const CMP_CTX *ctx) \
 612 { \
 613     return sk_##T##_value(ctx->FIELD, sk_##T##_num(ctx->FIELD) - 1); \
 614 } \
 615 \
 616 static int execute_CTX_##PUSHN##_##ELEM(OSSL_CMP_CTX_TEST_FIXTURE *fixture) \
 617 { \
 618     CMP_CTX *ctx = fixture->ctx; \
 619     int (*push_fn)(CMP_CTX *ctx, TYPE) = \
 620         (int (*)(CMP_CTX *ctx, TYPE))OSSL_CMP_CTX_##PUSHN##_##ELEM; \
 621     /* \
 622      * need type cast in above assignment because TYPE arg sometimes is const \
 623      */ \
 624     int n_elem = sk_##T##_num(ctx->FIELD); \
 625     STACK_OF(TYPE) field_read; \
 626     TYPE val1_to_free = NEW; \
 627     TYPE val1 = val1_to_free; \
 628     TYPE val1_read = 0; /* 0 works for any type */ \
 629     TYPE val2_to_free = NEW; \
 630     TYPE val2 = val2_to_free; \
 631     TYPE val2_read = 0; \
 632     int res = 1; \
 633     \
 634     if (!TEST_int_eq(ERR_peek_error(), 0)) \
 635         res = 0; \
 636     if ((*push_fn)(NULL, val1) || ERR_peek_error() == 0) { \
 637         TEST_error("pusher did not return error on ctx == NULL"); \
 638         res = 0; \
 639     } \
 640     ERR_clear_error(); \
 641     \
 642     if (n_elem < 0) /* can happen for NULL stack */ \
 643         n_elem = 0; \
 644     field_read = ctx->FIELD; \
 645     if (!DEFAULT(field_read)) { \
 646         TEST_error("did not get default value for stack field"); \
 647         res = 0; \
 648     } \
 649     if (!(*push_fn)(ctx, val1)) { \
 650         TEST_error("pushing first value failed"); \
 651         res = 0; \
 652     } \
 653     if (PUSHN == 0) \
 654         val1_to_free = 0; /* 0 works for any type */ \
 655     \
 656     if (sk_##T##_num(ctx->FIELD) != ++n_elem) { \
 657         TEST_error("pushing first value did not increment number"); \
 658         res = 0; \
 659     } \
 660     val1_read = sk_top_##FIELD(ctx); \
 661     if (PUSHN == 0) { \
 662         if (val1_read != val1) { \
 663             TEST_error("push/sk_top first value did not match"); \
 664             res = 0; \
 665         } \
 666     } else { \
 667         if (DUP && val1_read == val1) { \
 668             TEST_error("first push did not dup the value"); \
 669             res = 0; \
 670         } \
 671     } \
 672     \
 673     if (!(*push_fn)(ctx, val2)) { \
 674         TEST_error("pushting second value failed"); \
 675         res = 0; \
 676     } \
 677     if (PUSHN == 0) \
 678         val2_to_free = 0; \
 679     \
 680     if (sk_##T##_num(ctx->FIELD) != ++n_elem) { \
 681         TEST_error("pushing second value did not increment number"); \
 682         res = 0; \
 683     } \
 684     val2_read = sk_top_##FIELD(ctx); \
 685     if (PUSHN == 0) { \
 686         if (val2_read != val2) { \
 687             TEST_error("push/sk_top second value did not match"); \
 688             res = 0; \
 689         } \
 690     } else { \
 691         if (DUP && val2_read == val2) { \
 692             TEST_error("second push did not dup the value"); \
 693             res = 0; \
 694         } \
 695         if (val2 == val1) { \
 696             TEST_error("second value is same as first value"); \
 697             res = 0; \
 698         } \
 699     } \
 700     /* this does not check if all remaining fields and elems are untouched */ \
 701     \
 702     if (!TEST_int_eq(ERR_peek_error(), 0)) \
 703         res = 0; \
 704     \
 705     FREE(val1_to_free); \
 706     FREE(val2_to_free); \
 707     return TEST_true(res); \
 708 } \
 709 \
 710 static int test_CTX_##PUSHN##_##ELEM(void) \
 711 { \
 712     SETUP_TEST_FIXTURE(OSSL_CMP_CTX_TEST_FIXTURE, set_up); \
 713     EXECUTE_TEST(execute_CTX_##PUSHN##_##ELEM, tear_down); \
 714     return result; \
 715 } \
 716
 717 #define DEFINE_PUSH_TEST(N, DUP, FIELD, ELEM, TYPE) \
 718     DEFINE_PUSH_BASE_TEST(push##N, DUP, FIELD, ELEM, TYPE *, TYPE, \
 719                           IS_0, TYPE##_new(), TYPE##_free)
 720
 721 void cleanup_tests(void)
 722 {
 723     return;
 724 }
 725
 726 DEFINE_SET_GET_ARG_FN(set, get, option, 35, int) /* OPT_IGNORE_KEYUSAGE */
 727 DEFINE_SET_GET_BASE_TEST(OSSL_CMP_CTX, set, get, 0, option_35, int, -1, IS_0, \
 728                          1 /* true */, DROP)
 729
 730 DEFINE_SET_CB_TEST(log_cb)
 731
 732 DEFINE_SET_TEST_DEFAULT(OSSL_CMP, CTX, 1, 1, serverPath, char, IS_0)
 733 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, server, char)
 734 DEFINE_SET_INT_TEST(serverPort)
 735 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, proxy, char)
 736 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, no_proxy, char)
 737 DEFINE_SET_CB_TEST(http_cb)
 738 DEFINE_SET_GET_P_VOID_TEST(http_cb_arg)
 739 DEFINE_SET_CB_TEST(transfer_cb)
 740 DEFINE_SET_GET_P_VOID_TEST(transfer_cb_arg)
 741
 742 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 0, srvCert, X509)
 743 DEFINE_SET_TEST(ossl_cmp, ctx, 0, 0, validatedSrvCert, X509)
 744 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, expected_sender, X509_NAME)
 745 DEFINE_SET_GET_BASE_TEST(OSSL_CMP_CTX, set0, get0, 0, trusted,
 746                          X509_STORE *, NULL,
 747                          DEFAULT_STORE, X509_STORE_new_1(), X509_STORE_free)
 748 DEFINE_SET_GET_SK_X509_TEST(OSSL_CMP, CTX, 1, 0, untrusted)
 749
 750 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 0, cert, X509)
 751 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 0, pkey, EVP_PKEY)
 752
 753 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, recipient, X509_NAME)
 754 DEFINE_PUSH_TEST(0, 0, geninfo_ITAVs, geninfo_ITAV, OSSL_CMP_ITAV)
 755 DEFINE_SET_SK_TEST(OSSL_CMP, CTX, 1, extraCertsOut, X509)
 756 DEFINE_SET_GET_ARG_FN(set0, get0, newPkey, 1, EVP_PKEY *) /* priv == 1 */
 757 DEFINE_SET_GET_TEST(OSSL_CMP, CTX, 0, 0, 0, newPkey_1, EVP_PKEY)
 758 DEFINE_SET_GET_ARG_FN(set0, get0, newPkey, 0, EVP_PKEY *) /* priv == 0 */
 759 DEFINE_SET_GET_TEST(OSSL_CMP, CTX, 0, 0, 0, newPkey_0, EVP_PKEY)
 760 DEFINE_SET_GET1_STR_FN(set1, referenceValue)
 761 DEFINE_SET_GET_TEST_DEFAULT(OSSL_CMP, CTX, 1, 1, 1, referenceValue_str, char,
 762                             IS_0)
 763 DEFINE_SET_GET1_STR_FN(set1, secretValue)
 764 DEFINE_SET_GET_TEST_DEFAULT(OSSL_CMP, CTX, 1, 1, 1, secretValue_str, char, IS_0)
 765 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, issuer, X509_NAME)
 766 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, subjectName, X509_NAME)
 767 #ifdef ISSUE_9504_RESOLVED
 768 DEFINE_PUSH_TEST(1, 1, subjectAltNames, subjectAltName, GENERAL_NAME)
 769 #endif
 770 DEFINE_SET_SK_TEST(OSSL_CMP, CTX, 0, reqExtensions, X509_EXTENSION)
 771 DEFINE_PUSH_TEST(0, 0, policies, policy, POLICYINFO)
 772 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 0, oldCert, X509)
 773 #ifdef ISSUE_9504_RESOLVED
 774 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, p10CSR, X509_REQ)
 775 #endif
 776 DEFINE_PUSH_TEST(0, 0, genm_ITAVs, genm_ITAV, OSSL_CMP_ITAV)
 777 DEFINE_SET_CB_TEST(certConf_cb)
 778 DEFINE_SET_GET_P_VOID_TEST(certConf_cb_arg)
 779
 780 DEFINE_SET_GET_INT_TEST(ossl_cmp, ctx, status)
 781 DEFINE_SET_GET_SK_TEST(ossl_cmp, ctx, 0, 0, statusString, ASN1_UTF8STRING)
 782 DEFINE_SET_GET_INT_TEST(ossl_cmp, ctx, failInfoCode)
 783 DEFINE_SET_GET_TEST(ossl_cmp, ctx, 0, 0, 0, newCert, X509)
 784 DEFINE_SET_GET_SK_X509_TEST(ossl_cmp, ctx, 1, 1, newChain)
 785 DEFINE_SET_GET_SK_X509_TEST(ossl_cmp, ctx, 1, 1, caPubs)
 786 DEFINE_SET_GET_SK_X509_TEST(ossl_cmp, ctx, 1, 1, extraCertsIn)
 787
 788 DEFINE_SET_TEST_DEFAULT(OSSL_CMP, CTX, 1, 1, transactionID, ASN1_OCTET_STRING,
 789                         IS_0)
 790 DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, senderNonce, ASN1_OCTET_STRING)
 791 DEFINE_SET_TEST(ossl_cmp, ctx, 1, 1, recipNonce, ASN1_OCTET_STRING)
 792
 793 int setup_tests(void)
 794 {
 795     char *cert_file;
 796
 797     if (!test_skip_common_options()) {
 798         TEST_error("Error parsing test options\n");
 799         return 0;
 800     }
 801
 802     if (!TEST_ptr(cert_file = test_get_argument(0))
 803         || !TEST_ptr(test_cert = load_cert_pem(cert_file, NULL)))
 804         return 0;
 805
 806     /* OSSL_CMP_CTX_new() is tested by set_up() */
 807     /* OSSL_CMP_CTX_free() is tested by tear_down() */
 808     ADD_TEST(test_CTX_reinit);
 809
 810     /* various CMP options: */
 811     ADD_TEST(test_CTX_set_get_option_35);
 812     /* CMP-specific callback for logging and outputting the error queue: */
 813     ADD_TEST(test_CTX_set_get_log_cb);
 814     /*
 815      * also tests OSSL_CMP_log_open(), OSSL_CMP_CTX_set_log_verbosity(),
 816      * ossl_cmp_err(), ossl_cmp_warn(), * ossl_cmp_debug(),
 817      * ossl_cmp_log2(), ossl_cmp_log_parse_metadata(), and OSSL_CMP_log_close()
 818      * with OSSL_CMP_severity OSSL_CMP_LOG_ERR/WARNING/DEBUG/INFO:
 819      */
 820     ADD_TEST(test_cmp_ctx_log_cb);
 821 #if !defined(OPENSSL_NO_ERR) && !defined(OPENSSL_NO_AUTOERRINIT)
 822     /*
 823      * also tests OSSL_CMP_CTX_set_log_cb(), OSSL_CMP_print_errors_cb(),
 824      * and the macros ossl_cmp_add_error_data and ossl_cmp_add_error_line:
 825      */
 826     ADD_TEST(test_CTX_print_errors);
 827 #endif
 828     /* message transfer: */
 829     ADD_TEST(test_CTX_set1_get0_serverPath);
 830     ADD_TEST(test_CTX_set1_get0_server);
 831     ADD_TEST(test_CTX_set_get_serverPort);
 832     ADD_TEST(test_CTX_set1_get0_proxy);
 833     ADD_TEST(test_CTX_set1_get0_no_proxy);
 834     ADD_TEST(test_CTX_set_get_http_cb);
 835     ADD_TEST(test_CTX_set_get_http_cb_arg);
 836     ADD_TEST(test_CTX_set_get_transfer_cb);
 837     ADD_TEST(test_CTX_set_get_transfer_cb_arg);
 838     /* server authentication: */
 839     ADD_TEST(test_CTX_set1_get0_srvCert);
 840     ADD_TEST(test_CTX_set0_get0_validatedSrvCert);
 841     ADD_TEST(test_CTX_set1_get0_expected_sender);
 842     ADD_TEST(test_CTX_set0_get0_trusted);
 843     ADD_TEST(test_CTX_set1_get0_untrusted);
 844     /* client authentication: */
 845     ADD_TEST(test_CTX_set1_get0_cert);
 846     ADD_TEST(test_CTX_set1_get0_pkey);
 847     /* the following two also test ossl_cmp_asn1_octet_string_set1_bytes(): */
 848     ADD_TEST(test_CTX_set1_get1_referenceValue_str);
 849     ADD_TEST(test_CTX_set1_get1_secretValue_str);
 850     /* CMP message header and extra certificates: */
 851     ADD_TEST(test_CTX_set1_get0_recipient);
 852     ADD_TEST(test_CTX_push0_geninfo_ITAV);
 853     ADD_TEST(test_CTX_set1_get0_extraCertsOut);
 854     /* certificate template: */
 855     ADD_TEST(test_CTX_set0_get0_newPkey_1);
 856     ADD_TEST(test_CTX_set0_get0_newPkey_0);
 857     ADD_TEST(test_CTX_set1_get0_issuer);
 858     ADD_TEST(test_CTX_set1_get0_subjectName);
 859 #ifdef ISSUE_9504_RESOLVED
 860     /*
 861      * test currently fails, see https://github.com/openssl/openssl/issues/9504
 862      */
 863     ADD_TEST(test_CTX_push1_subjectAltName);
 864 #endif
 865     ADD_TEST(test_CTX_set0_get0_reqExtensions);
 866     ADD_TEST(test_CTX_reqExtensions_have_SAN);
 867     ADD_TEST(test_CTX_push0_policy);
 868     ADD_TEST(test_CTX_set1_get0_oldCert);
 869 #ifdef ISSUE_9504_RESOLVED
 870     /*
 871      * test currently fails, see https://github.com/openssl/openssl/issues/9504
 872      */
 873     ADD_TEST(test_CTX_set1_get0_p10CSR);
 874 #endif
 875     /* misc body contents: */
 876     ADD_TEST(test_CTX_push0_genm_ITAV);
 877     /* certificate confirmation: */
 878     ADD_TEST(test_CTX_set_get_certConf_cb);
 879     ADD_TEST(test_CTX_set_get_certConf_cb_arg);
 880     /* result fetching: */
 881     ADD_TEST(test_CTX_set_get_status);
 882     ADD_TEST(test_CTX_set0_get0_statusString);
 883     ADD_TEST(test_CTX_set_get_failInfoCode);
 884     ADD_TEST(test_CTX_set0_get0_newCert);
 885     ADD_TEST(test_CTX_set1_get1_newChain);
 886     ADD_TEST(test_CTX_set1_get1_caPubs);
 887     ADD_TEST(test_CTX_set1_get1_extraCertsIn);
 888     /* exported for testing and debugging purposes: */
 889     /* the following three also test ossl_cmp_asn1_octet_string_set1(): */
 890     ADD_TEST(test_CTX_set1_get0_transactionID);
 891     ADD_TEST(test_CTX_set1_get0_senderNonce);
 892     ADD_TEST(test_CTX_set1_get0_recipNonce);
 893     return 1;
 894 }