diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/regress/lib/libcrypto/asn1/Makefile | 5 | ||||
-rw-r--r-- | src/regress/lib/libcrypto/asn1/x509_algor.c | 374 |
2 files changed, 377 insertions, 2 deletions
diff --git a/src/regress/lib/libcrypto/asn1/Makefile b/src/regress/lib/libcrypto/asn1/Makefile index 0ecc857901..d00d41a95e 100644 --- a/src/regress/lib/libcrypto/asn1/Makefile +++ b/src/regress/lib/libcrypto/asn1/Makefile | |||
@@ -1,4 +1,4 @@ | |||
1 | # $OpenBSD: Makefile,v 1.24 2023/05/12 08:28:05 tb Exp $ | 1 | # $OpenBSD: Makefile,v 1.25 2023/10/11 12:49:00 tb Exp $ |
2 | 2 | ||
3 | PROGS = \ | 3 | PROGS = \ |
4 | asn1api \ | 4 | asn1api \ |
@@ -12,7 +12,8 @@ PROGS = \ | |||
12 | asn1time \ | 12 | asn1time \ |
13 | asn1x509 \ | 13 | asn1x509 \ |
14 | rfc5280time \ | 14 | rfc5280time \ |
15 | string_table | 15 | string_table \ |
16 | x509_algor | ||
16 | 17 | ||
17 | DPADD+= ${LIBCRYPTO} | 18 | DPADD+= ${LIBCRYPTO} |
18 | WARNINGS= Yes | 19 | WARNINGS= Yes |
diff --git a/src/regress/lib/libcrypto/asn1/x509_algor.c b/src/regress/lib/libcrypto/asn1/x509_algor.c new file mode 100644 index 0000000000..6e0e651221 --- /dev/null +++ b/src/regress/lib/libcrypto/asn1/x509_algor.c | |||
@@ -0,0 +1,374 @@ | |||
1 | /* $OpenBSD: x509_algor.c,v 1.1 2023/10/11 12:49:00 tb Exp $ */ | ||
2 | /* | ||
3 | * Copyright (c) 2023 Theo Buehler <tb@openbsd.org> | ||
4 | * | ||
5 | * Permission to use, copy, modify, and distribute this software for any | ||
6 | * purpose with or without fee is hereby granted, provided that the above | ||
7 | * copyright notice and this permission notice appear in all copies. | ||
8 | * | ||
9 | * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES | ||
10 | * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF | ||
11 | * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR | ||
12 | * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES | ||
13 | * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN | ||
14 | * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF | ||
15 | * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. | ||
16 | */ | ||
17 | |||
18 | #include <err.h> | ||
19 | #include <stdio.h> | ||
20 | |||
21 | #include <openssl/x509.h> | ||
22 | |||
23 | static int | ||
24 | x509_algor_new_test(void) | ||
25 | { | ||
26 | X509_ALGOR *alg = NULL; | ||
27 | const ASN1_OBJECT *aobj; | ||
28 | int failed = 1; | ||
29 | |||
30 | if ((alg = X509_ALGOR_new()) == NULL) | ||
31 | errx(1, "%s: X509_ALGOR_new", __func__); | ||
32 | |||
33 | if ((aobj = OBJ_nid2obj(NID_undef)) == NULL) | ||
34 | errx(1, "%s: OBJ_nid2obj", __func__); | ||
35 | |||
36 | if (alg->algorithm != aobj) { | ||
37 | fprintf(stderr, "FAIL: %s: want NID_undef OID\n", __func__); | ||
38 | goto failure; | ||
39 | } | ||
40 | if (alg->parameter != NULL) { | ||
41 | fprintf(stderr, "FAIL: %s: want NULL parameters\n", __func__); | ||
42 | goto failure; | ||
43 | } | ||
44 | |||
45 | failed = 0; | ||
46 | |||
47 | failure: | ||
48 | X509_ALGOR_free(alg); | ||
49 | |||
50 | return failed; | ||
51 | } | ||
52 | |||
53 | static int | ||
54 | x509_algor_set0_test(void) | ||
55 | { | ||
56 | X509_ALGOR *alg = NULL; | ||
57 | ASN1_TYPE *old_parameter; | ||
58 | ASN1_OBJECT *oid; | ||
59 | ASN1_INTEGER *aint = NULL, *aint_ref; | ||
60 | int ret; | ||
61 | int failed = 1; | ||
62 | |||
63 | if ((ret = X509_ALGOR_set0(NULL, NULL, 0, NULL)) != 0) { | ||
64 | fprintf(stderr, "FAIL: %s: X509_ALGOR_set0(NULL, NULL, 0, NULL)" | ||
65 | ", want: %d, got %d\n", __func__, 0, ret); | ||
66 | goto failure; | ||
67 | } | ||
68 | |||
69 | if ((alg = X509_ALGOR_new()) == NULL) | ||
70 | errx(1, "%s: X509_ALGOR_new", __func__); | ||
71 | |||
72 | /* This sets algorithm to NULL and allocates new parameters. */ | ||
73 | if ((ret = X509_ALGOR_set0(alg, NULL, 0, NULL)) != 1) { | ||
74 | fprintf(stderr, "FAIL: %s: X509_ALGOR_set0(alg, NULL, 0, NULL)" | ||
75 | ", want: %d, got %d\n", __func__, 1, ret); | ||
76 | goto failure; | ||
77 | } | ||
78 | if (alg->algorithm != NULL) { | ||
79 | fprintf(stderr, "FAIL: %s: want NULL algorithm after " | ||
80 | "X509_ALGOR_set0(alg, NULL, 0, NULL)\n", __func__); | ||
81 | goto failure; | ||
82 | } | ||
83 | if ((old_parameter = alg->parameter) == NULL) { | ||
84 | fprintf(stderr, "FAIL: %s: want non-NULL parameter after " | ||
85 | "X509_ALGOR_set0(alg, NULL, 0, NULL)\n", __func__); | ||
86 | goto failure; | ||
87 | } | ||
88 | if (alg->parameter->type != V_ASN1_UNDEF) { | ||
89 | fprintf(stderr, "FAIL: %s: want %d parameter type after " | ||
90 | "X509_ALGOR_set0(alg, NULL, 0, NULL), got %d\n", | ||
91 | __func__, V_ASN1_UNDEF, alg->parameter->type); | ||
92 | goto failure; | ||
93 | } | ||
94 | if (alg->parameter->value.ptr != NULL) { | ||
95 | fprintf(stderr, "FAIL: %s: want NULL parameter value after " | ||
96 | "X509_ALGOR_set0(alg, NULL, 0, NULL)\n", __func__); | ||
97 | goto failure; | ||
98 | } | ||
99 | |||
100 | /* This should leave algorithm at NULL and parameters untouched. */ | ||
101 | if ((ret = X509_ALGOR_set0(alg, NULL, 0, NULL)) != 1) { | ||
102 | fprintf(stderr, "FAIL: %s: X509_ALGOR_set0(alg, NULL, 0, NULL)" | ||
103 | ", want: %d, got %d\n", __func__, 1, ret); | ||
104 | goto failure; | ||
105 | } | ||
106 | if (alg->algorithm != NULL) { | ||
107 | fprintf(stderr, "FAIL: %s: want NULL algorithm after second" | ||
108 | "X509_ALGOR_set0(alg, NULL, 0, NULL)\n", __func__); | ||
109 | goto failure; | ||
110 | } | ||
111 | if (alg->parameter != old_parameter) { | ||
112 | fprintf(stderr, "FAIL: %s: parameter changed after second" | ||
113 | "X509_ALGOR_set0(alg, NULL, 0, NULL)\n", __func__); | ||
114 | goto failure; | ||
115 | } | ||
116 | |||
117 | /* This ignores pval (old_parameter). */ | ||
118 | if ((ret = X509_ALGOR_set0(alg, NULL, 0, old_parameter)) != 1) { | ||
119 | fprintf(stderr, "FAIL: %s: X509_ALGOR_set0(alg, NULL, 0, ptr)" | ||
120 | ", want: %d, got %d\n", __func__, 1, ret); | ||
121 | goto failure; | ||
122 | } | ||
123 | if (alg->algorithm != NULL) { | ||
124 | fprintf(stderr, "FAIL: %s: want NULL algorithm after " | ||
125 | "X509_ALGOR_set0(alg, NULL, 0, ptr)\n", __func__); | ||
126 | goto failure; | ||
127 | } | ||
128 | if (alg->parameter == NULL) { | ||
129 | fprintf(stderr, "FAIL: %s: want non-NULL parameter after " | ||
130 | "X509_ALGOR_set0(alg, NULL, 0, ptr)\n", __func__); | ||
131 | goto failure; | ||
132 | } | ||
133 | if (alg->parameter->type != V_ASN1_UNDEF) { | ||
134 | fprintf(stderr, "FAIL: %s: want %d parameter type after " | ||
135 | "X509_ALGOR_set0(alg, NULL, 0, ptr), got %d\n", | ||
136 | __func__, V_ASN1_UNDEF, alg->parameter->type); | ||
137 | goto failure; | ||
138 | } | ||
139 | if (alg->parameter->value.ptr != NULL) { | ||
140 | fprintf(stderr, "FAIL: %s: want NULL parameter value after " | ||
141 | "X509_ALGOR_set0(alg, NULL, 0, ptr)\n", __func__); | ||
142 | goto failure; | ||
143 | } | ||
144 | |||
145 | old_parameter = NULL; | ||
146 | |||
147 | /* This frees parameters and ignores pval. */ | ||
148 | if ((ret = X509_ALGOR_set0(alg, NULL, V_ASN1_UNDEF, NULL)) != 1) { | ||
149 | fprintf(stderr, "FAIL: %s: " | ||
150 | "X509_ALGOR_set0(alg, NULL, V_ASN1_UNDEF, NULL)" | ||
151 | ", want: %d, got %d\n", __func__, 1, ret); | ||
152 | goto failure; | ||
153 | } | ||
154 | if (alg->algorithm != NULL) { | ||
155 | fprintf(stderr, "FAIL: %s: want NULL algorithm after " | ||
156 | "X509_ALGOR_set0(alg, NULL, V_ASN1_UNDEF, NULL)\n", __func__); | ||
157 | goto failure; | ||
158 | } | ||
159 | if (alg->parameter != NULL) { | ||
160 | fprintf(stderr, "FAIL: %s: want NULL parameter after " | ||
161 | "X509_ALGOR_set0(alg, NULL, V_ASN1_UNDEF, NULL)\n", __func__); | ||
162 | goto failure; | ||
163 | } | ||
164 | |||
165 | /* This frees parameters and ignores "foo". */ | ||
166 | if ((ret = X509_ALGOR_set0(alg, NULL, V_ASN1_UNDEF, "foo")) != 1) { | ||
167 | fprintf(stderr, "FAIL: %s: X509_ALGOR_set0(alg, NULL, 0, \"foo\")" | ||
168 | ", want: %d, got %d\n", __func__, 1, ret); | ||
169 | goto failure; | ||
170 | } | ||
171 | if (alg->algorithm != NULL) { | ||
172 | fprintf(stderr, "FAIL: %s: want NULL algorithm after " | ||
173 | "X509_ALGOR_set0(alg, NULL, V_ASN1_UNDEF, \"foo\")\n", __func__); | ||
174 | goto failure; | ||
175 | } | ||
176 | if (alg->parameter != NULL) { | ||
177 | fprintf(stderr, "FAIL: %s: want NULL parameter after " | ||
178 | "X509_ALGOR_set0(alg, NULL, V_ASN1_UNDEF, \"foo\")\n", __func__); | ||
179 | goto failure; | ||
180 | } | ||
181 | |||
182 | if ((oid = OBJ_nid2obj(NID_sha512_224)) == NULL) { | ||
183 | fprintf(stderr, "FAIL: %s: OBJ_nid2obj(NID_sha512_224)\n", __func__); | ||
184 | goto failure; | ||
185 | } | ||
186 | if ((aint = aint_ref = ASN1_INTEGER_new()) == NULL) | ||
187 | errx(1, "%s: ASN1_INTEGER_new()", __func__); | ||
188 | if (!ASN1_INTEGER_set_uint64(aint, 57)) | ||
189 | errx(1, "%s: ASN1_INTEGER_set_uint64()", __func__); | ||
190 | |||
191 | if ((ret = X509_ALGOR_set0(alg, oid, V_ASN1_INTEGER, aint)) != 1) { | ||
192 | fprintf(stderr, "Fail: %s: " | ||
193 | "X509_ALGOR_set0(alg, oid, V_ASN1_INTEGER, anull)" | ||
194 | ", want: %d, got %d\n", __func__, 1, ret); | ||
195 | goto failure; | ||
196 | } | ||
197 | aint = NULL; | ||
198 | if (alg->algorithm != oid) { | ||
199 | fprintf(stderr, "FAIL: %s: unexpected oid on alg after " | ||
200 | "X509_ALGOR_set0(alg, oid, V_ASN1_INTEGER, anull)" | ||
201 | ", want: %d, got %d\n", __func__, 1, ret); | ||
202 | goto failure; | ||
203 | } | ||
204 | if (alg->parameter == NULL) { | ||
205 | fprintf(stderr, "FAIL: %s: expected non-NULL parameter after " | ||
206 | "X509_ALGOR_set0(alg, oid, V_ASN1_INTEGER, anull)" | ||
207 | ", want: %d, got %d\n", __func__, 1, ret); | ||
208 | goto failure; | ||
209 | } | ||
210 | if (alg->parameter->type != V_ASN1_INTEGER) { | ||
211 | fprintf(stderr, "FAIL: %s: want %d parameter type after " | ||
212 | "X509_ALGOR_set0(alg, oid, V_ASN1_INTEGER, anull), got %d\n", | ||
213 | __func__, V_ASN1_INTEGER, alg->parameter->type); | ||
214 | goto failure; | ||
215 | } | ||
216 | if (alg->parameter->value.asn1_string != aint_ref) { | ||
217 | fprintf(stderr, "FAIL: %s: unexpected parameter value after " | ||
218 | "X509_ALGOR_set0(alg, oid, V_ASN1_NULL, anull)\n", __func__); | ||
219 | goto failure; | ||
220 | } | ||
221 | |||
222 | failed = 0; | ||
223 | |||
224 | failure: | ||
225 | X509_ALGOR_free(alg); | ||
226 | ASN1_INTEGER_free(aint); | ||
227 | |||
228 | return failed; | ||
229 | } | ||
230 | |||
231 | static int | ||
232 | x509_algor_get0_test(void) | ||
233 | { | ||
234 | X509_ALGOR *alg; | ||
235 | const ASN1_OBJECT *aobj = NULL; | ||
236 | int ptype = 0; | ||
237 | const void *pval = NULL; | ||
238 | ASN1_OBJECT *oid; | ||
239 | ASN1_INTEGER *aint = NULL, *aint_ref = NULL; | ||
240 | int ret; | ||
241 | int failed = 1; | ||
242 | |||
243 | if ((alg = X509_ALGOR_new()) == NULL) | ||
244 | errx(1, "%s: X509_ALGOR_new", __func__); | ||
245 | |||
246 | X509_ALGOR_get0(&aobj, NULL, NULL, alg); | ||
247 | if (aobj == NULL) { | ||
248 | fprintf(stderr, "FAIL: %s: expected non-NULL aobj\n", __func__); | ||
249 | goto failure; | ||
250 | } | ||
251 | X509_ALGOR_get0(NULL, &ptype, NULL, alg); | ||
252 | if (ptype != V_ASN1_UNDEF) { | ||
253 | fprintf(stderr, "FAIL: %s: want %d, got %d\n", | ||
254 | __func__, V_ASN1_UNDEF, ptype); | ||
255 | goto failure; | ||
256 | } | ||
257 | |||
258 | if ((oid = OBJ_nid2obj(NID_ED25519)) == NULL) | ||
259 | errx(1, "%s: OBJ_nid2obj(NID_ED25519)", __func__); | ||
260 | if ((aint = aint_ref = ASN1_INTEGER_new()) == NULL) | ||
261 | errx(1, "%s: ASN1_INTEGER_new()", __func__); | ||
262 | if (!ASN1_INTEGER_set_uint64(aint, 99)) | ||
263 | errx(1, "%s: ASN1_INTEGER_set_uint64()", __func__); | ||
264 | |||
265 | if ((ret = X509_ALGOR_set0(alg, oid, V_ASN1_INTEGER, aint)) != 1) { | ||
266 | fprintf(stderr, "Fail: %s: " | ||
267 | "X509_ALGOR_set0(alg, oid, V_ASN1_INTEGER, anull)" | ||
268 | ", want: %d, got %d\n", __func__, 1, ret); | ||
269 | goto failure; | ||
270 | } | ||
271 | aint = NULL; | ||
272 | |||
273 | X509_ALGOR_get0(&aobj, NULL, NULL, alg); | ||
274 | if (aobj != oid) { | ||
275 | fprintf(stderr, "FAIL: %s: expected Ed25519 oid\n", __func__); | ||
276 | goto failure; | ||
277 | } | ||
278 | X509_ALGOR_get0(NULL, &ptype, NULL, alg); | ||
279 | if (ptype != V_ASN1_INTEGER) { | ||
280 | fprintf(stderr, "FAIL: %s: expected %d, got %d\n", | ||
281 | __func__, V_ASN1_INTEGER, ptype); | ||
282 | goto failure; | ||
283 | } | ||
284 | pval = oid; | ||
285 | X509_ALGOR_get0(NULL, NULL, &pval, alg); | ||
286 | if (pval != NULL) { | ||
287 | /* XXX */ | ||
288 | fprintf(stderr, "expected FAIL: %s: got non-NULL pval\n", __func__); | ||
289 | } | ||
290 | |||
291 | aobj = NULL; | ||
292 | ptype = V_ASN1_UNDEF; | ||
293 | pval = oid; | ||
294 | X509_ALGOR_get0(&aobj, &ptype, &pval, alg); | ||
295 | if (aobj != oid) { | ||
296 | fprintf(stderr, "FAIL: %s: expected Ed25519 oid 2\n", __func__); | ||
297 | goto failure; | ||
298 | } | ||
299 | if (ptype != V_ASN1_INTEGER) { | ||
300 | fprintf(stderr, "FAIL: %s: expected %d, got %d 2\n", | ||
301 | __func__, V_ASN1_INTEGER, ptype); | ||
302 | goto failure; | ||
303 | } | ||
304 | if (pval != aint_ref) { | ||
305 | fprintf(stderr, "FAIL: %s: expected ASN.1 integer\n", __func__); | ||
306 | goto failure; | ||
307 | } | ||
308 | |||
309 | failed = 0; | ||
310 | |||
311 | failure: | ||
312 | X509_ALGOR_free(alg); | ||
313 | ASN1_INTEGER_free(aint); | ||
314 | |||
315 | return failed; | ||
316 | } | ||
317 | |||
318 | static int | ||
319 | x509_algor_set_md_test(void) | ||
320 | { | ||
321 | X509_ALGOR *alg = NULL; | ||
322 | const ASN1_OBJECT *aobj; | ||
323 | int ptype = 0, nid = 0; | ||
324 | int failed = 1; | ||
325 | |||
326 | if ((alg = X509_ALGOR_new()) == NULL) | ||
327 | errx(1, "%s: X509_ALGOR_new", __func__); | ||
328 | |||
329 | X509_ALGOR_set_md(alg, EVP_sm3()); | ||
330 | X509_ALGOR_get0(&aobj, &ptype, NULL, alg); | ||
331 | if ((nid = OBJ_obj2nid(aobj)) != NID_sm3) { | ||
332 | fprintf(stderr, "%s: sm3 want %d, got %d\n", __func__, | ||
333 | NID_sm3, nid); | ||
334 | goto failure; | ||
335 | } | ||
336 | if (ptype != V_ASN1_UNDEF) { | ||
337 | fprintf(stderr, "%s: sm3 want %d, got %d\n", __func__, | ||
338 | V_ASN1_UNDEF, ptype); | ||
339 | goto failure; | ||
340 | } | ||
341 | |||
342 | X509_ALGOR_set_md(alg, EVP_md5()); | ||
343 | X509_ALGOR_get0(&aobj, &ptype, NULL, alg); | ||
344 | if ((nid = OBJ_obj2nid(aobj)) != NID_md5) { | ||
345 | fprintf(stderr, "%s: sm3 want %d, got %d\n", __func__, | ||
346 | NID_sm3, nid); | ||
347 | goto failure; | ||
348 | } | ||
349 | if (ptype != V_ASN1_NULL) { | ||
350 | fprintf(stderr, "%s: sm3 want %d, got %d\n", __func__, | ||
351 | V_ASN1_NULL, ptype); | ||
352 | goto failure; | ||
353 | } | ||
354 | |||
355 | failed = 0; | ||
356 | |||
357 | failure: | ||
358 | X509_ALGOR_free(alg); | ||
359 | |||
360 | return failed; | ||
361 | } | ||
362 | |||
363 | int | ||
364 | main(void) | ||
365 | { | ||
366 | int failed = 0; | ||
367 | |||
368 | failed |= x509_algor_new_test(); | ||
369 | failed |= x509_algor_set0_test(); | ||
370 | failed |= x509_algor_get0_test(); | ||
371 | failed |= x509_algor_set_md_test(); | ||
372 | |||
373 | return failed; | ||
374 | } | ||