x509_vfy.c 39.7 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_trust(X509_STORE_CTX *ctx);
D
 
Dr. Stephen Henson 已提交
78 79
static int check_revocation(X509_STORE_CTX *ctx);
static int check_cert(X509_STORE_CTX *ctx);
80
static int check_policy(X509_STORE_CTX *ctx);
81 82
static int crl_akid_check(X509_STORE_CTX *ctx, AUTHORITY_KEYID *akid);
static int idp_check_scope(X509 *x, X509_CRL *crl);
83
static int internal_verify(X509_STORE_CTX *ctx);
B
Ben Laurie 已提交
84
const char *X509_version="X.509" OPENSSL_VERSION_PTEXT;
B
Ben Laurie 已提交
85

86

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

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

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

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

	/* 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 已提交
121 122
		if (	((ctx->chain=sk_X509_new_null()) == NULL) ||
			(!sk_X509_push(ctx->chain,ctx->cert)))
123 124 125 126 127 128 129 130
			{
			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;
		}

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

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


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

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

		/* If we were passed a cert chain, use it first */
		if (ctx->untrusted != NULL)
			{
160
			xtmp=find_issuer(ctx, sktmp,x);
161 162
			if (xtmp != NULL)
				{
B
Ben Laurie 已提交
163
				if (!sk_X509_push(ctx->chain,xtmp))
164 165 166 167 168
					{
					X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
					goto end;
					}
				CRYPTO_add(&xtmp->references,1,CRYPTO_LOCK_X509);
B
Ben Laurie 已提交
169
				sk_X509_delete_ptr(sktmp,xtmp);
170 171 172 173 174 175 176 177 178 179 180 181 182 183 184
				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. */

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

B
Ben Laurie 已提交
189 190
	i=sk_X509_num(ctx->chain);
	x=sk_X509_value(ctx->chain,i-1);
191
	xn = X509_get_subject_name(x);
192
	if (ctx->check_issued(ctx, x, x))
193 194
		{
		/* we have a self signed certificate */
B
Ben Laurie 已提交
195
		if (sk_X509_num(ctx->chain) == 1)
196
			{
197 198 199 200
			/* 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.
			 */
201 202
			ok = ctx->get_issuer(&xtmp, ctx, x);
			if ((ok <= 0) || X509_cmp(x, xtmp)) 
203 204 205 206
				{
				ctx->error=X509_V_ERR_DEPTH_ZERO_SELF_SIGNED_CERT;
				ctx->current_cert=x;
				ctx->error_depth=i-1;
207
				if (ok == 1) X509_free(xtmp);
208
				bad_chain = 1;
209 210 211 212 213 214 215 216 217
				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);
218
				x = xtmp;
219 220 221
				sk_X509_set(ctx->chain, i - 1, x);
				ctx->last_untrusted=0;
				}
222 223 224
			}
		else
			{
225
			/* extract and save self signed certificate for later use */
B
Ben Laurie 已提交
226
			chain_ss=sk_X509_pop(ctx->chain);
227 228
			ctx->last_untrusted--;
			num--;
B
Ben Laurie 已提交
229
			x=sk_X509_value(ctx->chain,num-1);
230 231 232 233 234 235 236
			}
		}

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

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

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

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

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

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

	/* Is last certificate looked up self signed? */
	if (!ctx->check_issued(ctx,x,x))
263
		{
264
		if ((chain_ss == NULL) || !ctx->check_issued(ctx, x, chain_ss))
265 266 267 268 269 270 271 272 273 274
			{
			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 已提交
275
			sk_X509_push(ctx->chain,chain_ss);
276 277 278 279 280 281 282 283
			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;
284
		bad_chain = 1;
285 286 287 288
		ok=cb(0,ctx);
		if (!ok) goto end;
		}

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

292
	if (!ok) goto end;
293

294 295
	/* The chain extensions are OK: check trust */

296
	if (param->trust > 0) ok = check_trust(ctx);
297

298
	if (!ok) goto end;
299

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

D
 
Dr. Stephen Henson 已提交
303 304 305 306 307 308 309
	/* 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;

310
	/* At this point, we have a chain and need to verify it */
311 312
	if (ctx->verify != NULL)
		ok=ctx->verify(ctx);
313 314
	else
		ok=internal_verify(ctx);
315 316 317 318 319 320
	if(!ok) goto end;

	/* 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;
321 322
	if (0)
		{
323
end:
324 325
		X509_get_pubkey_parameters(NULL,ctx->chain);
		}
B
Ben Laurie 已提交
326
	if (sktmp != NULL) sk_X509_free(sktmp);
327
	if (chain_ss != NULL) X509_free(chain_ss);
328
	return ok;
329 330
	}

331 332 333 334 335 336 337 338

/* 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;
339
	for (i = 0; i < sk_X509_num(sk); i++)
340
		{
341
		issuer = sk_X509_value(sk, i);
342
		if (ctx->check_issued(ctx, x, issuer))
343 344
			return issuer;
		}
345 346 347 348 349 350 351 352 353
	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);
354 355
	if (ret == X509_V_OK)
		return 1;
D
 
Dr. Stephen Henson 已提交
356
	/* If we haven't asked for issuer errors don't set ctx */
357
	if (!(ctx->param->flags & X509_V_FLAG_CB_ISSUER_CHECK))
D
 
Dr. Stephen Henson 已提交
358 359 360 361 362
		return 0;

	ctx->error = ret;
	ctx->current_cert = x;
	ctx->current_issuer = issuer;
363
	return ctx->verify_cb(0, ctx);
364 365 366 367 368 369 370 371
	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);
372 373
	if (*issuer)
		{
374 375
		CRYPTO_add(&(*issuer)->references,1,CRYPTO_LOCK_X509);
		return 1;
376 377 378
		}
	else
		return 0;
379 380 381
}
	

382 383 384 385
/* Check a certificate chains extensions for consistency
 * with the supplied purpose
 */

386
static int check_chain_extensions(X509_STORE_CTX *ctx)
387
{
388
#ifdef OPENSSL_NO_CHAIN_VERIFY
389 390
	return 1;
#else
391
	int i, ok=0, must_be_ca;
392
	X509 *x;
393
	int (*cb)(int xok,X509_STORE_CTX *xctx);
394
	int proxy_path_length = 0;
395 396
	int allow_proxy_certs =
		!!(ctx->param->flags & X509_V_FLAG_ALLOW_PROXY_CERTS);
397
	cb=ctx->verify_cb;
398 399 400 401 402 403 404 405 406 407

	/* 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;
408 409 410 411 412 413

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

414
	/* Check all untrusted certificates */
415
	for (i = 0; i < ctx->last_untrusted; i++)
416
		{
417
		int ret;
418
		x = sk_X509_value(ctx->chain, i);
419
		if (!(ctx->param->flags & X509_V_FLAG_IGNORE_CRITICAL)
D
 
Dr. Stephen Henson 已提交
420 421 422 423 424 425 426 427
			&& (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;
			}
428 429 430 431 432 433 434 435
		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;
			}
436 437
		ret = X509_check_ca(x);
		switch(must_be_ca)
438
			{
439 440 441 442 443
		case -1:
			if ((ctx->param->flags & X509_V_FLAG_X509_STRICT)
				&& (ret != 1) && (ret != 0))
				{
				ret = 0;
444
				ctx->error = X509_V_ERR_INVALID_CA;
445
				}
446
			else
447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471
				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)
			{
472 473 474
			ctx->error_depth = i;
			ctx->current_cert = x;
			ok=cb(0,ctx);
475 476
			if (!ok) goto end;
			}
477 478 479 480 481 482 483 484 485 486 487 488 489 490 491
		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;
				}
			}
492
		/* Check pathlen */
493
		if ((i > 1) && (x->ex_pathlen != -1)
494
			   && (i > (x->ex_pathlen + proxy_path_length + 1)))
495
			{
496 497 498 499
			ctx->error = X509_V_ERR_PATH_LENGTH_EXCEEDED;
			ctx->error_depth = i;
			ctx->current_cert = x;
			ok=cb(0,ctx);
500 501
			if (!ok) goto end;
			}
502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521
		/* 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;
522 523
		}
	ok = 1;
524
 end:
525
	return ok;
526 527 528
#endif
}

529 530
static int check_trust(X509_STORE_CTX *ctx)
{
531
#ifdef OPENSSL_NO_CHAIN_VERIFY
532 533 534 535
	return 1;
#else
	int i, ok;
	X509 *x;
536
	int (*cb)(int xok,X509_STORE_CTX *xctx);
537
	cb=ctx->verify_cb;
538 539 540
/* For now just check the last certificate in the chain */
	i = sk_X509_num(ctx->chain) - 1;
	x = sk_X509_value(ctx->chain, i);
541
	ok = X509_check_trust(x, ctx->param->trust, 0);
542 543
	if (ok == X509_TRUST_TRUSTED)
		return 1;
D
 
Dr. Stephen Henson 已提交
544
	ctx->error_depth = i;
545
	ctx->current_cert = x;
546 547 548 549
	if (ok == X509_TRUST_REJECTED)
		ctx->error = X509_V_ERR_CERT_REJECTED;
	else
		ctx->error = X509_V_ERR_CERT_UNTRUSTED;
550
	ok = cb(0, ctx);
551
	return ok;
552 553 554
#endif
}

D
 
Dr. Stephen Henson 已提交
555 556 557
static int check_revocation(X509_STORE_CTX *ctx)
	{
	int i, last, ok;
558
	if (!(ctx->param->flags & X509_V_FLAG_CRL_CHECK))
D
 
Dr. Stephen Henson 已提交
559
		return 1;
560
	if (ctx->param->flags & X509_V_FLAG_CRL_CHECK_ALL)
D
 
Dr. Stephen Henson 已提交
561
		last = sk_X509_num(ctx->chain) - 1;
562 563
	else
		last = 0;
D
 
Dr. Stephen Henson 已提交
564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588
	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;
	/* 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;
589
		ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
590 591 592 593 594 595 596 597 598 599 600 601 602
		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;

	}

603 604 605 606 607 608 609
/* 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;
610 611
	if (ctx->param->flags & X509_V_FLAG_USE_CHECK_TIME)
		ptime = &ctx->param->check_time;
612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653
	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;
	}

654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669
/* 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.
670 671
 */

672 673 674 675 676 677 678 679 680 681 682 683 684
/* 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)

685 686 687
static int get_crl_sk(X509_STORE_CTX *ctx, X509_CRL **pcrl,
			X509_NAME *nm, STACK_OF(X509_CRL) *crls)
	{
688
	int i, crl_score, best_score = -1;
689 690 691
	X509_CRL *crl, *best_crl = NULL;
	for (i = 0; i < sk_X509_CRL_num(crls); i++)
		{
692
		crl_score = 0;
693
		crl = sk_X509_CRL_value(crls, i);
694
		if (nm && X509_NAME_cmp(nm, X509_CRL_get_issuer(crl)))
695 696
			continue;
		if (check_crl_time(ctx, crl, 0))
697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717
			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;

		if (crl->akid)
			{
			if (crl_akid_check(ctx, crl->akid))
				crl_score |= CRL_SCORE_AKID;
			}
		else
			crl_score |= CRL_SCORE_AKID;

		if (crl_score == CRL_SCORE_ALL)
718 719
			{
			*pcrl = crl;
720
			CRYPTO_add(&crl->references, 1, CRYPTO_LOCK_X509_CRL);
721 722
			return 1;
			}
723 724 725 726 727 728

		if (crl_score > best_score)
			{
			best_crl = crl;
			best_score = crl_score;
			}
729 730 731 732 733 734 735 736 737 738
		}
	if (best_crl)
		{
		*pcrl = best_crl;
		CRYPTO_add(&best_crl->references, 1, CRYPTO_LOCK_X509);
		}
		
	return 0;
	}

739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801
static int crl_akid_check(X509_STORE_CTX *ctx, AUTHORITY_KEYID *akid)
	{
	int cidx = ctx->error_depth;
	if (cidx != sk_X509_num(ctx->chain) - 1)
		cidx++;
	if (X509_check_akid(sk_X509_value(ctx->chain, cidx), akid) == X509_V_OK)
		return 1;
	return 0;
	}


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

static int idp_check_scope(X509 *x, X509_CRL *crl)
	{
	int i, j, k;
	GENERAL_NAMES *inames, *dnames;
	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 (crl->idp->distpoint->type != 0)
		return 1;
	if (!x->crldp)
		return 0;
	inames = crl->idp->distpoint->name.fullname;
	for (i = 0; i < sk_GENERAL_NAME_num(inames); i++)
		{
		GENERAL_NAME *igen = sk_GENERAL_NAME_value(inames, i);
		for (j = 0; j < sk_DIST_POINT_num(x->crldp); j++)
			{
			DIST_POINT *dp = sk_DIST_POINT_value(x->crldp, j);
			/* We don't handle these at present */
			if (dp->reasons || dp->CRLissuer)
				continue;
			if (!dp->distpoint || (dp->distpoint->type != 0))
				continue;
			dnames = dp->distpoint->name.fullname;
			for (k = 0; k < sk_GENERAL_NAME_num(dnames); k++)
				{
				GENERAL_NAME *cgen =
					sk_GENERAL_NAME_value(dnames, k);
				if (!GENERAL_NAME_cmp(igen, cgen))
					return 1;
				}
			}
		}
	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 已提交
802
 */
803
	
804
static int get_crl(X509_STORE_CTX *ctx, X509_CRL **pcrl, X509 *x)
D
 
Dr. Stephen Henson 已提交
805 806
	{
	int ok;
807
	X509_CRL *crl = NULL;
808
	STACK_OF(X509_CRL) *skcrl;
809 810 811 812 813 814 815 816 817
	X509_NAME *nm;
	nm = X509_get_issuer_name(x);
	ok = get_crl_sk(ctx, &crl, nm, ctx->crls);
	if (ok)
		{
		*pcrl = crl;
		return 1;
		}

818
	/* Lookup CRLs from store */
819

820 821 822 823
	skcrl = ctx->lookup_crls(ctx, nm);

	/* If no CRLs found and a near match from get_crl_sk use that */
	if (!skcrl)
824 825 826 827 828 829 830 831 832
		{
		if (crl)
			{
			*pcrl = crl;
			return 1;
			}
		return 0;
		}

833 834 835 836 837 838
	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)
839
		{
840 841
		*pcrl = crl;
		return 1;
842
		}
843 844

	return 0;
D
 
Dr. Stephen Henson 已提交
845 846 847 848 849 850 851
	}

/* Check CRL validity */
static int check_crl(X509_STORE_CTX *ctx, X509_CRL *crl)
	{
	X509 *issuer = NULL;
	EVP_PKEY *ikey = NULL;
852
	int ok = 0, chnum, cnum;
D
 
Dr. Stephen Henson 已提交
853 854 855 856 857 858 859 860 861 862 863 864 865 866
	cnum = ctx->error_depth;
	chnum = sk_X509_num(ctx->chain) - 1;
	/* Find CRL issuer: if not last certificate then issuer
	 * is next certificate in chain.
	 */
	if(cnum < chnum)
		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;
867
			ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
868 869 870 871 872 873
			if(!ok) goto err;
			}
		}

	if(issuer)
		{
874 875 876 877 878 879 880 881
		/* 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 已提交
882

883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904
		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 已提交
905 906 907 908 909 910
		/* 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;
911
			ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
912 913 914 915 916 917 918 919
			if (!ok) goto err;
			}
		else
			{
			/* Verify CRL signature */
			if(X509_CRL_verify(crl, ikey) <= 0)
				{
				ctx->error=X509_V_ERR_CRL_SIGNATURE_FAILURE;
920
				ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
921 922 923 924 925
				if (!ok) goto err;
				}
			}
		}

926 927
	ok = check_crl_time(ctx, crl, 1);
	if (!ok)
928
		goto err;
D
 
Dr. Stephen Henson 已提交
929 930 931 932 933 934 935 936 937 938 939 940 941

	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)
	{
	int idx, ok;
	X509_REVOKED rtmp;
942 943
	STACK_OF(X509_EXTENSION) *exts;
	X509_EXTENSION *ext;
D
 
Dr. Stephen Henson 已提交
944 945
	/* Look for serial number of certificate in CRL */
	rtmp.serialNumber = X509_get_serialNumber(x);
946 947 948 949 950 951 952 953 954
	/* Sort revoked into serial number order if not already sorted.
	 * Do this under a lock to avoid race condition.
 	 */
	if (!sk_X509_REVOKED_is_sorted(crl->crl->revoked))
		{
		CRYPTO_w_lock(CRYPTO_LOCK_X509_CRL);
		sk_X509_REVOKED_sort(crl->crl->revoked);
		CRYPTO_w_unlock(CRYPTO_LOCK_X509_CRL);
		}
D
 
Dr. Stephen Henson 已提交
955
	idx = sk_X509_REVOKED_find(crl->crl->revoked, &rtmp);
956
	/* If found assume revoked: want something cleverer than
D
 
Dr. Stephen Henson 已提交
957 958
	 * this to handle entry extensions in V2 CRLs.
	 */
959 960 961 962 963 964 965
	if(idx >= 0)
		{
		ctx->error = X509_V_ERR_CERT_REVOKED;
		ok = ctx->verify_cb(0, ctx);
		if (!ok) return 0;
		}

966
	if (ctx->param->flags & X509_V_FLAG_IGNORE_CRITICAL)
967 968 969
		return 1;

	/* See if we have any critical CRL extensions: since we
970 971
	 * currently only handle IDP the CRL must be rejected if any others
	 * are present. 
972 973 974 975 976 977 978 979 980 981 982
	 * This code accesses the X509_CRL structure directly: applications
	 * shouldn't do this.
	 */

	exts = crl->crl->extensions;

	for (idx = 0; idx < sk_X509_EXTENSION_num(exts); idx++)
		{
		ext = sk_X509_EXTENSION_value(exts, idx);
		if (ext->critical > 0)
			{
983 984 985 986
			/* We handle IDP now so permit it */
			if (OBJ_obj2nid(ext->object) ==
				NID_issuing_distribution_point)
				continue;
987 988 989 990 991 992 993 994
			ctx->error =
				X509_V_ERR_UNHANDLED_CRITICAL_CRL_EXTENSION;
			ok = ctx->verify_cb(0, ctx);
			if(!ok) return 0;
			break;
			}
		}
	return 1;
D
 
Dr. Stephen Henson 已提交
995 996
	}

997 998 999
static int check_policy(X509_STORE_CTX *ctx)
	{
	int ret;
1000
	ret = X509_policy_check(&ctx->tree, &ctx->explicit_policy, ctx->chain,
1001 1002 1003
				ctx->param->policies, ctx->param->flags);
	if (ret == 0)
		{
B
Bodo Möller 已提交
1004
		X509err(X509_F_CHECK_POLICY,ERR_R_MALLOC_FAILURE);
1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043
		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;
			ret = ctx->verify_cb(0, ctx);
			}
		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;
	}

1044 1045 1046 1047 1048
static int check_cert_time(X509_STORE_CTX *ctx, X509 *x)
	{
	time_t *ptime;
	int i;

1049 1050
	if (ctx->param->flags & X509_V_FLAG_USE_CHECK_TIME)
		ptime = &ctx->param->check_time;
1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090
	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 已提交
1091
static int internal_verify(X509_STORE_CTX *ctx)
1092
	{
1093
	int ok=0,n;
1094 1095
	X509 *xs,*xi;
	EVP_PKEY *pkey=NULL;
1096
	int (*cb)(int xok,X509_STORE_CTX *xctx);
1097

1098
	cb=ctx->verify_cb;
1099

B
Ben Laurie 已提交
1100
	n=sk_X509_num(ctx->chain);
1101 1102
	ctx->error_depth=n-1;
	n--;
B
Ben Laurie 已提交
1103
	xi=sk_X509_value(ctx->chain,n);
1104

D
Dr. Stephen Henson 已提交
1105
	if (ctx->check_issued(ctx, xi, xi))
1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119
		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 已提交
1120
			xs=sk_X509_value(ctx->chain,n);
1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136
			}
		}

/*	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;
				}
1137
			else if (X509_verify(xs,pkey) <= 0)
B
Bodo Möller 已提交
1138 1139 1140 1141 1142 1143 1144
				/* 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. */
1145 1146 1147 1148
				{
				ctx->error=X509_V_ERR_CERT_SIGNATURE_FAILURE;
				ctx->current_cert=xs;
				ok=(*cb)(0,ctx);
D
 
Dr. Stephen Henson 已提交
1149 1150 1151 1152 1153
				if (!ok)
					{
					EVP_PKEY_free(pkey);
					goto end;
					}
1154
				}
1155
			EVP_PKEY_free(pkey);
1156 1157 1158
			pkey=NULL;
			}

1159
		xs->valid = 1;
1160

1161 1162
		ok = check_cert_time(ctx, xs);
		if (!ok)
1163
			goto end;
1164 1165

		/* The last error (if any) is still in the error value */
1166
		ctx->current_issuer=xi;
1167 1168 1169 1170 1171 1172 1173 1174
		ctx->current_cert=xs;
		ok=(*cb)(1,ctx);
		if (!ok) goto end;

		n--;
		if (n >= 0)
			{
			xi=xs;
B
Ben Laurie 已提交
1175
			xs=sk_X509_value(ctx->chain,n);
1176 1177 1178 1179
			}
		}
	ok=1;
end:
1180
	return ok;
1181 1182
	}

1183
int X509_cmp_current_time(ASN1_TIME *ctm)
D
Dr. Stephen Henson 已提交
1184 1185 1186 1187 1188
{
	return X509_cmp_time(ctm, NULL);
}

int X509_cmp_time(ASN1_TIME *ctm, time_t *cmp_time)
1189 1190
	{
	char *str;
1191
	ASN1_TIME atm;
1192
	long offset;
1193 1194 1195 1196 1197 1198
	char buff1[24],buff2[24],*p;
	int i,j;

	p=buff1;
	i=ctm->length;
	str=(char *)ctm->data;
1199 1200
	if (ctm->type == V_ASN1_UTCTIME)
		{
1201
		if ((i < 11) || (i > 17)) return 0;
1202 1203 1204
		memcpy(p,str,10);
		p+=10;
		str+=10;
1205 1206 1207 1208
		}
	else
		{
		if (i < 13) return 0;
1209 1210 1211
		memcpy(p,str,12);
		p+=12;
		str+=12;
1212
		}
1213 1214 1215

	if ((*str == 'Z') || (*str == '-') || (*str == '+'))
		{ *(p++)='0'; *(p++)='0'; }
1216 1217 1218 1219 1220
	else
		{ 
		*(p++)= *(str++);
		*(p++)= *(str++);
		/* Skip any fractional seconds... */
1221
		if (*str == '.')
1222 1223
			{
			str++;
1224
			while ((*str >= '0') && (*str <= '9')) str++;
1225
			}
1226 1227
		
		}
1228 1229 1230 1231 1232 1233 1234
	*(p++)='Z';
	*(p++)='\0';

	if (*str == 'Z')
		offset=0;
	else
		{
R
Richard Levitte 已提交
1235
		if ((*str != '+') && (*str != '-'))
1236
			return 0;
1237 1238 1239
		offset=((str[1]-'0')*10+(str[2]-'0'))*60;
		offset+=(str[3]-'0')*10+(str[4]-'0');
		if (*str == '-')
1240
			offset= -offset;
1241
		}
1242
	atm.type=ctm->type;
1243 1244 1245
	atm.length=sizeof(buff2);
	atm.data=(unsigned char *)buff2;

1246 1247
	if (X509_time_adj(&atm,-offset*60, cmp_time) == NULL)
		return 0;
1248

1249
	if (ctm->type == V_ASN1_UTCTIME)
1250 1251 1252 1253 1254
		{
		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;
1255

1256 1257
		if (i < j) return -1;
		if (i > j) return 1;
1258
		}
1259 1260
	i=strcmp(buff1,buff2);
	if (i == 0) /* wait a second then return younger :-) */
1261
		return -1;
1262
	else
1263
		return i;
1264 1265
	}

1266
ASN1_TIME *X509_gmtime_adj(ASN1_TIME *s, long adj)
D
Dr. Stephen Henson 已提交
1267 1268 1269 1270 1271
{
	return X509_time_adj(s, adj, NULL);
}

ASN1_TIME *X509_time_adj(ASN1_TIME *s, long adj, time_t *in_tm)
1272 1273
	{
	time_t t;
1274
	int type = -1;
1275

1276
	if (in_tm) t = *in_tm;
D
Dr. Stephen Henson 已提交
1277 1278
	else time(&t);

1279
	t+=adj;
1280 1281 1282 1283
	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);
1284 1285
	}

B
Ben Laurie 已提交
1286
int X509_get_pubkey_parameters(EVP_PKEY *pkey, STACK_OF(X509) *chain)
1287 1288 1289 1290
	{
	EVP_PKEY *ktmp=NULL,*ktmp2;
	int i,j;

1291
	if ((pkey != NULL) && !EVP_PKEY_missing_parameters(pkey)) return 1;
1292

B
Ben Laurie 已提交
1293
	for (i=0; i<sk_X509_num(chain); i++)
1294
		{
B
Ben Laurie 已提交
1295
		ktmp=X509_get_pubkey(sk_X509_value(chain,i));
1296 1297 1298
		if (ktmp == NULL)
			{
			X509err(X509_F_X509_GET_PUBKEY_PARAMETERS,X509_R_UNABLE_TO_GET_CERTS_PUBLIC_KEY);
1299
			return 0;
1300 1301 1302 1303 1304
			}
		if (!EVP_PKEY_missing_parameters(ktmp))
			break;
		else
			{
1305
			EVP_PKEY_free(ktmp);
1306 1307 1308 1309 1310 1311
			ktmp=NULL;
			}
		}
	if (ktmp == NULL)
		{
		X509err(X509_F_X509_GET_PUBKEY_PARAMETERS,X509_R_UNABLE_TO_FIND_PARAMETERS_IN_CHAIN);
1312
		return 0;
1313 1314 1315 1316 1317
		}

	/* first, populate the other certs */
	for (j=i-1; j >= 0; j--)
		{
B
Ben Laurie 已提交
1318
		ktmp2=X509_get_pubkey(sk_X509_value(chain,j));
1319
		EVP_PKEY_copy_parameters(ktmp2,ktmp);
1320
		EVP_PKEY_free(ktmp2);
1321 1322
		}
	
1323 1324
	if (pkey != NULL) EVP_PKEY_copy_parameters(pkey,ktmp);
	EVP_PKEY_free(ktmp);
1325
	return 1;
1326 1327
	}

D
 
Dr. Stephen Henson 已提交
1328 1329
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 已提交
1330 1331
	{
	/* This function is (usually) called only once, by
1332 1333 1334
	 * 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 已提交
1335
	}
1336

U
Ulf Möller 已提交
1337
int X509_STORE_CTX_set_ex_data(X509_STORE_CTX *ctx, int idx, void *data)
1338
	{
1339
	return CRYPTO_set_ex_data(&ctx->ex_data,idx,data);
1340 1341
	}

U
Ulf Möller 已提交
1342
void *X509_STORE_CTX_get_ex_data(X509_STORE_CTX *ctx, int idx)
1343
	{
1344
	return CRYPTO_get_ex_data(&ctx->ex_data,idx);
1345 1346
	}

U
Ulf Möller 已提交
1347
int X509_STORE_CTX_get_error(X509_STORE_CTX *ctx)
1348
	{
1349
	return ctx->error;
1350 1351
	}

U
Ulf Möller 已提交
1352
void X509_STORE_CTX_set_error(X509_STORE_CTX *ctx, int err)
1353 1354 1355 1356
	{
	ctx->error=err;
	}

U
Ulf Möller 已提交
1357
int X509_STORE_CTX_get_error_depth(X509_STORE_CTX *ctx)
1358
	{
1359
	return ctx->error_depth;
1360 1361
	}

U
Ulf Möller 已提交
1362
X509 *X509_STORE_CTX_get_current_cert(X509_STORE_CTX *ctx)
1363
	{
1364
	return ctx->current_cert;
1365 1366
	}

B
Ben Laurie 已提交
1367
STACK_OF(X509) *X509_STORE_CTX_get_chain(X509_STORE_CTX *ctx)
1368
	{
1369
	return ctx->chain;
1370 1371
	}

1372
STACK_OF(X509) *X509_STORE_CTX_get1_chain(X509_STORE_CTX *ctx)
1373 1374 1375 1376
	{
	int i;
	X509 *x;
	STACK_OF(X509) *chain;
1377 1378
	if (!ctx->chain || !(chain = sk_X509_dup(ctx->chain))) return NULL;
	for (i = 0; i < sk_X509_num(chain); i++)
1379
		{
1380 1381
		x = sk_X509_value(chain, i);
		CRYPTO_add(&x->references, 1, CRYPTO_LOCK_X509);
1382
		}
1383
	return chain;
1384 1385
	}

U
Ulf Möller 已提交
1386
void X509_STORE_CTX_set_cert(X509_STORE_CTX *ctx, X509 *x)
1387 1388 1389 1390
	{
	ctx->cert=x;
	}

U
Ulf Möller 已提交
1391
void X509_STORE_CTX_set_chain(X509_STORE_CTX *ctx, STACK_OF(X509) *sk)
1392 1393 1394 1395
	{
	ctx->untrusted=sk;
	}

1396 1397 1398 1399 1400
void X509_STORE_CTX_set0_crls(X509_STORE_CTX *ctx, STACK_OF(X509_CRL) *sk)
	{
	ctx->crls=sk;
	}

1401
int X509_STORE_CTX_set_purpose(X509_STORE_CTX *ctx, int purpose)
1402
	{
1403
	return X509_STORE_CTX_purpose_inherit(ctx, 0, purpose, 0);
1404 1405
	}

1406
int X509_STORE_CTX_set_trust(X509_STORE_CTX *ctx, int trust)
1407
	{
1408
	return X509_STORE_CTX_purpose_inherit(ctx, 0, 0, trust);
1409 1410
	}

1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422
/* 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)
1423 1424
{
	int idx;
1425
	/* If purpose not set use default */
1426
	if (!purpose) purpose = def_purpose;
1427
	/* If we have a purpose then check it is valid */
1428 1429
	if (purpose)
		{
1430
		X509_PURPOSE *ptmp;
1431
		idx = X509_PURPOSE_get_by_id(purpose);
1432
		if (idx == -1)
1433
			{
1434 1435 1436
			X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_PURPOSE_ID);
			return 0;
1437
			}
1438
		ptmp = X509_PURPOSE_get0(idx);
1439
		if (ptmp->trust == X509_TRUST_DEFAULT)
1440
			{
1441
			idx = X509_PURPOSE_get_by_id(def_purpose);
1442
			if (idx == -1)
1443
				{
1444 1445 1446
				X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_PURPOSE_ID);
				return 0;
1447
				}
1448
			ptmp = X509_PURPOSE_get0(idx);
1449
			}
1450
		/* If trust not set then get from purpose default */
1451
		if (!trust) trust = ptmp->trust;
1452
		}
1453
	if (trust)
1454
		{
1455
		idx = X509_TRUST_get_by_id(trust);
1456
		if (idx == -1)
1457
			{
1458 1459 1460
			X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_TRUST_ID);
			return 0;
1461
			}
1462 1463
		}

1464 1465
	if (purpose && !ctx->param->purpose) ctx->param->purpose = purpose;
	if (trust && !ctx->param->trust) ctx->param->trust = trust;
1466 1467 1468
	return 1;
}

1469 1470 1471 1472
X509_STORE_CTX *X509_STORE_CTX_new(void)
{
	X509_STORE_CTX *ctx;
	ctx = (X509_STORE_CTX *)OPENSSL_malloc(sizeof(X509_STORE_CTX));
1473 1474 1475 1476 1477 1478
	if (!ctx)
		{
		X509err(X509_F_X509_STORE_CTX_NEW,ERR_R_MALLOC_FAILURE);
		return NULL;
		}
	memset(ctx, 0, sizeof(X509_STORE_CTX));
1479 1480 1481 1482 1483 1484 1485 1486 1487
	return ctx;
}

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

1488
int X509_STORE_CTX_init(X509_STORE_CTX *ctx, X509_STORE *store, X509 *x509,
1489 1490
	     STACK_OF(X509) *chain)
	{
1491
	int ret = 1;
1492 1493 1494 1495
	ctx->ctx=store;
	ctx->current_method=0;
	ctx->cert=x509;
	ctx->untrusted=chain;
1496
	ctx->crls = NULL;
1497
	ctx->last_untrusted=0;
1498
	ctx->other_ctx=NULL;
1499 1500 1501
	ctx->valid=0;
	ctx->chain=NULL;
	ctx->error=0;
1502
	ctx->explicit_policy=0;
1503
	ctx->error_depth=0;
1504 1505
	ctx->current_cert=NULL;
	ctx->current_issuer=NULL;
1506 1507 1508 1509 1510 1511 1512 1513 1514
	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;
		}
1515 1516 1517 1518 1519 1520

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


1521 1522 1523 1524 1525
	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 已提交
1526 1527
	if (store)
		{
1528
		ctx->verify_cb = store->verify_cb;
D
Dr. Stephen Henson 已提交
1529 1530 1531 1532
		ctx->cleanup = store->cleanup;
		}
	else
		ctx->cleanup = 0;
1533 1534 1535 1536 1537 1538 1539 1540 1541

	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 已提交
1542 1543 1544
		}

	if (store && store->check_issued)
1545 1546 1547 1548
		ctx->check_issued = store->check_issued;
	else
		ctx->check_issued = check_issued;

D
Dr. Stephen Henson 已提交
1549
	if (store && store->get_issuer)
1550 1551 1552 1553
		ctx->get_issuer = store->get_issuer;
	else
		ctx->get_issuer = X509_STORE_CTX_get1_issuer;

D
Dr. Stephen Henson 已提交
1554
	if (store && store->verify_cb)
1555 1556 1557 1558
		ctx->verify_cb = store->verify_cb;
	else
		ctx->verify_cb = null_callback;

D
Dr. Stephen Henson 已提交
1559
	if (store && store->verify)
1560 1561 1562 1563
		ctx->verify = store->verify;
	else
		ctx->verify = internal_verify;

D
Dr. Stephen Henson 已提交
1564
	if (store && store->check_revocation)
1565 1566 1567 1568
		ctx->check_revocation = store->check_revocation;
	else
		ctx->check_revocation = check_revocation;

D
Dr. Stephen Henson 已提交
1569
	if (store && store->get_crl)
1570 1571 1572 1573
		ctx->get_crl = store->get_crl;
	else
		ctx->get_crl = get_crl;

D
Dr. Stephen Henson 已提交
1574
	if (store && store->check_crl)
1575 1576 1577 1578
		ctx->check_crl = store->check_crl;
	else
		ctx->check_crl = check_crl;

D
Dr. Stephen Henson 已提交
1579
	if (store && store->cert_crl)
1580 1581 1582 1583
		ctx->cert_crl = store->cert_crl;
	else
		ctx->cert_crl = cert_crl;

1584 1585 1586
	if (store && store->lookup_certs)
		ctx->lookup_certs = store->lookup_certs;
	else
1587
		ctx->lookup_certs = X509_STORE_get1_certs;
1588 1589 1590 1591

	if (store && store->lookup_crls)
		ctx->lookup_crls = store->lookup_crls;
	else
1592
		ctx->lookup_crls = X509_STORE_get1_crls;
1593

1594 1595
	ctx->check_policy = check_policy;

1596

1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608
	/* 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;
1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622
	}

/* 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)
	{
1623
	if (ctx->cleanup) ctx->cleanup(ctx);
1624 1625 1626
	X509_VERIFY_PARAM_free(ctx->param);
	if (ctx->tree)
		X509_policy_tree_free(ctx->tree);
1627 1628 1629 1630 1631
	if (ctx->chain != NULL)
		{
		sk_X509_pop_free(ctx->chain,X509_free);
		ctx->chain=NULL;
		}
1632
	CRYPTO_free_ex_data(CRYPTO_EX_INDEX_X509_STORE_CTX, ctx, &(ctx->ex_data));
1633
	memset(&ctx->ex_data,0,sizeof(CRYPTO_EX_DATA));
1634
	}
1635

1636
void X509_STORE_CTX_set_depth(X509_STORE_CTX *ctx, int depth)
D
Dr. Stephen Henson 已提交
1637
	{
1638
	X509_VERIFY_PARAM_set_depth(ctx->param, depth);
D
Dr. Stephen Henson 已提交
1639 1640
	}

1641
void X509_STORE_CTX_set_flags(X509_STORE_CTX *ctx, unsigned long flags)
D
Dr. Stephen Henson 已提交
1642
	{
1643 1644 1645 1646 1647 1648
	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 已提交
1649 1650
	}

L
Lutz Jänicke 已提交
1651 1652 1653 1654 1655 1656
void X509_STORE_CTX_set_verify_cb(X509_STORE_CTX *ctx,
				  int (*verify_cb)(int, X509_STORE_CTX *))
	{
	ctx->verify_cb=verify_cb;
	}

1657 1658 1659 1660 1661 1662 1663
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)
	{
1664
	return ctx->explicit_policy;
1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687
	}

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 已提交
1688 1689
IMPLEMENT_STACK_OF(X509)
IMPLEMENT_ASN1_SET_OF(X509)
B
Ben Laurie 已提交
1690

B
Ben Laurie 已提交
1691
IMPLEMENT_STACK_OF(X509_NAME)
B
Ben Laurie 已提交
1692

1693
IMPLEMENT_STACK_OF(X509_ATTRIBUTE)
B
Ben Laurie 已提交
1694
IMPLEMENT_ASN1_SET_OF(X509_ATTRIBUTE)