cmp_ctx_test.c@ 107935

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

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

source: vbox/trunk/src/libs/openssl-3.1.7/test/cmp_ctx_test.c@ 107935

Download in other formats: