xref: /netbsd-src/crypto/external/bsd/openssl/dist/test/property_test.c (revision 0e2e28bced52bda3788c857106bde6c44d2df3b8)
1b0d17251Schristos /*
2b0d17251Schristos  * Copyright 2019-2023 The OpenSSL Project Authors. All Rights Reserved.
3b0d17251Schristos  * Copyright (c) 2019, Oracle and/or its affiliates.  All rights reserved.
4b0d17251Schristos  *
5b0d17251Schristos  * Licensed under the Apache License 2.0 (the "License").  You may not use
6b0d17251Schristos  * this file except in compliance with the License.  You can obtain a copy
7b0d17251Schristos  * in the file LICENSE in the source distribution or at
8b0d17251Schristos  * https://www.openssl.org/source/license.html
9b0d17251Schristos  */
10b0d17251Schristos 
11b0d17251Schristos #include <stdarg.h>
12b0d17251Schristos #include <openssl/evp.h>
13b0d17251Schristos #include "testutil.h"
14b0d17251Schristos #include "internal/nelem.h"
15b0d17251Schristos #include "internal/property.h"
16b0d17251Schristos #include "../crypto/property/property_local.h"
17b0d17251Schristos 
18b0d17251Schristos /*
19b0d17251Schristos  * We make our OSSL_PROVIDER for testing purposes.  All we really need is
20b0d17251Schristos  * a pointer.  We know that as long as we don't try to use the method
21b0d17251Schristos  * cache flush functions, the provider pointer is merely a pointer being
22b0d17251Schristos  * passed around, and used as a tag of sorts.
23b0d17251Schristos  */
24b0d17251Schristos struct ossl_provider_st {
25b0d17251Schristos     int x;
26b0d17251Schristos };
27b0d17251Schristos 
add_property_names(const char * n,...)28b0d17251Schristos static int add_property_names(const char *n, ...)
29b0d17251Schristos {
30b0d17251Schristos     va_list args;
31b0d17251Schristos     int res = 1;
32b0d17251Schristos 
33b0d17251Schristos     va_start(args, n);
34b0d17251Schristos     do {
35b0d17251Schristos         if (!TEST_int_ne(ossl_property_name(NULL, n, 1), 0))
36b0d17251Schristos             res = 0;
37b0d17251Schristos     } while ((n = va_arg(args, const char *)) != NULL);
38b0d17251Schristos     va_end(args);
39b0d17251Schristos     return res;
40b0d17251Schristos }
41b0d17251Schristos 
up_ref(void * p)42b0d17251Schristos static int up_ref(void *p)
43b0d17251Schristos {
44b0d17251Schristos     return 1;
45b0d17251Schristos }
46b0d17251Schristos 
down_ref(void * p)47b0d17251Schristos static void down_ref(void *p)
48b0d17251Schristos {
49b0d17251Schristos }
50b0d17251Schristos 
test_property_string(void)51b0d17251Schristos static int test_property_string(void)
52b0d17251Schristos {
53b0d17251Schristos     OSSL_METHOD_STORE *store;
54b0d17251Schristos     int res = 0;
55b0d17251Schristos     OSSL_PROPERTY_IDX i, j;
56b0d17251Schristos 
57b0d17251Schristos     if (TEST_ptr(store = ossl_method_store_new(NULL))
58b0d17251Schristos         && TEST_int_eq(ossl_property_name(NULL, "fnord", 0), 0)
59b0d17251Schristos         && TEST_int_ne(ossl_property_name(NULL, "fnord", 1), 0)
60b0d17251Schristos         && TEST_int_ne(ossl_property_name(NULL, "name", 1), 0)
61b0d17251Schristos         /* Property value checks */
62b0d17251Schristos         && TEST_int_eq(ossl_property_value(NULL, "fnord", 0), 0)
63b0d17251Schristos         && TEST_int_ne(i = ossl_property_value(NULL, "no", 0), 0)
64b0d17251Schristos         && TEST_int_ne(j = ossl_property_value(NULL, "yes", 0), 0)
65b0d17251Schristos         && TEST_int_ne(i, j)
66b0d17251Schristos         && TEST_int_eq(ossl_property_value(NULL, "yes", 1), j)
67b0d17251Schristos         && TEST_int_eq(ossl_property_value(NULL, "no", 1), i)
68b0d17251Schristos         && TEST_int_ne(i = ossl_property_value(NULL, "illuminati", 1), 0)
69b0d17251Schristos         && TEST_int_eq(j = ossl_property_value(NULL, "fnord", 1), i + 1)
70b0d17251Schristos         && TEST_int_eq(ossl_property_value(NULL, "fnord", 1), j)
71b0d17251Schristos         /* Check name and values are distinct */
72b0d17251Schristos         && TEST_int_eq(ossl_property_value(NULL, "cold", 0), 0)
73b0d17251Schristos         && TEST_int_ne(ossl_property_name(NULL, "fnord", 0),
74b0d17251Schristos                        ossl_property_value(NULL, "fnord", 0)))
75b0d17251Schristos         res = 1;
76b0d17251Schristos     ossl_method_store_free(store);
77b0d17251Schristos     return res;
78b0d17251Schristos }
79b0d17251Schristos 
80b0d17251Schristos static const struct {
81b0d17251Schristos     const char *defn;
82b0d17251Schristos     const char *query;
83b0d17251Schristos     int e;
84b0d17251Schristos } parser_tests[] = {
85b0d17251Schristos     { "", "sky=blue", -1 },
86b0d17251Schristos     { "", "sky!=blue", 1 },
87b0d17251Schristos     { "groan", "", 0 },
88b0d17251Schristos     { "cold=yes", "cold=yes", 1 },
89b0d17251Schristos     { "cold=yes", "cold", 1 },
90b0d17251Schristos     { "cold=yes", "cold!=no", 1 },
91b0d17251Schristos     { "groan", "groan=yes", 1 },
92b0d17251Schristos     { "groan", "groan=no", -1 },
93b0d17251Schristos     { "groan", "groan!=yes", -1 },
94b0d17251Schristos     { "cold=no", "cold", -1 },
95b0d17251Schristos     { "cold=no", "?cold", 0 },
96b0d17251Schristos     { "cold=no", "cold=no", 1 },
97b0d17251Schristos     { "groan", "cold", -1 },
98b0d17251Schristos     { "groan", "cold=no", 1 },
99b0d17251Schristos     { "groan", "cold!=yes", 1 },
100b0d17251Schristos     { "groan=blue", "groan=yellow", -1 },
101b0d17251Schristos     { "groan=blue", "?groan=yellow", 0 },
102b0d17251Schristos     { "groan=blue", "groan!=yellow", 1 },
103b0d17251Schristos     { "groan=blue", "?groan!=yellow", 1 },
104b0d17251Schristos     { "today=monday, tomorrow=3", "today!=2", 1 },
105b0d17251Schristos     { "today=monday, tomorrow=3", "today!='monday'", -1 },
106b0d17251Schristos     { "today=monday, tomorrow=3", "tomorrow=3", 1 },
107b0d17251Schristos     { "n=0x3", "n=3", 1 },
108b0d17251Schristos     { "n=0x3", "n=-3", -1 },
109b0d17251Schristos     { "n=0x33", "n=51", 1 },
110*0e2e28bcSchristos     { "n=0x123456789abcdef", "n=0x123456789abcdef", 1 },
111*0e2e28bcSchristos     { "n=0x7fffffffffffffff", "n=0x7fffffffffffffff", 1 },   /* INT64_MAX */
112*0e2e28bcSchristos     { "n=9223372036854775807", "n=9223372036854775807", 1 }, /* INT64_MAX */
113*0e2e28bcSchristos     { "n=0777777777777777777777", "n=0777777777777777777777", 1 }, /* INT64_MAX */
114b0d17251Schristos     { "n=033", "n=27", 1 },
115b0d17251Schristos     { "n=0", "n=00", 1 },
116b0d17251Schristos     { "n=0x0", "n=0", 1 },
117b0d17251Schristos     { "n=0, sky=blue", "?n=0, sky=blue", 2 },
118b0d17251Schristos     { "n=1, sky=blue", "?n=0, sky=blue", 1 },
119b0d17251Schristos };
120b0d17251Schristos 
test_property_parse(int n)121b0d17251Schristos static int test_property_parse(int n)
122b0d17251Schristos {
123b0d17251Schristos     OSSL_METHOD_STORE *store;
124b0d17251Schristos     OSSL_PROPERTY_LIST *p = NULL, *q = NULL;
125b0d17251Schristos     int r = 0;
126b0d17251Schristos 
127b0d17251Schristos     if (TEST_ptr(store = ossl_method_store_new(NULL))
128b0d17251Schristos         && add_property_names("sky", "groan", "cold", "today", "tomorrow", "n",
129b0d17251Schristos                               NULL)
130b0d17251Schristos         && TEST_ptr(p = ossl_parse_property(NULL, parser_tests[n].defn))
131b0d17251Schristos         && TEST_ptr(q = ossl_parse_query(NULL, parser_tests[n].query, 0))
132b0d17251Schristos         && TEST_int_eq(ossl_property_match_count(q, p), parser_tests[n].e))
133b0d17251Schristos         r = 1;
134b0d17251Schristos     ossl_property_free(p);
135b0d17251Schristos     ossl_property_free(q);
136b0d17251Schristos     ossl_method_store_free(store);
137b0d17251Schristos     return r;
138b0d17251Schristos }
139b0d17251Schristos 
test_property_query_value_create(void)140b0d17251Schristos static int test_property_query_value_create(void)
141b0d17251Schristos {
142b0d17251Schristos     OSSL_METHOD_STORE *store;
143b0d17251Schristos     OSSL_PROPERTY_LIST *p = NULL, *q = NULL, *o = NULL;
144b0d17251Schristos     int r = 0;
145b0d17251Schristos 
146b0d17251Schristos     /* The property value used here must not be used in other test cases */
147b0d17251Schristos     if (TEST_ptr(store = ossl_method_store_new(NULL))
148b0d17251Schristos         && add_property_names("wood", NULL)
149b0d17251Schristos         && TEST_ptr(p = ossl_parse_query(NULL, "wood=oak", 0)) /* undefined */
150b0d17251Schristos         && TEST_ptr(q = ossl_parse_query(NULL, "wood=oak", 1)) /* creates */
151b0d17251Schristos         && TEST_ptr(o = ossl_parse_query(NULL, "wood=oak", 0)) /* defined */
152b0d17251Schristos         && TEST_int_eq(ossl_property_match_count(q, p), -1)
153b0d17251Schristos         && TEST_int_eq(ossl_property_match_count(q, o), 1))
154b0d17251Schristos         r = 1;
155b0d17251Schristos     ossl_property_free(o);
156b0d17251Schristos     ossl_property_free(p);
157b0d17251Schristos     ossl_property_free(q);
158b0d17251Schristos     ossl_method_store_free(store);
159b0d17251Schristos     return r;
160b0d17251Schristos }
161b0d17251Schristos 
162b0d17251Schristos static const struct {
163b0d17251Schristos     int query;
164b0d17251Schristos     const char *ps;
165b0d17251Schristos } parse_error_tests[] = {
166b0d17251Schristos     { 0, "n=1, n=1" },          /* duplicate name */
167b0d17251Schristos     { 0, "n=1, a=hi, n=1" },    /* duplicate name */
168b0d17251Schristos     { 1, "n=1, a=bye, ?n=0" },  /* duplicate name */
169b0d17251Schristos     { 0, "a=abc,#@!, n=1" },    /* non-ASCII character located */
170b0d17251Schristos     { 1, "a='Hello" },          /* Unterminated string */
171b0d17251Schristos     { 0, "a=\"World" },         /* Unterminated string */
172b0d17251Schristos     { 0, "a=_abd_" },           /* Unquoted string not starting with alphabetic */
173b0d17251Schristos     { 1, "a=2, n=012345678" },  /* Bad octal digit */
174b0d17251Schristos     { 0, "n=0x28FG, a=3" },     /* Bad hex digit */
175b0d17251Schristos     { 0, "n=145d, a=2" },       /* Bad decimal digit */
176*0e2e28bcSchristos     { 0, "n=0x8000000000000000, a=3" },     /* Hex overflow */
177*0e2e28bcSchristos     { 0, "n=922337203000000000d, a=2" },    /* Decimal overflow */
178*0e2e28bcSchristos     { 0, "a=2, n=1000000000000000000000" }, /* Octal overflow */
179b0d17251Schristos     { 1, "@='hello'" },         /* Invalid name */
180b0d17251Schristos     { 1, "n0123456789012345678901234567890123456789"
181b0d17251Schristos          "0123456789012345678901234567890123456789"
182b0d17251Schristos          "0123456789012345678901234567890123456789"
183b0d17251Schristos          "0123456789012345678901234567890123456789=yes" }, /* Name too long */
184b0d17251Schristos     { 0, ".n=3" },              /* Invalid name */
185b0d17251Schristos     { 1, "fnord.fnord.=3" }     /* Invalid name */
186b0d17251Schristos };
187b0d17251Schristos 
test_property_parse_error(int n)188b0d17251Schristos static int test_property_parse_error(int n)
189b0d17251Schristos {
190b0d17251Schristos     OSSL_METHOD_STORE *store;
191b0d17251Schristos     OSSL_PROPERTY_LIST *p = NULL;
192b0d17251Schristos     int r = 0;
193b0d17251Schristos     const char *ps;
194b0d17251Schristos 
195b0d17251Schristos     if (!TEST_ptr(store = ossl_method_store_new(NULL))
196b0d17251Schristos         || !add_property_names("a", "n", NULL))
197b0d17251Schristos         goto err;
198b0d17251Schristos     ps = parse_error_tests[n].ps;
199b0d17251Schristos     if (parse_error_tests[n].query) {
200b0d17251Schristos         if (!TEST_ptr_null(p = ossl_parse_query(NULL, ps, 1)))
201b0d17251Schristos             goto err;
202b0d17251Schristos     } else if (!TEST_ptr_null(p = ossl_parse_property(NULL, ps))) {
203b0d17251Schristos         goto err;
204b0d17251Schristos     }
205b0d17251Schristos     r = 1;
206b0d17251Schristos  err:
207b0d17251Schristos     ossl_property_free(p);
208b0d17251Schristos     ossl_method_store_free(store);
209b0d17251Schristos     return r;
210b0d17251Schristos }
211b0d17251Schristos 
212b0d17251Schristos static const struct {
213b0d17251Schristos     const char *q_global;
214b0d17251Schristos     const char *q_local;
215b0d17251Schristos     const char *prop;
216b0d17251Schristos } merge_tests[] = {
217b0d17251Schristos     { "", "colour=blue", "colour=blue" },
218b0d17251Schristos     { "colour=blue", "", "colour=blue" },
219b0d17251Schristos     { "colour=red", "colour=blue", "colour=blue" },
220b0d17251Schristos     { "clouds=pink, urn=red", "urn=blue, colour=green",
221b0d17251Schristos         "urn=blue, colour=green, clouds=pink" },
222b0d17251Schristos     { "pot=gold", "urn=blue", "pot=gold, urn=blue" },
223b0d17251Schristos     { "night", "day", "day=yes, night=yes" },
224b0d17251Schristos     { "day", "night", "day=yes, night=yes" },
225b0d17251Schristos     { "", "", "" },
226b0d17251Schristos     /*
227b0d17251Schristos      * The following four leave 'day' unspecified in the query, and will match
228b0d17251Schristos      * any definition
229b0d17251Schristos      */
230b0d17251Schristos     { "day=yes", "-day", "day=no" },
231b0d17251Schristos     { "day=yes", "-day", "day=yes" },
232b0d17251Schristos     { "day=yes", "-day", "day=arglebargle" },
233b0d17251Schristos     { "day=yes", "-day", "pot=sesquioxidizing" },
234b0d17251Schristos     { "day, night", "-night, day", "day=yes, night=no" },
235b0d17251Schristos     { "-day", "day=yes", "day=yes" },
236b0d17251Schristos };
237b0d17251Schristos 
test_property_merge(int n)238b0d17251Schristos static int test_property_merge(int n)
239b0d17251Schristos {
240b0d17251Schristos     OSSL_METHOD_STORE *store;
241b0d17251Schristos     OSSL_PROPERTY_LIST *q_global = NULL, *q_local = NULL;
242b0d17251Schristos     OSSL_PROPERTY_LIST *q_combined = NULL, *prop = NULL;
243b0d17251Schristos     int r = 0;
244b0d17251Schristos 
245b0d17251Schristos     if (TEST_ptr(store = ossl_method_store_new(NULL))
246b0d17251Schristos         && add_property_names("colour", "urn", "clouds", "pot", "day", "night",
247b0d17251Schristos                               NULL)
248b0d17251Schristos         && TEST_ptr(prop = ossl_parse_property(NULL, merge_tests[n].prop))
249b0d17251Schristos         && TEST_ptr(q_global = ossl_parse_query(NULL, merge_tests[n].q_global,
250b0d17251Schristos                                                 0))
251b0d17251Schristos         && TEST_ptr(q_local = ossl_parse_query(NULL, merge_tests[n].q_local, 0))
252b0d17251Schristos         && TEST_ptr(q_combined = ossl_property_merge(q_local, q_global))
253b0d17251Schristos         && TEST_int_ge(ossl_property_match_count(q_combined, prop), 0))
254b0d17251Schristos         r = 1;
255b0d17251Schristos     ossl_property_free(q_global);
256b0d17251Schristos     ossl_property_free(q_local);
257b0d17251Schristos     ossl_property_free(q_combined);
258b0d17251Schristos     ossl_property_free(prop);
259b0d17251Schristos     ossl_method_store_free(store);
260b0d17251Schristos     return r;
261b0d17251Schristos }
262b0d17251Schristos 
test_property_defn_cache(void)263b0d17251Schristos static int test_property_defn_cache(void)
264b0d17251Schristos {
265b0d17251Schristos     OSSL_METHOD_STORE *store;
266b0d17251Schristos     OSSL_PROPERTY_LIST *red = NULL, *blue = NULL, *blue2 = NULL;
267b0d17251Schristos     int r;
268b0d17251Schristos 
269b0d17251Schristos     r = TEST_ptr(store = ossl_method_store_new(NULL))
270b0d17251Schristos         && add_property_names("red", "blue", NULL)
271b0d17251Schristos         && TEST_ptr(red = ossl_parse_property(NULL, "red"))
272b0d17251Schristos         && TEST_ptr(blue = ossl_parse_property(NULL, "blue"))
273b0d17251Schristos         && TEST_ptr_ne(red, blue)
274b0d17251Schristos         && TEST_true(ossl_prop_defn_set(NULL, "red", &red));
275b0d17251Schristos 
276b0d17251Schristos     if (!r)  {
277b0d17251Schristos         ossl_property_free(red);
278b0d17251Schristos         red = NULL;
279b0d17251Schristos         ossl_property_free(blue);
280b0d17251Schristos         blue = NULL;
281b0d17251Schristos     }
282b0d17251Schristos 
283b0d17251Schristos     r = r && TEST_true(ossl_prop_defn_set(NULL, "blue", &blue));
284b0d17251Schristos     if (!r) {
285b0d17251Schristos         ossl_property_free(blue);
286b0d17251Schristos         blue = NULL;
287b0d17251Schristos     }
288b0d17251Schristos 
289b0d17251Schristos     r = r && TEST_ptr_eq(ossl_prop_defn_get(NULL, "red"), red)
290b0d17251Schristos         && TEST_ptr_eq(ossl_prop_defn_get(NULL, "blue"), blue)
291b0d17251Schristos         && TEST_ptr(blue2 = ossl_parse_property(NULL, "blue"))
292b0d17251Schristos         && TEST_ptr_ne(blue2, blue)
293b0d17251Schristos         && TEST_true(ossl_prop_defn_set(NULL, "blue", &blue2));
294b0d17251Schristos     if (!r) {
295b0d17251Schristos         ossl_property_free(blue2);
296b0d17251Schristos         blue2 = NULL;
297b0d17251Schristos     }
298b0d17251Schristos 
299b0d17251Schristos     r = r && TEST_ptr_eq(blue2, blue)
300b0d17251Schristos         && TEST_ptr_eq(ossl_prop_defn_get(NULL, "blue"), blue);
301b0d17251Schristos 
302b0d17251Schristos     ossl_method_store_free(store);
303b0d17251Schristos     return r;
304b0d17251Schristos }
305b0d17251Schristos 
306b0d17251Schristos static const struct {
307b0d17251Schristos     const char *defn;
308b0d17251Schristos     const char *query;
309b0d17251Schristos     int e;
310b0d17251Schristos } definition_tests[] = {
311b0d17251Schristos     { "alpha", "alpha=yes", 1 },
312b0d17251Schristos     { "alpha=no", "alpha", -1 },
313b0d17251Schristos     { "alpha=1", "alpha=1", 1 },
314b0d17251Schristos     { "alpha=2", "alpha=1",-1 },
315b0d17251Schristos     { "alpha", "omega", -1 },
316b0d17251Schristos     { "alpha", "?omega", 0 },
317b0d17251Schristos     { "alpha", "?omega=1", 0 },
318b0d17251Schristos     { "alpha", "?omega=no", 1 },
319b0d17251Schristos     { "alpha", "?omega=yes", 0 },
320b0d17251Schristos     { "alpha, omega", "?omega=yes", 1 },
321b0d17251Schristos     { "alpha, omega", "?omega=no", 0 }
322b0d17251Schristos };
323b0d17251Schristos 
test_definition_compares(int n)324b0d17251Schristos static int test_definition_compares(int n)
325b0d17251Schristos {
326b0d17251Schristos     OSSL_METHOD_STORE *store;
327b0d17251Schristos     OSSL_PROPERTY_LIST *d = NULL, *q = NULL;
328b0d17251Schristos     int r;
329b0d17251Schristos 
330b0d17251Schristos     r = TEST_ptr(store = ossl_method_store_new(NULL))
331b0d17251Schristos         && add_property_names("alpha", "omega", NULL)
332b0d17251Schristos         && TEST_ptr(d = ossl_parse_property(NULL, definition_tests[n].defn))
333b0d17251Schristos         && TEST_ptr(q = ossl_parse_query(NULL, definition_tests[n].query, 0))
334b0d17251Schristos         && TEST_int_eq(ossl_property_match_count(q, d), definition_tests[n].e);
335b0d17251Schristos 
336b0d17251Schristos     ossl_property_free(d);
337b0d17251Schristos     ossl_property_free(q);
338b0d17251Schristos     ossl_method_store_free(store);
339b0d17251Schristos     return r;
340b0d17251Schristos }
341b0d17251Schristos 
test_register_deregister(void)342b0d17251Schristos static int test_register_deregister(void)
343b0d17251Schristos {
344b0d17251Schristos     static const struct {
345b0d17251Schristos         int nid;
346b0d17251Schristos         const char *prop;
347b0d17251Schristos         char *impl;
348b0d17251Schristos     } impls[] = {
349b0d17251Schristos         { 6, "position=1", "a" },
350b0d17251Schristos         { 6, "position=2", "b" },
351b0d17251Schristos         { 6, "position=3", "c" },
352b0d17251Schristos         { 6, "position=4", "d" },
353b0d17251Schristos     };
354b0d17251Schristos     size_t i;
355b0d17251Schristos     int ret = 0;
356b0d17251Schristos     OSSL_METHOD_STORE *store;
357b0d17251Schristos     OSSL_PROVIDER prov = { 1 };
358b0d17251Schristos 
359b0d17251Schristos     if (!TEST_ptr(store = ossl_method_store_new(NULL))
360b0d17251Schristos         || !add_property_names("position", NULL))
361b0d17251Schristos         goto err;
362b0d17251Schristos 
363b0d17251Schristos     for (i = 0; i < OSSL_NELEM(impls); i++)
364b0d17251Schristos         if (!TEST_true(ossl_method_store_add(store, &prov, impls[i].nid,
365b0d17251Schristos                                              impls[i].prop, impls[i].impl,
366b0d17251Schristos                                              &up_ref, &down_ref))) {
367b0d17251Schristos             TEST_note("iteration %zd", i + 1);
368b0d17251Schristos             goto err;
369b0d17251Schristos         }
370b0d17251Schristos 
371b0d17251Schristos     /* Deregister in a different order to registration */
372b0d17251Schristos     for (i = 0; i < OSSL_NELEM(impls); i++) {
373b0d17251Schristos         const size_t j = (1 + i * 3) % OSSL_NELEM(impls);
374b0d17251Schristos         int nid = impls[j].nid;
375b0d17251Schristos         void *impl = impls[j].impl;
376b0d17251Schristos 
377b0d17251Schristos         if (!TEST_true(ossl_method_store_remove(store, nid, impl))
378b0d17251Schristos             || !TEST_false(ossl_method_store_remove(store, nid, impl))) {
379b0d17251Schristos             TEST_note("iteration %zd, position %zd", i + 1, j + 1);
380b0d17251Schristos             goto err;
381b0d17251Schristos         }
382b0d17251Schristos     }
383b0d17251Schristos 
384b0d17251Schristos     if (TEST_false(ossl_method_store_remove(store, impls[0].nid, impls[0].impl)))
385b0d17251Schristos         ret = 1;
386b0d17251Schristos err:
387b0d17251Schristos     ossl_method_store_free(store);
388b0d17251Schristos     return ret;
389b0d17251Schristos }
390b0d17251Schristos 
test_property(void)391b0d17251Schristos static int test_property(void)
392b0d17251Schristos {
393b0d17251Schristos     static OSSL_PROVIDER fake_provider1 = { 1 };
394b0d17251Schristos     static OSSL_PROVIDER fake_provider2 = { 2 };
395b0d17251Schristos     static const OSSL_PROVIDER *fake_prov1 = &fake_provider1;
396b0d17251Schristos     static const OSSL_PROVIDER *fake_prov2 = &fake_provider2;
397b0d17251Schristos     static const struct {
398b0d17251Schristos         const OSSL_PROVIDER **prov;
399b0d17251Schristos         int nid;
400b0d17251Schristos         const char *prop;
401b0d17251Schristos         char *impl;
402b0d17251Schristos     } impls[] = {
403b0d17251Schristos         { &fake_prov1, 1, "fast=no, colour=green", "a" },
404b0d17251Schristos         { &fake_prov1, 1, "fast, colour=blue", "b" },
405b0d17251Schristos         { &fake_prov1, 1, "", "-" },
406b0d17251Schristos         { &fake_prov2, 9, "sky=blue, furry", "c" },
407b0d17251Schristos         { &fake_prov2, 3, NULL, "d" },
408b0d17251Schristos         { &fake_prov2, 6, "sky.colour=blue, sky=green, old.data", "e" },
409b0d17251Schristos     };
410b0d17251Schristos     static struct {
411b0d17251Schristos         const OSSL_PROVIDER **prov;
412b0d17251Schristos         int nid;
413b0d17251Schristos         const char *prop;
414b0d17251Schristos         char *expected;
415b0d17251Schristos     } queries[] = {
416b0d17251Schristos         { &fake_prov1, 1, "fast", "b" },
417b0d17251Schristos         { &fake_prov1, 1, "fast=yes", "b" },
418b0d17251Schristos         { &fake_prov1, 1, "fast=no, colour=green", "a" },
419b0d17251Schristos         { &fake_prov1, 1, "colour=blue, fast", "b" },
420b0d17251Schristos         { &fake_prov1, 1, "colour=blue", "b" },
421b0d17251Schristos         { &fake_prov2, 9, "furry", "c" },
422b0d17251Schristos         { &fake_prov2, 6, "sky.colour=blue", "e" },
423b0d17251Schristos         { &fake_prov2, 6, "old.data", "e" },
424b0d17251Schristos         { &fake_prov2, 9, "furry=yes, sky=blue", "c" },
425b0d17251Schristos         { &fake_prov1, 1, "", "a" },
426b0d17251Schristos         { &fake_prov2, 3, "", "d" },
427b0d17251Schristos     };
428b0d17251Schristos     OSSL_METHOD_STORE *store;
429b0d17251Schristos     size_t i;
430b0d17251Schristos     int ret = 0;
431b0d17251Schristos     void *result;
432b0d17251Schristos 
433b0d17251Schristos     if (!TEST_ptr(store = ossl_method_store_new(NULL))
434b0d17251Schristos         || !add_property_names("fast", "colour", "sky", "furry", NULL))
435b0d17251Schristos         goto err;
436b0d17251Schristos 
437b0d17251Schristos     for (i = 0; i < OSSL_NELEM(impls); i++)
438b0d17251Schristos         if (!TEST_true(ossl_method_store_add(store, *impls[i].prov,
439b0d17251Schristos                                              impls[i].nid, impls[i].prop,
440b0d17251Schristos                                              impls[i].impl,
441b0d17251Schristos                                              &up_ref, &down_ref))) {
442b0d17251Schristos             TEST_note("iteration %zd", i + 1);
443b0d17251Schristos             goto err;
444b0d17251Schristos         }
445b0d17251Schristos     /*
446b0d17251Schristos      * The first check of queries is with NULL given as provider.  All
447b0d17251Schristos      * queries are expected to succeed.
448b0d17251Schristos      */
449b0d17251Schristos     for (i = 0; i < OSSL_NELEM(queries); i++) {
450b0d17251Schristos         const OSSL_PROVIDER *nullprov = NULL;
451b0d17251Schristos         OSSL_PROPERTY_LIST *pq = NULL;
452b0d17251Schristos 
453b0d17251Schristos         if (!TEST_true(ossl_method_store_fetch(store,
454b0d17251Schristos                                                queries[i].nid, queries[i].prop,
455b0d17251Schristos                                                &nullprov, &result))
456b0d17251Schristos             || !TEST_str_eq((char *)result, queries[i].expected)) {
457b0d17251Schristos             TEST_note("iteration %zd", i + 1);
458b0d17251Schristos             ossl_property_free(pq);
459b0d17251Schristos             goto err;
460b0d17251Schristos         }
461b0d17251Schristos         ossl_property_free(pq);
462b0d17251Schristos     }
463b0d17251Schristos     /*
464b0d17251Schristos      * The second check of queries is with &address1 given as provider.
465b0d17251Schristos      */
466b0d17251Schristos     for (i = 0; i < OSSL_NELEM(queries); i++) {
467b0d17251Schristos         OSSL_PROPERTY_LIST *pq = NULL;
468b0d17251Schristos 
469b0d17251Schristos         result = NULL;
470b0d17251Schristos         if (queries[i].prov == &fake_prov1) {
471b0d17251Schristos             if (!TEST_true(ossl_method_store_fetch(store,
472b0d17251Schristos                                                    queries[i].nid,
473b0d17251Schristos                                                    queries[i].prop,
474b0d17251Schristos                                                    &fake_prov1, &result))
475b0d17251Schristos                 || !TEST_ptr_eq(fake_prov1, &fake_provider1)
476b0d17251Schristos                 || !TEST_str_eq((char *)result, queries[i].expected)) {
477b0d17251Schristos                 TEST_note("iteration %zd", i + 1);
478b0d17251Schristos                 ossl_property_free(pq);
479b0d17251Schristos                 goto err;
480b0d17251Schristos             }
481b0d17251Schristos         } else {
482b0d17251Schristos             if (!TEST_false(ossl_method_store_fetch(store,
483b0d17251Schristos                                                     queries[i].nid,
484b0d17251Schristos                                                     queries[i].prop,
485b0d17251Schristos                                                     &fake_prov1, &result))
486b0d17251Schristos                 || !TEST_ptr_eq(fake_prov1, &fake_provider1)
487b0d17251Schristos                 || !TEST_ptr_null(result)) {
488b0d17251Schristos                 TEST_note("iteration %zd", i + 1);
489b0d17251Schristos                 ossl_property_free(pq);
490b0d17251Schristos                 goto err;
491b0d17251Schristos             }
492b0d17251Schristos         }
493b0d17251Schristos         ossl_property_free(pq);
494b0d17251Schristos     }
495b0d17251Schristos     /*
496b0d17251Schristos      * The third check of queries is with &address2 given as provider.
497b0d17251Schristos      */
498b0d17251Schristos     for (i = 0; i < OSSL_NELEM(queries); i++) {
499b0d17251Schristos         OSSL_PROPERTY_LIST *pq = NULL;
500b0d17251Schristos 
501b0d17251Schristos         result = NULL;
502b0d17251Schristos         if (queries[i].prov == &fake_prov2) {
503b0d17251Schristos             if (!TEST_true(ossl_method_store_fetch(store,
504b0d17251Schristos                                                    queries[i].nid,
505b0d17251Schristos                                                    queries[i].prop,
506b0d17251Schristos                                                    &fake_prov2, &result))
507b0d17251Schristos                 || !TEST_ptr_eq(fake_prov2, &fake_provider2)
508b0d17251Schristos                 || !TEST_str_eq((char *)result, queries[i].expected)) {
509b0d17251Schristos                 TEST_note("iteration %zd", i + 1);
510b0d17251Schristos                 ossl_property_free(pq);
511b0d17251Schristos                 goto err;
512b0d17251Schristos             }
513b0d17251Schristos         } else {
514b0d17251Schristos             if (!TEST_false(ossl_method_store_fetch(store,
515b0d17251Schristos                                                     queries[i].nid,
516b0d17251Schristos                                                     queries[i].prop,
517b0d17251Schristos                                                     &fake_prov2, &result))
518b0d17251Schristos                 || !TEST_ptr_eq(fake_prov2, &fake_provider2)
519b0d17251Schristos                 || !TEST_ptr_null(result)) {
520b0d17251Schristos                 TEST_note("iteration %zd", i + 1);
521b0d17251Schristos                 ossl_property_free(pq);
522b0d17251Schristos                 goto err;
523b0d17251Schristos             }
524b0d17251Schristos         }
525b0d17251Schristos         ossl_property_free(pq);
526b0d17251Schristos     }
527b0d17251Schristos     ret = 1;
528b0d17251Schristos err:
529b0d17251Schristos     ossl_method_store_free(store);
530b0d17251Schristos     return ret;
531b0d17251Schristos }
532b0d17251Schristos 
test_query_cache_stochastic(void)533b0d17251Schristos static int test_query_cache_stochastic(void)
534b0d17251Schristos {
535b0d17251Schristos     const int max = 10000, tail = 10;
536b0d17251Schristos     OSSL_METHOD_STORE *store;
537b0d17251Schristos     int i, res = 0;
538b0d17251Schristos     char buf[50];
539b0d17251Schristos     void *result;
540b0d17251Schristos     int errors = 0;
541b0d17251Schristos     int v[10001];
542b0d17251Schristos     OSSL_PROVIDER prov = { 1 };
543b0d17251Schristos 
544b0d17251Schristos     if (!TEST_ptr(store = ossl_method_store_new(NULL))
545b0d17251Schristos         || !add_property_names("n", NULL))
546b0d17251Schristos         goto err;
547b0d17251Schristos 
548b0d17251Schristos     for (i = 1; i <= max; i++) {
549b0d17251Schristos         v[i] = 2 * i;
550b0d17251Schristos         BIO_snprintf(buf, sizeof(buf), "n=%d\n", i);
551b0d17251Schristos         if (!TEST_true(ossl_method_store_add(store, &prov, i, buf, "abc",
552b0d17251Schristos                                              &up_ref, &down_ref))
553b0d17251Schristos                 || !TEST_true(ossl_method_store_cache_set(store, &prov, i,
554b0d17251Schristos                                                           buf, v + i,
555b0d17251Schristos                                                           &up_ref, &down_ref))
556b0d17251Schristos                 || !TEST_true(ossl_method_store_cache_set(store, &prov, i,
557b0d17251Schristos                                                           "n=1234", "miss",
558b0d17251Schristos                                                           &up_ref, &down_ref))) {
559b0d17251Schristos             TEST_note("iteration %d", i);
560b0d17251Schristos             goto err;
561b0d17251Schristos         }
562b0d17251Schristos     }
563b0d17251Schristos     for (i = 1; i <= max; i++) {
564b0d17251Schristos         BIO_snprintf(buf, sizeof(buf), "n=%d\n", i);
565b0d17251Schristos         if (!ossl_method_store_cache_get(store, NULL, i, buf, &result)
566b0d17251Schristos             || result != v + i)
567b0d17251Schristos             errors++;
568b0d17251Schristos     }
569b0d17251Schristos     /* There is a tiny probability that this will fail when it shouldn't */
570b0d17251Schristos     res = TEST_int_gt(errors, tail) && TEST_int_lt(errors, max - tail);
571b0d17251Schristos 
572b0d17251Schristos err:
573b0d17251Schristos     ossl_method_store_free(store);
574b0d17251Schristos     return res;
575b0d17251Schristos }
576b0d17251Schristos 
test_fips_mode(void)577b0d17251Schristos static int test_fips_mode(void)
578b0d17251Schristos {
579b0d17251Schristos     int ret = 0;
580b0d17251Schristos     OSSL_LIB_CTX *ctx = NULL;
581b0d17251Schristos 
582b0d17251Schristos     if (!TEST_ptr(ctx = OSSL_LIB_CTX_new()))
583b0d17251Schristos         goto err;
584b0d17251Schristos 
585b0d17251Schristos     ret = TEST_true(EVP_set_default_properties(ctx, "default=yes,fips=yes"))
586b0d17251Schristos           && TEST_true(EVP_default_properties_is_fips_enabled(ctx))
587b0d17251Schristos           && TEST_true(EVP_set_default_properties(ctx, "fips=no,default=yes"))
588b0d17251Schristos           && TEST_false(EVP_default_properties_is_fips_enabled(ctx))
589b0d17251Schristos           && TEST_true(EVP_set_default_properties(ctx, "fips=no"))
590b0d17251Schristos           && TEST_false(EVP_default_properties_is_fips_enabled(ctx))
591b0d17251Schristos           && TEST_true(EVP_set_default_properties(ctx, "fips!=no"))
592b0d17251Schristos           && TEST_true(EVP_default_properties_is_fips_enabled(ctx))
593b0d17251Schristos           && TEST_true(EVP_set_default_properties(ctx, "fips=no"))
594b0d17251Schristos           && TEST_false(EVP_default_properties_is_fips_enabled(ctx))
595b0d17251Schristos           && TEST_true(EVP_set_default_properties(ctx, "fips=no,default=yes"))
596b0d17251Schristos           && TEST_true(EVP_default_properties_enable_fips(ctx, 1))
597b0d17251Schristos           && TEST_true(EVP_default_properties_is_fips_enabled(ctx))
598b0d17251Schristos           && TEST_true(EVP_default_properties_enable_fips(ctx, 0))
599b0d17251Schristos           && TEST_false(EVP_default_properties_is_fips_enabled(ctx));
600b0d17251Schristos err:
601b0d17251Schristos     OSSL_LIB_CTX_free(ctx);
602b0d17251Schristos     return ret;
603b0d17251Schristos }
604b0d17251Schristos 
605b0d17251Schristos static struct {
606b0d17251Schristos     const char *in;
607b0d17251Schristos     const char *out;
608b0d17251Schristos } to_string_tests[] = {
609b0d17251Schristos     { "fips=yes", "fips=yes" },
610b0d17251Schristos     { "fips!=yes", "fips!=yes" },
611b0d17251Schristos     { "fips = yes", "fips=yes" },
612b0d17251Schristos     { "fips", "fips=yes" },
613b0d17251Schristos     { "fips=no", "fips=no" },
614b0d17251Schristos     { "-fips", "-fips" },
615b0d17251Schristos     { "?fips=yes", "?fips=yes" },
616b0d17251Schristos     { "fips=yes,provider=fips", "fips=yes,provider=fips" },
617b0d17251Schristos     { "fips = yes , provider = fips", "fips=yes,provider=fips" },
618b0d17251Schristos     { "fips=yes,provider!=fips", "fips=yes,provider!=fips" },
619b0d17251Schristos     { "fips=yes,?provider=fips", "fips=yes,?provider=fips" },
620b0d17251Schristos     { "fips=yes,-provider", "fips=yes,-provider" },
621b0d17251Schristos       /* foo is an unknown internal name */
622b0d17251Schristos     { "foo=yes,fips=yes", "fips=yes"},
623b0d17251Schristos     { "", "" },
624b0d17251Schristos     { "fips=3", "fips=3" },
625b0d17251Schristos     { "fips=-3", "fips=-3" },
6264778aedeSchristos     { "provider='foo bar'", "provider='foo bar'" },
6274778aedeSchristos     { "provider=\"foo bar'\"", "provider=\"foo bar'\"" },
6284778aedeSchristos     { "provider=abc***", "provider='abc***'" },
629b0d17251Schristos     { NULL, "" }
630b0d17251Schristos };
631b0d17251Schristos 
test_property_list_to_string(int i)632b0d17251Schristos static int test_property_list_to_string(int i)
633b0d17251Schristos {
634b0d17251Schristos     OSSL_PROPERTY_LIST *pl = NULL;
635b0d17251Schristos     int ret = 0;
636b0d17251Schristos     size_t bufsize;
637b0d17251Schristos     char *buf = NULL;
638b0d17251Schristos 
639b0d17251Schristos     if (to_string_tests[i].in != NULL
640b0d17251Schristos             && !TEST_ptr(pl = ossl_parse_query(NULL, to_string_tests[i].in, 1)))
641b0d17251Schristos         goto err;
642b0d17251Schristos     bufsize = ossl_property_list_to_string(NULL, pl, NULL, 0);
643b0d17251Schristos     if (!TEST_size_t_gt(bufsize, 0))
644b0d17251Schristos         goto err;
645b0d17251Schristos     buf = OPENSSL_malloc(bufsize);
646b0d17251Schristos     if (!TEST_ptr(buf)
647b0d17251Schristos             || !TEST_size_t_eq(ossl_property_list_to_string(NULL, pl, buf,
648b0d17251Schristos                                                             bufsize),
649b0d17251Schristos                                bufsize)
650b0d17251Schristos             || !TEST_str_eq(to_string_tests[i].out, buf)
651b0d17251Schristos             || !TEST_size_t_eq(bufsize, strlen(to_string_tests[i].out) + 1))
652b0d17251Schristos         goto err;
653b0d17251Schristos 
654b0d17251Schristos     ret = 1;
655b0d17251Schristos  err:
656b0d17251Schristos     OPENSSL_free(buf);
657b0d17251Schristos     ossl_property_free(pl);
658b0d17251Schristos     return ret;
659b0d17251Schristos }
660b0d17251Schristos 
setup_tests(void)661b0d17251Schristos int setup_tests(void)
662b0d17251Schristos {
663b0d17251Schristos     ADD_TEST(test_property_string);
664b0d17251Schristos     ADD_TEST(test_property_query_value_create);
665b0d17251Schristos     ADD_ALL_TESTS(test_property_parse, OSSL_NELEM(parser_tests));
666b0d17251Schristos     ADD_ALL_TESTS(test_property_parse_error, OSSL_NELEM(parse_error_tests));
667b0d17251Schristos     ADD_ALL_TESTS(test_property_merge, OSSL_NELEM(merge_tests));
668b0d17251Schristos     ADD_TEST(test_property_defn_cache);
669b0d17251Schristos     ADD_ALL_TESTS(test_definition_compares, OSSL_NELEM(definition_tests));
670b0d17251Schristos     ADD_TEST(test_register_deregister);
671b0d17251Schristos     ADD_TEST(test_property);
672b0d17251Schristos     ADD_TEST(test_query_cache_stochastic);
673b0d17251Schristos     ADD_TEST(test_fips_mode);
674b0d17251Schristos     ADD_ALL_TESTS(test_property_list_to_string, OSSL_NELEM(to_string_tests));
675b0d17251Schristos     return 1;
676b0d17251Schristos }
677