004a1339ea5d392507bf7a0e4674f8459dbf3af8
[openssl.git] / crypto / x509v3 / v3_utl.c
1 /* v3_utl.c */
2 /* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
3  * project.
4  */
5 /* ====================================================================
6  * Copyright (c) 1999-2003 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 /* X509 v3 extension utilities */
59
60
61 #include <stdio.h>
62 #include <ctype.h>
63 #include "cryptlib.h"
64 #include <openssl/conf.h>
65 #include <openssl/x509v3.h>
66 #include <openssl/bn.h>
67
68 static char *strip_spaces(char *name);
69 static int sk_strcmp(const char * const *a, const char * const *b);
70 static STACK_OF(OPENSSL_STRING) *get_email(X509_NAME *name, GENERAL_NAMES *gens);
71 static void str_free(OPENSSL_STRING str);
72 static int append_ia5(STACK_OF(OPENSSL_STRING) **sk, ASN1_IA5STRING *email);
73
74 static int ipv4_from_asc(unsigned char *v4, const char *in);
75 static int ipv6_from_asc(unsigned char *v6, const char *in);
76 static int ipv6_cb(const char *elem, int len, void *usr);
77 static int ipv6_hex(unsigned char *out, const char *in, int inlen);
78
79 /* Add a CONF_VALUE name value pair to stack */
80
81 int X509V3_add_value(const char *name, const char *value,
82                                                 STACK_OF(CONF_VALUE) **extlist)
83 {
84         CONF_VALUE *vtmp = NULL;
85         char *tname = NULL, *tvalue = NULL;
86         if(name && !(tname = BUF_strdup(name))) goto err;
87         if(value && !(tvalue = BUF_strdup(value))) goto err;
88         if(!(vtmp = (CONF_VALUE *)OPENSSL_malloc(sizeof(CONF_VALUE)))) goto err;
89         if(!*extlist && !(*extlist = sk_CONF_VALUE_new_null())) goto err;
90         vtmp->section = NULL;
91         vtmp->name = tname;
92         vtmp->value = tvalue;
93         if(!sk_CONF_VALUE_push(*extlist, vtmp)) goto err;
94         return 1;
95         err:
96         X509V3err(X509V3_F_X509V3_ADD_VALUE,ERR_R_MALLOC_FAILURE);
97         if(vtmp) OPENSSL_free(vtmp);
98         if(tname) OPENSSL_free(tname);
99         if(tvalue) OPENSSL_free(tvalue);
100         return 0;
101 }
102
103 int X509V3_add_value_uchar(const char *name, const unsigned char *value,
104                            STACK_OF(CONF_VALUE) **extlist)
105     {
106     return X509V3_add_value(name,(const char *)value,extlist);
107     }
108
109 /* Free function for STACK_OF(CONF_VALUE) */
110
111 void X509V3_conf_free(CONF_VALUE *conf)
112 {
113         if(!conf) return;
114         if(conf->name) OPENSSL_free(conf->name);
115         if(conf->value) OPENSSL_free(conf->value);
116         if(conf->section) OPENSSL_free(conf->section);
117         OPENSSL_free(conf);
118 }
119
120 int X509V3_add_value_bool(const char *name, int asn1_bool,
121                                                 STACK_OF(CONF_VALUE) **extlist)
122 {
123         if(asn1_bool) return X509V3_add_value(name, "TRUE", extlist);
124         return X509V3_add_value(name, "FALSE", extlist);
125 }
126
127 int X509V3_add_value_bool_nf(char *name, int asn1_bool,
128                                                 STACK_OF(CONF_VALUE) **extlist)
129 {
130         if(asn1_bool) return X509V3_add_value(name, "TRUE", extlist);
131         return 1;
132 }
133
134
135 char *i2s_ASN1_ENUMERATED(X509V3_EXT_METHOD *method, ASN1_ENUMERATED *a)
136 {
137         BIGNUM *bntmp = NULL;
138         char *strtmp = NULL;
139         if(!a) return NULL;
140         if(!(bntmp = ASN1_ENUMERATED_to_BN(a, NULL)) ||
141             !(strtmp = BN_bn2dec(bntmp)) )
142                 X509V3err(X509V3_F_I2S_ASN1_ENUMERATED,ERR_R_MALLOC_FAILURE);
143         BN_free(bntmp);
144         return strtmp;
145 }
146
147 char *i2s_ASN1_INTEGER(X509V3_EXT_METHOD *method, ASN1_INTEGER *a)
148 {
149         BIGNUM *bntmp = NULL;
150         char *strtmp = NULL;
151         if(!a) return NULL;
152         if(!(bntmp = ASN1_INTEGER_to_BN(a, NULL)) ||
153             !(strtmp = BN_bn2dec(bntmp)) )
154                 X509V3err(X509V3_F_I2S_ASN1_INTEGER,ERR_R_MALLOC_FAILURE);
155         BN_free(bntmp);
156         return strtmp;
157 }
158
159 ASN1_INTEGER *s2i_ASN1_INTEGER(X509V3_EXT_METHOD *method, char *value)
160 {
161         BIGNUM *bn = NULL;
162         ASN1_INTEGER *aint;
163         int isneg, ishex;
164         int ret;
165         if (!value) {
166                 X509V3err(X509V3_F_S2I_ASN1_INTEGER,X509V3_R_INVALID_NULL_VALUE);
167                 return 0;
168         }
169         bn = BN_new();
170         if (value[0] == '-') {
171                 value++;
172                 isneg = 1;
173         } else isneg = 0;
174
175         if (value[0] == '0' && ((value[1] == 'x') || (value[1] == 'X'))) {
176                 value += 2;
177                 ishex = 1;
178         } else ishex = 0;
179
180         if (ishex) ret = BN_hex2bn(&bn, value);
181         else ret = BN_dec2bn(&bn, value);
182
183         if (!ret || value[ret]) {
184                 BN_free(bn);
185                 X509V3err(X509V3_F_S2I_ASN1_INTEGER,X509V3_R_BN_DEC2BN_ERROR);
186                 return 0;
187         }
188
189         if (isneg && BN_is_zero(bn)) isneg = 0;
190
191         aint = BN_to_ASN1_INTEGER(bn, NULL);
192         BN_free(bn);
193         if (!aint) {
194                 X509V3err(X509V3_F_S2I_ASN1_INTEGER,X509V3_R_BN_TO_ASN1_INTEGER_ERROR);
195                 return 0;
196         }
197         if (isneg) aint->type |= V_ASN1_NEG;
198         return aint;
199 }
200
201 int X509V3_add_value_int(const char *name, ASN1_INTEGER *aint,
202              STACK_OF(CONF_VALUE) **extlist)
203 {
204         char *strtmp;
205         int ret;
206         if(!aint) return 1;
207         if(!(strtmp = i2s_ASN1_INTEGER(NULL, aint))) return 0;
208         ret = X509V3_add_value(name, strtmp, extlist);
209         OPENSSL_free(strtmp);
210         return ret;
211 }
212
213 int X509V3_get_value_bool(CONF_VALUE *value, int *asn1_bool)
214 {
215         char *btmp;
216         if(!(btmp = value->value)) goto err;
217         if(!strcmp(btmp, "TRUE") || !strcmp(btmp, "true")
218                  || !strcmp(btmp, "Y") || !strcmp(btmp, "y")
219                 || !strcmp(btmp, "YES") || !strcmp(btmp, "yes")) {
220                 *asn1_bool = 0xff;
221                 return 1;
222         } else if(!strcmp(btmp, "FALSE") || !strcmp(btmp, "false")
223                  || !strcmp(btmp, "N") || !strcmp(btmp, "n")
224                 || !strcmp(btmp, "NO") || !strcmp(btmp, "no")) {
225                 *asn1_bool = 0;
226                 return 1;
227         }
228         err:
229         X509V3err(X509V3_F_X509V3_GET_VALUE_BOOL,X509V3_R_INVALID_BOOLEAN_STRING);
230         X509V3_conf_err(value);
231         return 0;
232 }
233
234 int X509V3_get_value_int(CONF_VALUE *value, ASN1_INTEGER **aint)
235 {
236         ASN1_INTEGER *itmp;
237         if(!(itmp = s2i_ASN1_INTEGER(NULL, value->value))) {
238                 X509V3_conf_err(value);
239                 return 0;
240         }
241         *aint = itmp;
242         return 1;
243 }
244
245 #define HDR_NAME        1
246 #define HDR_VALUE       2
247
248 /*#define DEBUG*/
249
250 STACK_OF(CONF_VALUE) *X509V3_parse_list(const char *line)
251 {
252         char *p, *q, c;
253         char *ntmp, *vtmp;
254         STACK_OF(CONF_VALUE) *values = NULL;
255         char *linebuf;
256         int state;
257         /* We are going to modify the line so copy it first */
258         linebuf = BUF_strdup(line);
259         state = HDR_NAME;
260         ntmp = NULL;
261         /* Go through all characters */
262         for(p = linebuf, q = linebuf; (c = *p) && (c!='\r') && (c!='\n'); p++) {
263
264                 switch(state) {
265                         case HDR_NAME:
266                         if(c == ':') {
267                                 state = HDR_VALUE;
268                                 *p = 0;
269                                 ntmp = strip_spaces(q);
270                                 if(!ntmp) {
271                                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);
272                                         goto err;
273                                 }
274                                 q = p + 1;
275                         } else if(c == ',') {
276                                 *p = 0;
277                                 ntmp = strip_spaces(q);
278                                 q = p + 1;
279 #if 0
280                                 printf("%s\n", ntmp);
281 #endif
282                                 if(!ntmp) {
283                                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);
284                                         goto err;
285                                 }
286                                 X509V3_add_value(ntmp, NULL, &values);
287                         }
288                         break ;
289
290                         case HDR_VALUE:
291                         if(c == ',') {
292                                 state = HDR_NAME;
293                                 *p = 0;
294                                 vtmp = strip_spaces(q);
295 #if 0
296                                 printf("%s\n", ntmp);
297 #endif
298                                 if(!vtmp) {
299                                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_VALUE);
300                                         goto err;
301                                 }
302                                 X509V3_add_value(ntmp, vtmp, &values);
303                                 ntmp = NULL;
304                                 q = p + 1;
305                         }
306
307                 }
308         }
309
310         if(state == HDR_VALUE) {
311                 vtmp = strip_spaces(q);
312 #if 0
313                 printf("%s=%s\n", ntmp, vtmp);
314 #endif
315                 if(!vtmp) {
316                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_VALUE);
317                         goto err;
318                 }
319                 X509V3_add_value(ntmp, vtmp, &values);
320         } else {
321                 ntmp = strip_spaces(q);
322 #if 0
323                 printf("%s\n", ntmp);
324 #endif
325                 if(!ntmp) {
326                         X509V3err(X509V3_F_X509V3_PARSE_LIST, X509V3_R_INVALID_NULL_NAME);
327                         goto err;
328                 }
329                 X509V3_add_value(ntmp, NULL, &values);
330         }
331 OPENSSL_free(linebuf);
332 return values;
333
334 err:
335 OPENSSL_free(linebuf);
336 sk_CONF_VALUE_pop_free(values, X509V3_conf_free);
337 return NULL;
338
339 }
340
341 /* Delete leading and trailing spaces from a string */
342 static char *strip_spaces(char *name)
343 {
344         char *p, *q;
345         /* Skip over leading spaces */
346         p = name;
347         while(*p && isspace((unsigned char)*p)) p++;
348         if(!*p) return NULL;
349         q = p + strlen(p) - 1;
350         while((q != p) && isspace((unsigned char)*q)) q--;
351         if(p != q) q[1] = 0;
352         if(!*p) return NULL;
353         return p;
354 }
355
356 /* hex string utilities */
357
358 /* Given a buffer of length 'len' return a OPENSSL_malloc'ed string with its
359  * hex representation
360  * @@@ (Contents of buffer are always kept in ASCII, also on EBCDIC machines)
361  */
362
363 char *hex_to_string(const unsigned char *buffer, long len)
364 {
365         char *tmp, *q;
366         const unsigned char *p;
367         int i;
368         const static char hexdig[] = "0123456789ABCDEF";
369         if(!buffer || !len) return NULL;
370         if(!(tmp = OPENSSL_malloc(len * 3 + 1))) {
371                 X509V3err(X509V3_F_HEX_TO_STRING,ERR_R_MALLOC_FAILURE);
372                 return NULL;
373         }
374         q = tmp;
375         for(i = 0, p = buffer; i < len; i++,p++) {
376                 *q++ = hexdig[(*p >> 4) & 0xf];
377                 *q++ = hexdig[*p & 0xf];
378                 *q++ = ':';
379         }
380         q[-1] = 0;
381 #ifdef CHARSET_EBCDIC
382         ebcdic2ascii(tmp, tmp, q - tmp - 1);
383 #endif
384
385         return tmp;
386 }
387
388 /* Give a string of hex digits convert to
389  * a buffer
390  */
391
392 unsigned char *string_to_hex(const char *str, long *len)
393 {
394         unsigned char *hexbuf, *q;
395         unsigned char ch, cl, *p;
396         if(!str) {
397                 X509V3err(X509V3_F_STRING_TO_HEX,X509V3_R_INVALID_NULL_ARGUMENT);
398                 return NULL;
399         }
400         if(!(hexbuf = OPENSSL_malloc(strlen(str) >> 1))) goto err;
401         for(p = (unsigned char *)str, q = hexbuf; *p;) {
402                 ch = *p++;
403 #ifdef CHARSET_EBCDIC
404                 ch = os_toebcdic[ch];
405 #endif
406                 if(ch == ':') continue;
407                 cl = *p++;
408 #ifdef CHARSET_EBCDIC
409                 cl = os_toebcdic[cl];
410 #endif
411                 if(!cl) {
412                         X509V3err(X509V3_F_STRING_TO_HEX,X509V3_R_ODD_NUMBER_OF_DIGITS);
413                         OPENSSL_free(hexbuf);
414                         return NULL;
415                 }
416                 if(isupper(ch)) ch = tolower(ch);
417                 if(isupper(cl)) cl = tolower(cl);
418
419                 if((ch >= '0') && (ch <= '9')) ch -= '0';
420                 else if ((ch >= 'a') && (ch <= 'f')) ch -= 'a' - 10;
421                 else goto badhex;
422
423                 if((cl >= '0') && (cl <= '9')) cl -= '0';
424                 else if ((cl >= 'a') && (cl <= 'f')) cl -= 'a' - 10;
425                 else goto badhex;
426
427                 *q++ = (ch << 4) | cl;
428         }
429
430         if(len) *len = q - hexbuf;
431
432         return hexbuf;
433
434         err:
435         if(hexbuf) OPENSSL_free(hexbuf);
436         X509V3err(X509V3_F_STRING_TO_HEX,ERR_R_MALLOC_FAILURE);
437         return NULL;
438
439         badhex:
440         OPENSSL_free(hexbuf);
441         X509V3err(X509V3_F_STRING_TO_HEX,X509V3_R_ILLEGAL_HEX_DIGIT);
442         return NULL;
443
444 }
445
446 /* V2I name comparison function: returns zero if 'name' matches
447  * cmp or cmp.*
448  */
449
450 int name_cmp(const char *name, const char *cmp)
451 {
452         int len, ret;
453         char c;
454         len = strlen(cmp);
455         if((ret = strncmp(name, cmp, len))) return ret;
456         c = name[len];
457         if(!c || (c=='.')) return 0;
458         return 1;
459 }
460
461 static int sk_strcmp(const char * const *a, const char * const *b)
462 {
463         return strcmp(*a, *b);
464 }
465
466 STACK_OF(OPENSSL_STRING) *X509_get1_email(X509 *x)
467 {
468         GENERAL_NAMES *gens;
469         STACK_OF(OPENSSL_STRING) *ret;
470
471         gens = X509_get_ext_d2i(x, NID_subject_alt_name, NULL, NULL);
472         ret = get_email(X509_get_subject_name(x), gens);
473         sk_GENERAL_NAME_pop_free(gens, GENERAL_NAME_free);
474         return ret;
475 }
476
477 STACK_OF(OPENSSL_STRING) *X509_get1_ocsp(X509 *x)
478 {
479         AUTHORITY_INFO_ACCESS *info;
480         STACK_OF(OPENSSL_STRING) *ret = NULL;
481         int i;
482
483         info = X509_get_ext_d2i(x, NID_info_access, NULL, NULL);
484         if (!info)
485                 return NULL;
486         for (i = 0; i < sk_ACCESS_DESCRIPTION_num(info); i++)
487                 {
488                 ACCESS_DESCRIPTION *ad = sk_ACCESS_DESCRIPTION_value(info, i);
489                 if (OBJ_obj2nid(ad->method) == NID_ad_OCSP)
490                         {
491                         if (ad->location->type == GEN_URI)
492                                 {
493                                 if (!append_ia5(&ret, ad->location->d.uniformResourceIdentifier))
494                                         break;
495                                 }
496                         }
497                 }
498         AUTHORITY_INFO_ACCESS_free(info);
499         return ret;
500 }
501
502 STACK_OF(OPENSSL_STRING) *X509_REQ_get1_email(X509_REQ *x)
503 {
504         GENERAL_NAMES *gens;
505         STACK_OF(X509_EXTENSION) *exts;
506         STACK_OF(OPENSSL_STRING) *ret;
507
508         exts = X509_REQ_get_extensions(x);
509         gens = X509V3_get_d2i(exts, NID_subject_alt_name, NULL, NULL);
510         ret = get_email(X509_REQ_get_subject_name(x), gens);
511         sk_GENERAL_NAME_pop_free(gens, GENERAL_NAME_free);
512         sk_X509_EXTENSION_pop_free(exts, X509_EXTENSION_free);
513         return ret;
514 }
515
516
517 static STACK_OF(OPENSSL_STRING) *get_email(X509_NAME *name, GENERAL_NAMES *gens)
518 {
519         STACK_OF(OPENSSL_STRING) *ret = NULL;
520         X509_NAME_ENTRY *ne;
521         ASN1_IA5STRING *email;
522         GENERAL_NAME *gen;
523         int i;
524         /* Now add any email address(es) to STACK */
525         i = -1;
526         /* First supplied X509_NAME */
527         while((i = X509_NAME_get_index_by_NID(name,
528                                          NID_pkcs9_emailAddress, i)) >= 0) {
529                 ne = X509_NAME_get_entry(name, i);
530                 email = X509_NAME_ENTRY_get_data(ne);
531                 if(!append_ia5(&ret, email)) return NULL;
532         }
533         for(i = 0; i < sk_GENERAL_NAME_num(gens); i++)
534         {
535                 gen = sk_GENERAL_NAME_value(gens, i);
536                 if(gen->type != GEN_EMAIL) continue;
537                 if(!append_ia5(&ret, gen->d.ia5)) return NULL;
538         }
539         return ret;
540 }
541
542 static void str_free(OPENSSL_STRING str)
543 {
544         OPENSSL_free(str);
545 }
546
547 static int append_ia5(STACK_OF(OPENSSL_STRING) **sk, ASN1_IA5STRING *email)
548 {
549         char *emtmp;
550         /* First some sanity checks */
551         if(email->type != V_ASN1_IA5STRING) return 1;
552         if(!email->data || !email->length) return 1;
553         if(!*sk) *sk = sk_OPENSSL_STRING_new(sk_strcmp);
554         if(!*sk) return 0;
555         /* Don't add duplicates */
556         if(sk_OPENSSL_STRING_find(*sk, (char *)email->data) != -1) return 1;
557         emtmp = BUF_strdup((char *)email->data);
558         if(!emtmp || !sk_OPENSSL_STRING_push(*sk, emtmp)) {
559                 X509_email_free(*sk);
560                 *sk = NULL;
561                 return 0;
562         }
563         return 1;
564 }
565
566 void X509_email_free(STACK_OF(OPENSSL_STRING) *sk)
567 {
568         sk_OPENSSL_STRING_pop_free(sk, str_free);
569 }
570
571 typedef int (*equal_fn)(const unsigned char *pattern, size_t pattern_len,
572                         const unsigned char *subject, size_t subject_len,
573                         unsigned int flags);
574
575 /* Skip pattern prefix to match "wildcard" subject */
576 static void skip_prefix(const unsigned char **p, size_t *plen,
577                         const unsigned char *subject, size_t subject_len,
578                         unsigned int flags)
579         {
580         const unsigned char *pattern = *p;
581         size_t pattern_len = *plen;
582
583         /*
584          * If subject starts with a leading '.' followed by more octets, and
585          * pattern is longer, compare just an equal-length suffix with the
586          * full subject (starting at the '.'), provided the prefix contains
587          * no NULs.  (We check again that subject starts with '.' and
588          * contains at least one subsequent character, just in case the
589          * internal _X509_CHECK_FLAG_DOT_SUBDOMAINS flag was erroneously
590          * set by the user).
591          */
592         if ((flags & _X509_CHECK_FLAG_DOT_SUBDOMAINS) == 0 ||
593             subject_len <= 1 || subject[0] != '.')
594                 return;
595
596         while (pattern_len > subject_len && *pattern)
597                 {
598                 if ((flags & X509_CHECK_FLAG_SINGLE_LABEL_SUBDOMAINS) &&
599                     *pattern == '.')
600                         break;
601                 ++pattern;
602                 --pattern_len;
603                 }
604
605         /* Skip if entire prefix acceptable */
606         if (pattern_len == subject_len)
607                 {
608                 *p = pattern;
609                 *plen = pattern_len;
610                 }
611         }
612
613 /* Compare while ASCII ignoring case. */
614 static int equal_nocase(const unsigned char *pattern, size_t pattern_len,
615                         const unsigned char *subject, size_t subject_len,
616                         unsigned int flags)
617         {
618         skip_prefix(&pattern, &pattern_len, subject, subject_len, flags);
619         if (pattern_len != subject_len)
620                 return 0;
621         while (pattern_len)
622                 {
623                 unsigned char l = *pattern;
624                 unsigned char r = *subject;
625                 /* The pattern must not contain NUL characters. */
626                 if (l == 0)
627                         return 0;
628                 if (l != r)
629                         {
630                         if ('A' <= l && l <= 'Z')
631                                 l = (l - 'A') + 'a';
632                         if ('A' <= r && r <= 'Z')
633                                 r = (r - 'A') + 'a';
634                         if (l != r)
635                                 return 0;
636                         }
637                 ++pattern;
638                 ++subject;
639                 --pattern_len;
640                 }
641         return 1;
642         }
643
644 /* Compare using memcmp. */
645 static int equal_case(const unsigned char *pattern, size_t pattern_len,
646                       const unsigned char *subject, size_t subject_len,
647                       unsigned int flags)
648 {
649         skip_prefix(&pattern, &pattern_len, subject, subject_len, flags);
650         if (pattern_len != subject_len)
651                 return 0;
652         return !memcmp(pattern, subject, pattern_len);
653 }
654
655 /* RFC 5280, section 7.5, requires that only the domain is compared in
656    a case-insensitive manner. */
657 static int equal_email(const unsigned char *a, size_t a_len,
658                        const unsigned char *b, size_t b_len,
659                        unsigned int unused_flags)
660         {
661         size_t i = a_len;
662         if (a_len != b_len)
663                 return 0;
664         /* We search backwards for the '@' character, so that we do
665            not have to deal with quoted local-parts.  The domain part
666            is compared in a case-insensitive manner. */
667         while (i > 0)
668                 {
669                 --i;
670                 if (a[i] == '@' || b[i] == '@')
671                         {
672                         if (!equal_nocase(a + i, a_len - i,
673                                           b + i, a_len - i, 0))
674                                 return 0;
675                         break;
676                         }
677                 }
678         if (i == 0)
679                 i = a_len;
680         return equal_case(a, i, b, i, 0);
681         }
682
683 /* Compare the prefix and suffix with the subject, and check that the
684    characters in-between are valid. */
685 static int wildcard_match(const unsigned char *prefix, size_t prefix_len,
686                           const unsigned char *suffix, size_t suffix_len,
687                           const unsigned char *subject, size_t subject_len,
688                           unsigned int flags)
689         {
690         const unsigned char *wildcard_start;
691         const unsigned char *wildcard_end;
692         const unsigned char *p;
693         int allow_multi = 0;
694         int allow_idna = 0;
695
696         if (subject_len < prefix_len + suffix_len)
697                 return 0;
698         if (!equal_nocase(prefix, prefix_len, subject, prefix_len, flags))
699                 return 0;
700         wildcard_start = subject + prefix_len;
701         wildcard_end = subject + (subject_len - suffix_len);
702         if (!equal_nocase(wildcard_end, suffix_len, suffix, suffix_len, flags))
703                 return 0;
704         /*
705          * If the wildcard makes up the entire first label, it must match at
706          * least one character.
707          */
708         if (prefix_len == 0 && *suffix == '.')
709                 {
710                 if (wildcard_start == wildcard_end)
711                         return 0;
712                 allow_idna = 1;
713                 if (flags & X509_CHECK_FLAG_MULTI_LABEL_WILDCARDS)
714                         allow_multi = 1;
715                 }
716         /* IDNA labels cannot match partial wildcards */
717         if (!allow_idna &&
718             subject_len >= 4 && strncasecmp((char *)subject, "xn--", 4) == 0)
719                 return 0;
720         /* The wildcard may match a literal '*' */
721         if (wildcard_end == wildcard_start + 1 && *wildcard_start == '*')
722                 return 1;
723         /*
724          * Check that the part matched by the wildcard contains only
725          * permitted characters and only matches a single label unless
726          * allow_multi is set.
727          */
728         for (p = wildcard_start; p != wildcard_end; ++p)
729                 if (!(('0' <= *p && *p <= '9') ||
730                       ('A' <= *p && *p <= 'Z') ||
731                       ('a' <= *p && *p <= 'z') ||
732                       *p == '-' || (allow_multi && *p == '.')))
733                         return 0;
734         return 1;
735         }
736
737 #define LABEL_START     (1 << 0)
738 #define LABEL_END       (1 << 1)
739 #define LABEL_HYPHEN    (1 << 2)
740 #define LABEL_IDNA      (1 << 3)
741
742 static const unsigned char *valid_star(const unsigned char *p, size_t len,
743                                                 unsigned int flags)
744         {
745         const unsigned char *star = 0;
746         size_t i;
747         int state = LABEL_START;
748         int dots = 0;
749         for (i = 0; i < len; ++i)
750                 {
751                 /*
752                  * Locate first and only legal wildcard, either at the start
753                  * or end of a non-IDNA first and not final label.
754                  */
755                 if (p[i] == '*')
756                         {
757                         int atstart = (state & LABEL_START);
758                         int atend = (i == len - 1 || p[i+i] == '.');
759                         /*
760                          * At most one wildcard per pattern.
761                          * No wildcards in IDNA labels.
762                          * No wildcards after the first label.
763                          */
764                         if (star != NULL || (state & LABEL_IDNA) != 0 || dots)
765                                 return NULL;
766                         /* Only full-label '*.example.com' wildcards? */
767                         if ((flags & X509_CHECK_FLAG_NO_PARTIAL_WILDCARDS)
768                             && (!atstart || !atend))
769                                 return NULL;
770                         /* No 'foo*bar' wildcards */
771                         if (!atstart && !atend)
772                                 return NULL;
773                         star = &p[i];
774                         state &= ~LABEL_START;
775                         }
776                 else if ((state & LABEL_START) != 0)
777                         {
778                         /*
779                          * At the start of a label, skip any "xn--" and
780                          * remain in the LABEL_START state, but set the
781                          * IDNA label state
782                          */
783                         if ((state & LABEL_IDNA) == 0 && len - i >= 4
784                             && strncasecmp((char *)&p[i], "xn--", 4) == 0)
785                                 {
786                                 i += 3;
787                                 state |= LABEL_IDNA;
788                                 continue;
789                                 }
790                         /* Labels must start with a letter or digit */
791                         state &= ~LABEL_START;
792                         if (('a' <= p[i] && p[i] <= 'z')
793                             || ('A' <= p[i] && p[i] <= 'Z')
794                             || ('0' <= p[i] && p[i] <= '9'))
795                                 continue;
796                         return NULL;
797                         }
798                 else if (('a' <= p[i] && p[i] <= 'z')
799                          || ('A' <= p[i] && p[i] <= 'Z')
800                          || ('0' <= p[i] && p[i] <= '9'))
801                         {
802                         state &= LABEL_IDNA;
803                         continue;
804                         }
805                 else if (p[i] == '.')
806                         {
807                         if (state & (LABEL_HYPHEN | LABEL_START))
808                                 return NULL;
809                         state = LABEL_START;
810                         ++dots;
811                         }
812                 else if (p[i] == '-')
813                         {
814                         if (state & LABEL_HYPHEN)
815                                 return NULL;
816                         state |= LABEL_HYPHEN;
817                         }
818                 else
819                         return NULL;
820                 }
821
822         /*
823          * The final label must not end in a hyphen or ".", and
824          * there must be at least two dots after the star.
825          */
826         if ((state & (LABEL_START | LABEL_HYPHEN)) != 0
827             || dots < 2)
828                 return NULL;
829         return star;
830         }
831
832 /* Compare using wildcards. */
833 static int equal_wildcard(const unsigned char *pattern, size_t pattern_len,
834                           const unsigned char *subject, size_t subject_len,
835                           unsigned int flags)
836         {
837         const unsigned char *star = NULL;
838
839         /*
840          * Subject names starting with '.' can only match a wildcard pattern
841          * via a subject sub-domain pattern suffix match.
842          */
843         if (!(subject_len > 1 && subject[0] == '.'))
844                 star = valid_star(pattern, pattern_len, flags);
845         if (star == NULL)
846                 return equal_nocase(pattern, pattern_len,
847                                     subject, subject_len, flags);
848         return wildcard_match(pattern, star - pattern,
849                               star + 1, (pattern + pattern_len) - star - 1,
850                               subject, subject_len, flags);
851         }
852
853 /* Compare an ASN1_STRING to a supplied string. If they match
854  * return 1. If cmp_type > 0 only compare if string matches the
855  * type, otherwise convert it to UTF8.
856  */
857
858 static int do_check_string(ASN1_STRING *a, int cmp_type, equal_fn equal,
859                                 unsigned int flags,
860                                 const unsigned char *b, size_t blen)
861         {
862         if (!a->data || !a->length)
863                 return 0;
864         if (cmp_type > 0)
865                 {
866                 if (cmp_type != a->type)
867                         return 0;
868                 if (cmp_type == V_ASN1_IA5STRING)
869                         return equal(a->data, a->length, b, blen, flags);
870                 if (a->length == (int)blen && !memcmp(a->data, b, blen))
871                         return 1;
872                 else
873                         return 0;
874                 }
875         else
876                 {
877                 int astrlen, rv;
878                 unsigned char *astr;
879                 astrlen = ASN1_STRING_to_UTF8(&astr, a);
880                 if (astrlen < 0)
881                         return -1;
882                 rv = equal(astr, astrlen, b, blen, flags);
883                 OPENSSL_free(astr);
884                 return rv;
885                 }
886         }
887
888 static int do_x509_check(X509 *x, const unsigned char *chk, size_t chklen,
889                                         unsigned int flags, int check_type)
890         {
891         GENERAL_NAMES *gens = NULL;
892         X509_NAME *name = NULL;
893         int i;
894         int cnid;
895         int alt_type;
896         int san_present = 0;
897         equal_fn equal;
898         if (check_type == GEN_EMAIL)
899                 {
900                 cnid = NID_pkcs9_emailAddress;
901                 alt_type = V_ASN1_IA5STRING;
902                 equal = equal_email;
903                 }
904         else if (check_type == GEN_DNS)
905                 {
906                 cnid = NID_commonName;
907                 /* Implicit client-side DNS sub-domain pattern */
908                 if (chklen > 1 && chk[0] == '.')
909                         flags |= _X509_CHECK_FLAG_DOT_SUBDOMAINS;
910                 alt_type = V_ASN1_IA5STRING;
911                 if (flags & X509_CHECK_FLAG_NO_WILDCARDS)
912                         equal = equal_nocase;
913                 else
914                         equal = equal_wildcard;
915                 }
916         else
917                 {
918                 cnid = 0;
919                 alt_type = V_ASN1_OCTET_STRING;
920                 equal = equal_case;
921                 }
922
923         if (chklen == 0)
924                 chklen = strlen((const char *)chk);
925
926         gens = X509_get_ext_d2i(x, NID_subject_alt_name, NULL, NULL);
927         if (gens)
928                 {
929                 int rv = 0;
930                 for (i = 0; i < sk_GENERAL_NAME_num(gens); i++)
931                         {
932                         GENERAL_NAME *gen;
933                         ASN1_STRING *cstr;
934                         gen = sk_GENERAL_NAME_value(gens, i);
935                         if (gen->type != check_type)
936                                 continue;
937                         san_present = 1;
938                         if (check_type == GEN_EMAIL)
939                                 cstr = gen->d.rfc822Name;
940                         else if (check_type == GEN_DNS)
941                                 cstr = gen->d.dNSName;
942                         else
943                                 cstr = gen->d.iPAddress;
944                         if (do_check_string(cstr, alt_type, equal, flags,
945                                             chk, chklen))
946                                 {
947                                 rv = 1;
948                                 break;
949                                 }
950                         }
951                 GENERAL_NAMES_free(gens);
952                 if (rv)
953                         return 1;
954                 if (!cnid
955                     || (san_present
956                         && !(flags & X509_CHECK_FLAG_ALWAYS_CHECK_SUBJECT)))
957                         return 0;
958                 }
959         i = -1;
960         name = X509_get_subject_name(x);
961         while((i = X509_NAME_get_index_by_NID(name, cnid, i)) >= 0)
962                 {
963                 X509_NAME_ENTRY *ne;
964                 ASN1_STRING *str;
965                 ne = X509_NAME_get_entry(name, i);
966                 str = X509_NAME_ENTRY_get_data(ne);
967                 if (do_check_string(str, -1, equal, flags, chk, chklen))
968                         return 1;
969                 }
970         return 0;
971         }
972
973 int X509_check_host(X509 *x, const unsigned char *chk, size_t chklen,
974                                         unsigned int flags)
975         {
976         return do_x509_check(x, chk, chklen, flags, GEN_DNS);
977         }
978
979 int X509_check_email(X509 *x, const unsigned char *chk, size_t chklen,
980                                         unsigned int flags)
981         {
982         return do_x509_check(x, chk, chklen, flags, GEN_EMAIL);
983         }
984
985 int X509_check_ip(X509 *x, const unsigned char *chk, size_t chklen,
986                                         unsigned int flags)
987         {
988         return do_x509_check(x, chk, chklen, flags, GEN_IPADD);
989         }
990
991 int X509_check_ip_asc(X509 *x, const char *ipasc, unsigned int flags)
992         {
993         unsigned char ipout[16];
994         int iplen;
995         iplen = a2i_ipadd(ipout, ipasc);
996         if (iplen == 0)
997                 return -2;
998         return do_x509_check(x, ipout, (size_t)iplen, flags, GEN_IPADD);
999         }
1000
1001 /* Convert IP addresses both IPv4 and IPv6 into an 
1002  * OCTET STRING compatible with RFC3280.
1003  */
1004
1005 ASN1_OCTET_STRING *a2i_IPADDRESS(const char *ipasc)
1006         {
1007         unsigned char ipout[16];
1008         ASN1_OCTET_STRING *ret;
1009         int iplen;
1010
1011         /* If string contains a ':' assume IPv6 */
1012
1013         iplen = a2i_ipadd(ipout, ipasc);
1014
1015         if (!iplen)
1016                 return NULL;
1017
1018         ret = ASN1_OCTET_STRING_new();
1019         if (!ret)
1020                 return NULL;
1021         if (!ASN1_OCTET_STRING_set(ret, ipout, iplen))
1022                 {
1023                 ASN1_OCTET_STRING_free(ret);
1024                 return NULL;
1025                 }
1026         return ret;
1027         }
1028
1029 ASN1_OCTET_STRING *a2i_IPADDRESS_NC(const char *ipasc)
1030         {
1031         ASN1_OCTET_STRING *ret = NULL;
1032         unsigned char ipout[32];
1033         char *iptmp = NULL, *p;
1034         int iplen1, iplen2;
1035         p = strchr(ipasc,'/');
1036         if (!p)
1037                 return NULL;
1038         iptmp = BUF_strdup(ipasc);
1039         if (!iptmp)
1040                 return NULL;
1041         p = iptmp + (p - ipasc);
1042         *p++ = 0;
1043
1044         iplen1 = a2i_ipadd(ipout, iptmp);
1045
1046         if (!iplen1)
1047                 goto err;
1048
1049         iplen2 = a2i_ipadd(ipout + iplen1, p);
1050
1051         OPENSSL_free(iptmp);
1052         iptmp = NULL;
1053
1054         if (!iplen2 || (iplen1 != iplen2))
1055                 goto err;
1056
1057         ret = ASN1_OCTET_STRING_new();
1058         if (!ret)
1059                 goto err;
1060         if (!ASN1_OCTET_STRING_set(ret, ipout, iplen1 + iplen2))
1061                 goto err;
1062
1063         return ret;
1064
1065         err:
1066         if (iptmp)
1067                 OPENSSL_free(iptmp);
1068         if (ret)
1069                 ASN1_OCTET_STRING_free(ret);
1070         return NULL;
1071         }
1072         
1073
1074 int a2i_ipadd(unsigned char *ipout, const char *ipasc)
1075         {
1076         /* If string contains a ':' assume IPv6 */
1077
1078         if (strchr(ipasc, ':'))
1079                 {
1080                 if (!ipv6_from_asc(ipout, ipasc))
1081                         return 0;
1082                 return 16;
1083                 }
1084         else
1085                 {
1086                 if (!ipv4_from_asc(ipout, ipasc))
1087                         return 0;
1088                 return 4;
1089                 }
1090         }
1091
1092 static int ipv4_from_asc(unsigned char *v4, const char *in)
1093         {
1094         int a0, a1, a2, a3;
1095         if (sscanf(in, "%d.%d.%d.%d", &a0, &a1, &a2, &a3) != 4)
1096                 return 0;
1097         if ((a0 < 0) || (a0 > 255) || (a1 < 0) || (a1 > 255)
1098                 || (a2 < 0) || (a2 > 255) || (a3 < 0) || (a3 > 255))
1099                 return 0;
1100         v4[0] = a0;
1101         v4[1] = a1;
1102         v4[2] = a2;
1103         v4[3] = a3;
1104         return 1;
1105         }
1106
1107 typedef struct {
1108                 /* Temporary store for IPV6 output */
1109                 unsigned char tmp[16];
1110                 /* Total number of bytes in tmp */
1111                 int total;
1112                 /* The position of a zero (corresponding to '::') */
1113                 int zero_pos;
1114                 /* Number of zeroes */
1115                 int zero_cnt;
1116         } IPV6_STAT;
1117
1118
1119 static int ipv6_from_asc(unsigned char *v6, const char *in)
1120         {
1121         IPV6_STAT v6stat;
1122         v6stat.total = 0;
1123         v6stat.zero_pos = -1;
1124         v6stat.zero_cnt = 0;
1125         /* Treat the IPv6 representation as a list of values
1126          * separated by ':'. The presence of a '::' will parse
1127          * as one, two or three zero length elements.
1128          */
1129         if (!CONF_parse_list(in, ':', 0, ipv6_cb, &v6stat))
1130                 return 0;
1131
1132         /* Now for some sanity checks */
1133
1134         if (v6stat.zero_pos == -1)
1135                 {
1136                 /* If no '::' must have exactly 16 bytes */
1137                 if (v6stat.total != 16)
1138                         return 0;
1139                 }
1140         else 
1141                 {
1142                 /* If '::' must have less than 16 bytes */
1143                 if (v6stat.total == 16)
1144                         return 0;
1145                 /* More than three zeroes is an error */
1146                 if (v6stat.zero_cnt > 3)
1147                         return 0;
1148                 /* Can only have three zeroes if nothing else present */
1149                 else if (v6stat.zero_cnt == 3)
1150                         {
1151                         if (v6stat.total > 0)
1152                                 return 0;
1153                         }
1154                 /* Can only have two zeroes if at start or end */
1155                 else if (v6stat.zero_cnt == 2)
1156                         {
1157                         if ((v6stat.zero_pos != 0)
1158                                 && (v6stat.zero_pos != v6stat.total))
1159                                 return 0;
1160                         }
1161                 else 
1162                 /* Can only have one zero if *not* start or end */
1163                         {
1164                         if ((v6stat.zero_pos == 0)
1165                                 || (v6stat.zero_pos == v6stat.total))
1166                                 return 0;
1167                         }
1168                 }
1169
1170         /* Format result */
1171
1172         if (v6stat.zero_pos >= 0)
1173                 {
1174                 /* Copy initial part */
1175                 memcpy(v6, v6stat.tmp, v6stat.zero_pos);
1176                 /* Zero middle */
1177                 memset(v6 + v6stat.zero_pos, 0, 16 - v6stat.total);
1178                 /* Copy final part */
1179                 if (v6stat.total != v6stat.zero_pos)
1180                         memcpy(v6 + v6stat.zero_pos + 16 - v6stat.total,
1181                                 v6stat.tmp + v6stat.zero_pos,
1182                                 v6stat.total - v6stat.zero_pos);
1183                 }
1184         else
1185                 memcpy(v6, v6stat.tmp, 16);
1186
1187         return 1;
1188         }
1189
1190 static int ipv6_cb(const char *elem, int len, void *usr)
1191         {
1192         IPV6_STAT *s = usr;
1193         /* Error if 16 bytes written */
1194         if (s->total == 16)
1195                 return 0;
1196         if (len == 0)
1197                 {
1198                 /* Zero length element, corresponds to '::' */
1199                 if (s->zero_pos == -1)
1200                         s->zero_pos = s->total;
1201                 /* If we've already got a :: its an error */
1202                 else if (s->zero_pos != s->total)
1203                         return 0;
1204                 s->zero_cnt++;
1205                 }
1206         else 
1207                 {
1208                 /* If more than 4 characters could be final a.b.c.d form */
1209                 if (len > 4)
1210                         {
1211                         /* Need at least 4 bytes left */
1212                         if (s->total > 12)
1213                                 return 0;
1214                         /* Must be end of string */
1215                         if (elem[len])
1216                                 return 0;
1217                         if (!ipv4_from_asc(s->tmp + s->total, elem))
1218                                 return 0;
1219                         s->total += 4;
1220                         }
1221                 else
1222                         {
1223                         if (!ipv6_hex(s->tmp + s->total, elem, len))
1224                                 return 0;
1225                         s->total += 2;
1226                         }
1227                 }
1228         return 1;
1229         }
1230
1231 /* Convert a string of up to 4 hex digits into the corresponding
1232  * IPv6 form.
1233  */
1234
1235 static int ipv6_hex(unsigned char *out, const char *in, int inlen)
1236         {
1237         unsigned char c;
1238         unsigned int num = 0;
1239         if (inlen > 4)
1240                 return 0;
1241         while(inlen--)
1242                 {
1243                 c = *in++;
1244                 num <<= 4;
1245                 if ((c >= '0') && (c <= '9'))
1246                         num |= c - '0';
1247                 else if ((c >= 'A') && (c <= 'F'))
1248                         num |= c - 'A' + 10;
1249                 else if ((c >= 'a') && (c <= 'f'))
1250                         num |=  c - 'a' + 10;
1251                 else
1252                         return 0;
1253                 }
1254         out[0] = num >> 8;
1255         out[1] = num & 0xff;
1256         return 1;
1257         }
1258
1259
1260 int X509V3_NAME_from_section(X509_NAME *nm, STACK_OF(CONF_VALUE)*dn_sk,
1261                                                 unsigned long chtype)
1262         {
1263         CONF_VALUE *v;
1264         int i, mval;
1265         char *p, *type;
1266         if (!nm)
1267                 return 0;
1268
1269         for (i = 0; i < sk_CONF_VALUE_num(dn_sk); i++)
1270                 {
1271                 v=sk_CONF_VALUE_value(dn_sk,i);
1272                 type=v->name;
1273                 /* Skip past any leading X. X: X, etc to allow for
1274                  * multiple instances 
1275                  */
1276                 for(p = type; *p ; p++) 
1277 #ifndef CHARSET_EBCDIC
1278                         if ((*p == ':') || (*p == ',') || (*p == '.'))
1279 #else
1280                         if ((*p == os_toascii[':']) || (*p == os_toascii[',']) || (*p == os_toascii['.']))
1281 #endif
1282                                 {
1283                                 p++;
1284                                 if(*p) type = p;
1285                                 break;
1286                                 }
1287 #ifndef CHARSET_EBCDIC
1288                 if (*type == '+')
1289 #else
1290                 if (*type == os_toascii['+'])
1291 #endif
1292                         {
1293                         mval = -1;
1294                         type++;
1295                         }
1296                 else
1297                         mval = 0;
1298                 if (!X509_NAME_add_entry_by_txt(nm,type, chtype,
1299                                 (unsigned char *) v->value,-1,-1,mval))
1300                                         return 0;
1301
1302                 }
1303         return 1;
1304         }