x509_vfy.c 39.0 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
	if(!ok) goto end;

B
Ben Laurie 已提交
317 318 319 320 321 322 323 324
#ifdef OPENSSL_RFC3779
	/* 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

325 326 327 328
	/* 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;
329 330
	if (0)
		{
331
end:
332 333
		X509_get_pubkey_parameters(NULL,ctx->chain);
		}
B
Ben Laurie 已提交
334
	if (sktmp != NULL) sk_X509_free(sktmp);
335
	if (chain_ss != NULL) X509_free(chain_ss);
336
	return ok;
337 338
	}

339 340 341 342 343 344 345 346

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

	ctx->error = ret;
	ctx->current_cert = x;
	ctx->current_issuer = issuer;
371
	return ctx->verify_cb(0, ctx);
372 373 374 375 376 377 378 379
	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);
380 381
	if (*issuer)
		{
382 383
		CRYPTO_add(&(*issuer)->references,1,CRYPTO_LOCK_X509);
		return 1;
384 385 386
		}
	else
		return 0;
387 388 389
}
	

390 391 392 393
/* Check a certificate chains extensions for consistency
 * with the supplied purpose
 */

394
static int check_chain_extensions(X509_STORE_CTX *ctx)
395
{
396
#ifdef OPENSSL_NO_CHAIN_VERIFY
397 398
	return 1;
#else
399
	int i, ok=0, must_be_ca;
400
	X509 *x;
401
	int (*cb)(int xok,X509_STORE_CTX *xctx);
402
	int proxy_path_length = 0;
403 404
	int allow_proxy_certs =
		!!(ctx->param->flags & X509_V_FLAG_ALLOW_PROXY_CERTS);
405
	cb=ctx->verify_cb;
406 407 408 409 410 411 412 413 414 415

	/* 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;
416 417 418 419 420 421

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

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

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

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

	}

611 612 613 614 615 616 617
/* 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;
618 619
	if (ctx->param->flags & X509_V_FLAG_USE_CHECK_TIME)
		ptime = &ctx->param->check_time;
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 654 655 656 657 658 659 660 661
	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;
	}

662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677
/* 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.
678 679
 */

680 681 682 683 684 685 686 687 688 689 690 691 692
/* 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)

693 694 695
static int get_crl_sk(X509_STORE_CTX *ctx, X509_CRL **pcrl,
			X509_NAME *nm, STACK_OF(X509_CRL) *crls)
	{
696
	int i, crl_score, best_score = -1;
697 698 699
	X509_CRL *crl, *best_crl = NULL;
	for (i = 0; i < sk_X509_CRL_num(crls); i++)
		{
700
		crl_score = 0;
701
		crl = sk_X509_CRL_value(crls, i);
702
		if (nm && X509_NAME_cmp(nm, X509_CRL_get_issuer(crl)))
703 704
			continue;
		if (check_crl_time(ctx, crl, 0))
705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725
			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)
726 727
			{
			*pcrl = crl;
728
			CRYPTO_add(&crl->references, 1, CRYPTO_LOCK_X509_CRL);
729 730
			return 1;
			}
731 732 733 734 735 736

		if (crl_score > best_score)
			{
			best_crl = crl;
			best_score = crl_score;
			}
737 738 739 740 741 742 743 744 745 746
		}
	if (best_crl)
		{
		*pcrl = best_crl;
		CRYPTO_add(&best_crl->references, 1, CRYPTO_LOCK_X509);
		}
		
	return 0;
	}

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 802 803 804 805 806 807 808 809
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 已提交
810
 */
811
	
812
static int get_crl(X509_STORE_CTX *ctx, X509_CRL **pcrl, X509 *x)
D
 
Dr. Stephen Henson 已提交
813 814
	{
	int ok;
815
	X509_CRL *crl = NULL;
816
	STACK_OF(X509_CRL) *skcrl;
817 818 819 820 821 822 823 824 825
	X509_NAME *nm;
	nm = X509_get_issuer_name(x);
	ok = get_crl_sk(ctx, &crl, nm, ctx->crls);
	if (ok)
		{
		*pcrl = crl;
		return 1;
		}

826
	/* Lookup CRLs from store */
827

828 829 830 831
	skcrl = ctx->lookup_crls(ctx, nm);

	/* If no CRLs found and a near match from get_crl_sk use that */
	if (!skcrl)
832 833 834 835 836 837 838 839 840
		{
		if (crl)
			{
			*pcrl = crl;
			return 1;
			}
		return 0;
		}

841 842 843 844 845 846
	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)
847
		{
848 849
		*pcrl = crl;
		return 1;
850
		}
851 852

	return 0;
D
 
Dr. Stephen Henson 已提交
853 854 855 856 857 858 859
	}

