]> git.ipfire.org Git - thirdparty/openssl.git/blame - crypto/x509/x509_vpm.c
Clarify BN_mod_exp docs
[thirdparty/openssl.git] / crypto / x509 / x509_vpm.c
CommitLineData
0f113f3e 1/*
6ec5fce2 2 * Copyright 2004-2018 The OpenSSL Project Authors. All Rights Reserved.
5d7c222d 3 *
b1322259
RS
4 * Licensed under the OpenSSL license (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
5d7c222d
DSH
8 */
9
10#include <stdio.h>
11
b39fc560 12#include "internal/cryptlib.h"
5d7c222d 13#include <openssl/crypto.h>
5d7c222d
DSH
14#include <openssl/buffer.h>
15#include <openssl/x509.h>
16#include <openssl/x509v3.h>
6670d55a 17#include "internal/x509_int.h"
5d7c222d 18
6c21b860 19#include "x509_lcl.h"
4a253652 20
5d7c222d
DSH
21/* X509_VERIFY_PARAM functions */
22
8abffa4a
VD
23#define SET_HOST 0
24#define ADD_HOST 1
25
0f113f3e
MC
26static char *str_copy(const char *s)
27{
28 return OPENSSL_strdup(s);
29}
30
31static void str_free(char *s)
32{
33 OPENSSL_free(s);
34}
8abffa4a 35
9689a6ae 36static int int_x509_param_set_hosts(X509_VERIFY_PARAM *vpm, int mode,
0f113f3e
MC
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 */
0982ecaa 45 if (namelen == 0 || name == NULL)
0f113f3e
MC
46 namelen = name ? strlen(name) : 0;
47 else if (name && memchr(name, '\0', namelen > 1 ? namelen - 1 : namelen))
48 return 0;
0982ecaa 49 if (namelen > 0 && name[namelen - 1] == '\0')
0f113f3e
MC
50 --namelen;
51
25aaa98a 52 if (mode == SET_HOST) {
9689a6ae
DSH
53 sk_OPENSSL_STRING_pop_free(vpm->hosts, str_free);
54 vpm->hosts = NULL;
0f113f3e
MC
55 }
56 if (name == NULL || namelen == 0)
57 return 1;
58
7644a9ae 59 copy = OPENSSL_strndup(name, namelen);
0f113f3e
MC
60 if (copy == NULL)
61 return 0;
62
9689a6ae
DSH
63 if (vpm->hosts == NULL &&
64 (vpm->hosts = sk_OPENSSL_STRING_new_null()) == NULL) {
0f113f3e
MC
65 OPENSSL_free(copy);
66 return 0;
67 }
68
9689a6ae 69 if (!sk_OPENSSL_STRING_push(vpm->hosts, copy)) {
0f113f3e 70 OPENSSL_free(copy);
9689a6ae
DSH
71 if (sk_OPENSSL_STRING_num(vpm->hosts) == 0) {
72 sk_OPENSSL_STRING_free(vpm->hosts);
73 vpm->hosts = NULL;
0f113f3e
MC
74 }
75 return 0;
76 }
77
78 return 1;
79}
8abffa4a 80
5d7c222d
DSH
81
82X509_VERIFY_PARAM *X509_VERIFY_PARAM_new(void)
0f113f3e
MC
83{
84 X509_VERIFY_PARAM *param;
222561fe 85
b51bce94 86 param = OPENSSL_zalloc(sizeof(*param));
f90bc6c5
RS
87 if (param == NULL) {
88 X509err(X509_F_X509_VERIFY_PARAM_NEW, ERR_R_MALLOC_FAILURE);
0f113f3e 89 return NULL;
f90bc6c5 90 }
234b8af4 91 param->trust = X509_TRUST_DEFAULT;
f90bc6c5 92 /* param->inh_flags = X509_VP_FLAG_DEFAULT; */
234b8af4
F
93 param->depth = -1;
94 param->auth_level = -1; /* -1 means unset, 0 is explicit */
0f113f3e
MC
95 return param;
96}
5d7c222d
DSH
97
98void X509_VERIFY_PARAM_free(X509_VERIFY_PARAM *param)
0f113f3e 99{
234b8af4 100 if (param == NULL)
f49baeff 101 return;
234b8af4
F
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);
0f113f3e
MC
107 OPENSSL_free(param);
108}
5d7c222d 109
1d97c843
TH
110/*-
111 * This function determines how parameters are "inherited" from one structure
5d7c222d
DSH
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 *
0f113f3e 121 * The "inh_flags" field determines how this function behaves.
5d7c222d
DSH
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) \
0f113f3e
MC
145 (to_overwrite || \
146 ((src->field != def) && (to_default || (dest->field == def))))
5d7c222d
DSH
147
148/* Macro to test and copy a field if necessary */
149
150#define x509_verify_param_copy(field, def) \
0f113f3e
MC
151 if (test_x509_verify_param_copy(field, def)) \
152 dest->field = src->field
5d7c222d
DSH
153
154int X509_VERIFY_PARAM_inherit(X509_VERIFY_PARAM *dest,
0f113f3e
MC
155 const X509_VERIFY_PARAM *src)
156{
157 unsigned long inh_flags;
158 int to_default, to_overwrite;
0f113f3e
MC
159 if (!src)
160 return 1;
0f113f3e
MC
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);
0daccd4d 180 x509_verify_param_copy(trust, X509_TRUST_DEFAULT);
0f113f3e 181 x509_verify_param_copy(depth, -1);
fbb82a60 182 x509_verify_param_copy(auth_level, -1);
0f113f3e
MC
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 */
9689a6ae
DSH
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)
0f113f3e 210 return 0;
9689a6ae 211 dest->hostflags = src->hostflags;
0f113f3e
MC
212 }
213 }
214
9689a6ae
DSH
215 if (test_x509_verify_param_copy(email, NULL)) {
216 if (!X509_VERIFY_PARAM_set1_email(dest, src->email, src->emaillen))
0f113f3e
MC
217 return 0;
218 }
219
9689a6ae
DSH
220 if (test_x509_verify_param_copy(ip, NULL)) {
221 if (!X509_VERIFY_PARAM_set1_ip(dest, src->ip, src->iplen))
0f113f3e
MC
222 return 0;
223 }
224
225 return 1;
226}
5d7c222d
DSH
227
228int X509_VERIFY_PARAM_set1(X509_VERIFY_PARAM *to,
0f113f3e
MC
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}
5d7c222d 238
297c67fc 239static int int_x509_param_set1(char **pdest, size_t *pdestlen,
0f113f3e
MC
240 const char *src, size_t srclen)
241{
242 void *tmp;
243 if (src) {
01d0e241 244 if (srclen == 0)
0f113f3e 245 srclen = strlen(src);
01d0e241
KC
246
247 tmp = OPENSSL_memdup(src, srclen);
248 if (tmp == NULL)
0f113f3e
MC
249 return 0;
250 } else {
251 tmp = NULL;
252 srclen = 0;
253 }
b548a1f1 254 OPENSSL_free(*pdest);
0f113f3e 255 *pdest = tmp;
01d0e241 256 if (pdestlen != NULL)
0f113f3e
MC
257 *pdestlen = srclen;
258 return 1;
259}
3bf15e29 260
5d7c222d 261int X509_VERIFY_PARAM_set1_name(X509_VERIFY_PARAM *param, const char *name)
0f113f3e 262{
b548a1f1 263 OPENSSL_free(param->name);
7644a9ae 264 param->name = OPENSSL_strdup(name);
0f113f3e
MC
265 if (param->name)
266 return 1;
267 return 0;
268}
5d7c222d
DSH
269
270int X509_VERIFY_PARAM_set_flags(X509_VERIFY_PARAM *param, unsigned long flags)
0f113f3e
MC
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
278int X509_VERIFY_PARAM_clear_flags(X509_VERIFY_PARAM *param,
279 unsigned long flags)
280{
281 param->flags &= ~flags;
282 return 1;
283}
f022c177 284
4588cb44 285unsigned long X509_VERIFY_PARAM_get_flags(X509_VERIFY_PARAM *param)
0f113f3e
MC
286{
287 return param->flags;
288}
f022c177 289
a47bc283
RS
290uint32_t X509_VERIFY_PARAM_get_inh_flags(const X509_VERIFY_PARAM *param)
291{
292 return param->inh_flags;
293}
294
295int X509_VERIFY_PARAM_set_inh_flags(X509_VERIFY_PARAM *param, uint32_t flags)
296{
297 param->inh_flags = flags;
298 return 1;
299}
300
5d7c222d 301int X509_VERIFY_PARAM_set_purpose(X509_VERIFY_PARAM *param, int purpose)
0f113f3e
MC
302{
303 return X509_PURPOSE_set(&param->purpose, purpose);
304}
5d7c222d
DSH
305
306int X509_VERIFY_PARAM_set_trust(X509_VERIFY_PARAM *param, int trust)
0f113f3e
MC
307{
308 return X509_TRUST_set(&param->trust, trust);
309}
5d7c222d
DSH
310
311void X509_VERIFY_PARAM_set_depth(X509_VERIFY_PARAM *param, int depth)
0f113f3e
MC
312{
313 param->depth = depth;
314}
5d7c222d 315
fbb82a60
VD
316void X509_VERIFY_PARAM_set_auth_level(X509_VERIFY_PARAM *param, int auth_level)
317{
318 param->auth_level = auth_level;
319}
320
329f2f4a
RS
321time_t X509_VERIFY_PARAM_get_time(const X509_VERIFY_PARAM *param)
322{
323 return param->check_time;
324}
325
5d7c222d 326void X509_VERIFY_PARAM_set_time(X509_VERIFY_PARAM *param, time_t t)
0f113f3e
MC
327{
328 param->check_time = t;
329 param->flags |= X509_V_FLAG_USE_CHECK_TIME;
330}
331
332int X509_VERIFY_PARAM_add0_policy(X509_VERIFY_PARAM *param,
333 ASN1_OBJECT *policy)
334{
335 if (!param->policies) {
336 param->policies = sk_ASN1_OBJECT_new_null();
337 if (!param->policies)
338 return 0;
339 }
340 if (!sk_ASN1_OBJECT_push(param->policies, policy))
341 return 0;
342 return 1;
343}
344
345int X509_VERIFY_PARAM_set1_policies(X509_VERIFY_PARAM *param,
346 STACK_OF(ASN1_OBJECT) *policies)
347{
348 int i;
349 ASN1_OBJECT *oid, *doid;
2ace7450 350
0f113f3e
MC
351 if (!param)
352 return 0;
2ace7450 353 sk_ASN1_OBJECT_pop_free(param->policies, ASN1_OBJECT_free);
0f113f3e
MC
354
355 if (!policies) {
356 param->policies = NULL;
357 return 1;
358 }
359
360 param->policies = sk_ASN1_OBJECT_new_null();
361 if (!param->policies)
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}
5d7c222d 377
3bf15e29 378int X509_VERIFY_PARAM_set1_host(X509_VERIFY_PARAM *param,
0f113f3e
MC
379 const char *name, size_t namelen)
380{
9689a6ae 381 return int_x509_param_set_hosts(param, SET_HOST, name, namelen);
0f113f3e 382}
8abffa4a
VD
383
384int X509_VERIFY_PARAM_add1_host(X509_VERIFY_PARAM *param,
0f113f3e
MC
385 const char *name, size_t namelen)
386{
9689a6ae 387 return int_x509_param_set_hosts(param, ADD_HOST, name, namelen);
0f113f3e 388}
3bf15e29 389
397a8e74 390void X509_VERIFY_PARAM_set_hostflags(X509_VERIFY_PARAM *param,
0f113f3e
MC
391 unsigned int flags)
392{
9689a6ae 393 param->hostflags = flags;
0f113f3e 394}
397a8e74 395
4588cb44 396char *X509_VERIFY_PARAM_get0_peername(X509_VERIFY_PARAM *param)
0f113f3e 397{
9689a6ae 398 return param->peername;
0f113f3e 399}
6e661d45 400
919ba009
VD
401/*
402 * Move peername from one param structure to another, freeing any name present
403 * at the target. If the source is a NULL parameter structure, free and zero
404 * the target peername.
405 */
406void X509_VERIFY_PARAM_move_peername(X509_VERIFY_PARAM *to,
407 X509_VERIFY_PARAM *from)
408{
409 char *peername = (from != NULL) ? from->peername : NULL;
410
411 if (to->peername != peername) {
412 OPENSSL_free(to->peername);
413 to->peername = peername;
414 }
415 if (from)
416 from->peername = NULL;
417}
418
3bf15e29 419int X509_VERIFY_PARAM_set1_email(X509_VERIFY_PARAM *param,
0f113f3e
MC
420 const char *email, size_t emaillen)
421{
9689a6ae 422 return int_x509_param_set1(&param->email, &param->emaillen,
0f113f3e
MC
423 email, emaillen);
424}
3bf15e29
DSH
425
426int X509_VERIFY_PARAM_set1_ip(X509_VERIFY_PARAM *param,
0f113f3e
MC
427 const unsigned char *ip, size_t iplen)
428{
429 if (iplen != 0 && iplen != 4 && iplen != 16)
430 return 0;
9689a6ae 431 return int_x509_param_set1((char **)&param->ip, &param->iplen,
0f113f3e
MC
432 (char *)ip, iplen);
433}
3bf15e29
DSH
434
435int X509_VERIFY_PARAM_set1_ip_asc(X509_VERIFY_PARAM *param, const char *ipasc)
0f113f3e
MC
436{
437 unsigned char ipout[16];
438 size_t iplen;
297c67fc 439
0f113f3e
MC
440 iplen = (size_t)a2i_ipadd(ipout, ipasc);
441 if (iplen == 0)
442 return 0;
443 return X509_VERIFY_PARAM_set1_ip(param, ipout, iplen);
444}
3bf15e29 445
5d7c222d 446int X509_VERIFY_PARAM_get_depth(const X509_VERIFY_PARAM *param)
0f113f3e
MC
447{
448 return param->depth;
449}
5d7c222d 450
fbb82a60
VD
451int X509_VERIFY_PARAM_get_auth_level(const X509_VERIFY_PARAM *param)
452{
453 return param->auth_level;
454}
455
9b3d7570 456const char *X509_VERIFY_PARAM_get0_name(const X509_VERIFY_PARAM *param)
0f113f3e
MC
457{
458 return param->name;
459}
9b3d7570 460
9689a6ae 461#define vpm_empty_id NULL, 0U, NULL, NULL, 0, NULL, 0
4a253652 462
0f113f3e
MC
463/*
464 * Default verify parameters: these are used for various applications and can
465 * be overridden by the user specified table. NB: the 'name' field *must* be
466 * in alphabetical order because it will be searched using OBJ_search.
5d7c222d
DSH
467 */
468
469static const X509_VERIFY_PARAM default_table[] = {
0f113f3e
MC
470 {
471 "default", /* X509 default parameters */
472 0, /* Check time */
473 0, /* internal flags */
0daccd4d 474 X509_V_FLAG_TRUSTED_FIRST, /* flags */
0f113f3e
MC
475 0, /* purpose */
476 0, /* trust */
477 100, /* depth */
fbb82a60 478 -1, /* auth_level */
0f113f3e
MC
479 NULL, /* policies */
480 vpm_empty_id},
481 {
482 "pkcs7", /* S/MIME sign parameters */
483 0, /* Check time */
484 0, /* internal flags */
485 0, /* flags */
486 X509_PURPOSE_SMIME_SIGN, /* purpose */
487 X509_TRUST_EMAIL, /* trust */
488 -1, /* depth */
fbb82a60 489 -1, /* auth_level */
0f113f3e
MC
490 NULL, /* policies */
491 vpm_empty_id},
492 {
493 "smime_sign", /* S/MIME sign parameters */
494 0, /* Check time */
495 0, /* internal flags */
496 0, /* flags */
497 X509_PURPOSE_SMIME_SIGN, /* purpose */
498 X509_TRUST_EMAIL, /* trust */
499 -1, /* depth */
fbb82a60 500 -1, /* auth_level */
0f113f3e
MC
501 NULL, /* policies */
502 vpm_empty_id},
503 {
504 "ssl_client", /* SSL/TLS client parameters */
505 0, /* Check time */
506 0, /* internal flags */
507 0, /* flags */
508 X509_PURPOSE_SSL_CLIENT, /* purpose */
509 X509_TRUST_SSL_CLIENT, /* trust */
510 -1, /* depth */
fbb82a60 511 -1, /* auth_level */
0f113f3e
MC
512 NULL, /* policies */
513 vpm_empty_id},
514 {
515 "ssl_server", /* SSL/TLS server parameters */
516 0, /* Check time */
517 0, /* internal flags */
518 0, /* flags */
519 X509_PURPOSE_SSL_SERVER, /* purpose */
520 X509_TRUST_SSL_SERVER, /* trust */
521 -1, /* depth */
fbb82a60 522 -1, /* auth_level */
0f113f3e
MC
523 NULL, /* policies */
524 vpm_empty_id}
525};
5d7c222d
DSH
526
527static STACK_OF(X509_VERIFY_PARAM) *param_table = NULL;
528
babb3798 529static int table_cmp(const X509_VERIFY_PARAM *a, const X509_VERIFY_PARAM *b)
0f113f3e
MC
530{
531 return strcmp(a->name, b->name);
532}
babb3798 533
0f113f3e
MC
534DECLARE_OBJ_BSEARCH_CMP_FN(X509_VERIFY_PARAM, X509_VERIFY_PARAM, table);
535IMPLEMENT_OBJ_BSEARCH_CMP_FN(X509_VERIFY_PARAM, X509_VERIFY_PARAM, table);
babb3798 536
0f113f3e
MC
537static int param_cmp(const X509_VERIFY_PARAM *const *a,
538 const X509_VERIFY_PARAM *const *b)
539{
540 return strcmp((*a)->name, (*b)->name);
541}
5d7c222d
DSH
542
543int X509_VERIFY_PARAM_add0_table(X509_VERIFY_PARAM *param)
0f113f3e
MC
544{
545 int idx;
546 X509_VERIFY_PARAM *ptmp;
90945fa3 547 if (param_table == NULL) {
0f113f3e 548 param_table = sk_X509_VERIFY_PARAM_new(param_cmp);
90945fa3 549 if (param_table == NULL)
0f113f3e
MC
550 return 0;
551 } else {
552 idx = sk_X509_VERIFY_PARAM_find(param_table, param);
553 if (idx != -1) {
554 ptmp = sk_X509_VERIFY_PARAM_value(param_table, idx);
555 X509_VERIFY_PARAM_free(ptmp);
556 (void)sk_X509_VERIFY_PARAM_delete(param_table, idx);
557 }
558 }
559 if (!sk_X509_VERIFY_PARAM_push(param_table, param))
560 return 0;
561 return 1;
562}
5d7c222d 563
9b3d7570 564int X509_VERIFY_PARAM_get_count(void)
0f113f3e 565{
b6eb9827 566 int num = OSSL_NELEM(default_table);
0f113f3e
MC
567 if (param_table)
568 num += sk_X509_VERIFY_PARAM_num(param_table);
569 return num;
570}
9b3d7570
DSH
571
572const X509_VERIFY_PARAM *X509_VERIFY_PARAM_get0(int id)
0f113f3e 573{
b6eb9827 574 int num = OSSL_NELEM(default_table);
0f113f3e
MC
575 if (id < num)
576 return default_table + id;
577 return sk_X509_VERIFY_PARAM_value(param_table, id - num);
578}
9b3d7570 579
5d7c222d 580const X509_VERIFY_PARAM *X509_VERIFY_PARAM_lookup(const char *name)
0f113f3e
MC
581{
582 int idx;
583 X509_VERIFY_PARAM pm;
584
585 pm.name = (char *)name;
586 if (param_table) {
587 idx = sk_X509_VERIFY_PARAM_find(param_table, &pm);
588 if (idx != -1)
589 return sk_X509_VERIFY_PARAM_value(param_table, idx);
590 }
b6eb9827 591 return OBJ_bsearch_table(&pm, default_table, OSSL_NELEM(default_table));
0f113f3e 592}
5d7c222d
DSH
593
594void X509_VERIFY_PARAM_table_cleanup(void)
0f113f3e 595{
222561fe 596 sk_X509_VERIFY_PARAM_pop_free(param_table, X509_VERIFY_PARAM_free);
0f113f3e
MC
597 param_table = NULL;
598}