x509_vfy.c 42.2 KB
Newer Older
1
/* crypto/x509/x509_vfy.c */
2
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
 * All rights reserved.
 *
 * This package is an SSL implementation written
 * by Eric Young (eay@cryptsoft.com).
 * The implementation was written so as to conform with Netscapes SSL.
 * 
 * This library is free for commercial and non-commercial use as long as
 * the following conditions are aheared to.  The following conditions
 * apply to all code found in this distribution, be it the RC4, RSA,
 * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
 * included with this distribution is covered by the same copyright terms
 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
 * 
 * Copyright remains Eric Young's, and as such any Copyright notices in
 * the code are not to be removed.
 * If this package is used in a product, Eric Young should be given attribution
 * as the author of the parts of the library used.
 * This can be in the form of a textual message at program startup or
 * in documentation (online or textual) provided with the package.
 * 
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. All advertising materials mentioning features or use of this software
 *    must display the following acknowledgement:
 *    "This product includes cryptographic software written by
 *     Eric Young (eay@cryptsoft.com)"
 *    The word 'cryptographic' can be left out if the rouines from the library
 *    being used are not cryptographic related :-).
 * 4. If you include any Windows specific code (or a derivative thereof) from 
 *    the apps directory (application code) you must include an acknowledgement:
 *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
 * 
 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 * 
 * The licence and distribution terms for any publically available version or
 * derivative of this code cannot be changed.  i.e. this code cannot simply be
 * copied and put under another distribution licence
 * [including the GNU Public Licence.]
 */

#include <stdio.h>
#include <time.h>
#include <errno.h>

#include "cryptlib.h"
A
Andy Polyakov 已提交
64
#include <openssl/crypto.h>
65 66 67 68 69
#include <openssl/lhash.h>
#include <openssl/buffer.h>
#include <openssl/evp.h>
#include <openssl/asn1.h>
#include <openssl/x509.h>
70
#include <openssl/x509v3.h>
71
#include <openssl/objects.h>
72 73

static int null_callback(int ok,X509_STORE_CTX *e);
74 75
static int check_issued(X509_STORE_CTX *ctx, X509 *x, X509 *issuer);
static X509 *find_issuer(X509_STORE_CTX *ctx, STACK_OF(X509) *sk, X509 *x);
76
static int check_chain_extensions(X509_STORE_CTX *ctx);
77
static int check_name_constraints(X509_STORE_CTX *ctx);
78
static int check_trust(X509_STORE_CTX *ctx);
D
 
Dr. Stephen Henson 已提交
79 80
static int check_revocation(X509_STORE_CTX *ctx);
static int check_cert(X509_STORE_CTX *ctx);
81
static int check_policy(X509_STORE_CTX *ctx);
82
static int crl_akid_check(X509_STORE_CTX *ctx, X509_CRL *crl, X509 **pissuer);
83
static int idp_check_scope(X509 *x, X509_CRL *crl);
84
static int internal_verify(X509_STORE_CTX *ctx);
85
const char X509_version[]="X.509" OPENSSL_VERSION_PTEXT;
B
Ben Laurie 已提交
86

87

U
Ulf Möller 已提交
88
static int null_callback(int ok, X509_STORE_CTX *e)
89
	{
90
	return ok;
91 92 93
	}

#if 0
U
Ulf Möller 已提交
94
static int x509_subject_cmp(X509 **a, X509 **b)
95
	{
96
	return X509_subject_name_cmp(*a,*b);
97 98 99
	}
#endif

U
Ulf Möller 已提交
100
int X509_verify_cert(X509_STORE_CTX *ctx)
101 102 103
	{
	X509 *x,*xtmp,*chain_ss=NULL;
	X509_NAME *xn;
104 105
	int bad_chain = 0;
	X509_VERIFY_PARAM *param = ctx->param;
106 107
	int depth,i,ok=0;
	int num;
108
	int (*cb)(int xok,X509_STORE_CTX *xctx);
B
Ben Laurie 已提交
109
	STACK_OF(X509) *sktmp=NULL;
110 111 112
	if (ctx->cert == NULL)
		{
		X509err(X509_F_X509_VERIFY_CERT,X509_R_NO_CERT_SET_FOR_US_TO_VERIFY);
113
		return -1;
114 115
		}

116
	cb=ctx->verify_cb;
117 118 119 120 121

	/* first we make sure the chain we are going to build is
	 * present and that the first entry is in place */
	if (ctx->chain == NULL)
		{
B
Ben Laurie 已提交
122 123
		if (	((ctx->chain=sk_X509_new_null()) == NULL) ||
			(!sk_X509_push(ctx->chain,ctx->cert)))
124 125 126 127 128 129 130 131
			{
			X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
			goto end;
			}
		CRYPTO_add(&ctx->cert->references,1,CRYPTO_LOCK_X509);
		ctx->last_untrusted=1;
		}

132
	/* We use a temporary STACK so we can chop and hack at it */
B
Ben Laurie 已提交
133 134
	if (ctx->untrusted != NULL
	    && (sktmp=sk_X509_dup(ctx->untrusted)) == NULL)
135 136 137 138 139
		{
		X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
		goto end;
		}

B
Ben Laurie 已提交
140 141
	num=sk_X509_num(ctx->chain);
	x=sk_X509_value(ctx->chain,num-1);
142
	depth=param->depth;
143 144 145 146 147


	for (;;)
		{
		/* If we have enough, we break */
B
Bodo Möller 已提交
148
		if (depth < num) break; /* FIXME: If this happens, we should take
B
Bodo Möller 已提交
149 150 151 152
		                         * note of it and, if appropriate, use the
		                         * X509_V_ERR_CERT_CHAIN_TOO_LONG error
		                         * code later.
		                         */
153 154 155

		/* If we are self signed, we break */
		xn=X509_get_issuer_name(x);
156
		if (ctx->check_issued(ctx, x,x)) break;
157 158 159 160

		/* If we were passed a cert chain, use it first */
		if (ctx->untrusted != NULL)
			{
161
			xtmp=find_issuer(ctx, sktmp,x);
162 163
			if (xtmp != NULL)
				{
B
Ben Laurie 已提交
164
				if (!sk_X509_push(ctx->chain,xtmp))
165 166 167 168 169
					{
					X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
					goto end;
					}
				CRYPTO_add(&xtmp->references,1,CRYPTO_LOCK_X509);
170
				(void)sk_X509_delete_ptr(sktmp,xtmp);
171 172 173 174 175 176 177 178 179 180 181 182 183 184 185
				ctx->last_untrusted++;
				x=xtmp;
				num++;
				/* reparse the full chain for
				 * the next one */
				continue;
				}
			}
		break;
		}

	/* at this point, chain should contain a list of untrusted
	 * certificates.  We now need to add at least one trusted one,
	 * if possible, otherwise we complain. */

186 187 188 189
	/* Examine last certificate in chain and see if it
 	 * is self signed.
 	 */

B
Ben Laurie 已提交
190 191
	i=sk_X509_num(ctx->chain);
	x=sk_X509_value(ctx->chain,i-1);
192
	xn = X509_get_subject_name(x);
193
	if (ctx->check_issued(ctx, x, x))
194 195
		{
		/* we have a self signed certificate */
B
Ben Laurie 已提交
196
		if (sk_X509_num(ctx->chain) == 1)
197
			{
198 199 200 201
			/* We have a single self signed certificate: see if
			 * we can find it in the store. We must have an exact
			 * match to avoid possible impersonation.
			 */
202 203
			ok = ctx->get_issuer(&xtmp, ctx, x);
			if ((ok <= 0) || X509_cmp(x, xtmp)) 
204 205 206 207
				{
				ctx->error=X509_V_ERR_DEPTH_ZERO_SELF_SIGNED_CERT;
				ctx->current_cert=x;
				ctx->error_depth=i-1;
208
				if (ok == 1) X509_free(xtmp);
209
				bad_chain = 1;
210 211 212 213 214 215 216 217 218
				ok=cb(0,ctx);
				if (!ok) goto end;
				}
			else 
				{
				/* We have a match: replace certificate with store version
				 * so we get any trust settings.
				 */
				X509_free(x);
219
				x = xtmp;
D
Dr. Stephen Henson 已提交
220
				(void)sk_X509_set(ctx->chain, i - 1, x);
221 222
				ctx->last_untrusted=0;
				}
223 224 225
			}
		else
			{
226
			/* extract and save self signed certificate for later use */
B
Ben Laurie 已提交
227
			chain_ss=sk_X509_pop(ctx->chain);
228 229
			ctx->last_untrusted--;
			num--;
B
Ben Laurie 已提交
230
			x=sk_X509_value(ctx->chain,num-1);
231 232 233 234 235 236 237
			}
		}

	/* We now lookup certs from the certificate store */
	for (;;)
		{
		/* If we have enough, we break */
238
		if (depth < num) break;
239 240 241

		/* If we are self signed, we break */
		xn=X509_get_issuer_name(x);
242
		if (ctx->check_issued(ctx,x,x)) break;
243

244 245 246
		ok = ctx->get_issuer(&xtmp, ctx, x);

		if (ok < 0) return ok;
247
		if (ok == 0) break;
248 249 250

		x = xtmp;
		if (!sk_X509_push(ctx->chain,x))
251
			{
252
			X509_free(xtmp);
253
			X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
254
			return 0;
255 256 257 258 259 260
			}
		num++;
		}

	/* we now have our chain, lets check it... */
	xn=X509_get_issuer_name(x);
261 262 263

	/* Is last certificate looked up self signed? */
	if (!ctx->check_issued(ctx,x,x))
264
		{
265
		if ((chain_ss == NULL) || !ctx->check_issued(ctx, x, chain_ss))
266 267 268 269 270 271 272 273 274 275
			{
			if (ctx->last_untrusted >= num)
				ctx->error=X509_V_ERR_UNABLE_TO_GET_ISSUER_CERT_LOCALLY;
			else
				ctx->error=X509_V_ERR_UNABLE_TO_GET_ISSUER_CERT;
			ctx->current_cert=x;
			}
		else
			{

B
Ben Laurie 已提交
276
			sk_X509_push(ctx->chain,chain_ss);
277 278 279 280 281 282 283 284
			num++;
			ctx->last_untrusted=num;
			ctx->current_cert=chain_ss;
			ctx->error=X509_V_ERR_SELF_SIGNED_CERT_IN_CHAIN;
			chain_ss=NULL;
			}

		ctx->error_depth=num-1;
285
		bad_chain = 1;
286 287 288 289
		ok=cb(0,ctx);
		if (!ok) goto end;
		}

290
	/* We have the chain complete: now we need to check its purpose */
291
	ok = check_chain_extensions(ctx);
292

293
	if (!ok) goto end;
294

295 296 297 298 299 300
	/* Check name constraints */

	ok = check_name_constraints(ctx);
	
	if (!ok) goto end;

301 302
	/* The chain extensions are OK: check trust */

303
	if (param->trust > 0) ok = check_trust(ctx);
304

305
	if (!ok) goto end;
306

307 308 309
	/* We may as well copy down any DSA parameters that are required */
	X509_get_pubkey_parameters(NULL,ctx->chain);

D
 
Dr. Stephen Henson 已提交
310 311 312 313 314 315 316
	/* Check revocation status: we do this after copying parameters
	 * because they may be needed for CRL signature verification.
	 */

	ok = ctx->check_revocation(ctx);
	if(!ok) goto end;

317
	/* At this point, we have a chain and need to verify it */
318 319
	if (ctx->verify != NULL)
		ok=ctx->verify(ctx);
320 321
	else
		ok=internal_verify(ctx);
322 323
	if(!ok) goto end;

324
#ifndef OPENSSL_NO_RFC3779
B
Ben Laurie 已提交
325 326 327 328 329 330 331
	/* RFC 3779 path validation, now that CRL check has been done */
	ok = v3_asid_validate_path(ctx);
	if (!ok) goto end;
	ok = v3_addr_validate_path(ctx);
	if (!ok) goto end;
#endif

332 333 334 335
	/* If we get this far evaluate policies */
	if (!bad_chain && (ctx->param->flags & X509_V_FLAG_POLICY_CHECK))
		ok = ctx->check_policy(ctx);
	if(!ok) goto end;
336 337
	if (0)
		{
338
end:
339 340
		X509_get_pubkey_parameters(NULL,ctx->chain);
		}
B
Ben Laurie 已提交
341
	if (sktmp != NULL) sk_X509_free(sktmp);
342
	if (chain_ss != NULL) X509_free(chain_ss);
343
	return ok;
344 345
	}

346 347 348 349 350 351 352 353

/* Given a STACK_OF(X509) find the issuer of cert (if any)
 */

static X509 *find_issuer(X509_STORE_CTX *ctx, STACK_OF(X509) *sk, X509 *x)
{
	int i;
	X509 *issuer;
354
	for (i = 0; i < sk_X509_num(sk); i++)
355
		{
356
		issuer = sk_X509_value(sk, i);
357
		if (ctx->check_issued(ctx, x, issuer))
358 359
			return issuer;
		}
360 361 362 363 364 365 366 367 368
	return NULL;
}

/* Given a possible certificate and issuer check them */

static int check_issued(X509_STORE_CTX *ctx, X509 *x, X509 *issuer)
{
	int ret;
	ret = X509_check_issued(issuer, x);
369 370
	if (ret == X509_V_OK)
		return 1;
D
 
Dr. Stephen Henson 已提交
371
	/* If we haven't asked for issuer errors don't set ctx */
372
	if (!(ctx->param->flags & X509_V_FLAG_CB_ISSUER_CHECK))
D
 
Dr. Stephen Henson 已提交
373 374 375 376 377
		return 0;

	ctx->error = ret;
	ctx->current_cert = x;
	ctx->current_issuer = issuer;
378
	return ctx->verify_cb(0, ctx);
379 380 381 382 383 384 385 386
	return 0;
}

/* Alternative lookup method: look from a STACK stored in other_ctx */

static int get_issuer_sk(X509 **issuer, X509_STORE_CTX *ctx, X509 *x)
{
	*issuer = find_issuer(ctx, ctx->other_ctx, x);
387 388
	if (*issuer)
		{
389 390
		CRYPTO_add(&(*issuer)->references,1,CRYPTO_LOCK_X509);
		return 1;
391 392 393
		}
	else
		return 0;
394 395 396
}
	

397 398 399 400
/* Check a certificate chains extensions for consistency
 * with the supplied purpose
 */