/* Check CRL validity */
static int check_crl(X509_STORE_CTX *ctx, X509_CRL *crl)
	{
	X509 *issuer = NULL;
	EVP_PKEY *ikey = NULL;
860
	int ok = 0, chnum, cnum;
D
 
Dr. Stephen Henson 已提交
861 862 863 864 865 866 867 868 869 870 871 872 873 874
	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;
875
			ok = ctx->verify_cb(0, ctx);
D
 
Dr. Stephen Henson 已提交
876 877 878 879 880 881
			if(!ok) goto err;
			}
		}

	if(issuer)
		{
882 883 884 885 886 887 888 889
		/* 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 已提交
890

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

934 935
	ok = check_crl_time(ctx, crl, 1);
	if (!ok)
936
		goto err;
D
 
Dr. Stephen Henson 已提交
937 938 939 940 941 942 943 944 945 946 947

	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)
	{
948 949 950
	int ok;
	/* Look for serial number of certificate in CRL
	 * If found assume revoked: want something cleverer than
D
 
Dr. Stephen Henson 已提交
951 952
	 * this to handle entry extensions in V2 CRLs.
	 */
953
	if (X509_CRL_get0_by_serial(crl, NULL, X509_get_serialNumber(x)) > 0)
954 955 956
		{
		ctx->error = X509_V_ERR_CERT_REVOKED;
		ok = ctx->verify_cb(0, ctx);
957 958
		if (!ok)
			return 0;
959 960
		}

961
	if (crl->flags & EXFLAG_CRITICAL)
962
		{
963 964 965 966 967 968
		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;
969
		}
970

971
	return 1;
D
 
Dr. Stephen Henson 已提交
972 973
	}

974 975 976
static int check_policy(X509_STORE_CTX *ctx)
	{
	int ret;
977
	ret = X509_policy_check(&ctx->tree, &ctx->explicit_policy, ctx->chain,
978 979 980
				ctx->param->policies, ctx->param->flags);
	if (ret == 0)
		{
B
Bodo Möller 已提交
981
		X509err(X509_F_CHECK_POLICY,ERR_R_MALLOC_FAILURE);
982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020
		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;
	}

1021 1022 1023 1024 1025
static int check_cert_time(X509_STORE_CTX *ctx, X509 *x)
	{
	time_t *ptime;
	int i;

1026 1027
	if (ctx->param->flags & X509_V_FLAG_USE_CHECK_TIME)
		ptime = &ctx->param->check_time;
1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067
	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 已提交
1068
static int internal_verify(X509_STORE_CTX *ctx)
1069
	{
1070
	int ok=0,n;
1071 1072
	X509 *xs,*xi;
	EVP_PKEY *pkey=NULL;
1073
	int (*cb)(int xok,X509_STORE_CTX *xctx);
1074

1075
	cb=ctx->verify_cb;
1076

B
Ben Laurie 已提交
1077
	n=sk_X509_num(ctx->chain);
1078 1079
	ctx->error_depth=n-1;
	n--;
B
Ben Laurie 已提交
1080
	xi=sk_X509_value(ctx->chain,n);
1081

D
Dr. Stephen Henson 已提交
1082
	if (ctx->check_issued(ctx, xi, xi))
1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096
		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 已提交
1097
			xs=sk_X509_value(ctx->chain,n);
1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113
			}
		}

/*	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;
				}
1114
			else if (X509_verify(xs,pkey) <= 0)
B
Bodo Möller 已提交
1115 1116 1117 1118 1119 1120 1121
				/* 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. */
1122 1123 1124 1125
				{
				ctx->error=X509_V_ERR_CERT_SIGNATURE_FAILURE;
				ctx->current_cert=xs;
				ok=(*cb)(0,ctx);
D
 
Dr. Stephen Henson 已提交
1126 1127 1128 1129 1130
				if (!ok)
					{
					EVP_PKEY_free(pkey);
					goto end;
					}
1131
				}
1132
			EVP_PKEY_free(pkey);
1133 1134 1135
			pkey=NULL;
			}

1136
		xs->valid = 1;
1137

1138 1139
		ok = check_cert_time(ctx, xs);
		if (!ok)
1140
			goto end;
1141 1142

		/* The last error (if any) is still in the error value */
1143
		ctx->current_issuer=xi;
1144 1145 1146 1147 1148 1149 1150 1151
		ctx->current_cert=xs;
		ok=(*cb)(1,ctx);
		if (!ok) goto end;

		n--;
		if (n >= 0)
			{
			xi=xs;
B
Ben Laurie 已提交
1152
			xs=sk_X509_value(ctx->chain,n);
1153 1154 1155 1156
			}
		}
	ok=1;
end:
1157
	return ok;
1158 1159
	}

1160
int X509_cmp_current_time(ASN1_TIME *ctm)
D
Dr. Stephen Henson 已提交
1161 1162 1163 1164 1165
{
	return X509_cmp_time(ctm, NULL);
}

int X509_cmp_time(ASN1_TIME *ctm, time_t *cmp_time)
1166 1167
	{
	char *str;
1168
	ASN1_TIME atm;
1169
	long offset;
1170 1171 1172 1173 1174 1175
	char buff1[24],buff2[24],*p;
	int i,j;

	p=buff1;
	i=ctm->length;
	str=(char *)ctm->data;
1176 1177
	if (ctm->type == V_ASN1_UTCTIME)
		{
1178
		if ((i < 11) || (i > 17)) return 0;
1179 1180 1181
		memcpy(p,str,10);
		p+=10;
		str+=10;
1182 1183 1184 1185
		}
	else
		{
		if (i < 13) return 0;
1186 1187 1188
		memcpy(p,str,12);
		p+=12;
		str+=12;
1189
		}
1190 1191 1192

	if ((*str == 'Z') || (*str == '-') || (*str == '+'))
		{ *(p++)='0'; *(p++)='0'; }
1193 1194 1195 1196 1197
	else
		{ 
		*(p++)= *(str++);
		*(p++)= *(str++);
		/* Skip any fractional seconds... */
1198
		if (*str == '.')
1199 1200
			{
			str++;
1201
			while ((*str >= '0') && (*str <= '9')) str++;
1202
			}
1203 1204
		
		}
1205 1206 1207 1208 1209 1210 1211
	*(p++)='Z';
	*(p++)='\0';

	if (*str == 'Z')
		offset=0;
	else
		{
R
Richard Levitte 已提交
1212
		if ((*str != '+') && (*str != '-'))
1213
			return 0;
1214 1215 1216
		offset=((str[1]-'0')*10+(str[2]-'0'))*60;
		offset+=(str[3]-'0')*10+(str[4]-'0');
		if (*str == '-')
1217
			offset= -offset;
1218
		}
1219
	atm.type=ctm->type;
1220 1221 1222
	atm.length=sizeof(buff2);
	atm.data=(unsigned char *)buff2;

1223 1224
	if (X509_time_adj(&atm,-offset*60, cmp_time) == NULL)
		return 0;
1225

1226
	if (ctm->type == V_ASN1_UTCTIME)
1227 1228 1229 1230 1231
		{
		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;
1232

1233 1234
		if (i < j) return -1;
		if (i > j) return 1;
1235
		}
1236 1237
	i=strcmp(buff1,buff2);
	if (i == 0) /* wait a second then return younger :-) */
1238
		return -1;
1239
	else
1240
		return i;
1241 1242
	}

1243
ASN1_TIME *X509_gmtime_adj(ASN1_TIME *s, long adj)
D
Dr. Stephen Henson 已提交
1244 1245 1246 1247 1248
{
	return X509_time_adj(s, adj, NULL);
}

ASN1_TIME *X509_time_adj(ASN1_TIME *s, long adj, time_t *in_tm)
1249 1250
	{
	time_t t;
1251
	int type = -1;
1252

1253
	if (in_tm) t = *in_tm;
D
Dr. Stephen Henson 已提交
1254 1255
	else time(&t);

1256
	t+=adj;
1257 1258 1259 1260
	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);
1261 1262
	}

B
Ben Laurie 已提交
1263
int X509_get_pubkey_parameters(EVP_PKEY *pkey, STACK_OF(X509) *chain)
1264 1265 1266 1267
	{
	EVP_PKEY *ktmp=NULL,*ktmp2;
	int i,j;

1268
	if ((pkey != NULL) && !EVP_PKEY_missing_parameters(pkey)) return 1;
1269

B
Ben Laurie 已提交
1270
	for (i=0; i<sk_X509_num(chain); i++)
1271
		{
B
Ben Laurie 已提交
1272
		ktmp=X509_get_pubkey(sk_X509_value(chain,i));
1273 1274 1275
		if (ktmp == NULL)
			{
			X509err(X509_F_X509_GET_PUBKEY_PARAMETERS,X509_R_UNABLE_TO_GET_CERTS_PUBLIC_KEY);
1276
			return 0;
1277 1278 1279 1280 1281
			}
		if (!EVP_PKEY_missing_parameters(ktmp))
			break;
		else
			{
1282
			EVP_PKEY_free(ktmp);
1283 1284 1285 1286 1287 1288
			ktmp=NULL;
			}
		}
	if (ktmp == NULL)
		{
		X509err(X509_F_X509_GET_PUBKEY_PARAMETERS,X509_R_UNABLE_TO_FIND_PARAMETERS_IN_CHAIN);
1289
		return 0;
1290 1291 1292 1293 1294
		}

	/* first, populate the other certs */
	for (j=i-1; j >= 0; j--)
		{
B
Ben Laurie 已提交
1295
		ktmp2=X509_get_pubkey(sk_X509_value(chain,j));
1296
		EVP_PKEY_copy_parameters(ktmp2,ktmp);
1297
		EVP_PKEY_free(ktmp2);
1298 1299
		}
	
1300 1301
	if (pkey != NULL) EVP_PKEY_copy_parameters(pkey,ktmp);
	EVP_PKEY_free(ktmp);
1302
	return 1;
1303 1304
	}

D
 
Dr. Stephen Henson 已提交
1305 1306
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 已提交
1307 1308
	{
	/* This function is (usually) called only once, by
1309 1310 1311
	 * 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 已提交
1312
	}
1313

U
Ulf Möller 已提交
1314
int X509_STORE_CTX_set_ex_data(X509_STORE_CTX *ctx, int idx, void *data)
1315
	{
1316
	return CRYPTO_set_ex_data(&ctx->ex_data,idx,data);
1317 1318
	}

U
Ulf Möller 已提交
1319
void *X509_STORE_CTX_get_ex_data(X509_STORE_CTX *ctx, int idx)
1320
	{
1321
	return CRYPTO_get_ex_data(&ctx->ex_data,idx);
1322 1323
	}

U
Ulf Möller 已提交
1324
int X509_STORE_CTX_get_error(X509_STORE_CTX *ctx)
1325
	{
1326
	return ctx->error;
1327 1328
	}

U
Ulf Möller 已提交
1329
void X509_STORE_CTX_set_error(X509_STORE_CTX *ctx, int err)
1330 1331 1332 1333
	{
	ctx->error=err;
	}

U
Ulf Möller 已提交
1334
int X509_STORE_CTX_get_error_depth(X509_STORE_CTX *ctx)
1335
	{
1336
	return ctx->error_depth;
1337 1338
	}

U
Ulf Möller 已提交
1339
X509 *X509_STORE_CTX_get_current_cert(X509_STORE_CTX *ctx)
1340
	{
1341
	return ctx->current_cert;
1342 1343
	}

B
Ben Laurie 已提交
1344
STACK_OF(X509) *X509_STORE_CTX_get_chain(X509_STORE_CTX *ctx)
1345
	{
1346
	return ctx->chain;
1347 1348
	}

1349
STACK_OF(X509) *X509_STORE_CTX_get1_chain(X509_STORE_CTX *ctx)
1350 1351 1352 1353
	{
	int i;
	X509 *x;
	STACK_OF(X509) *chain;
1354 1355
	if (!ctx->chain || !(chain = sk_X509_dup(ctx->chain))) return NULL;
	for (i = 0; i < sk_X509_num(chain); i++)
1356
		{
1357 1358
		x = sk_X509_value(chain, i);
		CRYPTO_add(&x->references, 1, CRYPTO_LOCK_X509);
1359
		}
1360
	return chain;
1361 1362
	}

U
Ulf Möller 已提交
1363
void X509_STORE_CTX_set_cert(X509_STORE_CTX *ctx, X509 *x)
1364 1365 1366 1367
	{
	ctx->cert=x;
	}

U
Ulf Möller 已提交
1368
void X509_STORE_CTX_set_chain(X509_STORE_CTX *ctx, STACK_OF(X509) *sk)
1369 1370 1371 1372
	{
	ctx->untrusted=sk;
	}

1373 1374 1375 1376 1377
void X509_STORE_CTX_set0_crls(X509_STORE_CTX *ctx, STACK_OF(X509_CRL) *sk)
	{
	ctx->crls=sk;
	}

1378
int X509_STORE_CTX_set_purpose(X509_STORE_CTX *ctx, int purpose)
1379
	{
1380
	return X509_STORE_CTX_purpose_inherit(ctx, 0, purpose, 0);
1381 1382
	}

1383
int X509_STORE_CTX_set_trust(X509_STORE_CTX *ctx, int trust)
1384
	{
1385
	return X509_STORE_CTX_purpose_inherit(ctx, 0, 0, trust);
1386 1387
	}

1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399
/* 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)
1400 1401
{
	int idx;
1402
	/* If purpose not set use default */
1403
	if (!purpose) purpose = def_purpose;
1404
	/* If we have a purpose then check it is valid */
1405 1406
	if (purpose)
		{
1407
		X509_PURPOSE *ptmp;
1408
		idx = X509_PURPOSE_get_by_id(purpose);
1409
		if (idx == -1)
1410
			{
1411 1412 1413
			X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_PURPOSE_ID);
			return 0;
1414
			}
1415
		ptmp = X509_PURPOSE_get0(idx);
1416
		if (ptmp->trust == X509_TRUST_DEFAULT)
1417
			{
1418
			idx = X509_PURPOSE_get_by_id(def_purpose);
1419
			if (idx == -1)
1420
				{
1421 1422 1423
				X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_PURPOSE_ID);
				return 0;
1424
				}
1425
			ptmp = X509_PURPOSE_get0(idx);
1426
			}
1427
		/* If trust not set then get from purpose default */
1428
		if (!trust) trust = ptmp->trust;
1429
		}
1430
	if (trust)
1431
		{
1432
		idx = X509_TRUST_get_by_id(trust);
1433
		if (idx == -1)
1434
			{
1435 1436 1437
			X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
						X509_R_UNKNOWN_TRUST_ID);
			return 0;
1438
			}
1439 1440
		}

1441 1442
	if (purpose && !ctx->param->purpose) ctx->param->purpose = purpose;
	if (trust && !ctx->param->trust) ctx->param->trust = trust;
1443 1444 1445
	return 1;
}

1446 1447 1448 1449
X509_STORE_CTX *X509_STORE_CTX_new(void)
{
	X509_STORE_CTX *ctx;
	ctx = (X509_STORE_CTX *)OPENSSL_malloc(sizeof(X509_STORE_CTX));
1450 1451 1452 1453 1454 1455
	if (!ctx)
		{
		X509err(X509_F_X509_STORE_CTX_NEW,ERR_R_MALLOC_FAILURE);
		return NULL;
		}
	memset(ctx, 0, sizeof(X509_STORE_CTX));
1456 1457 1458 1459 1460 1461 1462 1463 1464
	return ctx;
}

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

1465
int X509_STORE_CTX_init(X509_STORE_CTX *ctx, X509_STORE *store, X509 *x509,
1466 1467
	     STACK_OF(X509) *chain)
	{
1468
	int ret = 1;
1469 1470 1471 1472
	ctx->ctx=store;
	ctx->current_method=0;
	ctx->cert=x509;
	ctx->untrusted=chain;
1473
	ctx->crls = NULL;
1474
	ctx->last_untrusted=0;
1475
	ctx->other_ctx=NULL;
1476 1477 1478
	ctx->valid=0;
	ctx->chain=NULL;
	ctx->error=0;
1479
	ctx->explicit_policy=0;
1480
	ctx->error_depth=0;
1481 1482
	ctx->current_cert=NULL;
	ctx->current_issuer=NULL;
1483 1484 1485 1486 1487 1488 1489 1490 1491
	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;
		}
1492 1493 1494 1495 1496 1497

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


1498 1499 1500 1501 1502
	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 已提交
1503 1504
	if (store)
		{
1505
		ctx->verify_cb = store->verify_cb;
D
Dr. Stephen Henson 已提交
1506 1507 1508 1509
		ctx->cleanup = store->cleanup;
		}
	else
		ctx->cleanup = 0;
1510 1511 1512 1513 1514 1515 1516 1517 1518

	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 已提交
1519 1520 1521
		}

	if (store && store->check_issued)
1522 1523 1524 1525
		ctx->check_issued = store->check_issued;
	else
		ctx->check_issued = check_issued;

D
Dr. Stephen Henson 已提交
1526
	if (store && store->get_issuer)
1527 1528 1529 1530
		ctx->get_issuer = store->get_issuer;
	else
		ctx->get_issuer = X509_STORE_CTX_get1_issuer;

D
Dr. Stephen Henson 已提交
1531
	if (store && store->verify_cb)
1532 1533 1534 1535
		ctx->verify_cb = store->verify_cb;
	else
		ctx->verify_cb = null_callback;

D
Dr. Stephen Henson 已提交
1536
	if (store && store->verify)
1537 1538 1539 1540
		ctx->verify = store->verify;
	else
		ctx->verify = internal_verify;

D
Dr. Stephen Henson 已提交
1541
	if (store && store->check_revocation)
1542 1543 1544 1545
		ctx->check_revocation = store->check_revocation;
	else
		ctx->check_revocation = check_revocation;

D
Dr. Stephen Henson 已提交
1546
	if (store && store->get_crl)
1547 1548 1549 1550
		ctx->get_crl = store->get_crl;
	else
		ctx->get_crl = get_crl;

D
Dr. Stephen Henson 已提交
1551
	if (store && store->check_crl)
1552 1553 1554 1555
		ctx->check_crl = store->check_crl;
	else
		ctx->check_crl = check_crl;

D
Dr. Stephen Henson 已提交
1556
	if (store && store->cert_crl)
1557 1558 1559 1560
		ctx->cert_crl = store->cert_crl;
	else
		ctx->cert_crl = cert_crl;

1561 1562 1563
	if (store && store->lookup_certs)
		ctx->lookup_certs = store->lookup_certs;
	else
1564
		ctx->lookup_certs = X509_STORE_get1_certs;
1565 1566 1567 1568

	if (store && store->lookup_crls)
		ctx->lookup_crls = store->lookup_crls;
	else
1569
		ctx->lookup_crls = X509_STORE_get1_crls;
1570

1571 1572
	ctx->check_policy = check_policy;

1573

1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585
	/* 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;
1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599
	}

/* 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)
	{
1600
	if (ctx->cleanup) ctx->cleanup(ctx);
1601 1602 1603
	X509_VERIFY_PARAM_free(ctx->param);
	if (ctx->tree)
		X509_policy_tree_free(ctx->tree);
1604 1605 1606 1607 1608
	if (ctx->chain != NULL)
		{
		sk_X509_pop_free(ctx->chain,X509_free);
		ctx->chain=NULL;
		}
1609
	CRYPTO_free_ex_data(CRYPTO_EX_INDEX_X509_STORE_CTX, ctx, &(ctx->ex_data));
1610
	memset(&ctx->ex_data,0,sizeof(CRYPTO_EX_DATA));
1611
	}
1612

1613
void X509_STORE_CTX_set_depth(X509_STORE_CTX *ctx, int depth)
D
Dr. Stephen Henson 已提交
1614
	{
1615
	X509_VERIFY_PARAM_set_depth(ctx->param, depth);
D
Dr. Stephen Henson 已提交
1616 1617
	}

1618
void X509_STORE_CTX_set_flags(X509_STORE_CTX *ctx, unsigned long flags)
D
Dr. Stephen Henson 已提交
1619
	{
1620 1621 1622 1623 1624 1625
	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 已提交
1626 1627
	}

L
Lutz Jänicke 已提交
1628 1629 1630 1631 1632 1633
void X509_STORE_CTX_set_verify_cb(X509_STORE_CTX *ctx,
				  int (*verify_cb)(int, X509_STORE_CTX *))
	{
	ctx->verify_cb=verify_cb;
	}

1634 1635 1636 1637 1638 1639 1640
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)
	{
1641
	return ctx->explicit_policy;
1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664
	}

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 已提交
1665 1666
IMPLEMENT_STACK_OF(X509)
IMPLEMENT_ASN1_SET_OF(X509)
B
Ben Laurie 已提交
1667

B
Ben Laurie 已提交
1668
IMPLEMENT_STACK_OF(X509_NAME)
B
Ben Laurie 已提交
1669

1670
IMPLEMENT_STACK_OF(X509_ATTRIBUTE)
B
Ben Laurie 已提交
1671
IMPLEMENT_ASN1_SET_OF(X509_ATTRIBUTE)