1 | /* |
2 | * Copyright 2004-2018 The OpenSSL Project Authors. All Rights Reserved. |
3 | * |
4 | * Licensed under the Apache License 2.0 (the "License"). You may not use |
5 | * this file except in compliance with the License. You can obtain a copy |
6 | * in the file LICENSE in the source distribution or at |
7 | * https://www.openssl.org/source/license.html |
8 | */ |
9 | |
10 | #include <stdio.h> |
11 | |
12 | #include "internal/cryptlib.h" |
13 | #include <openssl/crypto.h> |
14 | #include <openssl/buffer.h> |
15 | #include <openssl/x509.h> |
16 | #include <openssl/x509v3.h> |
17 | #include "crypto/x509.h" |
18 | |
19 | #include "x509_local.h" |
20 | |
21 | /* X509_VERIFY_PARAM functions */ |
22 | |
23 | #define SET_HOST 0 |
24 | #define ADD_HOST 1 |
25 | |
26 | static char *str_copy(const char *s) |
27 | { |
28 | return OPENSSL_strdup(s); |
29 | } |
30 | |
31 | static void str_free(char *s) |
32 | { |
33 | OPENSSL_free(s); |
34 | } |
35 | |
36 | static int int_x509_param_set_hosts(X509_VERIFY_PARAM *vpm, int mode, |
37 | const char *name, size_t namelen) |
38 | { |
39 | char *copy; |
40 | |
41 | /* |
42 | * Refuse names with embedded NUL bytes, except perhaps as final byte. |
43 | * XXX: Do we need to push an error onto the error stack? |
44 | */ |
45 | if (namelen == 0 || name == NULL) |
46 | namelen = name ? strlen(name) : 0; |
47 | else if (name && memchr(name, '\0', namelen > 1 ? namelen - 1 : namelen)) |
48 | return 0; |
49 | if (namelen > 0 && name[namelen - 1] == '\0') |
50 | --namelen; |
51 | |
52 | if (mode == SET_HOST) { |
53 | sk_OPENSSL_STRING_pop_free(vpm->hosts, str_free); |
54 | vpm->hosts = NULL; |
55 | } |
56 | if (name == NULL || namelen == 0) |
57 | return 1; |
58 | |
59 | copy = OPENSSL_strndup(name, namelen); |
60 | if (copy == NULL) |
61 | return 0; |
62 | |
63 | if (vpm->hosts == NULL && |
64 | (vpm->hosts = sk_OPENSSL_STRING_new_null()) == NULL) { |
65 | OPENSSL_free(copy); |
66 | return 0; |
67 | } |
68 | |
69 | if (!sk_OPENSSL_STRING_push(vpm->hosts, copy)) { |
70 | OPENSSL_free(copy); |
71 | if (sk_OPENSSL_STRING_num(vpm->hosts) == 0) { |
72 | sk_OPENSSL_STRING_free(vpm->hosts); |
73 | vpm->hosts = NULL; |
74 | } |
75 | return 0; |
76 | } |
77 | |
78 | return 1; |
79 | } |
80 | |
81 | |
82 | X509_VERIFY_PARAM *X509_VERIFY_PARAM_new(void) |
83 | { |
84 | X509_VERIFY_PARAM *param; |
85 | |
86 | param = OPENSSL_zalloc(sizeof(*param)); |
87 | if (param == NULL) { |
88 | X509err(X509_F_X509_VERIFY_PARAM_NEW, ERR_R_MALLOC_FAILURE); |
89 | return NULL; |
90 | } |
91 | param->trust = X509_TRUST_DEFAULT; |
92 | /* param->inh_flags = X509_VP_FLAG_DEFAULT; */ |
93 | param->depth = -1; |
94 | param->auth_level = -1; /* -1 means unset, 0 is explicit */ |
95 | return param; |
96 | } |
97 | |
98 | void X509_VERIFY_PARAM_free(X509_VERIFY_PARAM *param) |
99 | { |
100 | if (param == NULL) |
101 | return; |
102 | sk_ASN1_OBJECT_pop_free(param->policies, ASN1_OBJECT_free); |
103 | sk_OPENSSL_STRING_pop_free(param->hosts, str_free); |
104 | OPENSSL_free(param->peername); |
105 | OPENSSL_free(param->email); |
106 | OPENSSL_free(param->ip); |
107 | OPENSSL_free(param); |
108 | } |
109 | |
110 | /*- |
111 | * This function determines how parameters are "inherited" from one structure |
112 | * to another. There are several different ways this can happen. |
113 | * |
114 | * 1. If a child structure needs to have its values initialized from a parent |
115 | * they are simply copied across. For example SSL_CTX copied to SSL. |
116 | * 2. If the structure should take on values only if they are currently unset. |
117 | * For example the values in an SSL structure will take appropriate value |
118 | * for SSL servers or clients but only if the application has not set new |
119 | * ones. |
120 | * |
121 | * The "inh_flags" field determines how this function behaves. |
122 | * |
123 | * Normally any values which are set in the default are not copied from the |
124 | * destination and verify flags are ORed together. |
125 | * |
126 | * If X509_VP_FLAG_DEFAULT is set then anything set in the source is copied |
127 | * to the destination. Effectively the values in "to" become default values |
128 | * which will be used only if nothing new is set in "from". |
129 | * |
130 | * If X509_VP_FLAG_OVERWRITE is set then all value are copied across whether |
131 | * they are set or not. Flags is still Ored though. |
132 | * |
133 | * If X509_VP_FLAG_RESET_FLAGS is set then the flags value is copied instead |
134 | * of ORed. |
135 | * |
136 | * If X509_VP_FLAG_LOCKED is set then no values are copied. |
137 | * |
138 | * If X509_VP_FLAG_ONCE is set then the current inh_flags setting is zeroed |
139 | * after the next call. |
140 | */ |
141 | |
142 | /* Macro to test if a field should be copied from src to dest */ |
143 | |
144 | #define test_x509_verify_param_copy(field, def) \ |
145 | (to_overwrite || \ |
146 | ((src->field != def) && (to_default || (dest->field == def)))) |
147 | |
148 | /* Macro to test and copy a field if necessary */ |
149 | |
150 | #define x509_verify_param_copy(field, def) \ |
151 | if (test_x509_verify_param_copy(field, def)) \ |
152 | dest->field = src->field |
153 | |
154 | int X509_VERIFY_PARAM_inherit(X509_VERIFY_PARAM *dest, |
155 | const X509_VERIFY_PARAM *src) |
156 | { |
157 | unsigned long inh_flags; |
158 | int to_default, to_overwrite; |
159 | if (!src) |
160 | return 1; |
161 | inh_flags = dest->inh_flags | src->inh_flags; |
162 | |
163 | if (inh_flags & X509_VP_FLAG_ONCE) |
164 | dest->inh_flags = 0; |
165 | |
166 | if (inh_flags & X509_VP_FLAG_LOCKED) |
167 | return 1; |
168 | |
169 | if (inh_flags & X509_VP_FLAG_DEFAULT) |
170 | to_default = 1; |
171 | else |
172 | to_default = 0; |
173 | |
174 | if (inh_flags & X509_VP_FLAG_OVERWRITE) |
175 | to_overwrite = 1; |
176 | else |
177 | to_overwrite = 0; |
178 | |
179 | x509_verify_param_copy(purpose, 0); |
180 | x509_verify_param_copy(trust, X509_TRUST_DEFAULT); |
181 | x509_verify_param_copy(depth, -1); |
182 | x509_verify_param_copy(auth_level, -1); |
183 | |
184 | /* If overwrite or check time not set, copy across */ |
185 | |
186 | if (to_overwrite || !(dest->flags & X509_V_FLAG_USE_CHECK_TIME)) { |
187 | dest->check_time = src->check_time; |
188 | dest->flags &= ~X509_V_FLAG_USE_CHECK_TIME; |
189 | /* Don't need to copy flag: that is done below */ |
190 | } |
191 | |
192 | if (inh_flags & X509_VP_FLAG_RESET_FLAGS) |
193 | dest->flags = 0; |
194 | |
195 | dest->flags |= src->flags; |
196 | |
197 | if (test_x509_verify_param_copy(policies, NULL)) { |
198 | if (!X509_VERIFY_PARAM_set1_policies(dest, src->policies)) |
199 | return 0; |
200 | } |
201 | |
202 | /* Copy the host flags if and only if we're copying the host list */ |
203 | if (test_x509_verify_param_copy(hosts, NULL)) { |
204 | sk_OPENSSL_STRING_pop_free(dest->hosts, str_free); |
205 | dest->hosts = NULL; |
206 | if (src->hosts) { |
207 | dest->hosts = |
208 | sk_OPENSSL_STRING_deep_copy(src->hosts, str_copy, str_free); |
209 | if (dest->hosts == NULL) |
210 | return 0; |
211 | dest->hostflags = src->hostflags; |
212 | } |
213 | } |
214 | |
215 | if (test_x509_verify_param_copy(email, NULL)) { |
216 | if (!X509_VERIFY_PARAM_set1_email(dest, src->email, src->emaillen)) |
217 | return 0; |
218 | } |
219 | |
220 | if (test_x509_verify_param_copy(ip, NULL)) { |
221 | if (!X509_VERIFY_PARAM_set1_ip(dest, src->ip, src->iplen)) |
222 | return 0; |
223 | } |
224 | |
225 | return 1; |
226 | } |
227 | |
228 | int X509_VERIFY_PARAM_set1(X509_VERIFY_PARAM *to, |
229 | const X509_VERIFY_PARAM *from) |
230 | { |
231 | unsigned long save_flags = to->inh_flags; |
232 | int ret; |
233 | to->inh_flags |= X509_VP_FLAG_DEFAULT; |
234 | ret = X509_VERIFY_PARAM_inherit(to, from); |
235 | to->inh_flags = save_flags; |
236 | return ret; |
237 | } |
238 | |
239 | static int int_x509_param_set1(char **pdest, size_t *pdestlen, |
240 | const char *src, size_t srclen) |
241 | { |
242 | void *tmp; |
243 | if (src) { |
244 | if (srclen == 0) |
245 | srclen = strlen(src); |
246 | |
247 | tmp = OPENSSL_memdup(src, srclen); |
248 | if (tmp == NULL) |
249 | return 0; |
250 | } else { |
251 | tmp = NULL; |
252 | srclen = 0; |
253 | } |
254 | OPENSSL_free(*pdest); |
255 | *pdest = tmp; |
256 | if (pdestlen != NULL) |
257 | *pdestlen = srclen; |
258 | return 1; |
259 | } |
260 | |
261 | int X509_VERIFY_PARAM_set1_name(X509_VERIFY_PARAM *param, const char *name) |
262 | { |
263 | OPENSSL_free(param->name); |
264 | param->name = OPENSSL_strdup(name); |
265 | if (param->name) |
266 | return 1; |
267 | return 0; |
268 | } |
269 | |
270 | int X509_VERIFY_PARAM_set_flags(X509_VERIFY_PARAM *param, unsigned long flags) |
271 | { |
272 | param->flags |= flags; |
273 | if (flags & X509_V_FLAG_POLICY_MASK) |
274 | param->flags |= X509_V_FLAG_POLICY_CHECK; |
275 | return 1; |
276 | } |
277 | |
278 | int X509_VERIFY_PARAM_clear_flags(X509_VERIFY_PARAM *param, |
279 | unsigned long flags) |
280 | { |
281 | param->flags &= ~flags; |
282 | return 1; |
283 | } |
284 | |
285 | unsigned long X509_VERIFY_PARAM_get_flags(const X509_VERIFY_PARAM *param) |
286 | { |
287 | return param->flags; |
288 | } |
289 | |
290 | uint32_t X509_VERIFY_PARAM_get_inh_flags(const X509_VERIFY_PARAM *param) |
291 | { |
292 | return param->inh_flags; |
293 | } |
294 | |
295 | int X509_VERIFY_PARAM_set_inh_flags(X509_VERIFY_PARAM *param, uint32_t flags) |
296 | { |
297 | param->inh_flags = flags; |
298 | return 1; |
299 | } |
300 | |
301 | int X509_VERIFY_PARAM_set_purpose(X509_VERIFY_PARAM *param, int purpose) |
302 | { |
303 | return X509_PURPOSE_set(¶m->purpose, purpose); |
304 | } |
305 | |
306 | int X509_VERIFY_PARAM_set_trust(X509_VERIFY_PARAM *param, int trust) |
307 | { |
308 | return X509_TRUST_set(¶m->trust, trust); |
309 | } |
310 | |
311 | void X509_VERIFY_PARAM_set_depth(X509_VERIFY_PARAM *param, int depth) |
312 | { |
313 | param->depth = depth; |
314 | } |
315 | |
316 | void X509_VERIFY_PARAM_set_auth_level(X509_VERIFY_PARAM *param, int auth_level) |
317 | { |
318 | param->auth_level = auth_level; |
319 | } |
320 | |
321 | time_t X509_VERIFY_PARAM_get_time(const X509_VERIFY_PARAM *param) |
322 | { |
323 | return param->check_time; |
324 | } |
325 | |
326 | void X509_VERIFY_PARAM_set_time(X509_VERIFY_PARAM *param, time_t t) |
327 | { |
328 | param->check_time = t; |
329 | param->flags |= X509_V_FLAG_USE_CHECK_TIME; |
330 | } |
331 | |
332 | int X509_VERIFY_PARAM_add0_policy(X509_VERIFY_PARAM *param, |
333 | ASN1_OBJECT *policy) |
334 | { |
335 | if (param->policies == NULL) { |
336 | param->policies = sk_ASN1_OBJECT_new_null(); |
337 | if (param->policies == NULL) |
338 | return 0; |
339 | } |
340 | if (!sk_ASN1_OBJECT_push(param->policies, policy)) |
341 | return 0; |
342 | return 1; |
343 | } |
344 | |
345 | int X509_VERIFY_PARAM_set1_policies(X509_VERIFY_PARAM *param, |
346 | STACK_OF(ASN1_OBJECT) *policies) |
347 | { |
348 | int i; |
349 | ASN1_OBJECT *oid, *doid; |
350 | |
351 | if (param == NULL) |
352 | return 0; |
353 | sk_ASN1_OBJECT_pop_free(param->policies, ASN1_OBJECT_free); |
354 | |
355 | if (policies == NULL) { |
356 | param->policies = NULL; |
357 | return 1; |
358 | } |
359 | |
360 | param->policies = sk_ASN1_OBJECT_new_null(); |
361 | if (param->policies == NULL) |
362 | return 0; |
363 | |
364 | for (i = 0; i < sk_ASN1_OBJECT_num(policies); i++) { |
365 | oid = sk_ASN1_OBJECT_value(policies, i); |
366 | doid = OBJ_dup(oid); |
367 | if (!doid) |
368 | return 0; |
369 | if (!sk_ASN1_OBJECT_push(param->policies, doid)) { |
370 | ASN1_OBJECT_free(doid); |
371 | return 0; |
372 | } |
373 | } |
374 | param->flags |= X509_V_FLAG_POLICY_CHECK; |
375 | return 1; |
376 | } |
377 | |
378 | int X509_VERIFY_PARAM_set1_host(X509_VERIFY_PARAM *param, |
379 | const char *name, size_t namelen) |
380 | { |
381 | return int_x509_param_set_hosts(param, SET_HOST, name, namelen); |
382 | } |
383 | |
384 | int X509_VERIFY_PARAM_add1_host(X509_VERIFY_PARAM *param, |
385 | const char *name, size_t namelen) |
386 | { |
387 | return int_x509_param_set_hosts(param, ADD_HOST, name, namelen); |
388 | } |
389 | |
390 | void X509_VERIFY_PARAM_set_hostflags(X509_VERIFY_PARAM *param, |
391 | unsigned int flags) |
392 | { |
393 | param->hostflags = flags; |
394 | } |
395 | |
396 | unsigned int X509_VERIFY_PARAM_get_hostflags(const X509_VERIFY_PARAM *param) |
397 | { |
398 | return param->hostflags; |
399 | } |
400 | |
401 | char *X509_VERIFY_PARAM_get0_peername(X509_VERIFY_PARAM *param) |
402 | { |
403 | return param->peername; |
404 | } |
405 | |
406 | /* |
407 | * Move peername from one param structure to another, freeing any name present |
408 | * at the target. If the source is a NULL parameter structure, free and zero |
409 | * the target peername. |
410 | */ |
411 | void X509_VERIFY_PARAM_move_peername(X509_VERIFY_PARAM *to, |
412 | X509_VERIFY_PARAM *from) |
413 | { |
414 | char *peername = (from != NULL) ? from->peername : NULL; |
415 | |
416 | if (to->peername != peername) { |
417 | OPENSSL_free(to->peername); |
418 | to->peername = peername; |
419 | } |
420 | if (from) |
421 | from->peername = NULL; |
422 | } |
423 | |
424 | int X509_VERIFY_PARAM_set1_email(X509_VERIFY_PARAM *param, |
425 | const char *email, size_t emaillen) |
426 | { |
427 | return int_x509_param_set1(¶m->email, ¶m->emaillen, |
428 | email, emaillen); |
429 | } |
430 | |
431 | int X509_VERIFY_PARAM_set1_ip(X509_VERIFY_PARAM *param, |
432 | const unsigned char *ip, size_t iplen) |
433 | { |
434 | if (iplen != 0 && iplen != 4 && iplen != 16) |
435 | return 0; |
436 | return int_x509_param_set1((char **)¶m->ip, ¶m->iplen, |
437 | (char *)ip, iplen); |
438 | } |
439 | |
440 | int X509_VERIFY_PARAM_set1_ip_asc(X509_VERIFY_PARAM *param, const char *ipasc) |
441 | { |
442 | unsigned char ipout[16]; |
443 | size_t iplen; |
444 | |
445 | iplen = (size_t)a2i_ipadd(ipout, ipasc); |
446 | if (iplen == 0) |
447 | return 0; |
448 | return X509_VERIFY_PARAM_set1_ip(param, ipout, iplen); |
449 | } |
450 | |
451 | int X509_VERIFY_PARAM_get_depth(const X509_VERIFY_PARAM *param) |
452 | { |
453 | return param->depth; |
454 | } |
455 | |
456 | int X509_VERIFY_PARAM_get_auth_level(const X509_VERIFY_PARAM *param) |
457 | { |
458 | return param->auth_level; |
459 | } |
460 | |
461 | const char *X509_VERIFY_PARAM_get0_name(const X509_VERIFY_PARAM *param) |
462 | { |
463 | return param->name; |
464 | } |
465 | |
466 | #define vpm_empty_id NULL, 0U, NULL, NULL, 0, NULL, 0 |
467 | |
468 | /* |
469 | * Default verify parameters: these are used for various applications and can |
470 | * be overridden by the user specified table. NB: the 'name' field *must* be |
471 | * in alphabetical order because it will be searched using OBJ_search. |
472 | */ |
473 | |
474 | static const X509_VERIFY_PARAM default_table[] = { |
475 | { |
476 | "default" , /* X509 default parameters */ |
477 | 0, /* Check time */ |
478 | 0, /* internal flags */ |
479 | X509_V_FLAG_TRUSTED_FIRST, /* flags */ |
480 | 0, /* purpose */ |
481 | 0, /* trust */ |
482 | 100, /* depth */ |
483 | -1, /* auth_level */ |
484 | NULL, /* policies */ |
485 | vpm_empty_id}, |
486 | { |
487 | "pkcs7" , /* S/MIME sign parameters */ |
488 | 0, /* Check time */ |
489 | 0, /* internal flags */ |
490 | 0, /* flags */ |
491 | X509_PURPOSE_SMIME_SIGN, /* purpose */ |
492 | X509_TRUST_EMAIL, /* trust */ |
493 | -1, /* depth */ |
494 | -1, /* auth_level */ |
495 | NULL, /* policies */ |
496 | vpm_empty_id}, |
497 | { |
498 | "smime_sign" , /* S/MIME sign parameters */ |
499 | 0, /* Check time */ |
500 | 0, /* internal flags */ |
501 | 0, /* flags */ |
502 | X509_PURPOSE_SMIME_SIGN, /* purpose */ |
503 | X509_TRUST_EMAIL, /* trust */ |
504 | -1, /* depth */ |
505 | -1, /* auth_level */ |
506 | NULL, /* policies */ |
507 | vpm_empty_id}, |
508 | { |
509 | "ssl_client" , /* SSL/TLS client parameters */ |
510 | 0, /* Check time */ |
511 | 0, /* internal flags */ |
512 | 0, /* flags */ |
513 | X509_PURPOSE_SSL_CLIENT, /* purpose */ |
514 | X509_TRUST_SSL_CLIENT, /* trust */ |
515 | -1, /* depth */ |
516 | -1, /* auth_level */ |
517 | NULL, /* policies */ |
518 | vpm_empty_id}, |
519 | { |
520 | "ssl_server" , /* SSL/TLS server parameters */ |
521 | 0, /* Check time */ |
522 | 0, /* internal flags */ |
523 | 0, /* flags */ |
524 | X509_PURPOSE_SSL_SERVER, /* purpose */ |
525 | X509_TRUST_SSL_SERVER, /* trust */ |
526 | -1, /* depth */ |
527 | -1, /* auth_level */ |
528 | NULL, /* policies */ |
529 | vpm_empty_id} |
530 | }; |
531 | |
532 | static STACK_OF(X509_VERIFY_PARAM) *param_table = NULL; |
533 | |
534 | static int table_cmp(const X509_VERIFY_PARAM *a, const X509_VERIFY_PARAM *b) |
535 | { |
536 | return strcmp(a->name, b->name); |
537 | } |
538 | |
539 | DECLARE_OBJ_BSEARCH_CMP_FN(X509_VERIFY_PARAM, X509_VERIFY_PARAM, table); |
540 | IMPLEMENT_OBJ_BSEARCH_CMP_FN(X509_VERIFY_PARAM, X509_VERIFY_PARAM, table); |
541 | |
542 | static int param_cmp(const X509_VERIFY_PARAM *const *a, |
543 | const X509_VERIFY_PARAM *const *b) |
544 | { |
545 | return strcmp((*a)->name, (*b)->name); |
546 | } |
547 | |
548 | int X509_VERIFY_PARAM_add0_table(X509_VERIFY_PARAM *param) |
549 | { |
550 | int idx; |
551 | X509_VERIFY_PARAM *ptmp; |
552 | if (param_table == NULL) { |
553 | param_table = sk_X509_VERIFY_PARAM_new(param_cmp); |
554 | if (param_table == NULL) |
555 | return 0; |
556 | } else { |
557 | idx = sk_X509_VERIFY_PARAM_find(param_table, param); |
558 | if (idx >= 0) { |
559 | ptmp = sk_X509_VERIFY_PARAM_delete(param_table, idx); |
560 | X509_VERIFY_PARAM_free(ptmp); |
561 | } |
562 | } |
563 | if (!sk_X509_VERIFY_PARAM_push(param_table, param)) |
564 | return 0; |
565 | return 1; |
566 | } |
567 | |
568 | int X509_VERIFY_PARAM_get_count(void) |
569 | { |
570 | int num = OSSL_NELEM(default_table); |
571 | if (param_table) |
572 | num += sk_X509_VERIFY_PARAM_num(param_table); |
573 | return num; |
574 | } |
575 | |
576 | const X509_VERIFY_PARAM *X509_VERIFY_PARAM_get0(int id) |
577 | { |
578 | int num = OSSL_NELEM(default_table); |
579 | if (id < num) |
580 | return default_table + id; |
581 | return sk_X509_VERIFY_PARAM_value(param_table, id - num); |
582 | } |
583 | |
584 | const X509_VERIFY_PARAM *X509_VERIFY_PARAM_lookup(const char *name) |
585 | { |
586 | int idx; |
587 | X509_VERIFY_PARAM pm; |
588 | |
589 | pm.name = (char *)name; |
590 | if (param_table != NULL) { |
591 | idx = sk_X509_VERIFY_PARAM_find(param_table, &pm); |
592 | if (idx >= 0) |
593 | return sk_X509_VERIFY_PARAM_value(param_table, idx); |
594 | } |
595 | return OBJ_bsearch_table(&pm, default_table, OSSL_NELEM(default_table)); |
596 | } |
597 | |
598 | void X509_VERIFY_PARAM_table_cleanup(void) |
599 | { |
600 | sk_X509_VERIFY_PARAM_pop_free(param_table, X509_VERIFY_PARAM_free); |
601 | param_table = NULL; |
602 | } |
603 | |