2 * Copyright 1995-2021 The OpenSSL Project Authors. All Rights Reserved.
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
11 #include "internal/cryptlib.h"
12 #include <openssl/asn1.h>
13 #include <openssl/objects.h>
14 #include <openssl/x509.h>
15 #include <openssl/x509v3.h>
16 #include <openssl/core_names.h>
17 #include "crypto/x509.h"
19 int X509_issuer_and_serial_cmp(const X509
*a
, const X509
*b
)
22 const X509_CINF
*ai
, *bi
;
30 i
= ASN1_INTEGER_cmp(&ai
->serialNumber
, &bi
->serialNumber
);
32 return i
< 0 ? -1 : 1;
33 return X509_NAME_cmp(ai
->issuer
, bi
->issuer
);
36 #ifndef OPENSSL_NO_MD5
37 unsigned long X509_issuer_and_serial_hash(X509
*a
)
39 unsigned long ret
= 0;
40 EVP_MD_CTX
*ctx
= EVP_MD_CTX_new();
46 f
= X509_NAME_oneline(a
->cert_info
.issuer
, NULL
, 0);
47 if (!EVP_DigestInit_ex(ctx
, EVP_md5(), NULL
))
49 if (!EVP_DigestUpdate(ctx
, (unsigned char *)f
, strlen(f
)))
53 (ctx
, (unsigned char *)a
->cert_info
.serialNumber
.data
,
54 (unsigned long)a
->cert_info
.serialNumber
.length
))
56 if (!EVP_DigestFinal_ex(ctx
, &(md
[0]), NULL
))
58 ret
= (((unsigned long)md
[0]) | ((unsigned long)md
[1] << 8L) |
59 ((unsigned long)md
[2] << 16L) | ((unsigned long)md
[3] << 24L)
67 int X509_issuer_name_cmp(const X509
*a
, const X509
*b
)
69 return X509_NAME_cmp(a
->cert_info
.issuer
, b
->cert_info
.issuer
);
72 int X509_subject_name_cmp(const X509
*a
, const X509
*b
)
74 return X509_NAME_cmp(a
->cert_info
.subject
, b
->cert_info
.subject
);
77 int X509_CRL_cmp(const X509_CRL
*a
, const X509_CRL
*b
)
79 return X509_NAME_cmp(a
->crl
.issuer
, b
->crl
.issuer
);
82 int X509_CRL_match(const X509_CRL
*a
, const X509_CRL
*b
)
86 if ((a
->flags
& EXFLAG_NO_FINGERPRINT
) == 0
87 && (b
->flags
& EXFLAG_NO_FINGERPRINT
) == 0)
88 rv
= memcmp(a
->sha1_hash
, b
->sha1_hash
, SHA_DIGEST_LENGTH
);
92 return rv
< 0 ? -1 : rv
> 0;
95 X509_NAME
*X509_get_issuer_name(const X509
*a
)
97 return a
->cert_info
.issuer
;
100 unsigned long X509_issuer_name_hash(X509
*x
)
102 return X509_NAME_hash_ex(x
->cert_info
.issuer
, NULL
, NULL
, NULL
);
105 #ifndef OPENSSL_NO_MD5
106 unsigned long X509_issuer_name_hash_old(X509
*x
)
108 return X509_NAME_hash_old(x
->cert_info
.issuer
);
112 X509_NAME
*X509_get_subject_name(const X509
*a
)
114 return a
->cert_info
.subject
;
117 ASN1_INTEGER
*X509_get_serialNumber(X509
*a
)
119 return &a
->cert_info
.serialNumber
;
122 const ASN1_INTEGER
*X509_get0_serialNumber(const X509
*a
)
124 return &a
->cert_info
.serialNumber
;
127 unsigned long X509_subject_name_hash(X509
*x
)
129 return X509_NAME_hash_ex(x
->cert_info
.subject
, NULL
, NULL
, NULL
);
132 #ifndef OPENSSL_NO_MD5
133 unsigned long X509_subject_name_hash_old(X509
*x
)
135 return X509_NAME_hash_old(x
->cert_info
.subject
);
140 * Compare two certificates: they must be identical for this to work. NB:
141 * Although "cmp" operations are generally prototyped to take "const"
142 * arguments (eg. for use in STACKs), the way X509 handling is - these
143 * operations may involve ensuring the hashes are up-to-date and ensuring
144 * certain cert information is cached. So this is the point where the
145 * "depth-first" constification tree has to halt with an evil cast.
147 int X509_cmp(const X509
*a
, const X509
*b
)
151 if (a
== b
) /* for efficiency */
154 /* attempt to compute cert hash */
155 (void)X509_check_purpose((X509
*)a
, -1, 0);
156 (void)X509_check_purpose((X509
*)b
, -1, 0);
158 if ((a
->ex_flags
& EXFLAG_NO_FINGERPRINT
) == 0
159 && (b
->ex_flags
& EXFLAG_NO_FINGERPRINT
) == 0)
160 rv
= memcmp(a
->sha1_hash
, b
->sha1_hash
, SHA_DIGEST_LENGTH
);
162 return rv
< 0 ? -1 : 1;
164 /* Check for match against stored encoding too */
165 if (!a
->cert_info
.enc
.modified
&& !b
->cert_info
.enc
.modified
) {
166 if (a
->cert_info
.enc
.len
< b
->cert_info
.enc
.len
)
168 if (a
->cert_info
.enc
.len
> b
->cert_info
.enc
.len
)
170 rv
= memcmp(a
->cert_info
.enc
.enc
,
171 b
->cert_info
.enc
.enc
, a
->cert_info
.enc
.len
);
173 return rv
< 0 ? -1 : rv
> 0;
176 int X509_add_cert_new(STACK_OF(X509
) **sk
, X509
*cert
, int flags
)
179 && (*sk
= sk_X509_new_null()) == NULL
) {
180 ERR_raise(ERR_LIB_X509
, ERR_R_MALLOC_FAILURE
);
183 return X509_add_cert(*sk
, cert
, flags
);
186 int X509_add_cert(STACK_OF(X509
) *sk
, X509
*cert
, int flags
)
189 ERR_raise(ERR_LIB_X509
, ERR_R_PASSED_NULL_PARAMETER
);
192 if ((flags
& X509_ADD_FLAG_NO_DUP
) != 0) {
194 * not using sk_X509_set_cmp_func() and sk_X509_find()
195 * because this re-orders the certs on the stack
199 for (i
= 0; i
< sk_X509_num(sk
); i
++) {
200 if (X509_cmp(sk_X509_value(sk
, i
), cert
) == 0)
204 if ((flags
& X509_ADD_FLAG_NO_SS
) != 0 && X509_self_signed(cert
, 0))
206 if (!sk_X509_insert(sk
, cert
,
207 (flags
& X509_ADD_FLAG_PREPEND
) != 0 ? 0 : -1)) {
208 ERR_raise(ERR_LIB_X509
, ERR_R_MALLOC_FAILURE
);
211 if ((flags
& X509_ADD_FLAG_UP_REF
) != 0)
212 (void)X509_up_ref(cert
);
216 int X509_add_certs(STACK_OF(X509
) *sk
, STACK_OF(X509
) *certs
, int flags
)
217 /* compiler would allow 'const' for the list of certs, yet they are up-ref'ed */
219 int n
= sk_X509_num(certs
); /* certs may be NULL */
222 for (i
= 0; i
< n
; i
++) {
223 int j
= (flags
& X509_ADD_FLAG_PREPEND
) == 0 ? i
: n
- 1 - i
;
224 /* if prepend, add certs in reverse order to keep original order */
226 if (!X509_add_cert(sk
, sk_X509_value(certs
, j
), flags
))
232 int X509_NAME_cmp(const X509_NAME
*a
, const X509_NAME
*b
)
241 /* Ensure canonical encoding is present and up to date */
242 if (!a
->canon_enc
|| a
->modified
) {
243 ret
= i2d_X509_NAME((X509_NAME
*)a
, NULL
);
248 if (!b
->canon_enc
|| b
->modified
) {
249 ret
= i2d_X509_NAME((X509_NAME
*)b
, NULL
);
254 ret
= a
->canon_enclen
- b
->canon_enclen
;
255 if (ret
== 0 && a
->canon_enclen
!= 0)
256 ret
= memcmp(a
->canon_enc
, b
->canon_enc
, a
->canon_enclen
);
258 return ret
< 0 ? -1 : ret
> 0;
261 unsigned long X509_NAME_hash_ex(const X509_NAME
*x
, OSSL_LIB_CTX
*libctx
,
262 const char *propq
, int *ok
)
264 unsigned long ret
= 0;
265 unsigned char md
[SHA_DIGEST_LENGTH
];
266 EVP_MD
*sha1
= EVP_MD_fetch(libctx
, "SHA1", propq
);
268 /* Make sure X509_NAME structure contains valid cached encoding */
269 i2d_X509_NAME(x
, NULL
);
273 && EVP_Digest(x
->canon_enc
, x
->canon_enclen
, md
, NULL
, sha1
, NULL
)) {
274 ret
= (((unsigned long)md
[0]) | ((unsigned long)md
[1] << 8L) |
275 ((unsigned long)md
[2] << 16L) | ((unsigned long)md
[3] << 24L)
284 #ifndef OPENSSL_NO_MD5
286 * I now DER encode the name and hash it. Since I cache the DER encoding,
287 * this is reasonably efficient.
289 unsigned long X509_NAME_hash_old(const X509_NAME
*x
)
291 EVP_MD
*md5
= EVP_MD_fetch(NULL
, OSSL_DIGEST_NAME_MD5
, "-fips");
292 EVP_MD_CTX
*md_ctx
= EVP_MD_CTX_new();
293 unsigned long ret
= 0;
294 unsigned char md
[16];
296 if (md5
== NULL
|| md_ctx
== NULL
)
299 /* Make sure X509_NAME structure contains valid cached encoding */
300 i2d_X509_NAME(x
, NULL
);
301 if (EVP_DigestInit_ex(md_ctx
, md5
, NULL
)
302 && EVP_DigestUpdate(md_ctx
, x
->bytes
->data
, x
->bytes
->length
)
303 && EVP_DigestFinal_ex(md_ctx
, md
, NULL
))
304 ret
= (((unsigned long)md
[0]) | ((unsigned long)md
[1] << 8L) |
305 ((unsigned long)md
[2] << 16L) | ((unsigned long)md
[3] << 24L)
309 EVP_MD_CTX_free(md_ctx
);
316 /* Search a stack of X509 for a match */
317 X509
*X509_find_by_issuer_and_serial(STACK_OF(X509
) *sk
, const X509_NAME
*name
,
318 const ASN1_INTEGER
*serial
)
321 X509 x
, *x509
= NULL
;
326 x
.cert_info
.serialNumber
= *serial
;
327 x
.cert_info
.issuer
= (X509_NAME
*)name
; /* won't modify it */
329 for (i
= 0; i
< sk_X509_num(sk
); i
++) {
330 x509
= sk_X509_value(sk
, i
);
331 if (X509_issuer_and_serial_cmp(x509
, &x
) == 0)
337 X509
*X509_find_by_subject(STACK_OF(X509
) *sk
, const X509_NAME
*name
)
342 for (i
= 0; i
< sk_X509_num(sk
); i
++) {
343 x509
= sk_X509_value(sk
, i
);
344 if (X509_NAME_cmp(X509_get_subject_name(x509
), name
) == 0)
350 EVP_PKEY
*X509_get0_pubkey(const X509
*x
)
354 return X509_PUBKEY_get0(x
->cert_info
.key
);
357 EVP_PKEY
*X509_get_pubkey(X509
*x
)
361 return X509_PUBKEY_get(x
->cert_info
.key
);
364 int X509_check_private_key(const X509
*x
, const EVP_PKEY
*k
)
369 xk
= X509_get0_pubkey(x
);
372 ret
= EVP_PKEY_eq(xk
, k
);
380 ERR_raise(ERR_LIB_X509
, X509_R_KEY_VALUES_MISMATCH
);
383 ERR_raise(ERR_LIB_X509
, X509_R_KEY_TYPE_MISMATCH
);
386 ERR_raise(ERR_LIB_X509
, X509_R_UNKNOWN_KEY_TYPE
);
394 * Check a suite B algorithm is permitted: pass in a public key and the NID
395 * of its signature (or 0 if no signature). The pflags is a pointer to a
396 * flags field which must contain the suite B verification flags.
399 #ifndef OPENSSL_NO_EC
401 static int check_suite_b(EVP_PKEY
*pkey
, int sign_nid
, unsigned long *pflags
)
404 size_t curve_name_len
;
407 if (pkey
== NULL
|| !EVP_PKEY_is_a(pkey
, "EC"))
408 return X509_V_ERR_SUITE_B_INVALID_ALGORITHM
;
410 if (!EVP_PKEY_get_group_name(pkey
, curve_name
, sizeof(curve_name
),
412 return X509_V_ERR_SUITE_B_INVALID_CURVE
;
414 curve_nid
= OBJ_txt2nid(curve_name
);
415 /* Check curve is consistent with LOS */
416 if (curve_nid
== NID_secp384r1
) { /* P-384 */
418 * Check signature algorithm is consistent with curve.
420 if (sign_nid
!= -1 && sign_nid
!= NID_ecdsa_with_SHA384
)
421 return X509_V_ERR_SUITE_B_INVALID_SIGNATURE_ALGORITHM
;
422 if (!(*pflags
& X509_V_FLAG_SUITEB_192_LOS
))
423 return X509_V_ERR_SUITE_B_LOS_NOT_ALLOWED
;
424 /* If we encounter P-384 we cannot use P-256 later */
425 *pflags
&= ~X509_V_FLAG_SUITEB_128_LOS_ONLY
;
426 } else if (curve_nid
== NID_X9_62_prime256v1
) { /* P-256 */
427 if (sign_nid
!= -1 && sign_nid
!= NID_ecdsa_with_SHA256
)
428 return X509_V_ERR_SUITE_B_INVALID_SIGNATURE_ALGORITHM
;
429 if (!(*pflags
& X509_V_FLAG_SUITEB_128_LOS_ONLY
))
430 return X509_V_ERR_SUITE_B_LOS_NOT_ALLOWED
;
432 return X509_V_ERR_SUITE_B_INVALID_CURVE
;
437 int X509_chain_check_suiteb(int *perror_depth
, X509
*x
, STACK_OF(X509
) *chain
,
442 unsigned long tflags
= flags
;
444 if (!(flags
& X509_V_FLAG_SUITEB_128_LOS
))
447 /* If no EE certificate passed in must be first in chain */
449 x
= sk_X509_value(chain
, 0);
454 pk
= X509_get0_pubkey(x
);
457 * With DANE-EE(3) success, or DANE-EE(3)/PKIX-EE(1) failure we don't build
458 * a chain all, just report trust success or failure, but must also report
459 * Suite-B errors if applicable. This is indicated via a NULL chain
460 * pointer. All we need to do is check the leaf key algorithm.
463 return check_suite_b(pk
, -1, &tflags
);
465 if (X509_get_version(x
) != 2) {
466 rv
= X509_V_ERR_SUITE_B_INVALID_VERSION
;
467 /* Correct error depth */
472 /* Check EE key only */
473 rv
= check_suite_b(pk
, -1, &tflags
);
474 if (rv
!= X509_V_OK
) {
475 /* Correct error depth */
479 for (; i
< sk_X509_num(chain
); i
++) {
480 sign_nid
= X509_get_signature_nid(x
);
481 x
= sk_X509_value(chain
, i
);
482 if (X509_get_version(x
) != 2) {
483 rv
= X509_V_ERR_SUITE_B_INVALID_VERSION
;
486 pk
= X509_get0_pubkey(x
);
487 rv
= check_suite_b(pk
, sign_nid
, &tflags
);
492 /* Final check: root CA signature */
493 rv
= check_suite_b(pk
, X509_get_signature_nid(x
), &tflags
);
495 if (rv
!= X509_V_OK
) {
496 /* Invalid signature or LOS errors are for previous cert */
497 if ((rv
== X509_V_ERR_SUITE_B_INVALID_SIGNATURE_ALGORITHM
498 || rv
== X509_V_ERR_SUITE_B_LOS_NOT_ALLOWED
) && i
)
501 * If we have LOS error and flags changed then we are signing P-384
502 * with P-256. Use more meaningful error.
504 if (rv
== X509_V_ERR_SUITE_B_LOS_NOT_ALLOWED
&& flags
!= tflags
)
505 rv
= X509_V_ERR_SUITE_B_CANNOT_SIGN_P_384_WITH_P_256
;
512 int X509_CRL_check_suiteb(X509_CRL
*crl
, EVP_PKEY
*pk
, unsigned long flags
)
515 if (!(flags
& X509_V_FLAG_SUITEB_128_LOS
))
517 sign_nid
= OBJ_obj2nid(crl
->crl
.sig_alg
.algorithm
);
518 return check_suite_b(pk
, sign_nid
, &flags
);
522 int X509_chain_check_suiteb(int *perror_depth
, X509
*x
, STACK_OF(X509
) *chain
,
528 int X509_CRL_check_suiteb(X509_CRL
*crl
, EVP_PKEY
*pk
, unsigned long flags
)
535 * Not strictly speaking an "up_ref" as a STACK doesn't have a reference
536 * count but it has the same effect by duping the STACK and upping the ref of
537 * each X509 structure.
539 STACK_OF(X509
) *X509_chain_up_ref(STACK_OF(X509
) *chain
)
543 ret
= sk_X509_dup(chain
);
546 for (i
= 0; i
< sk_X509_num(ret
); i
++) {
547 X509
*x
= sk_X509_value(ret
, i
);
554 X509_free(sk_X509_value(ret
, i
));