make update
[openssl.git] / crypto / x509v3 / v3_crld.c
1 /* v3_crld.c */
2 /*
3  * Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL project
4  * 1999.
5  */
6 /* ====================================================================
7  * Copyright (c) 1999-2008 The OpenSSL Project.  All rights reserved.
8  *
9  * Redistribution and use in source and binary forms, with or without
10  * modification, are permitted provided that the following conditions
11  * are met:
12  *
13  * 1. Redistributions of source code must retain the above copyright
14  *    notice, this list of conditions and the following disclaimer.
15  *
16  * 2. Redistributions in binary form must reproduce the above copyright
17  *    notice, this list of conditions and the following disclaimer in
18  *    the documentation and/or other materials provided with the
19  *    distribution.
20  *
21  * 3. All advertising materials mentioning features or use of this
22  *    software must display the following acknowledgment:
23  *    "This product includes software developed by the OpenSSL Project
24  *    for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
25  *
26  * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
27  *    endorse or promote products derived from this software without
28  *    prior written permission. For written permission, please contact
29  *    licensing@OpenSSL.org.
30  *
31  * 5. Products derived from this software may not be called "OpenSSL"
32  *    nor may "OpenSSL" appear in their names without prior written
33  *    permission of the OpenSSL Project.
34  *
35  * 6. Redistributions of any form whatsoever must retain the following
36  *    acknowledgment:
37  *    "This product includes software developed by the OpenSSL Project
38  *    for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
39  *
40  * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
41  * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
43  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
44  * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
45  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
46  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
47  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
49  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
50  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
51  * OF THE POSSIBILITY OF SUCH DAMAGE.
52  * ====================================================================
53  *
54  * This product includes cryptographic software written by Eric Young
55  * (eay@cryptsoft.com).  This product includes software written by Tim
56  * Hudson (tjh@cryptsoft.com).
57  *
58  */
59
60 #include <stdio.h>
61 #include "internal/cryptlib.h"
62 #include <openssl/conf.h>
63 #include <openssl/asn1.h>
64 #include <openssl/asn1t.h>
65 #include <openssl/x509v3.h>
66
67 #include "internal/x509_int.h"
68 #include "ext_dat.h"
69
70 static void *v2i_crld(const X509V3_EXT_METHOD *method,
71                       X509V3_CTX *ctx, STACK_OF(CONF_VALUE) *nval);
72 static int i2r_crldp(const X509V3_EXT_METHOD *method, void *pcrldp, BIO *out,
73                      int indent);
74
75 const X509V3_EXT_METHOD v3_crld = {
76     NID_crl_distribution_points, 0, ASN1_ITEM_ref(CRL_DIST_POINTS),
77     0, 0, 0, 0,
78     0, 0,
79     0,
80     v2i_crld,
81     i2r_crldp, 0,
82     NULL
83 };
84
85 const X509V3_EXT_METHOD v3_freshest_crl = {
86     NID_freshest_crl, 0, ASN1_ITEM_ref(CRL_DIST_POINTS),
87     0, 0, 0, 0,
88     0, 0,
89     0,
90     v2i_crld,
91     i2r_crldp, 0,
92     NULL
93 };
94
95 static STACK_OF(GENERAL_NAME) *gnames_from_sectname(X509V3_CTX *ctx,
96                                                     char *sect)
97 {
98     STACK_OF(CONF_VALUE) *gnsect;
99     STACK_OF(GENERAL_NAME) *gens;
100     if (*sect == '@')
101         gnsect = X509V3_get_section(ctx, sect + 1);
102     else
103         gnsect = X509V3_parse_list(sect);
104     if (!gnsect) {
105         X509V3err(X509V3_F_GNAMES_FROM_SECTNAME, X509V3_R_SECTION_NOT_FOUND);
106         return NULL;
107     }
108     gens = v2i_GENERAL_NAMES(NULL, ctx, gnsect);
109     if (*sect == '@')
110         X509V3_section_free(ctx, gnsect);
111     else
112         sk_CONF_VALUE_pop_free(gnsect, X509V3_conf_free);
113     return gens;
114 }
115
116 static int set_dist_point_name(DIST_POINT_NAME **pdp, X509V3_CTX *ctx,
117                                CONF_VALUE *cnf)
118 {
119     STACK_OF(GENERAL_NAME) *fnm = NULL;
120     STACK_OF(X509_NAME_ENTRY) *rnm = NULL;
121
122     if (strncmp(cnf->name, "fullname", 9) == 0) {
123         fnm = gnames_from_sectname(ctx, cnf->value);
124         if (!fnm)
125             goto err;
126     } else if (strcmp(cnf->name, "relativename") == 0) {
127         int ret;
128         STACK_OF(CONF_VALUE) *dnsect;
129         X509_NAME *nm;
130         nm = X509_NAME_new();
131         if (nm == NULL)
132             return -1;
133         dnsect = X509V3_get_section(ctx, cnf->value);
134         if (!dnsect) {
135             X509V3err(X509V3_F_SET_DIST_POINT_NAME,
136                       X509V3_R_SECTION_NOT_FOUND);
137             return -1;
138         }
139         ret = X509V3_NAME_from_section(nm, dnsect, MBSTRING_ASC);
140         X509V3_section_free(ctx, dnsect);
141         rnm = nm->entries;
142         nm->entries = NULL;
143         X509_NAME_free(nm);
144         if (!ret || sk_X509_NAME_ENTRY_num(rnm) <= 0)
145             goto err;
146         /*
147          * Since its a name fragment can't have more than one RDNSequence
148          */
149         if (sk_X509_NAME_ENTRY_value(rnm,
150                                      sk_X509_NAME_ENTRY_num(rnm) - 1)->set) {
151             X509V3err(X509V3_F_SET_DIST_POINT_NAME,
152                       X509V3_R_INVALID_MULTIPLE_RDNS);
153             goto err;
154         }
155     } else
156         return 0;
157
158     if (*pdp) {
159         X509V3err(X509V3_F_SET_DIST_POINT_NAME,
160                   X509V3_R_DISTPOINT_ALREADY_SET);
161         goto err;
162     }
163
164     *pdp = DIST_POINT_NAME_new();
165     if (*pdp == NULL)
166         goto err;
167     if (fnm) {
168         (*pdp)->type = 0;
169         (*pdp)->name.fullname = fnm;
170     } else {
171         (*pdp)->type = 1;
172         (*pdp)->name.relativename = rnm;
173     }
174
175     return 1;
176
177  err:
178     sk_GENERAL_NAME_pop_free(fnm, GENERAL_NAME_free);
179     sk_X509_NAME_ENTRY_pop_free(rnm, X509_NAME_ENTRY_free);
180     return -1;
181 }
182
183 static const BIT_STRING_BITNAME reason_flags[] = {
184     {0, "Unused", "unused"},
185     {1, "Key Compromise", "keyCompromise"},
186     {2, "CA Compromise", "CACompromise"},
187     {3, "Affiliation Changed", "affiliationChanged"},
188     {4, "Superseded", "superseded"},
189     {5, "Cessation Of Operation", "cessationOfOperation"},
190     {6, "Certificate Hold", "certificateHold"},
191     {7, "Privilege Withdrawn", "privilegeWithdrawn"},
192     {8, "AA Compromise", "AACompromise"},
193     {-1, NULL, NULL}
194 };
195
196 static int set_reasons(ASN1_BIT_STRING **preas, char *value)
197 {
198     STACK_OF(CONF_VALUE) *rsk = NULL;
199     const BIT_STRING_BITNAME *pbn;
200     const char *bnam;
201     int i, ret = 0;
202     rsk = X509V3_parse_list(value);
203     if (!rsk)
204         return 0;
205     if (*preas)
206         return 0;
207     for (i = 0; i < sk_CONF_VALUE_num(rsk); i++) {
208         bnam = sk_CONF_VALUE_value(rsk, i)->name;
209         if (*preas == NULL) {
210             *preas = ASN1_BIT_STRING_new();
211             if (*preas == NULL)
212                 goto err;
213         }
214         for (pbn = reason_flags; pbn->lname; pbn++) {
215             if (strcmp(pbn->sname, bnam) == 0) {
216                 if (!ASN1_BIT_STRING_set_bit(*preas, pbn->bitnum, 1))
217                     goto err;
218                 break;
219             }
220         }
221         if (!pbn->lname)
222             goto err;
223     }
224     ret = 1;
225
226  err:
227     sk_CONF_VALUE_pop_free(rsk, X509V3_conf_free);
228     return ret;
229 }
230
231 static int print_reasons(BIO *out, const char *rname,
232                          ASN1_BIT_STRING *rflags, int indent)
233 {
234     int first = 1;
235     const BIT_STRING_BITNAME *pbn;
236     BIO_printf(out, "%*s%s:\n%*s", indent, "", rname, indent + 2, "");
237     for (pbn = reason_flags; pbn->lname; pbn++) {
238         if (ASN1_BIT_STRING_get_bit(rflags, pbn->bitnum)) {
239             if (first)
240                 first = 0;
241             else
242                 BIO_puts(out, ", ");
243             BIO_puts(out, pbn->lname);
244         }
245     }
246     if (first)
247         BIO_puts(out, "<EMPTY>\n");
248     else
249         BIO_puts(out, "\n");
250     return 1;
251 }
252
253 static DIST_POINT *crldp_from_section(X509V3_CTX *ctx,
254                                       STACK_OF(CONF_VALUE) *nval)
255 {
256     int i;
257     CONF_VALUE *cnf;
258     DIST_POINT *point = NULL;
259     point = DIST_POINT_new();
260     if (point == NULL)
261         goto err;
262     for (i = 0; i < sk_CONF_VALUE_num(nval); i++) {
263         int ret;
264         cnf = sk_CONF_VALUE_value(nval, i);
265         ret = set_dist_point_name(&point->distpoint, ctx, cnf);
266         if (ret > 0)
267             continue;
268         if (ret < 0)
269             goto err;
270         if (strcmp(cnf->name, "reasons") == 0) {
271             if (!set_reasons(&point->reasons, cnf->value))
272                 goto err;
273         } else if (strcmp(cnf->name, "CRLissuer") == 0) {
274             point->CRLissuer = gnames_from_sectname(ctx, cnf->value);
275             if (!point->CRLissuer)
276                 goto err;
277         }
278     }
279
280     return point;
281
282  err:
283     DIST_POINT_free(point);
284     return NULL;
285 }
286
287 static void *v2i_crld(const X509V3_EXT_METHOD *method,
288                       X509V3_CTX *ctx, STACK_OF(CONF_VALUE) *nval)
289 {
290     STACK_OF(DIST_POINT) *crld = NULL;
291     GENERAL_NAMES *gens = NULL;
292     GENERAL_NAME *gen = NULL;
293     CONF_VALUE *cnf;
294     int i;
295
296     if ((crld = sk_DIST_POINT_new_null()) == NULL)
297         goto merr;
298     for (i = 0; i < sk_CONF_VALUE_num(nval); i++) {
299         DIST_POINT *point;
300         cnf = sk_CONF_VALUE_value(nval, i);
301         if (!cnf->value) {
302             STACK_OF(CONF_VALUE) *dpsect;
303             dpsect = X509V3_get_section(ctx, cnf->name);
304             if (!dpsect)
305                 goto err;
306             point = crldp_from_section(ctx, dpsect);
307             X509V3_section_free(ctx, dpsect);
308             if (!point)
309                 goto err;
310             if (!sk_DIST_POINT_push(crld, point)) {
311                 DIST_POINT_free(point);
312                 goto merr;
313             }
314         } else {
315             if ((gen = v2i_GENERAL_NAME(method, ctx, cnf)) == NULL)
316                 goto err;
317             if ((gens = GENERAL_NAMES_new()) == NULL)
318                 goto merr;
319             if (!sk_GENERAL_NAME_push(gens, gen))
320                 goto merr;
321             gen = NULL;
322             if ((point = DIST_POINT_new()) == NULL)
323                 goto merr;
324             if (!sk_DIST_POINT_push(crld, point)) {
325                 DIST_POINT_free(point);
326                 goto merr;
327             }
328             if ((point->distpoint = DIST_POINT_NAME_new()) == NULL)
329                 goto merr;
330             point->distpoint->name.fullname = gens;
331             point->distpoint->type = 0;
332             gens = NULL;
333         }
334     }
335     return crld;
336
337  merr:
338     X509V3err(X509V3_F_V2I_CRLD, ERR_R_MALLOC_FAILURE);
339  err:
340     GENERAL_NAME_free(gen);
341     GENERAL_NAMES_free(gens);
342     sk_DIST_POINT_pop_free(crld, DIST_POINT_free);
343     return NULL;
344 }
345
346 static int dpn_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
347                   void *exarg)
348 {
349     DIST_POINT_NAME *dpn = (DIST_POINT_NAME *)*pval;
350
351     switch (operation) {
352     case ASN1_OP_NEW_POST:
353         dpn->dpname = NULL;
354         break;
355
356     case ASN1_OP_FREE_POST:
357         X509_NAME_free(dpn->dpname);
358         break;
359     }
360     return 1;
361 }
362
363
364 ASN1_CHOICE_cb(DIST_POINT_NAME, dpn_cb) = {
365         ASN1_IMP_SEQUENCE_OF(DIST_POINT_NAME, name.fullname, GENERAL_NAME, 0),
366         ASN1_IMP_SET_OF(DIST_POINT_NAME, name.relativename, X509_NAME_ENTRY, 1)
367 } ASN1_CHOICE_END_cb(DIST_POINT_NAME, DIST_POINT_NAME, type)
368
369
370 IMPLEMENT_ASN1_FUNCTIONS(DIST_POINT_NAME)
371
372 ASN1_SEQUENCE(DIST_POINT) = {
373         ASN1_EXP_OPT(DIST_POINT, distpoint, DIST_POINT_NAME, 0),
374         ASN1_IMP_OPT(DIST_POINT, reasons, ASN1_BIT_STRING, 1),
375         ASN1_IMP_SEQUENCE_OF_OPT(DIST_POINT, CRLissuer, GENERAL_NAME, 2)
376 } ASN1_SEQUENCE_END(DIST_POINT)
377
378 IMPLEMENT_ASN1_FUNCTIONS(DIST_POINT)
379
380 ASN1_ITEM_TEMPLATE(CRL_DIST_POINTS) =
381         ASN1_EX_TEMPLATE_TYPE(ASN1_TFLG_SEQUENCE_OF, 0, CRLDistributionPoints, DIST_POINT)
382 ASN1_ITEM_TEMPLATE_END(CRL_DIST_POINTS)
383
384 IMPLEMENT_ASN1_FUNCTIONS(CRL_DIST_POINTS)
385
386 ASN1_SEQUENCE(ISSUING_DIST_POINT) = {
387         ASN1_EXP_OPT(ISSUING_DIST_POINT, distpoint, DIST_POINT_NAME, 0),
388         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyuser, ASN1_FBOOLEAN, 1),
389         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyCA, ASN1_FBOOLEAN, 2),
390         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlysomereasons, ASN1_BIT_STRING, 3),
391         ASN1_IMP_OPT(ISSUING_DIST_POINT, indirectCRL, ASN1_FBOOLEAN, 4),
392         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyattr, ASN1_FBOOLEAN, 5)
393 } ASN1_SEQUENCE_END(ISSUING_DIST_POINT)
394
395 IMPLEMENT_ASN1_FUNCTIONS(ISSUING_DIST_POINT)
396
397 static int i2r_idp(const X509V3_EXT_METHOD *method, void *pidp, BIO *out,
398                    int indent);
399 static void *v2i_idp(const X509V3_EXT_METHOD *method, X509V3_CTX *ctx,
400                      STACK_OF(CONF_VALUE) *nval);
401
402 const X509V3_EXT_METHOD v3_idp = {
403     NID_issuing_distribution_point, X509V3_EXT_MULTILINE,
404     ASN1_ITEM_ref(ISSUING_DIST_POINT),
405     0, 0, 0, 0,
406     0, 0,
407     0,
408     v2i_idp,
409     i2r_idp, 0,
410     NULL
411 };
412
413 static void *v2i_idp(const X509V3_EXT_METHOD *method, X509V3_CTX *ctx,
414                      STACK_OF(CONF_VALUE) *nval)
415 {
416     ISSUING_DIST_POINT *idp = NULL;
417     CONF_VALUE *cnf;
418     char *name, *val;
419     int i, ret;
420     idp = ISSUING_DIST_POINT_new();
421     if (idp == NULL)
422         goto merr;
423     for (i = 0; i < sk_CONF_VALUE_num(nval); i++) {
424         cnf = sk_CONF_VALUE_value(nval, i);
425         name = cnf->name;
426         val = cnf->value;
427         ret = set_dist_point_name(&idp->distpoint, ctx, cnf);
428         if (ret > 0)
429             continue;
430         if (ret < 0)
431             goto err;
432         if (strcmp(name, "onlyuser") == 0) {
433             if (!X509V3_get_value_bool(cnf, &idp->onlyuser))
434                 goto err;
435         } else if (strcmp(name, "onlyCA") == 0) {
436             if (!X509V3_get_value_bool(cnf, &idp->onlyCA))
437                 goto err;
438         } else if (strcmp(name, "onlyAA") == 0) {
439             if (!X509V3_get_value_bool(cnf, &idp->onlyattr))
440                 goto err;
441         } else if (strcmp(name, "indirectCRL") == 0) {
442             if (!X509V3_get_value_bool(cnf, &idp->indirectCRL))
443                 goto err;
444         } else if (strcmp(name, "onlysomereasons") == 0) {
445             if (!set_reasons(&idp->onlysomereasons, val))
446                 goto err;
447         } else {
448             X509V3err(X509V3_F_V2I_IDP, X509V3_R_INVALID_NAME);
449             X509V3_conf_err(cnf);
450             goto err;
451         }
452     }
453     return idp;
454
455  merr:
456     X509V3err(X509V3_F_V2I_IDP, ERR_R_MALLOC_FAILURE);
457  err:
458     ISSUING_DIST_POINT_free(idp);
459     return NULL;
460 }
461
462 static int print_gens(BIO *out, STACK_OF(GENERAL_NAME) *gens, int indent)
463 {
464     int i;
465     for (i = 0; i < sk_GENERAL_NAME_num(gens); i++) {
466         BIO_printf(out, "%*s", indent + 2, "");
467         GENERAL_NAME_print(out, sk_GENERAL_NAME_value(gens, i));
468         BIO_puts(out, "\n");
469     }
470     return 1;
471 }
472
473 static int print_distpoint(BIO *out, DIST_POINT_NAME *dpn, int indent)
474 {
475     if (dpn->type == 0) {
476         BIO_printf(out, "%*sFull Name:\n", indent, "");
477         print_gens(out, dpn->name.fullname, indent);
478     } else {
479         X509_NAME ntmp;
480         ntmp.entries = dpn->name.relativename;
481         BIO_printf(out, "%*sRelative Name:\n%*s", indent, "", indent + 2, "");
482         X509_NAME_print_ex(out, &ntmp, 0, XN_FLAG_ONELINE);
483         BIO_puts(out, "\n");
484     }
485     return 1;
486 }
487
488 static int i2r_idp(const X509V3_EXT_METHOD *method, void *pidp, BIO *out,
489                    int indent)
490 {
491     ISSUING_DIST_POINT *idp = pidp;
492     if (idp->distpoint)
493         print_distpoint(out, idp->distpoint, indent);
494     if (idp->onlyuser > 0)
495         BIO_printf(out, "%*sOnly User Certificates\n", indent, "");
496     if (idp->onlyCA > 0)
497         BIO_printf(out, "%*sOnly CA Certificates\n", indent, "");
498     if (idp->indirectCRL > 0)
499         BIO_printf(out, "%*sIndirect CRL\n", indent, "");
500     if (idp->onlysomereasons)
501         print_reasons(out, "Only Some Reasons", idp->onlysomereasons, indent);
502     if (idp->onlyattr > 0)
503         BIO_printf(out, "%*sOnly Attribute Certificates\n", indent, "");
504     if (!idp->distpoint && (idp->onlyuser <= 0) && (idp->onlyCA <= 0)
505         && (idp->indirectCRL <= 0) && !idp->onlysomereasons
506         && (idp->onlyattr <= 0))
507         BIO_printf(out, "%*s<EMPTY>\n", indent, "");
508
509     return 1;
510 }
511
512 static int i2r_crldp(const X509V3_EXT_METHOD *method, void *pcrldp, BIO *out,
513                      int indent)
514 {
515     STACK_OF(DIST_POINT) *crld = pcrldp;
516     DIST_POINT *point;
517     int i;
518     for (i = 0; i < sk_DIST_POINT_num(crld); i++) {
519         BIO_puts(out, "\n");
520         point = sk_DIST_POINT_value(crld, i);
521         if (point->distpoint)
522             print_distpoint(out, point->distpoint, indent);
523         if (point->reasons)
524             print_reasons(out, "Reasons", point->reasons, indent);
525         if (point->CRLissuer) {
526             BIO_printf(out, "%*sCRL Issuer:\n", indent, "");
527             print_gens(out, point->CRLissuer, indent);
528         }
529     }
530     return 1;
531 }
532
533 int DIST_POINT_set_dpname(DIST_POINT_NAME *dpn, X509_NAME *iname)
534 {
535     int i;
536     STACK_OF(X509_NAME_ENTRY) *frag;
537     X509_NAME_ENTRY *ne;
538     if (!dpn || (dpn->type != 1))
539         return 1;
540     frag = dpn->name.relativename;
541     dpn->dpname = X509_NAME_dup(iname);
542     if (!dpn->dpname)
543         return 0;
544     for (i = 0; i < sk_X509_NAME_ENTRY_num(frag); i++) {
545         ne = sk_X509_NAME_ENTRY_value(frag, i);
546         if (!X509_NAME_add_entry(dpn->dpname, ne, -1, i ? 0 : 1)) {
547             X509_NAME_free(dpn->dpname);
548             dpn->dpname = NULL;
549             return 0;
550         }
551     }
552     /* generate cached encoding of name */
553     if (i2d_X509_NAME(dpn->dpname, NULL) < 0) {
554         X509_NAME_free(dpn->dpname);
555         dpn->dpname = NULL;
556         return 0;
557     }
558     return 1;
559 }