401
static int check_chain_extensions(X509_STORE_CTX *ctx)
402
{
403
#ifdef OPENSSL_NO_CHAIN_VERIFY
404 405
	return 1;
#else
D
Dr. Stephen Henson 已提交
406
	int i, ok=0, must_be_ca, plen = 0;
407
	X509 *x;
408
	int (*cb)(int xok,X509_STORE_CTX *xctx);
409
	int proxy_path_length = 0;
410 411
	int allow_proxy_certs =
		!!(ctx->param->flags & X509_V_FLAG_ALLOW_PROXY_CERTS);
412
	cb=ctx->verify_cb;
413 414 415 416 417 418 419 420 421 422

	/* must_be_ca can have 1 of 3 values:
	   -1: we accept both CA and non-CA certificates, to allow direct
	       use of self-signed certificates (which are marked as CA).
	   0:  we only accept non-CA certificates.  This is currently not
	       used, but the possibility is present for future extensions.
	   1:  we only accept CA certificates.  This is currently used for
	       all certificates in the chain except the leaf certificate.
	*/
	must_be_ca = -1;
423 424 425 426 427 428

	/* A hack to keep people who don't want to modify their software
	   happy */
	if (getenv("OPENSSL_ALLOW_PROXY_CERTS"))
		allow_proxy_certs = 1;

429
	/* Check all untrusted certificates */
430
	for (i = 0; i < ctx->last_untrusted; i++)
431
		{
432
		int ret;
433
		x = sk_X509_value(ctx->chain, i);
434
		if (!(ctx->param->flags & X509_V_FLAG_IGNORE_CRITICAL)
D
 
Dr. Stephen Henson 已提交
435 436 437 438 439 440 441 442
			&& (x->ex_flags & EXFLAG_CRITICAL))
			{
			ctx->error = X509_V_ERR_UNHANDLED_CRITICAL_EXTENSION;
			ctx->error_depth = i;
			ctx->current_cert = x;
			ok=cb(0,ctx);
			if (!ok) goto end;
			}
443 444 445 446 447 448 449 450
		if (!allow_proxy_certs && (x->ex_flags & EXFLAG_PROXY))
			{
			ctx->error = X509_V_ERR_PROXY_CERTIFICATES_NOT_ALLOWED;
			ctx->error_depth = i;
			ctx->current_cert = x;
			ok=cb(0,ctx);
			if (!ok) goto end;
			}
451 452
		ret = X509_check_ca(x);
		switch(must_be_ca)
453
			{
454 455 456 457 458
		case -1:
			if ((ctx->param->flags & X509_V_FLAG_X509_STRICT)
				&& (ret != 1) && (ret != 0))
				{
				ret = 0;
459
				ctx->error = X509_V_ERR_INVALID_CA;
460
				}
461
			else
462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486
				ret = 1;
			break;
		case 0:
			if (ret != 0)
				{
				ret = 0;
				ctx->error = X509_V_ERR_INVALID_NON_CA;
				}
			else
				ret = 1;
			break;
		default:
			if ((ret == 0)
				|| ((ctx->param->flags & X509_V_FLAG_X509_STRICT)
					&& (ret != 1)))
				{
				ret = 0;
				ctx->error = X509_V_ERR_INVALID_CA;
				}
			else
				ret = 1;
			break;
			}
		if (ret == 0)
			{
487 488 489
			ctx->error_depth = i;
			ctx->current_cert = x;
			ok=cb(0,ctx);
490 491
			if (!ok) goto end;
			}
492 493 494 495 496 497 498 499 500 501 502 503 504 505 506
		if (ctx->param->purpose > 0)
			{
			ret = X509_check_purpose(x, ctx->param->purpose,
				must_be_ca > 0);
			if ((ret == 0)
				|| ((ctx->param->flags & X509_V_FLAG_X509_STRICT)
					&& (ret != 1)))
				{
				ctx->error = X509_V_ERR_INVALID_PURPOSE;
				ctx->error_depth = i;
				ctx->current_cert = x;
				ok=cb(0,ctx);
				if (!ok) goto end;
				}
			}
D
Dr. Stephen Henson 已提交
507 508 509 510
		/* Check pathlen if not self issued */
		if ((i > 1) && !(x->ex_flags & EXFLAG_SI)
			   && (x->ex_pathlen != -1)
			   && (plen > (x->ex_pathlen + proxy_path_length + 1)))
511
			{
512 513 514 515
			ctx->error = X509_V_ERR_PATH_LENGTH_EXCEEDED;
			ctx->error_depth = i;
			ctx->current_cert = x;
			ok=cb(0,ctx);
516 517
			if (!ok) goto end;
			}
D
Dr. Stephen Henson 已提交
518 519 520
		/* Increment path length if not self issued */
		if (!(x->ex_flags & EXFLAG_SI))
			plen++;
521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540
		/* If this certificate is a proxy certificate, the next
		   certificate must be another proxy certificate or a EE
		   certificate.  If not, the next certificate must be a
		   CA certificate.  */
		if (x->ex_flags & EXFLAG_PROXY)
			{
			if (x->ex_pcpathlen != -1 && i > x->ex_pcpathlen)
				{
				ctx->error =
					X509_V_ERR_PROXY_PATH_LENGTH_EXCEEDED;
				ctx->error_depth = i;
				ctx->current_cert = x;
				ok=cb(0,ctx);
				if (!ok) goto end;
				}
			proxy_path_length++;
			must_be_ca = 0;
			}
		else
			must_be_ca = 1;
541 542
		}
	ok = 1;
543
 end:
544
	return ok;
545 546 547
#endif
}

548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583
static int check_name_constraints(X509_STORE_CTX *ctx)
	{
	X509 *x;
	int i, j, rv;
	/* Check name constraints for all certificates */
	for (i = sk_X509_num(ctx->chain) - 1; i >= 0; i--)
		{
		x = sk_X509_value(ctx->chain, i);
		/* Ignore self issued certs unless last in chain */
		if (i && (x->ex_flags & EXFLAG_SI))
			continue;
		/* Check against constraints for all certificates higher in
		 * chain including trust anchor. Trust anchor not strictly
		 * speaking needed but if it includes constraints it is to be
		 * assumed it expects them to be obeyed.
		 */
		for (j = sk_X509_num(ctx->chain) - 1; j > i; j--)
			{
			NAME_CONSTRAINTS *nc = sk_X509_value(ctx->chain, j)->nc;
			if (nc)
				{
				rv = NAME_CONSTRAINTS_check(x, nc);
				if (rv != X509_V_OK)
					{
					ctx->error = rv;
					ctx->error_depth = i;
					ctx->current_cert = x;
					if (!ctx->verify_cb(0,ctx))
						return 0;
					}
				}
			}
		}
	return 1;
	}

584 585
static int check_trust(X509_STORE_CTX *ctx)
{
586
#ifdef OPENSSL_NO_CHAIN_VERIFY
587 588 589 590
	return 1;
#else
	int i, ok;
	X509 *x;
591
	int (*cb)(int xok,X509_STORE_CTX *xctx);
592
	cb=ctx->verify_cb;
593 594 595
/* For now just check the last certificate in the chain */
	i = sk_X509_num(ctx->chain) - 1;
	x = sk_X509_value(ctx->chain, i);
596
	ok = X509_check_trust(x, ctx->param->trust, 0);
597 598
	if (ok == X509_TRUST_TRUSTED)
		return 1;
D
 
Dr. Stephen Henson 已提交
599
	ctx->error_depth = i;
600
	ctx->current_cert = x;
601 602 603 604
	if (ok == X509_TRUST_REJECTED)
		ctx->error = X509_V_ERR_CERT_REJECTED;
	else
		ctx->error = X509_V_ERR_CERT_UNTRUSTED;
605
	ok = cb(0, ctx);
606
	return ok;
607 608 609
#endif
}

D
 
Dr. Stephen Henson 已提交
610 611 612
static int check_revocation(X509_STORE_CTX *ctx)
	{
	int i, last, ok;
613
	if (!(ctx->param->flags & X509_V_FLAG_CRL_CHECK))
D
 
Dr. Stephen Henson 已提交
614
		return 1;
615
	if (ctx->param->flags & X509_V_FLAG_CRL_CHECK_ALL)
D
 
Dr. Stephen Henson 已提交
616
		last = sk_X509_num(ctx->chain) - 1;
617 618
	else
		last = 0;
D
 
Dr. Stephen Henson 已提交
619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635
	for(i = 0; i <= last; i++)
		{
		ctx->error_depth = i;
		ok = check_cert(ctx);
		if (!ok) return ok;
		}
	return 1;
	}

static int check_cert(X509_STORE_CTX *ctx)
	{
	X509_CRL *crl = NULL;
	X509 *x;
	int ok, cnum;
	cnum = ctx->error_depth;
	x = sk_X509_value(ctx->chain, cnum);
	ctx->current_cert = x;
636
	ctx->current_issuer = NULL;
D
 
Dr. Stephen Henson 已提交
637 638 639 640 641 642 643 644
	/* Try to retrieve relevant CRL */
	ok = ctx->get_crl(ctx, &crl, x);
	/* If error looking up CRL, nothing we can do except
	 * notify callback
	 */
	if(!ok)
		{
		ctx->error = X509_V_ERR_UNABLE_TO_GET_CRL;
645
		ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
646 647 648 649 650 651 652 653 654 655 656 657 658
		goto err;
		}
	ctx->current_crl = crl;
	ok = ctx->check_crl(ctx, crl);
	if (!ok) goto err;
	ok = ctx->cert_crl(ctx, crl, x);
	err:
	ctx->current_crl = NULL;
	X509_CRL_free(crl);
	return ok;

	}

659 660 661 662 663 664 665
/* Check CRL times against values in X509_STORE_CTX */

static int check_crl_time(X509_STORE_CTX *ctx, X509_CRL *crl, int notify)
	{
	time_t *ptime;
	int i;
	ctx->current_crl = crl;
666 667
	if (ctx->param->flags & X509_V_FLAG_USE_CHECK_TIME)
		ptime = &ctx->param->check_time;
668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709
	else
		ptime = NULL;

	i=X509_cmp_time(X509_CRL_get_lastUpdate(crl), ptime);
	if (i == 0)
		{
		ctx->error=X509_V_ERR_ERROR_IN_CRL_LAST_UPDATE_FIELD;
		if (!notify || !ctx->verify_cb(0, ctx))
			return 0;
		}

	if (i > 0)
		{
		ctx->error=X509_V_ERR_CRL_NOT_YET_VALID;
		if (!notify || !ctx->verify_cb(0, ctx))
			return 0;
		}

	if(X509_CRL_get_nextUpdate(crl))
		{
		i=X509_cmp_time(X509_CRL_get_nextUpdate(crl), ptime);

		if (i == 0)
			{
			ctx->error=X509_V_ERR_ERROR_IN_CRL_NEXT_UPDATE_FIELD;
			if (!notify || !ctx->verify_cb(0, ctx))
				return 0;
			}

		if (i < 0)
			{
			ctx->error=X509_V_ERR_CRL_HAS_EXPIRED;
			if (!notify || !ctx->verify_cb(0, ctx))
				return 0;
			}
		}

	ctx->current_crl = NULL;

	return 1;
	}

710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725
/* Based on a set of possible CRLs decide which one is best suited
 * to handle the current certificate. This is determined by a number
 * of criteria. If any of the "must" criteria is not satisfied then
 * the candidate CRL is rejected. If all "must" and all "should" are
 * satisfied the CRL is accepted. If no CRL satisfies all criteria then
 * a "best CRL" is used to provide some meaningful error information.
 *
 * CRL issuer name must match "nm" if not NULL.
 * If IDP is present:
 *   a. it must be consistent.
 *   b. onlyuser, onlyCA, onlyAA should match certificate being checked.
 *   c. indirectCRL must be FALSE.
 *   d. onlysomereason must be absent.
 *   e. if name present a DP in certificate CRLDP must match.
 * If AKID present it should match certificate AKID.
 * Check time should fall between lastUpdate and nextUpdate.
726 727
 */

728 729 730 731 732 733 734 735 736 737 738 739 740
/* IDP name field matches CRLDP or IDP name not present */
#define CRL_SCORE_SCOPE		4
/* AKID present and matches cert, or AKID not present */
#define CRL_SCORE_AKID		2
/* times OK */
#define CRL_SCORE_TIME		1

#define CRL_SCORE_ALL		7

/* IDP flags which cause a CRL to be rejected */

#define IDP_REJECT	(IDP_INVALID|IDP_INDIRECT|IDP_REASONS)

741 742 743
static int get_crl_sk(X509_STORE_CTX *ctx, X509_CRL **pcrl,
			X509_NAME *nm, STACK_OF(X509_CRL) *crls)
	{
744
	int i, crl_score, best_score = -1;
745
	X509_CRL *crl, *best_crl = NULL;
746
	X509 *crl_issuer, *best_crl_issuer = NULL;
747 748
	for (i = 0; i < sk_X509_CRL_num(crls); i++)
		{
749
		crl_score = 0;
750
		crl_issuer = NULL;
751
		crl = sk_X509_CRL_value(crls, i);
752
		if (nm && X509_NAME_cmp(nm, X509_CRL_get_issuer(crl)))
753 754
			continue;
		if (check_crl_time(ctx, crl, 0))
755 756 757 758 759 760 761 762 763 764 765 766
			crl_score |= CRL_SCORE_TIME;

		if (crl->idp_flags & IDP_PRESENT)
			{
			if (crl->idp_flags & IDP_REJECT)
				continue;
			if (idp_check_scope(ctx->current_cert, crl))
				crl_score |= CRL_SCORE_SCOPE;
			}
		else
			crl_score |= CRL_SCORE_SCOPE;

767
		if (crl_akid_check(ctx, crl, &crl_issuer))
768
			crl_score |= CRL_SCORE_AKID;
769 770
		/* If CRL matches criteria and issuer is not different use it */
		if (crl_score == CRL_SCORE_ALL && !crl_issuer)
771 772
			{
			*pcrl = crl;
773
			CRYPTO_add(&crl->references, 1, CRYPTO_LOCK_X509_CRL);
774 775
			return 1;
			}
776 777 778 779

		if (crl_score > best_score)
			{
			best_crl = crl;
780
			best_crl_issuer = crl_issuer;
781 782
			best_score = crl_score;
			}
783 784 785 786
		}
	if (best_crl)
		{
		*pcrl = best_crl;
787
		ctx->current_issuer = best_crl_issuer;
788 789
		CRYPTO_add(&best_crl->references, 1, CRYPTO_LOCK_X509);
		}
790

791 792 793
	return 0;
	}

794
static int crl_akid_check(X509_STORE_CTX *ctx, X509_CRL *crl, X509 **pissuer)
795
	{
796
	X509 *crl_issuer;
797
	int cidx = ctx->error_depth;
798 799
	if (!crl->akid)
		return 1;
800 801
	if (cidx != sk_X509_num(ctx->chain) - 1)
		cidx++;
802 803
	crl_issuer = sk_X509_value(ctx->chain, cidx);
	if (X509_check_akid(crl_issuer, crl->akid) == X509_V_OK)
804
		return 1;
805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822
	/* If crl_issuer is self issued we may get a match further along the
	 * chain.
	 */
	if (crl_issuer->ex_flags & EXFLAG_SI)
		{
		for (cidx++; cidx < sk_X509_num(ctx->chain); cidx++)
			{
			crl_issuer = sk_X509_value(ctx->chain, cidx);
			if (X509_check_akid(crl_issuer, crl->akid) == X509_V_OK)
				{
				*pissuer = crl_issuer;
				return 1;
				}
			if (!(crl_issuer->ex_flags & EXFLAG_SI))
				break;
			}
		}
		
823 824 825
	return 0;
	}

826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895
/* Check for match between two dist point names: three separate cases.
 * 1. Both are relative names and compare X509_NAME types.
 * 2. One full, one relative. Compare X509_NAME to GENERAL_NAMES.
 * 3. Both are full names and compare two GENERAL_NAMES.
 */


static int idp_check_dp(DIST_POINT_NAME *a, DIST_POINT_NAME *b)
	{
	X509_NAME *nm = NULL;
	GENERAL_NAMES *gens = NULL;
	GENERAL_NAME *gena, *genb;
	int i, j;
	if (a->type == 1)
		{
		if (!a->dpname)
			return 0;
		/* Case 1: two X509_NAME */
		if (b->type == 1)
			{
			if (!b->dpname)
				return 0;
			if (!X509_NAME_cmp(a->dpname, b->dpname))
				return 1;
			else
				return 0;
			}
		/* Case 2: set name and GENERAL_NAMES appropriately */
		nm = a->dpname;
		gens = b->name.fullname;
		}
	else if (b->type == 1)
		{
		if (!b->dpname)
			return 0;
		/* Case 2: set name and GENERAL_NAMES appropriately */
		gens = a->name.fullname;
		nm = b->dpname;
		}

	/* Handle case 2 with one GENERAL_NAMES and one X509_NAME */
	if (nm)
		{
		for (i = 0; i < sk_GENERAL_NAME_num(gens); i++)
			{
			gena = sk_GENERAL_NAME_value(gens, i);	
			if (gena->type != GEN_DIRNAME)
				continue;
			if (!X509_NAME_cmp(nm, gena->d.directoryName))
				return 1;
			}
		return 0;
		}

	/* Else case 3: two GENERAL_NAMES */

	for (i = 0; i < sk_GENERAL_NAME_num(a->name.fullname); i++)
		{
		gena = sk_GENERAL_NAME_value(a->name.fullname, i);
		for (j = 0; j < sk_GENERAL_NAME_num(b->name.fullname); j++)
			{
			genb = sk_GENERAL_NAME_value(b->name.fullname, j);
			if (!GENERAL_NAME_cmp(gena, genb))
				return 1;
			}
		}

	return 0;

	}
896 897 898 899 900

/* Check IDP name matches at least one CRLDP name */

static int idp_check_scope(X509 *x, X509_CRL *crl)
	{
901
	int i;
902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917
	if (crl->idp_flags & IDP_ONLYATTR)
		return 0;
	if (x->ex_flags & EXFLAG_CA)
		{
		if (crl->idp_flags & IDP_ONLYUSER)
			return 0;
		}
	else
		{
		if (crl->idp_flags & IDP_ONLYCA)
			return 0;
		}
	if (!crl->idp->distpoint)
		return 1;
	if (!x->crldp)
		return 0;
918
	for (i = 0; i < sk_DIST_POINT_num(x->crldp); i++)
919
		{
920 921 922 923 924 925
		DIST_POINT *dp = sk_DIST_POINT_value(x->crldp, i);
		/* We don't handle these at present */
		if (dp->reasons || dp->CRLissuer)
			continue;
		if (idp_check_dp(dp->distpoint, crl->idp->distpoint))
			return 1;
926 927 928 929 930 931 932
		}
	return 0;
	}

/* Retrieve CRL corresponding to current certificate. Currently only
 * one CRL is retrieved. Multiple CRLs may be needed if we handle
 * CRLs partitioned on reason code later.
D
 
Dr. Stephen Henson 已提交
933
 */
934
	
935
static int get_crl(X509_STORE_CTX *ctx, X509_CRL **pcrl, X509 *x)
D
 
Dr. Stephen Henson 已提交
936 937
	{
	int ok;
938
	X509_CRL *crl = NULL;
939
	STACK_OF(X509_CRL) *skcrl;
940 941 942 943 944 945 946 947 948
	X509_NAME *nm;
	nm = X509_get_issuer_name(x);
	ok = get_crl_sk(ctx, &crl, nm, ctx->crls);
	if (ok)
		{
		*pcrl = crl;
		return 1;
		}

949
	/* Lookup CRLs from store */
950

951 952 953 954
	skcrl = ctx->lookup_crls(ctx, nm);

	/* If no CRLs found and a near match from get_crl_sk use that */
	if (!skcrl)
955 956 957 958 959 960 961 962 963
		{
		if (crl)
			{
			*pcrl = crl;
			return 1;
			}
		return 0;
		}

964 965 966 967 968 969
	get_crl_sk(ctx, &crl, NULL, skcrl);

	sk_X509_CRL_pop_free(skcrl, X509_CRL_free);

	/* If we got any kind of CRL use it and return success */
	if (crl)
970
		{
971 972
		*pcrl = crl;
		return 1;
973
		}
974 975

	return 0;
D
 
Dr. Stephen Henson 已提交
976 977 978 979 980 981 982
	}

/* Check CRL validity */
static int check_crl(X509_STORE_CTX *ctx, X509_CRL *crl)
	{
	X509 *issuer = NULL;
	EVP_PKEY *ikey = NULL;
983
	int ok = 0, chnum, cnum;
D
 
Dr. Stephen Henson 已提交
984 985
	cnum = ctx->error_depth;
	chnum = sk_X509_num(ctx->chain) - 1;
986 987 988 989
	/* if we have an alternative CRL issuer cert use that */
	if (ctx->current_issuer)
		issuer = ctx->current_issuer;
	/* Else find CRL issuer: if not last certificate then issuer
D
 
Dr. Stephen Henson 已提交
990 991
	 * is next certificate in chain.
	 */
992
	else if (cnum < chnum)
D
 
Dr. Stephen Henson 已提交
993 994 995 996 997 998 999 1000
		issuer = sk_X509_value(ctx->chain, cnum + 1);
	else
		{
		issuer = sk_X509_value(ctx->chain, chnum);
		/* If not self signed, can't check signature */
		if(!ctx->check_issued(ctx, issuer, issuer))
			{
			ctx->error = X509_V_ERR_UNABLE_TO_GET_CRL_ISSUER;
1001
			ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
1002 1003 1004 1005 1006 1007
			if(!ok) goto err;
			}
		}

	if(issuer)
		{
1008 1009 1010 1011 1012 1013 1014 1015
		/* Check for cRLSign bit if keyUsage present */
		if ((issuer->ex_flags & EXFLAG_KUSAGE) &&
			!(issuer->ex_kusage & KU_CRL_SIGN))
			{
			ctx->error = X509_V_ERR_KEYUSAGE_NO_CRL_SIGN;
			ok = ctx->verify_cb(0, ctx);
			if(!ok) goto err;
			}
D
 
Dr. Stephen Henson 已提交
1016

1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038
		if (crl->idp_flags & IDP_PRESENT)
			{
			if (crl->idp_flags & IDP_INVALID)
				{
				ctx->error = X509_V_ERR_INVALID_EXTENSION;
				ok = ctx->verify_cb(0, ctx);
				if(!ok) goto err;
				}
			if (crl->idp_flags & (IDP_REASONS|IDP_INDIRECT))
				{
				ctx->error = X509_V_ERR_UNSUPPORTED_EXTENSION_FEATURE;
				ok = ctx->verify_cb(0, ctx);
				if(!ok) goto err;
				}
			if (!idp_check_scope(ctx->current_cert, crl))
				{
				ctx->error = X509_V_ERR_DIFFERENT_CRL_SCOPE;
				ok = ctx->verify_cb(0, ctx);
				if(!ok) goto err;
				}
			}

D
 
Dr. Stephen Henson 已提交
1039 1040 1041 1042 1043 1044
		/* Attempt to get issuer certificate public key */
		ikey = X509_get_pubkey(issuer);

		if(!ikey)
			{
			ctx->error=X509_V_ERR_UNABLE_TO_DECODE_ISSUER_PUBLIC_KEY;
1045
			ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
1046 1047 1048 1049 1050 1051 1052 1053
			if (!ok) goto err;
			}
		else
			{
			/* Verify CRL signature */
			if(X509_CRL_verify(crl, ikey) <= 0)
				{
				ctx->error=X509_V_ERR_CRL_SIGNATURE_FAILURE;
1054
				ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
1055 1056 1057 1058 1059
				if (!ok) goto err;
				}
			}
		}

1060 1061
	ok = check_crl_time(ctx, crl, 1);
	if (!ok)
1062
		goto err;
D
 
Dr. Stephen Henson 已提交
1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073

	ok = 1;

	err:
	EVP_PKEY_free(ikey);
	return ok;
	}

/* Check certificate against CRL */
static int cert_crl(X509_STORE_CTX *ctx, X509_CRL *crl, X509 *x)
	{
1074 1075 1076
	int ok;
	/* Look for serial number of certificate in CRL
	 * If found assume revoked: want something cleverer than
D
 
Dr. Stephen Henson 已提交
1077 1078
	 * this to handle entry extensions in V2 CRLs.
	 */
1079
	if (X509_CRL_get0_by_serial(crl, NULL, X509_get_serialNumber(x)) > 0)
1080 1081 1082
		{
		ctx->error = X509_V_ERR_CERT_REVOKED;
		ok = ctx->verify_cb(0, ctx);
1083 1084
		if (!ok)
			return 0;
1085 1086
		}

1087
	if (crl->flags & EXFLAG_CRITICAL)
1088
		{
1089 1090 1091 1092 1093 1094
		if (ctx->param->flags & X509_V_FLAG_IGNORE_CRITICAL)
			return 1;
		ctx->error = X509_V_ERR_UNHANDLED_CRITICAL_CRL_EXTENSION;
		ok = ctx->verify_cb(0, ctx);
		if(!ok)
			return 0;
1095
		}
1096

1097
	return 1;
D
 
Dr. Stephen Henson 已提交
1098 1099
	}

1100 1101 1102
static int check_policy(X509_STORE_CTX *ctx)
	{
	int ret;
1103
	ret = X509_policy_check(&ctx->tree, &ctx->explicit_policy, ctx->chain,
1104 1105 1106
				ctx->param->policies, ctx->param->flags);
	if (ret == 0)
		{
B
Bodo Möller 已提交
1107
		X509err(X509_F_CHECK_POLICY,ERR_R_MALLOC_FAILURE);
1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124
		return 0;
		}
	/* Invalid or inconsistent extensions */
	if (ret == -1)
		{
		/* Locate certificates with bad extensions and notify
		 * callback.
		 */
		X509 *x;
		int i;
		for (i = 1; i < sk_X509_num(ctx->chain); i++)
			{
			x = sk_X509_value(ctx->chain, i);
			if (!(x->ex_flags & EXFLAG_INVALID_POLICY))
				continue;
			ctx->current_cert = x;
			ctx->error = X509_V_ERR_INVALID_POLICY_EXTENSION;
1125 1126
			if(!ctx->verify_cb(0, ctx))
				return 0;
1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147
			}
		return 1;
		}
	if (ret == -2)
		{
		ctx->current_cert = NULL;
		ctx->error = X509_V_ERR_NO_EXPLICIT_POLICY;
		return ctx->verify_cb(0, ctx);
		}

	if (ctx->param->flags & X509_V_FLAG_NOTIFY_POLICY)
		{
		ctx->current_cert = NULL;
		ctx->error = X509_V_OK;
		if (!ctx->verify_cb(2, ctx))
			return 0;
		}

	return 1;
	}

1148 1149 1150 1151 1152
static int check_cert_time(X509_STORE_CTX *ctx, X509 *x)
	{
	time_t *ptime;
	int i;

1153 1154
	if (ctx->param->flags & X509_V_FLAG_USE_CHECK_TIME)
		ptime = &ctx->param->check_time;
1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194
	else
		ptime = NULL;

	i=X509_cmp_time(X509_get_notBefore(x), ptime);
	if (i == 0)
		{
		ctx->error=X509_V_ERR_ERROR_IN_CERT_NOT_BEFORE_FIELD;
		ctx->current_cert=x;
		if (!ctx->verify_cb(0, ctx))
			return 0;
		}

	if (i > 0)
		{
		ctx->error=X509_V_ERR_CERT_NOT_YET_VALID;
		ctx->current_cert=x;
		if (!ctx->verify_cb(0, ctx))
			return 0;
		}

	i=X509_cmp_time(X509_get_notAfter(x), ptime);
	if (i == 0)
		{
		ctx->error=X509_V_ERR_ERROR_IN_CERT_NOT_AFTER_FIELD;
		ctx->current_cert=x;
		if (!ctx->verify_cb(0, ctx))
			return 0;
		}

	if (i < 0)
		{
		ctx->error=X509_V_ERR_CERT_HAS_EXPIRED;
		ctx->current_cert=x;
		if (!ctx->verify_cb(0, ctx))
			return 0;
		}

	return 1;
	}

U
Ulf Möller 已提交
1195
static int internal_verify(X509_STORE_CTX *ctx)
1196
	{
1197
	int ok=0,n;
1198 1199
	X509 *xs,*xi;
	EVP_PKEY *pkey=NULL;
1200
	int (*cb)(int xok,X509_STORE_CTX *xctx);
1201

1202
	cb=ctx->verify_cb;
1203

B
Ben Laurie 已提交
1204
	n=sk_X509_num(ctx->chain);
1205 1206
	ctx->error_depth=n-1;
	n--;
B
Ben Laurie 已提交
1207
	xi=sk_X509_value(ctx->chain,n);
1208

D
Dr. Stephen Henson 已提交
1209
	if (ctx->check_issued(ctx, xi, xi))
1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223
		xs=xi;
	else
		{
		if (n <= 0)
			{
			ctx->error=X509_V_ERR_UNABLE_TO_VERIFY_LEAF_SIGNATURE;
			ctx->current_cert=xi;
			ok=cb(0,ctx);
			goto end;
			}
		else
			{
			n--;
			ctx->error_depth=n;
B
Ben Laurie 已提交
1224
			xs=sk_X509_value(ctx->chain,n);
1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240
			}
		}

/*	ctx->error=0;  not needed */
	while (n >= 0)
		{
		ctx->error_depth=n;
		if (!xs->valid)
			{
			if ((pkey=X509_get_pubkey(xi)) == NULL)
				{
				ctx->error=X509_V_ERR_UNABLE_TO_DECODE_ISSUER_PUBLIC_KEY;
				ctx->current_cert=xi;
				ok=(*cb)(0,ctx);
				if (!ok) goto end;
				}
1241
			else if (X509_verify(xs,pkey) <= 0)
B
Bodo Möller 已提交
1242 1243 1244 1245 1246 1247 1248
				/* XXX  For the final trusted self-signed cert,
				 * this is a waste of time.  That check should
				 * optional so that e.g. 'openssl x509' can be
				 * used to detect invalid self-signatures, but
				 * we don't verify again and again in SSL
				 * handshakes and the like once the cert has
				 * been declared trusted. */
1249 1250 1251 1252
				{
				ctx->error=X509_V_ERR_CERT_SIGNATURE_FAILURE;
				ctx->current_cert=xs;
				ok=(*cb)(0,ctx);
D
 
Dr. Stephen Henson 已提交
1253 1254 1255 1256 1257
				if (!ok)
					{
					EVP_PKEY_free(pkey);
					goto end;
					}
1258
				}
1259
			EVP_PKEY_free(pkey);
1260 1261 1262
			pkey=NULL;
			}

1263
		xs->valid = 1;
1264

1265 1266
		ok = check_cert_time(ctx, xs);
		if (!ok)
1267
			goto end;
1268 1269

		/* The last error (if any) is still in the error value */
1270
		ctx->current_issuer=xi;
1271 1272 1273 1274 1275 1276 1277 1278
		ctx->current_cert=xs;
		ok=(*cb)(1,ctx);
		if (!ok) goto end;

		n--;
		if (n >= 0)
			{
			xi=xs;
B
Ben Laurie 已提交
1279
			xs=sk_X509_value(ctx->chain,n);
1280 1281 1282 1283
			}
		}
	ok=1;
end:
1284
	return ok;
1285 1286
	}

N
Nils Larsch 已提交
1287
int X509_cmp_current_time(const ASN1_TIME *ctm)
D
Dr. Stephen Henson 已提交
1288 1289 1290 1291
{
	return X509_cmp_time(ctm, NULL);
}

N
Nils Larsch 已提交
1292
int X509_cmp_time(const ASN1_TIME *ctm, time_t *cmp_time)
1293 1294
	{
	char *str;
1295
	ASN1_TIME atm;
1296
	long offset;
1297 1298 1299 1300 1301 1302
	char buff1[24],buff2[24],*p;
	int i,j;

	p=buff1;
	i=ctm->length;
	str=(char *)ctm->data;
1303 1304
	if (ctm->type == V_ASN1_UTCTIME)
		{
1305
		if ((i < 11) || (i > 17)) return 0;
1306 1307 1308
		memcpy(p,str,10);
		p+=10;
		str+=10;
1309 1310 1311 1312
		}
	else
		{
		if (i < 13) return 0;
1313 1314 1315
		memcpy(p,str,12);
		p+=12;
		str+=12;
1316
		}
1317 1318 1319

	if ((*str == 'Z') || (*str == '-') || (*str == '+'))
		{ *(p++)='0'; *(p++)='0'; }
1320 1321 1322 1323 1324
	else
		{ 
		*(p++)= *(str++);
		*(p++)= *(str++);
		/* Skip any fractional seconds... */
1325
		if (*str == '.')
1326 1327
			{
			str++;
1328
			while ((*str >= '0') && (*str <= '9')) str++;
1329
			}
1330 1331
		
		}
1332 1333 1334 1335 1336 1337 1338
	*(p++)='Z';
	*(p++)='\0';

	if (*str == 'Z')
		offset=0;
	else
		{
R
Richard Levitte 已提交
1339
		if ((*str != '+') && (*str != '-'))
1340
			return 0;
1341 1342 1343
		offset=((str[1]-'0')*10+(str[2]-'0'))*60;
		offset+=(str[3]-'0')*10+(str[4]-'0');
		if (*str == '-')
1344
			offset= -offset;
1345
		}
1346
	atm.type=ctm->type;
1347 1348 1349
	atm.length=sizeof(buff2);
	atm.data=(unsigned char *)buff2;

1350 1351
	if (X509_time_adj(&atm,-offset*60, cmp_time) == NULL)
		return 0;
1352

1353
	if (ctm->type == V_ASN1_UTCTIME)
1354 1355 1356 1357 1358
		{
		i=(buff1[0]-'0')*10+(buff1[1]-'0');
		if (i < 50) i+=100; /* cf. RFC 2459 */
		j=(buff2[0]-'0')*10+(buff2[1]-'0');
		if (j < 50) j+=100;
1359

1360 1361
		if (i < j) return -1;
		if (i > j) return 1;
1362
		}
1363 1364
	i=strcmp(buff1,buff2);
	if (i == 0) /* wait a second then return younger :-) */
1365
		return -1;
1366
	else
1367
		return i;
1368 1369
	}

1370
ASN1_TIME *X509_gmtime_adj(ASN1_TIME *s, long adj)
D
Dr. Stephen Henson 已提交
1371 1372 1373 1374 1375
{
	return X509_time_adj(s, adj, NULL);
}

ASN1_TIME *X509_time_adj(ASN1_TIME *s, long adj, time_t *in_tm)
1376 1377
	{
	time_t t;
1378
	int type = -1;
1379

1380
	if (in_tm) t = *in_tm;
D
Dr. Stephen Henson 已提交
1381 1382
	else time(&t);

1383
	t+=adj;
1384 1385 1386 1387
	if (s) type = s->type;
	if (type == V_ASN1_UTCTIME) return ASN1_UTCTIME_set(s,t);
	if (type == V_ASN1_GENERALIZEDTIME) return ASN1_GENERALIZEDTIME_set(s, t);
	return ASN1_TIME_set(s, t);
1388 1389
	}

B
Ben Laurie 已提交
1390
int X509_get_pubkey_parameters(EVP_PKEY *pkey, STACK_OF(X509) *chain)
1391 1392 1393 1394
	{
	EVP_PKEY *ktmp=NULL,*ktmp2;
	int i,j;

1395
	if ((pkey != NULL) && !EVP_PKEY_missing_parameters(pkey)) return 1;
1396

B
Ben Laurie 已提交
1397
	for (i=0; i<sk_X509_num(chain); i++)
1398
		{
B
Ben Laurie 已提交
1399
		ktmp=X509_get_pubkey(sk_X509_value(chain,i));
1400 1401 1402
		if (ktmp == NULL)
			{
			X509err(X509_F_X509_GET_PUBKEY_PARAMETERS,X509_R_UNABLE_TO_GET_CERTS_PUBLIC_KEY);
1403
			return 0;
1404 1405 1406 1407 1408
			}
		if (!EVP_PKEY_missing_parameters(ktmp))
			break;
		else
			{
1409
			EVP_PKEY_free(ktmp);
1410 1411 1412 1413 1414 1415
			ktmp=NULL;
			}
		}
	if (ktmp == NULL)
		{
		X509err(X509_F_X509_GET_PUBKEY_PARAMETERS,X509_R_UNABLE_TO_FIND_PARAMETERS_IN_CHAIN);
1416
		return 0;
1417 1418 1419 1420 1421
		}

	/* first, populate the other certs */
	for (j=i-1; j >= 0; j--)
		{
B
Ben Laurie 已提交
1422
		ktmp2=X509_get_pubkey(sk_X509_value(chain,j));
1423
		EVP_PKEY_copy_parameters(ktmp2,ktmp);
1424
		EVP_PKEY_free(ktmp2);
1425 1426
		}
	
1427 1428
	if (pkey != NULL) EVP_PKEY_copy_parameters(pkey,ktmp);
	EVP_PKEY_free(ktmp);
1429
	return 1;
1430 1431
	}

D
 
Dr. Stephen Henson 已提交
1432 1433
int X509_STORE_CTX_get_ex_new_index(long argl, void *argp, CRYPTO_EX_new *new_func,
	     CRYPTO_EX_dup *dup_func, CRYPTO_EX_free *free_func)
B
Bodo Möller 已提交
1434 1435
	{
	/* This function is (usually) called only once, by
1436 1437 1438
	 * SSL_get_ex_data_X509_STORE_CTX_idx (ssl/ssl_cert.c). */
	return CRYPTO_get_ex_new_index(CRYPTO_EX_INDEX_X509_STORE_CTX, argl, argp,
			new_func, dup_func, free_func);
B
Bodo Möller 已提交
1439
	}
1440

U
Ulf Möller 已提交
1441
int X509_STORE_CTX_set_ex_data(X509_STORE_CTX *ctx, int idx, void *data)
1442
	{
1443
	return CRYPTO_set_ex_data(&ctx->ex_data,idx,data);
1444 1445
	}

U
Ulf Möller 已提交
1446
void *X509_STORE_CTX_get_ex_data(X509_STORE_CTX *ctx, int idx)
1447
	{
1448
	return CRYPTO_get_ex_data(&ctx->ex_data,idx);
1449 1450
	}

U
Ulf Möller 已提交
1451
int X509_STORE_CTX_get_error(X509_STORE_CTX *ctx)
1452
	{
1453
	return ctx->error;
1454 1455
	}

U
Ulf Möller 已提交
1456
void X509_STORE_CTX_set_error(X509_STORE_CTX *ctx, int err)
1457 1458 1459 1460
	{
	ctx->error=err;
	}

U
Ulf Möller 已提交
1461
int X509_STORE_CTX_get_error_depth(X509_STORE_CTX *ctx)
1462
	{
1463
	return ctx->error_depth;
1464 1465
	}

U
Ulf Möller 已提交
1466
X509 *X509_STORE_CTX_get_current_cert(X509_STORE_CTX *ctx)
1467
	{
1468
	return ctx->current_cert;
1469 1470
	}

B
Ben Laurie 已提交
1471
STACK_OF(X509) *X509_STORE_CTX_get_chain(X509_STORE_CTX *ctx)
1472
	{
1473
	return ctx->chain;
1474 1475
	}

1476
STACK_OF(X509) *X509_STORE_CTX_get1_chain(X509_STORE_CTX *ctx)
1477 1478 1479 1480
	{
	int i;
	X509 *x;
	STACK_OF(X509) *chain;
1481 1482
	if (!ctx->chain || !(chain = sk_X509_dup(ctx->chain))) return NULL;
	for (i = 0; i < sk_X509_num(chain); i++)
1483
		{
1484 1485
		x = sk_X509_value(chain, i);
		CRYPTO_add(&x->references, 1, CRYPTO_LOCK_X509);
1486
		}
1487
	return chain;
1488 1489
	}

U
Ulf Möller 已提交
1490
void X509_STORE_CTX_set_cert(X509_STORE_CTX *ctx, X509 *x)
1491 1492 1493 1494
	{
	ctx->cert=x;
	}

U
Ulf Möller 已提交
1495
void X509_STORE_CTX_set_chain(X509_STORE_CTX *ctx, STACK_OF(X509) *sk)
1496 1497 1498 1499
	{
	ctx->untrusted=sk;
	}

1500 1501 1502 1503 1504
void X509_STORE_CTX_set0_crls(X509_STORE_CTX *ctx, STACK_OF(X509_CRL) *sk)
	{
	ctx->crls=sk;
	}

1505
int X509_STORE_CTX_set_purpose(X509_STORE_CTX *ctx, int purpose)
1506
	{
1507
	return X509_STORE_CTX_purpose_inherit(ctx, 0, purpose, 0);
1508 1509
	}

1510
int X509_STORE_CTX_set_trust(X509_STORE_CTX *ctx, int trust)
1511
	{
1512
	return X509_STORE_CTX_purpose_inherit(ctx, 0, 0, trust);
1513 1514
	}

1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526
/* This function is used to set the X509_STORE_CTX purpose and trust
 * values. This is intended to be used when another structure has its
 * own trust and purpose values which (if set) will be inherited by
 * the ctx. If they aren't set then we will usually have a default
 * purpose in mind which should then be used to set the trust value.
 * An example of this is SSL use: an SSL structure will have its own
 * purpose and trust settings which the application can set: if they
 * aren't set then we use the default of SSL client/server.
 */

int X509_STORE_CTX_purpose_inherit(X509_STORE_CTX *ctx, int def_purpose,
				int purpose, int trust)
1527 1528
{
	int idx;
1529
	/* If purpose not set use default */
1530
	if (!purpose) purpose = def_purpose;
1531
	/* If we have a purpose then check it is valid */
1532 1533
	if (purpose)
		{
1534
		X509_PURPOSE *ptmp;
1535
		idx = X509_PURPOSE_get_by_id(purpose);
1536
		if (idx == -1)
1537
			{
1538 1539 1540
			X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_PURPOSE_ID);
			return 0;
1541
			}
1542
		ptmp = X509_PURPOSE_get0(idx);
1543
		if (ptmp->trust == X509_TRUST_DEFAULT)
1544
			{
1545
			idx = X509_PURPOSE_get_by_id(def_purpose);
1546
			if (idx == -1)
1547
				{
1548 1549 1550
				X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_PURPOSE_ID);
				return 0;
1551
				}
1552
			ptmp = X509_PURPOSE_get0(idx);
1553
			}
1554
		/* If trust not set then get from purpose default */
1555
		if (!trust) trust = ptmp->trust;
1556
		}
1557
	if (trust)
1558
		{
1559
		idx = X509_TRUST_get_by_id(trust);
1560
		if (idx == -1)
1561
			{
1562 1563 1564
			X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_TRUST_ID);
			return 0;
1565
			}
1566 1567
		}

1568 1569
	if (purpose && !ctx->param->purpose) ctx->param->purpose = purpose;
	if (trust && !ctx->param->trust) ctx->param->trust = trust;
1570 1571 1572
	return 1;
}

1573 1574 1575 1576
X509_STORE_CTX *X509_STORE_CTX_new(void)
{
	X509_STORE_CTX *ctx;
	ctx = (X509_STORE_CTX *)OPENSSL_malloc(sizeof(X509_STORE_CTX));
1577 1578 1579 1580 1581 1582
	if (!ctx)
		{
		X509err(X509_F_X509_STORE_CTX_NEW,ERR_R_MALLOC_FAILURE);
		return NULL;
		}
	memset(ctx, 0, sizeof(X509_STORE_CTX));
1583 1584 1585 1586 1587 1588 1589 1590 1591
	return ctx;
}

void X509_STORE_CTX_free(X509_STORE_CTX *ctx)
{
	X509_STORE_CTX_cleanup(ctx);
	OPENSSL_free(ctx);
}

1592
int X509_STORE_CTX_init(X509_STORE_CTX *ctx, X509_STORE *store, X509 *x509,
1593 1594
	     STACK_OF(X509) *chain)
	{
1595
	int ret = 1;
1596 1597 1598 1599
	ctx->ctx=store;
	ctx->current_method=0;
	ctx->cert=x509;
	ctx->untrusted=chain;
1600
	ctx->crls = NULL;
1601
	ctx->last_untrusted=0;
1602
	ctx->other_ctx=NULL;
1603 1604 1605
	ctx->valid=0;
	ctx->chain=NULL;
	ctx->error=0;
1606
	ctx->explicit_policy=0;
1607
	ctx->error_depth=0;
1608 1609
	ctx->current_cert=NULL;
	ctx->current_issuer=NULL;
1610 1611 1612 1613 1614 1615 1616 1617 1618
	ctx->tree = NULL;

	ctx->param = X509_VERIFY_PARAM_new();

	if (!ctx->param)
		{
		X509err(X509_F_X509_STORE_CTX_INIT,ERR_R_MALLOC_FAILURE);
		return 0;
		}
1619 1620 1621 1622 1623 1624

	/* Inherit callbacks and flags from X509_STORE if not set
	 * use defaults.
	 */


1625 1626 1627 1628 1629
	if (store)
		ret = X509_VERIFY_PARAM_inherit(ctx->param, store->param);
	else
		ctx->param->flags |= X509_VP_FLAG_DEFAULT|X509_VP_FLAG_ONCE;

D
Dr. Stephen Henson 已提交
1630 1631
	if (store)
		{
1632
		ctx->verify_cb = store->verify_cb;
D
Dr. Stephen Henson 已提交
1633 1634 1635 1636
		ctx->cleanup = store->cleanup;
		}
	else
		ctx->cleanup = 0;
1637 1638 1639 1640 1641 1642 1643 1644 1645

	if (ret)
		ret = X509_VERIFY_PARAM_inherit(ctx->param,
					X509_VERIFY_PARAM_lookup("default"));

	if (ret == 0)
		{
		X509err(X509_F_X509_STORE_CTX_INIT,ERR_R_MALLOC_FAILURE);
		return 0;
D
Dr. Stephen Henson 已提交
1646 1647 1648
		}

	if (store && store->check_issued)
1649 1650 1651 1652
		ctx->check_issued = store->check_issued;
	else
		ctx->check_issued = check_issued;

D
Dr. Stephen Henson 已提交
1653
	if (store && store->get_issuer)
1654 1655 1656 1657
		ctx->get_issuer = store->get_issuer;
	else
		ctx->get_issuer = X509_STORE_CTX_get1_issuer;

D
Dr. Stephen Henson 已提交
1658
	if (store && store->verify_cb)
1659 1660 1661 1662
		ctx->verify_cb = store->verify_cb;
	else
		ctx->verify_cb = null_callback;

D
Dr. Stephen Henson 已提交
1663
	if (store && store->verify)
1664 1665 1666 1667
		ctx->verify = store->verify;
	else
		ctx->verify = internal_verify;

D
Dr. Stephen Henson 已提交
1668
	if (store && store->check_revocation)
1669 1670 1671 1672
		ctx->check_revocation = store->check_revocation;
	else
		ctx->check_revocation = check_revocation;

D
Dr. Stephen Henson 已提交
1673
	if (store && store->get_crl)
1674 1675 1676 1677
		ctx->get_crl = store->get_crl;
	else
		ctx->get_crl = get_crl;

D
Dr. Stephen Henson 已提交
1678
	if (store && store->check_crl)
1679 1680 1681 1682
		ctx->check_crl = store->check_crl;
	else
		ctx->check_crl = check_crl;

D
Dr. Stephen Henson 已提交
1683
	if (store && store->cert_crl)
1684 1685 1686 1687
		ctx->cert_crl = store->cert_crl;
	else
		ctx->cert_crl = cert_crl;

1688 1689 1690
	if (store && store->lookup_certs)
		ctx->lookup_certs = store->lookup_certs;
	else
1691
		ctx->lookup_certs = X509_STORE_get1_certs;
1692 1693 1694 1695

	if (store && store->lookup_crls)
		ctx->lookup_crls = store->lookup_crls;
	else
1696
		ctx->lookup_crls = X509_STORE_get1_crls;
1697

1698 1699
	ctx->check_policy = check_policy;

1700

1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712
	/* This memset() can't make any sense anyway, so it's removed. As
	 * X509_STORE_CTX_cleanup does a proper "free" on the ex_data, we put a
	 * corresponding "new" here and remove this bogus initialisation. */
	/* memset(&(ctx->ex_data),0,sizeof(CRYPTO_EX_DATA)); */
	if(!CRYPTO_new_ex_data(CRYPTO_EX_INDEX_X509_STORE_CTX, ctx,
				&(ctx->ex_data)))
		{
		OPENSSL_free(ctx);
		X509err(X509_F_X509_STORE_CTX_INIT,ERR_R_MALLOC_FAILURE);
		return 0;
		}
	return 1;
1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726
	}

/* Set alternative lookup method: just a STACK of trusted certificates.
 * This avoids X509_STORE nastiness where it isn't needed.
 */

void X509_STORE_CTX_trusted_stack(X509_STORE_CTX *ctx, STACK_OF(X509) *sk)
{
	ctx->other_ctx = sk;
	ctx->get_issuer = get_issuer_sk;
}

void X509_STORE_CTX_cleanup(X509_STORE_CTX *ctx)
	{
1727
	if (ctx->cleanup) ctx->cleanup(ctx);
1728 1729 1730 1731 1732 1733 1734
	if (ctx->param != NULL)
		{
		X509_VERIFY_PARAM_free(ctx->param);
		ctx->param=NULL;
		}
	if (ctx->tree != NULL)
		{
1735
		X509_policy_tree_free(ctx->tree);
1736 1737
		ctx->tree=NULL;
		}
1738 1739 1740 1741 1742
	if (ctx->chain != NULL)
		{
		sk_X509_pop_free(ctx->chain,X509_free);
		ctx->chain=NULL;
		}
1743
	CRYPTO_free_ex_data(CRYPTO_EX_INDEX_X509_STORE_CTX, ctx, &(ctx->ex_data));
1744
	memset(&ctx->ex_data,0,sizeof(CRYPTO_EX_DATA));
1745
	}
1746

1747
void X509_STORE_CTX_set_depth(X509_STORE_CTX *ctx, int depth)
D
Dr. Stephen Henson 已提交
1748
	{
1749
	X509_VERIFY_PARAM_set_depth(ctx->param, depth);
D
Dr. Stephen Henson 已提交
1750 1751
	}

1752
void X509_STORE_CTX_set_flags(X509_STORE_CTX *ctx, unsigned long flags)
D
Dr. Stephen Henson 已提交
1753
	{
1754 1755 1756 1757 1758 1759
	X509_VERIFY_PARAM_set_flags(ctx->param, flags);
	}

void X509_STORE_CTX_set_time(X509_STORE_CTX *ctx, unsigned long flags, time_t t)
	{
	X509_VERIFY_PARAM_set_time(ctx->param, t);
D
Dr. Stephen Henson 已提交
1760 1761
	}

L
Lutz Jänicke 已提交
1762 1763 1764 1765 1766 1767
void X509_STORE_CTX_set_verify_cb(X509_STORE_CTX *ctx,
				  int (*verify_cb)(int, X509_STORE_CTX *))
	{
	ctx->verify_cb=verify_cb;
	}

1768 1769 1770 1771 1772 1773 1774
X509_POLICY_TREE *X509_STORE_CTX_get0_policy_tree(X509_STORE_CTX *ctx)
	{
	return ctx->tree;
	}

int X509_STORE_CTX_get_explicit_policy(X509_STORE_CTX *ctx)
	{
1775
	return ctx->explicit_policy;
1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798
	}

int X509_STORE_CTX_set_default(X509_STORE_CTX *ctx, const char *name)
	{
	const X509_VERIFY_PARAM *param;
	param = X509_VERIFY_PARAM_lookup(name);
	if (!param)
		return 0;
	return X509_VERIFY_PARAM_inherit(ctx->param, param);
	}

X509_VERIFY_PARAM *X509_STORE_CTX_get0_param(X509_STORE_CTX *ctx)
	{
	return ctx->param;
	}

void X509_STORE_CTX_set0_param(X509_STORE_CTX *ctx, X509_VERIFY_PARAM *param)
	{
	if (ctx->param)
		X509_VERIFY_PARAM_free(ctx->param);
	ctx->param = param;
	}

B
Ben Laurie 已提交
1799 1800
IMPLEMENT_STACK_OF(X509)
IMPLEMENT_ASN1_SET_OF(X509)
B
Ben Laurie 已提交
1801

B
Ben Laurie 已提交
1802
IMPLEMENT_STACK_OF(X509_NAME)
B
Ben Laurie 已提交
1803

1804
IMPLEMENT_STACK_OF(X509_ATTRIBUTE)
B
Ben Laurie 已提交
1805
IMPLEMENT_ASN1_SET_OF(X509_ATTRIBUTE)