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/asn1t.h>
13 #include <openssl/x509.h>
14 #include "crypto/x509.h"
15 #include <openssl/x509v3.h>
16 #include "x509_local.h"
18 static int X509_REVOKED_cmp(const X509_REVOKED
*const *a
,
19 const X509_REVOKED
*const *b
);
20 static int setup_idp(X509_CRL
*crl
, ISSUING_DIST_POINT
*idp
);
22 ASN1_SEQUENCE(X509_REVOKED
) = {
23 ASN1_EMBED(X509_REVOKED
, serialNumber
, ASN1_INTEGER
),
24 ASN1_SIMPLE(X509_REVOKED
, revocationDate
, ASN1_TIME
),
25 ASN1_SEQUENCE_OF_OPT(X509_REVOKED
, extensions
, X509_EXTENSION
)
26 } ASN1_SEQUENCE_END(X509_REVOKED
)
28 static int def_crl_verify(X509_CRL
*crl
, EVP_PKEY
*r
);
29 static int def_crl_lookup(X509_CRL
*crl
,
30 X509_REVOKED
**ret
, const ASN1_INTEGER
*serial
,
31 const X509_NAME
*issuer
);
33 static X509_CRL_METHOD int_crl_meth
= {
40 static const X509_CRL_METHOD
*default_crl_method
= &int_crl_meth
;
43 * The X509_CRL_INFO structure needs a bit of customisation. Since we cache
44 * the original encoding the signature won't be affected by reordering of the
47 static int crl_inf_cb(int operation
, ASN1_VALUE
**pval
, const ASN1_ITEM
*it
,
50 X509_CRL_INFO
*a
= (X509_CRL_INFO
*)*pval
;
52 if (!a
|| !a
->revoked
)
56 * Just set cmp function here. We don't sort because that would
57 * affect the output of X509_CRL_print().
59 case ASN1_OP_D2I_POST
:
60 (void)sk_X509_REVOKED_set_cmp_func(a
->revoked
, X509_REVOKED_cmp
);
67 ASN1_SEQUENCE_enc(X509_CRL_INFO
, enc
, crl_inf_cb
) = {
68 ASN1_OPT(X509_CRL_INFO
, version
, ASN1_INTEGER
),
69 ASN1_EMBED(X509_CRL_INFO
, sig_alg
, X509_ALGOR
),
70 ASN1_SIMPLE(X509_CRL_INFO
, issuer
, X509_NAME
),
71 ASN1_SIMPLE(X509_CRL_INFO
, lastUpdate
, ASN1_TIME
),
72 ASN1_OPT(X509_CRL_INFO
, nextUpdate
, ASN1_TIME
),
73 ASN1_SEQUENCE_OF_OPT(X509_CRL_INFO
, revoked
, X509_REVOKED
),
74 ASN1_EXP_SEQUENCE_OF_OPT(X509_CRL_INFO
, extensions
, X509_EXTENSION
, 0)
75 } ASN1_SEQUENCE_END_enc(X509_CRL_INFO
, X509_CRL_INFO
)
78 * Set CRL entry issuer according to CRL certificate issuer extension. Check
79 * for unhandled critical CRL entry extensions.
82 static int crl_set_issuers(X509_CRL
*crl
)
86 GENERAL_NAMES
*gens
, *gtmp
;
87 STACK_OF(X509_REVOKED
) *revoked
;
89 revoked
= X509_CRL_get_REVOKED(crl
);
92 for (i
= 0; i
< sk_X509_REVOKED_num(revoked
); i
++) {
93 X509_REVOKED
*rev
= sk_X509_REVOKED_value(revoked
, i
);
94 STACK_OF(X509_EXTENSION
) *exts
;
95 ASN1_ENUMERATED
*reason
;
98 gtmp
= X509_REVOKED_get_ext_d2i(rev
,
99 NID_certificate_issuer
, &j
, NULL
);
100 if (gtmp
== NULL
&& j
!= -1) {
101 crl
->flags
|= EXFLAG_INVALID
;
106 if (crl
->issuers
== NULL
) {
107 crl
->issuers
= sk_GENERAL_NAMES_new_null();
108 if (crl
->issuers
== NULL
) {
109 GENERAL_NAMES_free(gtmp
);
113 if (!sk_GENERAL_NAMES_push(crl
->issuers
, gtmp
)) {
114 GENERAL_NAMES_free(gtmp
);
121 reason
= X509_REVOKED_get_ext_d2i(rev
, NID_crl_reason
, &j
, NULL
);
122 if (reason
== NULL
&& j
!= -1) {
123 crl
->flags
|= EXFLAG_INVALID
;
127 if (reason
!= NULL
) {
128 rev
->reason
= ASN1_ENUMERATED_get(reason
);
129 ASN1_ENUMERATED_free(reason
);
131 rev
->reason
= CRL_REASON_NONE
;
133 /* Check for critical CRL entry extensions */
135 exts
= rev
->extensions
;
137 for (j
= 0; j
< sk_X509_EXTENSION_num(exts
); j
++) {
138 ext
= sk_X509_EXTENSION_value(exts
, j
);
139 if (X509_EXTENSION_get_critical(ext
)) {
140 if (OBJ_obj2nid(X509_EXTENSION_get_object(ext
))
141 == NID_certificate_issuer
)
143 crl
->flags
|= EXFLAG_CRITICAL
;
155 * The X509_CRL structure needs a bit of customisation. Cache some extensions
156 * and hash of the whole CRL or set EXFLAG_NO_FINGERPRINT if this fails.
158 static int crl_cb(int operation
, ASN1_VALUE
**pval
, const ASN1_ITEM
*it
,
161 X509_CRL
*crl
= (X509_CRL
*)*pval
;
162 STACK_OF(X509_EXTENSION
) *exts
;
167 case ASN1_OP_D2I_PRE
:
168 if (crl
->meth
->crl_free
) {
169 if (!crl
->meth
->crl_free(crl
))
172 AUTHORITY_KEYID_free(crl
->akid
);
173 ISSUING_DIST_POINT_free(crl
->idp
);
174 ASN1_INTEGER_free(crl
->crl_number
);
175 ASN1_INTEGER_free(crl
->base_crl_number
);
176 sk_GENERAL_NAMES_pop_free(crl
->issuers
, GENERAL_NAMES_free
);
179 case ASN1_OP_NEW_POST
:
184 crl
->idp_reasons
= CRLDP_ALL_REASONS
;
185 crl
->meth
= default_crl_method
;
186 crl
->meth_data
= NULL
;
188 crl
->crl_number
= NULL
;
189 crl
->base_crl_number
= NULL
;
192 case ASN1_OP_D2I_POST
:
193 if (!X509_CRL_digest(crl
, EVP_sha1(), crl
->sha1_hash
, NULL
))
194 crl
->flags
|= EXFLAG_NO_FINGERPRINT
;
195 crl
->idp
= X509_CRL_get_ext_d2i(crl
,
196 NID_issuing_distribution_point
, &i
,
198 if (crl
->idp
!= NULL
) {
199 if (!setup_idp(crl
, crl
->idp
))
200 crl
->flags
|= EXFLAG_INVALID
;
203 crl
->flags
|= EXFLAG_INVALID
;
206 crl
->akid
= X509_CRL_get_ext_d2i(crl
,
207 NID_authority_key_identifier
, &i
,
209 if (crl
->akid
== NULL
&& i
!= -1)
210 crl
->flags
|= EXFLAG_INVALID
;
212 crl
->crl_number
= X509_CRL_get_ext_d2i(crl
,
213 NID_crl_number
, &i
, NULL
);
214 if (crl
->crl_number
== NULL
&& i
!= -1)
215 crl
->flags
|= EXFLAG_INVALID
;
217 crl
->base_crl_number
= X509_CRL_get_ext_d2i(crl
,
220 if (crl
->base_crl_number
== NULL
&& i
!= -1)
221 crl
->flags
|= EXFLAG_INVALID
;
222 /* Delta CRLs must have CRL number */
223 if (crl
->base_crl_number
&& !crl
->crl_number
)
224 crl
->flags
|= EXFLAG_INVALID
;
227 * See if we have any unhandled critical CRL extensions and indicate
228 * this in a flag. We only currently handle IDP so anything else
229 * critical sets the flag. This code accesses the X509_CRL structure
230 * directly: applications shouldn't do this.
233 exts
= crl
->crl
.extensions
;
235 for (idx
= 0; idx
< sk_X509_EXTENSION_num(exts
); idx
++) {
237 ext
= sk_X509_EXTENSION_value(exts
, idx
);
238 nid
= OBJ_obj2nid(X509_EXTENSION_get_object(ext
));
239 if (nid
== NID_freshest_crl
)
240 crl
->flags
|= EXFLAG_FRESHEST
;
241 if (X509_EXTENSION_get_critical(ext
)) {
242 /* We handle IDP and deltas */
243 if ((nid
== NID_issuing_distribution_point
)
244 || (nid
== NID_authority_key_identifier
)
245 || (nid
== NID_delta_crl
))
247 crl
->flags
|= EXFLAG_CRITICAL
;
252 if (!crl_set_issuers(crl
))
255 if (crl
->meth
->crl_init
) {
256 if (crl
->meth
->crl_init(crl
) == 0)
260 crl
->flags
|= EXFLAG_SET
;
263 case ASN1_OP_FREE_POST
:
264 if (crl
->meth
!= NULL
&& crl
->meth
->crl_free
!= NULL
) {
265 if (!crl
->meth
->crl_free(crl
))
268 AUTHORITY_KEYID_free(crl
->akid
);
269 ISSUING_DIST_POINT_free(crl
->idp
);
270 ASN1_INTEGER_free(crl
->crl_number
);
271 ASN1_INTEGER_free(crl
->base_crl_number
);
272 sk_GENERAL_NAMES_pop_free(crl
->issuers
, GENERAL_NAMES_free
);
273 OPENSSL_free(crl
->propq
);
275 case ASN1_OP_DUP_POST
:
277 X509_CRL
*old
= exarg
;
279 if (!ossl_x509_crl_set0_libctx(crl
, old
->libctx
, old
->propq
))
287 /* Convert IDP into a more convenient form */
289 static int setup_idp(X509_CRL
*crl
, ISSUING_DIST_POINT
*idp
)
293 /* Set various flags according to IDP */
294 crl
->idp_flags
|= IDP_PRESENT
;
295 if (idp
->onlyuser
> 0) {
297 crl
->idp_flags
|= IDP_ONLYUSER
;
299 if (idp
->onlyCA
> 0) {
301 crl
->idp_flags
|= IDP_ONLYCA
;
303 if (idp
->onlyattr
> 0) {
305 crl
->idp_flags
|= IDP_ONLYATTR
;
309 crl
->idp_flags
|= IDP_INVALID
;
311 if (idp
->indirectCRL
> 0)
312 crl
->idp_flags
|= IDP_INDIRECT
;
314 if (idp
->onlysomereasons
) {
315 crl
->idp_flags
|= IDP_REASONS
;
316 if (idp
->onlysomereasons
->length
> 0)
317 crl
->idp_reasons
= idp
->onlysomereasons
->data
[0];
318 if (idp
->onlysomereasons
->length
> 1)
319 crl
->idp_reasons
|= (idp
->onlysomereasons
->data
[1] << 8);
320 crl
->idp_reasons
&= CRLDP_ALL_REASONS
;
323 return DIST_POINT_set_dpname(idp
->distpoint
, X509_CRL_get_issuer(crl
));
326 ASN1_SEQUENCE_ref(X509_CRL
, crl_cb
) = {
327 ASN1_EMBED(X509_CRL
, crl
, X509_CRL_INFO
),
328 ASN1_EMBED(X509_CRL
, sig_alg
, X509_ALGOR
),
329 ASN1_EMBED(X509_CRL
, signature
, ASN1_BIT_STRING
)
330 } ASN1_SEQUENCE_END_ref(X509_CRL
, X509_CRL
)
332 IMPLEMENT_ASN1_FUNCTIONS(X509_REVOKED
)
334 IMPLEMENT_ASN1_DUP_FUNCTION(X509_REVOKED
)
336 IMPLEMENT_ASN1_FUNCTIONS(X509_CRL_INFO
)
338 IMPLEMENT_ASN1_FUNCTIONS(X509_CRL
)
340 IMPLEMENT_ASN1_DUP_FUNCTION(X509_CRL
)
342 static int X509_REVOKED_cmp(const X509_REVOKED
*const *a
,
343 const X509_REVOKED
*const *b
)
345 return (ASN1_STRING_cmp((ASN1_STRING
*)&(*a
)->serialNumber
,
346 (ASN1_STRING
*)&(*b
)->serialNumber
));
349 X509_CRL
*X509_CRL_new_ex(OSSL_LIB_CTX
*libctx
, const char *propq
)
351 X509_CRL
*crl
= NULL
;
353 crl
= (X509_CRL
*)ASN1_item_new((X509_CRL_it()));
354 if (!ossl_x509_crl_set0_libctx(crl
, libctx
, propq
)) {
361 int X509_CRL_add0_revoked(X509_CRL
*crl
, X509_REVOKED
*rev
)
366 if (inf
->revoked
== NULL
)
367 inf
->revoked
= sk_X509_REVOKED_new(X509_REVOKED_cmp
);
368 if (inf
->revoked
== NULL
|| !sk_X509_REVOKED_push(inf
->revoked
, rev
)) {
369 ERR_raise(ERR_LIB_ASN1
, ERR_R_MALLOC_FAILURE
);
372 inf
->enc
.modified
= 1;
376 int X509_CRL_verify(X509_CRL
*crl
, EVP_PKEY
*r
)
378 if (crl
->meth
->crl_verify
)
379 return crl
->meth
->crl_verify(crl
, r
);
383 int X509_CRL_get0_by_serial(X509_CRL
*crl
,
384 X509_REVOKED
**ret
, const ASN1_INTEGER
*serial
)
386 if (crl
->meth
->crl_lookup
)
387 return crl
->meth
->crl_lookup(crl
, ret
, serial
, NULL
);
391 int X509_CRL_get0_by_cert(X509_CRL
*crl
, X509_REVOKED
**ret
, X509
*x
)
393 if (crl
->meth
->crl_lookup
)
394 return crl
->meth
->crl_lookup(crl
, ret
,
395 X509_get0_serialNumber(x
),
396 X509_get_issuer_name(x
));
400 static int def_crl_verify(X509_CRL
*crl
, EVP_PKEY
*r
)
402 return ASN1_item_verify_ex(ASN1_ITEM_rptr(X509_CRL_INFO
),
403 &crl
->sig_alg
, &crl
->signature
, &crl
->crl
, NULL
,
404 r
, crl
->libctx
, crl
->propq
);
407 static int crl_revoked_issuer_match(X509_CRL
*crl
, const X509_NAME
*nm
,
415 if (!X509_NAME_cmp(nm
, X509_CRL_get_issuer(crl
)))
421 nm
= X509_CRL_get_issuer(crl
);
423 for (i
= 0; i
< sk_GENERAL_NAME_num(rev
->issuer
); i
++) {
424 GENERAL_NAME
*gen
= sk_GENERAL_NAME_value(rev
->issuer
, i
);
425 if (gen
->type
!= GEN_DIRNAME
)
427 if (!X509_NAME_cmp(nm
, gen
->d
.directoryName
))
434 static int def_crl_lookup(X509_CRL
*crl
,
435 X509_REVOKED
**ret
, const ASN1_INTEGER
*serial
,
436 const X509_NAME
*issuer
)
438 X509_REVOKED rtmp
, *rev
;
441 if (crl
->crl
.revoked
== NULL
)
445 * Sort revoked into serial number order if not already sorted. Do this
446 * under a lock to avoid race condition.
448 if (!sk_X509_REVOKED_is_sorted(crl
->crl
.revoked
)) {
449 if (!CRYPTO_THREAD_write_lock(crl
->lock
))
451 sk_X509_REVOKED_sort(crl
->crl
.revoked
);
452 CRYPTO_THREAD_unlock(crl
->lock
);
454 rtmp
.serialNumber
= *serial
;
455 idx
= sk_X509_REVOKED_find(crl
->crl
.revoked
, &rtmp
);
458 /* Need to look for matching name */
459 for (num
= sk_X509_REVOKED_num(crl
->crl
.revoked
); idx
< num
; idx
++) {
460 rev
= sk_X509_REVOKED_value(crl
->crl
.revoked
, idx
);
461 if (ASN1_INTEGER_cmp(&rev
->serialNumber
, serial
))
463 if (crl_revoked_issuer_match(crl
, issuer
, rev
)) {
466 if (rev
->reason
== CRL_REASON_REMOVE_FROM_CRL
)
474 void X509_CRL_set_default_method(const X509_CRL_METHOD
*meth
)
477 default_crl_method
= &int_crl_meth
;
479 default_crl_method
= meth
;
482 X509_CRL_METHOD
*X509_CRL_METHOD_new(int (*crl_init
) (X509_CRL
*crl
),
483 int (*crl_free
) (X509_CRL
*crl
),
484 int (*crl_lookup
) (X509_CRL
*crl
,
486 const ASN1_INTEGER
*ser
,
487 const X509_NAME
*issuer
),
488 int (*crl_verify
) (X509_CRL
*crl
,
491 X509_CRL_METHOD
*m
= OPENSSL_malloc(sizeof(*m
));
494 ERR_raise(ERR_LIB_X509
, ERR_R_MALLOC_FAILURE
);
497 m
->crl_init
= crl_init
;
498 m
->crl_free
= crl_free
;
499 m
->crl_lookup
= crl_lookup
;
500 m
->crl_verify
= crl_verify
;
501 m
->flags
= X509_CRL_METHOD_DYNAMIC
;
505 void X509_CRL_METHOD_free(X509_CRL_METHOD
*m
)
507 if (m
== NULL
|| !(m
->flags
& X509_CRL_METHOD_DYNAMIC
))
512 void X509_CRL_set_meth_data(X509_CRL
*crl
, void *dat
)
514 crl
->meth_data
= dat
;
517 void *X509_CRL_get_meth_data(X509_CRL
*crl
)
519 return crl
->meth_data
;
522 int ossl_x509_crl_set0_libctx(X509_CRL
*x
, OSSL_LIB_CTX
*libctx
,
527 OPENSSL_free(x
->propq
);
530 x
->propq
= OPENSSL_strdup(propq
);
531 if (x
->propq
== NULL
)