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