source: EcnlProtoTool/trunk/openssl-1.1.0e/crypto/x509v3/v3_utl.c@ 331

Last change on this file since 331 was 331, checked in by coas-nagasima, 6 years ago

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