cmp_ctx_test.c@ 102797

Last change on this file since 102797 was 101211, checked in by vboxsync, 15 months ago
openssl-3.1.3: Applied and adjusted our OpenSSL changes to 3.1.2. bugref:10527
File size: 30.6 KB

Line
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	sk_X509_pop_free(sk, X509_free);
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	#define DEFINE_SET_GET_TEST(OSSL_CMP, CTX, N, M, DUP, FIELD, TYPE) \
511	DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set##N, get##M, DUP, FIELD, \
512	TYPE *, NULL, IS_0, TYPE##_new(), TYPE##_free)
513
514	#define DEFINE_SET_GET_SK_TEST_DEFAULT(OSSL_CMP, CTX, N, M, FIELD, ELEM_TYPE, \
515	DEFAULT, NEW, FREE) \
516	DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set##N, get##M, 1, FIELD, \
517	STACK_OF(ELEM_TYPE)*, NULL, DEFAULT, NEW, FREE)
518	#define DEFINE_SET_GET_SK_TEST(OSSL_CMP, CTX, N, M, FIELD, T) \
519	DEFINE_SET_GET_SK_TEST_DEFAULT(OSSL_CMP, CTX, N, M, FIELD, T, \
520	IS_0, sk_##T##_new_null(), sk_##T##_free)
521	#define DEFINE_SET_GET_SK_X509_TEST(OSSL_CMP, CTX, N, M, FNAME) \
522	DEFINE_SET_GET_SK_TEST_DEFAULT(OSSL_CMP, CTX, N, M, FNAME, X509, \
523	EMPTY_SK_X509, \
524	sk_X509_new_1(), sk_X509_pop_X509_free)
525
526	#define DEFINE_SET_GET_TEST_DEFAULT(OSSL_CMP, CTX, N, M, DUP, FIELD, TYPE, \
527	DEFAULT) \
528	DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set##N, get##M, DUP, FIELD, \
529	TYPE *, NULL, DEFAULT, TYPE##_new(), TYPE##_free)
530	#define DEFINE_SET_TEST_DEFAULT(OSSL_CMP, CTX, N, DUP, FIELD, TYPE, DEFAULT) \
531	static TYPE OSSL_CMP_CTX_get0_##FIELD(const CMP_CTX ctx) \
532	{ \
533	RET_IF_NULL_ARG(ctx, NULL); \
534	return (TYPE *)ctx->FIELD; \
535	} \
536	DEFINE_SET_GET_TEST_DEFAULT(OSSL_CMP, CTX, N, 0, DUP, FIELD, TYPE, DEFAULT)
537	#define DEFINE_SET_TEST(OSSL_CMP, CTX, N, DUP, FIELD, TYPE) \
538	DEFINE_SET_TEST_DEFAULT(OSSL_CMP, CTX, N, DUP, FIELD, TYPE, IS_0)
539
540	#define DEFINE_SET_SK_TEST(OSSL_CMP, CTX, N, FIELD, TYPE) \
541	static STACK_OF(TYPE) OSSL_CMP_CTX_get0_##FIELD(const CMP_CTX ctx) \
542	{ \
543	RET_IF_NULL_ARG(ctx, NULL); \
544	return ctx->FIELD; \
545	} \
546	DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set##N, get0, 1, FIELD, \
547	STACK_OF(TYPE)*, NULL, IS_0, \
548	sk_##TYPE##_new_null(), sk_##TYPE##_free)
549
550	typedef OSSL_HTTP_bio_cb_t OSSL_CMP_http_cb_t;
551	#define DEFINE_SET_CB_TEST(FIELD) \
552	static OSSL_CMP_##FIELD##_t OSSL_CMP_CTX_get_##FIELD(const CMP_CTX *ctx) \
553	{ \
554	RET_IF_NULL_ARG(ctx, NULL); \
555	return ctx->FIELD; \
556	} \
557	DEFINE_SET_GET_BASE_TEST(OSSL_CMP_CTX, set, get, 0, FIELD, \
558	OSSL_CMP_##FIELD##_t, NULL, IS_0, \
559	test_##FIELD, DROP)
560	#define DEFINE_SET_GET_P_VOID_TEST(FIELD) \
561	DEFINE_SET_GET_BASE_TEST(OSSL_CMP_CTX, set, get, 0, FIELD, void *, \
562	NULL, IS_0, ((void *)1), DROP)
563
564	#define DEFINE_SET_GET_INT_TEST_DEFAULT(OSSL_CMP, CTX, FIELD, DEFAULT) \
565	DEFINE_SET_GET_BASE_TEST(OSSL_CMP##_##CTX, set, get, 0, FIELD, int, -1, \
566	DEFAULT, 1, DROP)
567	#define DEFINE_SET_GET_INT_TEST(OSSL_CMP, CTX, FIELD) \
568	DEFINE_SET_GET_INT_TEST_DEFAULT(OSSL_CMP, CTX, FIELD, IS_NEG)
569	#define DEFINE_SET_INT_TEST(FIELD) \
570	static int OSSL_CMP_CTX_get_##FIELD(const CMP_CTX *ctx) \
571	{ \
572	RET_IF_NULL_ARG(ctx, -1); \
573	return ctx->FIELD; \
574	} \
575	DEFINE_SET_GET_INT_TEST_DEFAULT(OSSL_CMP, CTX, FIELD, IS_0)
576
577	#define DEFINE_SET_GET_ARG_FN(SETN, GETN, FIELD, ARG, T) \
578	static int OSSL_CMP_CTX_##SETN##_##FIELD##_##ARG(CMP_CTX *ctx, T val) \
579	{ \
580	return OSSL_CMP_CTX_##SETN##_##FIELD(ctx, ARG, val); \
581	} \
582	\
583	static T OSSL_CMP_CTX_##GETN##_##FIELD##_##ARG(const CMP_CTX *ctx) \
584	{ \
585	return OSSL_CMP_CTX_##GETN##_##FIELD(ctx, ARG); \
586	}
587
588	#define DEFINE_SET_GET1_STR_FN(SETN, FIELD) \
589	static int OSSL_CMP_CTX_##SETN##_##FIELD##_str(CMP_CTX ctx, char val)\
590	{ \
591	return OSSL_CMP_CTX_##SETN##_##FIELD(ctx, (unsigned char *)val, \
592	strlen(val)); \
593	} \
594	\
595	static char OSSL_CMP_CTX_get1_##FIELD##_str(const CMP_CTX ctx) \
596	{ \
597	const ASN1_OCTET_STRING *bytes = NULL; \
598	\
599	RET_IF_NULL_ARG(ctx, NULL); \
600	bytes = ctx->FIELD; \
601	return bytes == NULL ? NULL : \
602	OPENSSL_strndup((char *)bytes->data, bytes->length); \
603	}
604
605	#define push 0
606	#define push0 0
607	#define push1 1
608	#define DEFINE_PUSH_BASE_TEST(PUSHN, DUP, FIELD, ELEM, TYPE, T, \
609	DEFAULT, NEW, FREE) \
610	static TYPE sk_top_##FIELD(const CMP_CTX *ctx) \
611	{ \
612	return sk_##T##_value(ctx->FIELD, sk_##T##_num(ctx->FIELD) - 1); \
613	} \
614	\
615	static int execute_CTX_##PUSHN##_##ELEM(OSSL_CMP_CTX_TEST_FIXTURE *fixture) \
616	{ \
617	CMP_CTX *ctx = fixture->ctx; \
618	int (push_fn)(CMP_CTX ctx, TYPE) = \
619	(int ()(CMP_CTX ctx, TYPE))OSSL_CMP_CTX_##PUSHN##_##ELEM; \
620	/* \
621	* need type cast in above assignment because TYPE arg sometimes is const \
622	*/ \
623	int n_elem = sk_##T##_num(ctx->FIELD); \
624	STACK_OF(TYPE) field_read; \
625	TYPE val1_to_free = NEW; \
626	TYPE val1 = val1_to_free; \
627	TYPE val1_read = 0; /* 0 works for any type */ \
628	TYPE val2_to_free = NEW; \
629	TYPE val2 = val2_to_free; \
630	TYPE val2_read = 0; \
631	int res = 1; \
632	\
633	if (!TEST_int_eq(ERR_peek_error(), 0)) \
634	res = 0; \
635	if ((*push_fn)(NULL, val1) \|\| ERR_peek_error() == 0) { \
636	TEST_error("pusher did not return error on ctx == NULL"); \
637	res = 0; \
638	} \
639	ERR_clear_error(); \
640	\
641	if (n_elem < 0) /* can happen for NULL stack */ \
642	n_elem = 0; \
643	field_read = ctx->FIELD; \
644	if (!DEFAULT(field_read)) { \
645	TEST_error("did not get default value for stack field"); \
646	res = 0; \
647	} \
648	if (!(*push_fn)(ctx, val1)) { \
649	TEST_error("pushing first value failed"); \
650	res = 0; \
651	} \
652	if (PUSHN == 0) \
653	val1_to_free = 0; /* 0 works for any type */ \
654	\
655	if (sk_##T##_num(ctx->FIELD) != ++n_elem) { \
656	TEST_error("pushing first value did not increment number"); \
657	res = 0; \
658	} \
659	val1_read = sk_top_##FIELD(ctx); \
660	if (PUSHN == 0) { \
661	if (val1_read != val1) { \
662	TEST_error("push/sk_top first value did not match"); \
663	res = 0; \
664	} \
665	} else { \
666	if (DUP && val1_read == val1) { \
667	TEST_error("first push did not dup the value"); \
668	res = 0; \
669	} \
670	} \
671	\
672	if (!(*push_fn)(ctx, val2)) { \
673	TEST_error("pushting second value failed"); \
674	res = 0; \
675	} \
676	if (PUSHN == 0) \
677	val2_to_free = 0; \
678	\
679	if (sk_##T##_num(ctx->FIELD) != ++n_elem) { \
680	TEST_error("pushing second value did not increment number"); \
681	res = 0; \
682	} \
683	val2_read = sk_top_##FIELD(ctx); \
684	if (PUSHN == 0) { \
685	if (val2_read != val2) { \
686	TEST_error("push/sk_top second value did not match"); \
687	res = 0; \
688	} \
689	} else { \
690	if (DUP && val2_read == val2) { \
691	TEST_error("second push did not dup the value"); \
692	res = 0; \
693	} \
694	if (val2 == val1) { \
695	TEST_error("second value is same as first value"); \
696	res = 0; \
697	} \
698	} \
699	/* this does not check if all remaining fields and elems are untouched */ \
700	\
701	if (!TEST_int_eq(ERR_peek_error(), 0)) \
702	res = 0; \
703	\
704	FREE(val1_to_free); \
705	FREE(val2_to_free); \
706	return TEST_true(res); \
707	} \
708	\
709	static int test_CTX_##PUSHN##_##ELEM(void) \
710	{ \
711	SETUP_TEST_FIXTURE(OSSL_CMP_CTX_TEST_FIXTURE, set_up); \
712	EXECUTE_TEST(execute_CTX_##PUSHN##_##ELEM, tear_down); \
713	return result; \
714	} \
715
716	#define DEFINE_PUSH_TEST(N, DUP, FIELD, ELEM, TYPE) \
717	DEFINE_PUSH_BASE_TEST(push##N, DUP, FIELD, ELEM, TYPE *, TYPE, \
718	IS_0, TYPE##_new(), TYPE##_free)
719
720	void cleanup_tests(void)
721	{
722	return;
723	}
724
725	DEFINE_SET_GET_ARG_FN(set, get, option, 35, int) /* OPT_IGNORE_KEYUSAGE */
726	DEFINE_SET_GET_BASE_TEST(OSSL_CMP_CTX, set, get, 0, option_35, int, -1, IS_0, \
727	1 /* true */, DROP)
728
729	DEFINE_SET_CB_TEST(log_cb)
730
731	DEFINE_SET_TEST_DEFAULT(OSSL_CMP, CTX, 1, 1, serverPath, char, IS_0)
732	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, server, char)
733	DEFINE_SET_INT_TEST(serverPort)
734	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, proxy, char)
735	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, no_proxy, char)
736	DEFINE_SET_CB_TEST(http_cb)
737	DEFINE_SET_GET_P_VOID_TEST(http_cb_arg)
738	DEFINE_SET_CB_TEST(transfer_cb)
739	DEFINE_SET_GET_P_VOID_TEST(transfer_cb_arg)
740
741	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 0, srvCert, X509)
742	DEFINE_SET_TEST(ossl_cmp, ctx, 0, 0, validatedSrvCert, X509)
743	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, expected_sender, X509_NAME)
744	DEFINE_SET_GET_BASE_TEST(OSSL_CMP_CTX, set0, get0, 0, trustedStore,
745	X509_STORE *, NULL,
746	DEFAULT_STORE, X509_STORE_new_1(), X509_STORE_free)
747	DEFINE_SET_GET_SK_X509_TEST(OSSL_CMP, CTX, 1, 0, untrusted)
748
749	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 0, cert, X509)
750	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 0, pkey, EVP_PKEY)
751
752	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, recipient, X509_NAME)
753	DEFINE_PUSH_TEST(0, 0, geninfo_ITAVs, geninfo_ITAV, OSSL_CMP_ITAV)
754	DEFINE_SET_SK_TEST(OSSL_CMP, CTX, 1, extraCertsOut, X509)
755	DEFINE_SET_GET_ARG_FN(set0, get0, newPkey, 1, EVP_PKEY ) / priv == 1 */
756	DEFINE_SET_GET_TEST(OSSL_CMP, CTX, 0, 0, 0, newPkey_1, EVP_PKEY)
757	DEFINE_SET_GET_ARG_FN(set0, get0, newPkey, 0, EVP_PKEY ) / priv == 0 */
758	DEFINE_SET_GET_TEST(OSSL_CMP, CTX, 0, 0, 0, newPkey_0, EVP_PKEY)
759	DEFINE_SET_GET1_STR_FN(set1, referenceValue)
760	DEFINE_SET_GET_TEST_DEFAULT(OSSL_CMP, CTX, 1, 1, 1, referenceValue_str, char,
761	IS_0)
762	DEFINE_SET_GET1_STR_FN(set1, secretValue)
763	DEFINE_SET_GET_TEST_DEFAULT(OSSL_CMP, CTX, 1, 1, 1, secretValue_str, char, IS_0)
764	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, issuer, X509_NAME)
765	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, subjectName, X509_NAME)
766	#ifdef ISSUE_9504_RESOLVED
767	DEFINE_PUSH_TEST(1, 1, subjectAltNames, subjectAltName, GENERAL_NAME)
768	#endif
769	DEFINE_SET_SK_TEST(OSSL_CMP, CTX, 0, reqExtensions, X509_EXTENSION)
770	DEFINE_PUSH_TEST(0, 0, policies, policy, POLICYINFO)
771	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 0, oldCert, X509)
772	#ifdef ISSUE_9504_RESOLVED
773	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, p10CSR, X509_REQ)
774	#endif
775	DEFINE_PUSH_TEST(0, 0, genm_ITAVs, genm_ITAV, OSSL_CMP_ITAV)
776	DEFINE_SET_CB_TEST(certConf_cb)
777	DEFINE_SET_GET_P_VOID_TEST(certConf_cb_arg)
778
779	DEFINE_SET_GET_INT_TEST(ossl_cmp, ctx, status)
780	DEFINE_SET_GET_SK_TEST(ossl_cmp, ctx, 0, 0, statusString, ASN1_UTF8STRING)
781	DEFINE_SET_GET_INT_TEST(ossl_cmp, ctx, failInfoCode)
782	DEFINE_SET_GET_TEST(ossl_cmp, ctx, 0, 0, 0, newCert, X509)
783	DEFINE_SET_GET_SK_X509_TEST(ossl_cmp, ctx, 1, 1, newChain)
784	DEFINE_SET_GET_SK_X509_TEST(ossl_cmp, ctx, 1, 1, caPubs)
785	DEFINE_SET_GET_SK_X509_TEST(ossl_cmp, ctx, 1, 1, extraCertsIn)
786
787	DEFINE_SET_TEST_DEFAULT(OSSL_CMP, CTX, 1, 1, transactionID, ASN1_OCTET_STRING,
788	IS_0)
789	DEFINE_SET_TEST(OSSL_CMP, CTX, 1, 1, senderNonce, ASN1_OCTET_STRING)
790	DEFINE_SET_TEST(ossl_cmp, ctx, 1, 1, recipNonce, ASN1_OCTET_STRING)
791
792	int setup_tests(void)
793	{
794	char *cert_file;
795
796	if (!test_skip_common_options()) {
797	TEST_error("Error parsing test options\n");
798	return 0;
799	}
800
801	if (!TEST_ptr(cert_file = test_get_argument(0))
802	\|\| !TEST_ptr(test_cert = load_cert_pem(cert_file, NULL)))
803	return 0;
804
805	/* OSSL_CMP_CTX_new() is tested by set_up() */
806	/* OSSL_CMP_CTX_free() is tested by tear_down() */
807	ADD_TEST(test_CTX_reinit);
808
809	/* various CMP options: */
810	ADD_TEST(test_CTX_set_get_option_35);
811	/* CMP-specific callback for logging and outputting the error queue: */
812	ADD_TEST(test_CTX_set_get_log_cb);
813	/*
814	* also tests OSSL_CMP_log_open(), OSSL_CMP_CTX_set_log_verbosity(),
815	* ossl_cmp_err(), ossl_cmp_warn(), * ossl_cmp_debug(),
816	* ossl_cmp_log2(), ossl_cmp_log_parse_metadata(), and OSSL_CMP_log_close()
817	* with OSSL_CMP_severity OSSL_CMP_LOG_ERR/WARNING/DEBUG/INFO:
818	*/
819	ADD_TEST(test_cmp_ctx_log_cb);
820	#if !defined(OPENSSL_NO_ERR) && !defined(OPENSSL_NO_AUTOERRINIT)
821	/*
822	* also tests OSSL_CMP_CTX_set_log_cb(), OSSL_CMP_print_errors_cb(),
823	* and the macros ossl_cmp_add_error_data and ossl_cmp_add_error_line:
824	*/
825	ADD_TEST(test_CTX_print_errors);
826	#endif
827	/* message transfer: */
828	ADD_TEST(test_CTX_set1_get0_serverPath);
829	ADD_TEST(test_CTX_set1_get0_server);
830	ADD_TEST(test_CTX_set_get_serverPort);
831	ADD_TEST(test_CTX_set1_get0_proxy);
832	ADD_TEST(test_CTX_set1_get0_no_proxy);
833	ADD_TEST(test_CTX_set_get_http_cb);
834	ADD_TEST(test_CTX_set_get_http_cb_arg);
835	ADD_TEST(test_CTX_set_get_transfer_cb);
836	ADD_TEST(test_CTX_set_get_transfer_cb_arg);
837	/* server authentication: */
838	ADD_TEST(test_CTX_set1_get0_srvCert);
839	ADD_TEST(test_CTX_set0_get0_validatedSrvCert);
840	ADD_TEST(test_CTX_set1_get0_expected_sender);
841	ADD_TEST(test_CTX_set0_get0_trustedStore);
842	ADD_TEST(test_CTX_set1_get0_untrusted);
843	/* client authentication: */
844	ADD_TEST(test_CTX_set1_get0_cert);
845	ADD_TEST(test_CTX_set1_get0_pkey);
846	/* the following two also test ossl_cmp_asn1_octet_string_set1_bytes(): */
847	ADD_TEST(test_CTX_set1_get1_referenceValue_str);
848	ADD_TEST(test_CTX_set1_get1_secretValue_str);
849	/* CMP message header and extra certificates: */
850	ADD_TEST(test_CTX_set1_get0_recipient);
851	ADD_TEST(test_CTX_push0_geninfo_ITAV);
852	ADD_TEST(test_CTX_set1_get0_extraCertsOut);
853	/* certificate template: */
854	ADD_TEST(test_CTX_set0_get0_newPkey_1);
855	ADD_TEST(test_CTX_set0_get0_newPkey_0);
856	ADD_TEST(test_CTX_set1_get0_issuer);
857	ADD_TEST(test_CTX_set1_get0_subjectName);
858	#ifdef ISSUE_9504_RESOLVED
859	/*
860	* test currently fails, see https://github.com/openssl/openssl/issues/9504
861	*/
862	ADD_TEST(test_CTX_push1_subjectAltName);
863	#endif
864	ADD_TEST(test_CTX_set0_get0_reqExtensions);
865	ADD_TEST(test_CTX_reqExtensions_have_SAN);
866	ADD_TEST(test_CTX_push0_policy);
867	ADD_TEST(test_CTX_set1_get0_oldCert);
868	#ifdef ISSUE_9504_RESOLVED
869	/*
870	* test currently fails, see https://github.com/openssl/openssl/issues/9504
871	*/
872	ADD_TEST(test_CTX_set1_get0_p10CSR);
873	#endif
874	/* misc body contents: */
875	ADD_TEST(test_CTX_push0_genm_ITAV);
876	/* certificate confirmation: */
877	ADD_TEST(test_CTX_set_get_certConf_cb);
878	ADD_TEST(test_CTX_set_get_certConf_cb_arg);
879	/* result fetching: */
880	ADD_TEST(test_CTX_set_get_status);
881	ADD_TEST(test_CTX_set0_get0_statusString);
882	ADD_TEST(test_CTX_set_get_failInfoCode);
883	ADD_TEST(test_CTX_set0_get0_newCert);
884	ADD_TEST(test_CTX_set1_get1_newChain);
885	ADD_TEST(test_CTX_set1_get1_caPubs);
886	ADD_TEST(test_CTX_set1_get1_extraCertsIn);
887	/* exported for testing and debugging purposes: */
888	/* the following three also test ossl_cmp_asn1_octet_string_set1(): */
889	ADD_TEST(test_CTX_set1_get0_transactionID);
890	ADD_TEST(test_CTX_set1_get0_senderNonce);
891	ADD_TEST(test_CTX_set1_get0_recipNonce);
892	return 1;
893	}

Note: See TracBrowser for help on using the repository browser.

source: vbox/trunk/src/libs/openssl-3.1.3/test/cmp_ctx_test.c@ 102797

Download in other formats: