crypto/x509/x509_vfy.c

   1 /* crypto/x509/x509_vfy.c */
   2 /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
   3  * All rights reserved.
   4  *
   5  * This package is an SSL implementation written
   6  * by Eric Young (eay@cryptsoft.com).
   7  * The implementation was written so as to conform with Netscapes SSL.
   8  *
   9  * This library is free for commercial and non-commercial use as long as
  10  * the following conditions are aheared to.  The following conditions
  11  * apply to all code found in this distribution, be it the RC4, RSA,
  12  * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
  13  * included with this distribution is covered by the same copyright terms
  14  * except that the holder is Tim Hudson (tjh@cryptsoft.com).
  15  *
  16  * Copyright remains Eric Young's, and as such any Copyright notices in
  17  * the code are not to be removed.
  18  * If this package is used in a product, Eric Young should be given attribution
  19  * as the author of the parts of the library used.
  20  * This can be in the form of a textual message at program startup or
  21  * in documentation (online or textual) provided with the package.
  22  *
  23  * Redistribution and use in source and binary forms, with or without
  24  * modification, are permitted provided that the following conditions
  25  * are met:
  26  * 1. Redistributions of source code must retain the copyright
  27  *    notice, this list of conditions and the following disclaimer.
  28  * 2. Redistributions in binary form must reproduce the above copyright
  29  *    notice, this list of conditions and the following disclaimer in the
  30  *    documentation and/or other materials provided with the distribution.
  31  * 3. All advertising materials mentioning features or use of this software
  32  *    must display the following acknowledgement:
  33  *    "This product includes cryptographic software written by
  34  *     Eric Young (eay@cryptsoft.com)"
  35  *    The word 'cryptographic' can be left out if the rouines from the library
  36  *    being used are not cryptographic related :-).
  37  * 4. If you include any Windows specific code (or a derivative thereof) from
  38  *    the apps directory (application code) you must include an acknowledgement:
  39  *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
  40  *
  41  * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
  42  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  43  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  44  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  45  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  46  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  47  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  48  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  49  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  50  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  51  * SUCH DAMAGE.
  52  *
  53  * The licence and distribution terms for any publically available version or
  54  * derivative of this code cannot be changed.  i.e. this code cannot simply be
  55  * copied and put under another distribution licence
  56  * [including the GNU Public Licence.]
  57  */
  58
  59 #include <stdio.h>
  60 #include <time.h>
  61 #include <errno.h>
  62
  63 #include "cryptlib.h"
  64 #include <openssl/crypto.h>
  65 #include <openssl/lhash.h>
  66 #include <openssl/buffer.h>
  67 #include <openssl/evp.h>
  68 #include <openssl/asn1.h>
  69 #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 static int check_issued(X509_STORE_CTX *ctx, X509 *x, X509 *issuer);
  75 static X509 *find_issuer(X509_STORE_CTX *ctx, STACK_OF(X509) *sk, X509 *x);
  76 static int check_chain_extensions(X509_STORE_CTX *ctx);
  77 static int check_name_constraints(X509_STORE_CTX *ctx);
  78 static int check_trust(X509_STORE_CTX *ctx);
  79 static int check_revocation(X509_STORE_CTX *ctx);
  80 static int check_cert(X509_STORE_CTX *ctx);
  81 static int check_policy(X509_STORE_CTX *ctx);
  82 static int crl_akid_check(X509_STORE_CTX *ctx, X509_CRL *crl, X509 **pissuer);
  83 static int idp_check_scope(X509 *x, X509_CRL *crl);
  84 static int internal_verify(X509_STORE_CTX *ctx);
  85 const char X509_version[]="X.509" OPENSSL_VERSION_PTEXT;
  86
  87
  88 static int null_callback(int ok, X509_STORE_CTX *e)
  89         {
  90         return ok;
  91         }
  92
  93 #if 0
  94 static int x509_subject_cmp(X509 **a, X509 **b)
  95         {
  96         return X509_subject_name_cmp(*a,*b);
  97         }
  98 #endif
  99
 100 int X509_verify_cert(X509_STORE_CTX *ctx)
 101         {
 102         X509 *x,*xtmp,*chain_ss=NULL;
 103         X509_NAME *xn;
 104         int bad_chain = 0;
 105         X509_VERIFY_PARAM *param = ctx->param;
 106         int depth,i,ok=0;
 107         int num;
 108         int (*cb)(int xok,X509_STORE_CTX *xctx);
 109         STACK_OF(X509) *sktmp=NULL;
 110         if (ctx->cert == NULL)
 111                 {
 112                 X509err(X509_F_X509_VERIFY_CERT,X509_R_NO_CERT_SET_FOR_US_TO_VERIFY);
 113                 return -1;
 114                 }
 115
 116         cb=ctx->verify_cb;
 117
 118         /* first we make sure the chain we are going to build is
 119          * present and that the first entry is in place */
 120         if (ctx->chain == NULL)
 121                 {
 122                 if (    ((ctx->chain=sk_X509_new_null()) == NULL) ||
 123                         (!sk_X509_push(ctx->chain,ctx->cert)))
 124                         {
 125                         X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
 126                         goto end;
 127                         }
 128                 CRYPTO_add(&ctx->cert->references,1,CRYPTO_LOCK_X509);
 129                 ctx->last_untrusted=1;
 130                 }
 131
 132         /* We use a temporary STACK so we can chop and hack at it */
 133         if (ctx->untrusted != NULL
 134             && (sktmp=sk_X509_dup(ctx->untrusted)) == NULL)
 135                 {
 136                 X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
 137                 goto end;
 138                 }
 139
 140         num=sk_X509_num(ctx->chain);
 141         x=sk_X509_value(ctx->chain,num-1);
 142         depth=param->depth;
 143
 144
 145         for (;;)
 146                 {
 147                 /* If we have enough, we break */
 148                 if (depth < num) break; /* FIXME: If this happens, we should take
 149                                          * note of it and, if appropriate, use the
 150                                          * X509_V_ERR_CERT_CHAIN_TOO_LONG error
 151                                          * code later.
 152                                          */
 153
 154                 /* If we are self signed, we break */
 155                 xn=X509_get_issuer_name(x);
 156                 if (ctx->check_issued(ctx, x,x)) break;
 157
 158                 /* If we were passed a cert chain, use it first */
 159                 if (ctx->untrusted != NULL)
 160                         {
 161                         xtmp=find_issuer(ctx, sktmp,x);
 162                         if (xtmp != NULL)
 163                                 {
 164                                 if (!sk_X509_push(ctx->chain,xtmp))
 165                                         {
 166                                         X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
 167                                         goto end;
 168                                         }
 169                                 CRYPTO_add(&xtmp->references,1,CRYPTO_LOCK_X509);
 170                                 (void)sk_X509_delete_ptr(sktmp,xtmp);
 171                                 ctx->last_untrusted++;
 172                                 x=xtmp;
 173                                 num++;
 174                                 /* reparse the full chain for
 175                                  * the next one */
 176                                 continue;
 177                                 }
 178                         }
 179                 break;
 180                 }
 181
 182         /* at this point, chain should contain a list of untrusted
 183          * certificates.  We now need to add at least one trusted one,
 184          * if possible, otherwise we complain. */
 185
 186         /* Examine last certificate in chain and see if it
 187          * is self signed.
 188          */
 189
 190         i=sk_X509_num(ctx->chain);
 191         x=sk_X509_value(ctx->chain,i-1);
 192         xn = X509_get_subject_name(x);
 193         if (ctx->check_issued(ctx, x, x))
 194                 {
 195                 /* we have a self signed certificate */
 196                 if (sk_X509_num(ctx->chain) == 1)
 197                         {
 198                         /* We have a single self signed certificate: see if
 199                          * we can find it in the store. We must have an exact
 200                          * match to avoid possible impersonation.
 201                          */
 202                         ok = ctx->get_issuer(&xtmp, ctx, x);
 203                         if ((ok <= 0) || X509_cmp(x, xtmp))
 204                                 {
 205                                 ctx->error=X509_V_ERR_DEPTH_ZERO_SELF_SIGNED_CERT;
 206                                 ctx->current_cert=x;
 207                                 ctx->error_depth=i-1;
 208                                 if (ok == 1) X509_free(xtmp);
 209                                 bad_chain = 1;
 210                                 ok=cb(0,ctx);
 211                                 if (!ok) goto end;
 212                                 }
 213                         else
 214                                 {
 215                                 /* We have a match: replace certificate with store version
 216                                  * so we get any trust settings.
 217                                  */
 218                                 X509_free(x);
 219                                 x = xtmp;
 220                                 (void)sk_X509_set(ctx->chain, i - 1, x);
 221                                 ctx->last_untrusted=0;
 222                                 }
 223                         }
 224                 else
 225                         {
 226                         /* extract and save self signed certificate for later use */
 227                         chain_ss=sk_X509_pop(ctx->chain);
 228                         ctx->last_untrusted--;
 229                         num--;
 230                         x=sk_X509_value(ctx->chain,num-1);
 231                         }
 232                 }
 233
 234         /* We now lookup certs from the certificate store */
 235         for (;;)
 236                 {
 237                 /* If we have enough, we break */
 238                 if (depth < num) break;
 239
 240                 /* If we are self signed, we break */
 241                 xn=X509_get_issuer_name(x);
 242                 if (ctx->check_issued(ctx,x,x)) break;
 243
 244                 ok = ctx->get_issuer(&xtmp, ctx, x);
 245
 246                 if (ok < 0) return ok;
 247                 if (ok == 0) break;
 248
 249                 x = xtmp;
 250                 if (!sk_X509_push(ctx->chain,x))
 251                         {
 252                         X509_free(xtmp);
 253                         X509err(X509_F_X509_VERIFY_CERT,ERR_R_MALLOC_FAILURE);
 254                         return 0;
 255                         }
 256                 num++;
 257                 }
 258
 259         /* we now have our chain, lets check it... */
 260         xn=X509_get_issuer_name(x);
 261
 262         /* Is last certificate looked up self signed? */
 263         if (!ctx->check_issued(ctx,x,x))
 264                 {
 265                 if ((chain_ss == NULL) || !ctx->check_issued(ctx, x, chain_ss))
 266                         {
 267                         if (ctx->last_untrusted >= num)
 268                                 ctx->error=X509_V_ERR_UNABLE_TO_GET_ISSUER_CERT_LOCALLY;
 269                         else
 270                                 ctx->error=X509_V_ERR_UNABLE_TO_GET_ISSUER_CERT;
 271                         ctx->current_cert=x;
 272                         }
 273                 else
 274                         {
 275
 276                         sk_X509_push(ctx->chain,chain_ss);
 277                         num++;
 278                         ctx->last_untrusted=num;
 279                         ctx->current_cert=chain_ss;
 280                         ctx->error=X509_V_ERR_SELF_SIGNED_CERT_IN_CHAIN;
 281                         chain_ss=NULL;
 282                         }
 283
 284                 ctx->error_depth=num-1;
 285                 bad_chain = 1;
 286                 ok=cb(0,ctx);
 287                 if (!ok) goto end;
 288                 }
 289
 290         /* We have the chain complete: now we need to check its purpose */
 291         ok = check_chain_extensions(ctx);
 292
 293         if (!ok) goto end;
 294
 295         /* Check name constraints */
 296
 297         ok = check_name_constraints(ctx);
 298
 299         if (!ok) goto end;
 300
 301         /* The chain extensions are OK: check trust */
 302
 303         if (param->trust > 0) ok = check_trust(ctx);
 304
 305         if (!ok) goto end;
 306
 307         /* We may as well copy down any DSA parameters that are required */
 308         X509_get_pubkey_parameters(NULL,ctx->chain);
 309
 310         /* Check revocation status: we do this after copying parameters
 311          * because they may be needed for CRL signature verification.
 312          */
 313
 314         ok = ctx->check_revocation(ctx);
 315         if(!ok) goto end;
 316
 317         /* At this point, we have a chain and need to verify it */
 318         if (ctx->verify != NULL)
 319                 ok=ctx->verify(ctx);
 320         else
 321                 ok=internal_verify(ctx);
 322         if(!ok) goto end;
 323
 324 #ifndef OPENSSL_NO_RFC3779
 325         /* RFC 3779 path validation, now that CRL check has been done */
 326         ok = v3_asid_validate_path(ctx);
 327         if (!ok) goto end;
 328         ok = v3_addr_validate_path(ctx);
 329         if (!ok) goto end;
 330 #endif
 331
 332         /* If we get this far evaluate policies */
 333         if (!bad_chain && (ctx->param->flags & X509_V_FLAG_POLICY_CHECK))
 334                 ok = ctx->check_policy(ctx);
 335         if(!ok) goto end;
 336         if (0)
 337                 {
 338 end:
 339                 X509_get_pubkey_parameters(NULL,ctx->chain);
 340                 }
 341         if (sktmp != NULL) sk_X509_free(sktmp);
 342         if (chain_ss != NULL) X509_free(chain_ss);
 343         return ok;
 344         }
 345
 346
 347 /* Given a STACK_OF(X509) find the issuer of cert (if any)
 348  */
 349
 350 static X509 *find_issuer(X509_STORE_CTX *ctx, STACK_OF(X509) *sk, X509 *x)
 351 {
 352         int i;
 353         X509 *issuer;
 354         for (i = 0; i < sk_X509_num(sk); i++)
 355                 {
 356                 issuer = sk_X509_value(sk, i);
 357                 if (ctx->check_issued(ctx, x, issuer))
 358                         return issuer;
 359                 }
 360         return NULL;
 361 }
 362
 363 /* Given a possible certificate and issuer check them */
 364
 365 static int check_issued(X509_STORE_CTX *ctx, X509 *x, X509 *issuer)
 366 {
 367         int ret;
 368         ret = X509_check_issued(issuer, x);
 369         if (ret == X509_V_OK)
 370                 return 1;
 371         /* If we haven't asked for issuer errors don't set ctx */
 372         if (!(ctx->param->flags & X509_V_FLAG_CB_ISSUER_CHECK))
 373                 return 0;
 374
 375         ctx->error = ret;
 376         ctx->current_cert = x;
 377         ctx->current_issuer = issuer;
 378         return ctx->verify_cb(0, ctx);
 379         return 0;
 380 }
 381
 382 /* Alternative lookup method: look from a STACK stored in other_ctx */
 383
 384 static int get_issuer_sk(X509 **issuer, X509_STORE_CTX *ctx, X509 *x)
 385 {
 386         *issuer = find_issuer(ctx, ctx->other_ctx, x);
 387         if (*issuer)
 388                 {
 389                 CRYPTO_add(&(*issuer)->references,1,CRYPTO_LOCK_X509);
 390                 return 1;
 391                 }
 392         else
 393                 return 0;
 394 }
 395
 396
 397 /* Check a certificate chains extensions for consistency
 398  * with the supplied purpose
 399  */
 400
 401 static int check_chain_extensions(X509_STORE_CTX *ctx)
 402 {
 403 #ifdef OPENSSL_NO_CHAIN_VERIFY
 404         return 1;
 405 #else
 406         int i, ok=0, must_be_ca, plen = 0;
 407         X509 *x;
 408         int (*cb)(int xok,X509_STORE_CTX *xctx);
 409         int proxy_path_length = 0;
 410         int allow_proxy_certs =
 411                 !!(ctx->param->flags & X509_V_FLAG_ALLOW_PROXY_CERTS);
 412         cb=ctx->verify_cb;
 413
 414         /* must_be_ca can have 1 of 3 values:
 415            -1: we accept both CA and non-CA certificates, to allow direct
 416                use of self-signed certificates (which are marked as CA).
 417            0:  we only accept non-CA certificates.  This is currently not
 418                used, but the possibility is present for future extensions.
 419            1:  we only accept CA certificates.  This is currently used for
 420                all certificates in the chain except the leaf certificate.
 421         */
 422         must_be_ca = -1;
 423
 424         /* A hack to keep people who don't want to modify their software
 425            happy */
 426         if (getenv("OPENSSL_ALLOW_PROXY_CERTS"))
 427                 allow_proxy_certs = 1;
 428
 429         /* Check all untrusted certificates */
 430         for (i = 0; i < ctx->last_untrusted; i++)
 431                 {
 432                 int ret;
 433                 x = sk_X509_value(ctx->chain, i);
 434                 if (!(ctx->param->flags & X509_V_FLAG_IGNORE_CRITICAL)
 435                         && (x->ex_flags & EXFLAG_CRITICAL))
 436                         {
 437                         ctx->error = X509_V_ERR_UNHANDLED_CRITICAL_EXTENSION;
 438                         ctx->error_depth = i;
 439                         ctx->current_cert = x;
 440                         ok=cb(0,ctx);
 441                         if (!ok) goto end;
 442                         }
 443                 if (!allow_proxy_certs && (x->ex_flags & EXFLAG_PROXY))
 444                         {
 445                         ctx->error = X509_V_ERR_PROXY_CERTIFICATES_NOT_ALLOWED;
 446                         ctx->error_depth = i;
 447                         ctx->current_cert = x;
 448                         ok=cb(0,ctx);
 449                         if (!ok) goto end;
 450                         }
 451                 ret = X509_check_ca(x);
 452                 switch(must_be_ca)
 453                         {
 454                 case -1:
 455                         if ((ctx->param->flags & X509_V_FLAG_X509_STRICT)
 456                                 && (ret != 1) && (ret != 0))
 457                                 {
 458                                 ret = 0;
 459                                 ctx->error = X509_V_ERR_INVALID_CA;
 460                                 }
 461                         else
 462                                 ret = 1;
 463                         break;
 464                 case 0:
 465                         if (ret != 0)
 466                                 {
 467                                 ret = 0;
 468                                 ctx->error = X509_V_ERR_INVALID_NON_CA;
 469                                 }
 470                         else
 471                                 ret = 1;
 472                         break;
 473                 default:
 474                         if ((ret == 0)
 475                                 || ((ctx->param->flags & X509_V_FLAG_X509_STRICT)
 476                                         && (ret != 1)))
 477                                 {
 478                                 ret = 0;
 479                                 ctx->error = X509_V_ERR_INVALID_CA;
 480                                 }
 481                         else
 482                                 ret = 1;
 483                         break;
 484                         }
 485                 if (ret == 0)
 486                         {
 487                         ctx->error_depth = i;
 488                         ctx->current_cert = x;
 489                         ok=cb(0,ctx);
 490                         if (!ok) goto end;
 491                         }
 492                 if (ctx->param->purpose > 0)
 493                         {
 494                         ret = X509_check_purpose(x, ctx->param->purpose,
 495                                 must_be_ca > 0);
 496                         if ((ret == 0)
 497                                 || ((ctx->param->flags & X509_V_FLAG_X509_STRICT)
 498                                         && (ret != 1)))
 499                                 {
 500                                 ctx->error = X509_V_ERR_INVALID_PURPOSE;
 501                                 ctx->error_depth = i;
 502                                 ctx->current_cert = x;
 503                                 ok=cb(0,ctx);
 504                                 if (!ok) goto end;
 505                                 }
 506                         }
 507                 /* Check pathlen if not self issued */
 508                 if ((i > 1) && !(x->ex_flags & EXFLAG_SI)
 509                            && (x->ex_pathlen != -1)
 510                            && (plen > (x->ex_pathlen + proxy_path_length + 1)))
 511                         {
 512                         ctx->error = X509_V_ERR_PATH_LENGTH_EXCEEDED;
 513                         ctx->error_depth = i;
 514                         ctx->current_cert = x;
 515                         ok=cb(0,ctx);
 516                         if (!ok) goto end;
 517                         }
 518                 /* Increment path length if not self issued */
 519                 if (!(x->ex_flags & EXFLAG_SI))
 520                         plen++;
 521                 /* If this certificate is a proxy certificate, the next
 522                    certificate must be another proxy certificate or a EE
 523                    certificate.  If not, the next certificate must be a
 524                    CA certificate.  */
 525                 if (x->ex_flags & EXFLAG_PROXY)
 526                         {
 527                         if (x->ex_pcpathlen != -1 && i > x->ex_pcpathlen)
 528                                 {
 529                                 ctx->error =
 530                                         X509_V_ERR_PROXY_PATH_LENGTH_EXCEEDED;
 531                                 ctx->error_depth = i;
 532                                 ctx->current_cert = x;
 533                                 ok=cb(0,ctx);
 534                                 if (!ok) goto end;
 535                                 }
 536                         proxy_path_length++;
 537                         must_be_ca = 0;
 538                         }
 539                 else
 540                         must_be_ca = 1;
 541                 }
 542         ok = 1;
 543  end:
 544         return ok;
 545 #endif
 546 }
 547
 548 static int check_name_constraints(X509_STORE_CTX *ctx)
 549         {
 550         X509 *x;
 551         int i, j, rv;
 552         /* Check name constraints for all certificates */
 553         for (i = sk_X509_num(ctx->chain) - 1; i >= 0; i--)
 554                 {
 555                 x = sk_X509_value(ctx->chain, i);
 556                 /* Ignore self issued certs unless last in chain */
 557                 if (i && (x->ex_flags & EXFLAG_SI))
 558                         continue;
 559                 /* Check against constraints for all certificates higher in
 560                  * chain including trust anchor. Trust anchor not strictly
 561                  * speaking needed but if it includes constraints it is to be
 562                  * assumed it expects them to be obeyed.
 563                  */
 564                 for (j = sk_X509_num(ctx->chain) - 1; j > i; j--)
 565                         {
 566                         NAME_CONSTRAINTS *nc = sk_X509_value(ctx->chain, j)->nc;
 567                         if (nc)
 568                                 {
 569                                 rv = NAME_CONSTRAINTS_check(x, nc);
 570                                 if (rv != X509_V_OK)
 571                                         {
 572                                         ctx->error = rv;
 573                                         ctx->error_depth = i;
 574                                         ctx->current_cert = x;
 575                                         if (!ctx->verify_cb(0,ctx))
 576                                                 return 0;
 577                                         }
 578                                 }
 579                         }
 580                 }
 581         return 1;
 582         }
 583
 584 static int check_trust(X509_STORE_CTX *ctx)
 585 {
 586 #ifdef OPENSSL_NO_CHAIN_VERIFY
 587         return 1;
 588 #else
 589         int i, ok;
 590         X509 *x;
 591         int (*cb)(int xok,X509_STORE_CTX *xctx);
 592         cb=ctx->verify_cb;
 593 /* For now just check the last certificate in the chain */
 594         i = sk_X509_num(ctx->chain) - 1;
 595         x = sk_X509_value(ctx->chain, i);
 596         ok = X509_check_trust(x, ctx->param->trust, 0);
 597         if (ok == X509_TRUST_TRUSTED)
 598                 return 1;
 599         ctx->error_depth = i;
 600         ctx->current_cert = x;
 601         if (ok == X509_TRUST_REJECTED)
 602                 ctx->error = X509_V_ERR_CERT_REJECTED;
 603         else
 604                 ctx->error = X509_V_ERR_CERT_UNTRUSTED;
 605         ok = cb(0, ctx);
 606         return ok;
 607 #endif
 608 }
 609
 610 static int check_revocation(X509_STORE_CTX *ctx)
 611         {
 612         int i, last, ok;
 613         if (!(ctx->param->flags & X509_V_FLAG_CRL_CHECK))
 614                 return 1;
 615         if (ctx->param->flags & X509_V_FLAG_CRL_CHECK_ALL)
 616                 last = sk_X509_num(ctx->chain) - 1;
 617         else
 618                 last = 0;
 619         for(i = 0; i <= last; i++)
 620                 {
 621                 ctx->error_depth = i;
 622                 ok = check_cert(ctx);
 623                 if (!ok) return ok;
 624                 }
 625         return 1;
 626         }
 627
 628 static int check_cert(X509_STORE_CTX *ctx)
 629         {
 630         X509_CRL *crl = NULL;
 631         X509 *x;
 632         int ok, cnum;
 633         cnum = ctx->error_depth;
 634         x = sk_X509_value(ctx->chain, cnum);
 635         ctx->current_cert = x;
 636         ctx->current_issuer = NULL;
 637         /* Try to retrieve relevant CRL */
 638         ok = ctx->get_crl(ctx, &crl, x);
 639         /* If error looking up CRL, nothing we can do except
 640          * notify callback
 641          */
 642         if(!ok)
 643                 {
 644                 ctx->error = X509_V_ERR_UNABLE_TO_GET_CRL;
 645                 ok = ctx->verify_cb(0, ctx);
 646                 goto err;
 647                 }
 648         ctx->current_crl = crl;
 649         ok = ctx->check_crl(ctx, crl);
 650         if (!ok) goto err;
 651         ok = ctx->cert_crl(ctx, crl, x);
 652         err:
 653         ctx->current_crl = NULL;
 654         X509_CRL_free(crl);
 655         return ok;
 656
 657         }
 658
 659 /* Check CRL times against values in X509_STORE_CTX */
 660
 661 static int check_crl_time(X509_STORE_CTX *ctx, X509_CRL *crl, int notify)
 662         {
 663         time_t *ptime;
 664         int i;
 665         ctx->current_crl = crl;
 666         if (ctx->param->flags & X509_V_FLAG_USE_CHECK_TIME)
 667                 ptime = &ctx->param->check_time;
 668         else
 669                 ptime = NULL;
 670
 671         i=X509_cmp_time(X509_CRL_get_lastUpdate(crl), ptime);
 672         if (i == 0)
 673                 {
 674                 ctx->error=X509_V_ERR_ERROR_IN_CRL_LAST_UPDATE_FIELD;
 675                 if (!notify || !ctx->verify_cb(0, ctx))
 676                         return 0;
 677                 }
 678
 679         if (i > 0)
 680                 {
 681                 ctx->error=X509_V_ERR_CRL_NOT_YET_VALID;
 682                 if (!notify || !ctx->verify_cb(0, ctx))
 683                         return 0;
 684                 }
 685
 686         if(X509_CRL_get_nextUpdate(crl))
 687                 {
 688                 i=X509_cmp_time(X509_CRL_get_nextUpdate(crl), ptime);
 689
 690                 if (i == 0)
 691                         {
 692                         ctx->error=X509_V_ERR_ERROR_IN_CRL_NEXT_UPDATE_FIELD;
 693                         if (!notify || !ctx->verify_cb(0, ctx))
 694                                 return 0;
 695                         }
 696
 697                 if (i < 0)
 698                         {
 699                         ctx->error=X509_V_ERR_CRL_HAS_EXPIRED;
 700                         if (!notify || !ctx->verify_cb(0, ctx))
 701                                 return 0;
 702                         }
 703                 }
 704
 705         ctx->current_crl = NULL;
 706
 707         return 1;
 708         }
 709
 710 /* Based on a set of possible CRLs decide which one is best suited
 711  * to handle the current certificate. This is determined by a number
 712  * of criteria. If any of the "must" criteria is not satisfied then
 713  * the candidate CRL is rejected. If all "must" and all "should" are
 714  * satisfied the CRL is accepted. If no CRL satisfies all criteria then
 715  * a "best CRL" is used to provide some meaningful error information.
 716  *
 717  * CRL issuer name must match "nm" if not NULL.
 718  * If IDP is present:
 719  *   a. it must be consistent.
 720  *   b. onlyuser, onlyCA, onlyAA should match certificate being checked.
 721  *   c. indirectCRL must be FALSE.
 722  *   d. onlysomereason must be absent.
 723  *   e. if name present a DP in certificate CRLDP must match.
 724  * If AKID present it should match certificate AKID.
 725  * Check time should fall between lastUpdate and nextUpdate.
 726  */
 727
 728 /* IDP name field matches CRLDP or IDP name not present */
 729 #define CRL_SCORE_SCOPE         4
 730 /* AKID present and matches cert, or AKID not present */
 731 #define CRL_SCORE_AKID          2
 732 /* times OK */
 733 #define CRL_SCORE_TIME          1
 734
 735 #define CRL_SCORE_ALL           7
 736
 737 /* IDP flags which cause a CRL to be rejected */
 738
 739 #define IDP_REJECT      (IDP_INVALID|IDP_INDIRECT|IDP_REASONS)
 740
 741 static int get_crl_sk(X509_STORE_CTX *ctx, X509_CRL **pcrl,
 742                         X509_NAME *nm, STACK_OF(X509_CRL) *crls)
 743         {
 744         int i, crl_score, best_score = -1;
 745         X509_CRL *crl, *best_crl = NULL;
 746         X509 *crl_issuer, *best_crl_issuer = NULL;
 747         for (i = 0; i < sk_X509_CRL_num(crls); i++)
 748                 {
 749                 crl_score = 0;
 750                 crl_issuer = NULL;
 751                 crl = sk_X509_CRL_value(crls, i);
 752                 if (nm && X509_NAME_cmp(nm, X509_CRL_get_issuer(crl)))
 753                         continue;
 754                 if (check_crl_time(ctx, crl, 0))
 755                         crl_score |= CRL_SCORE_TIME;
 756
 757                 if (crl->idp_flags & IDP_PRESENT)
 758                         {
 759                         if (crl->idp_flags & IDP_REJECT)
 760                                 continue;
 761                         if (idp_check_scope(ctx->current_cert, crl))
 762                                 crl_score |= CRL_SCORE_SCOPE;
 763                         }
 764                 else
 765                         crl_score |= CRL_SCORE_SCOPE;
 766
 767                 if (crl_akid_check(ctx, crl, &crl_issuer))
 768                         crl_score |= CRL_SCORE_AKID;
 769                 /* If CRL matches criteria and issuer is not different use it */
 770                 if (crl_score == CRL_SCORE_ALL && !crl_issuer)
 771                         {
 772                         *pcrl = crl;
 773                         CRYPTO_add(&crl->references, 1, CRYPTO_LOCK_X509_CRL);
 774                         return 1;
 775                         }
 776
 777                 if (crl_score > best_score)
 778                         {
 779                         best_crl = crl;
 780                         best_crl_issuer = crl_issuer;
 781                         best_score = crl_score;
 782                         }
 783                 }
 784         if (best_crl)
 785                 {
 786                 *pcrl = best_crl;
 787                 ctx->current_issuer = best_crl_issuer;
 788                 CRYPTO_add(&best_crl->references, 1, CRYPTO_LOCK_X509);
 789                 }
 790
 791         return 0;
 792         }
 793
 794 static int crl_akid_check(X509_STORE_CTX *ctx, X509_CRL *crl, X509 **pissuer)
 795         {
 796         X509 *crl_issuer;
 797         int cidx = ctx->error_depth;
 798 #if 0
 799         int i;
 800 #endif
 801         if (!crl->akid)
 802                 return 1;
 803         if (cidx != sk_X509_num(ctx->chain) - 1)
 804                 cidx++;
 805         crl_issuer = sk_X509_value(ctx->chain, cidx);
 806         if (X509_check_akid(crl_issuer, crl->akid) == X509_V_OK)
 807                 return 1;
 808         /* If crl_issuer is self issued we may get a match further along the
 809          * chain.
 810          */
 811         if (crl_issuer->ex_flags & EXFLAG_SI)
 812                 {
 813                 for (cidx++; cidx < sk_X509_num(ctx->chain); cidx++)
 814                         {
 815                         crl_issuer = sk_X509_value(ctx->chain, cidx);
 816                         if (X509_check_akid(crl_issuer, crl->akid) == X509_V_OK)
 817                                 {
 818                                 *pissuer = crl_issuer;
 819                                 return 1;
 820                                 }
 821                         if (!(crl_issuer->ex_flags & EXFLAG_SI))
 822                                 break;
 823                         }
 824                 }
 825
 826
 827         /* Otherwise the CRL issuer is not on the path. Look for it in the
 828          * set of untrusted certificates.
 829          */
 830
 831 #if 0
 832         /* FIXME: not enabled yet because the CRL issuer certifcate is not
 833          * validated.
 834          */
 835
 836         for (i = 0; i < sk_X509_num(ctx->untrusted); i++)
 837                 {
 838                 crl_issuer = sk_X509_value(ctx->untrusted, i);
 839                 if (X509_NAME_cmp(X509_get_subject_name(crl_issuer),
 840                                         X509_CRL_get_issuer(crl)))
 841                         continue;
 842                 if (X509_check_akid(crl_issuer, crl->akid) == X509_V_OK)
 843                         {
 844                         *pissuer = crl_issuer;
 845                         return 1;
 846                         }
 847                 }
 848 #endif
 849
 850         return 0;
 851         }
 852
 853 /* Check for match between two dist point names: three separate cases.
 854  * 1. Both are relative names and compare X509_NAME types.
 855  * 2. One full, one relative. Compare X509_NAME to GENERAL_NAMES.
 856  * 3. Both are full names and compare two GENERAL_NAMES.
 857  */
 858
 859
 860 static int idp_check_dp(DIST_POINT_NAME *a, DIST_POINT_NAME *b)
 861         {
 862         X509_NAME *nm = NULL;
 863         GENERAL_NAMES *gens = NULL;
 864         GENERAL_NAME *gena, *genb;
 865         int i, j;
 866         if (a->type == 1)
 867                 {
 868                 if (!a->dpname)
 869                         return 0;
 870                 /* Case 1: two X509_NAME */
 871                 if (b->type == 1)
 872                         {
 873                         if (!b->dpname)
 874                                 return 0;
 875                         if (!X509_NAME_cmp(a->dpname, b->dpname))
 876                                 return 1;
 877                         else
 878                                 return 0;
 879                         }
 880                 /* Case 2: set name and GENERAL_NAMES appropriately */
 881                 nm = a->dpname;
 882                 gens = b->name.fullname;
 883                 }
 884         else if (b->type == 1)
 885                 {
 886                 if (!b->dpname)
 887                         return 0;
 888                 /* Case 2: set name and GENERAL_NAMES appropriately */
 889                 gens = a->name.fullname;
 890                 nm = b->dpname;
 891                 }
 892
 893         /* Handle case 2 with one GENERAL_NAMES and one X509_NAME */
 894         if (nm)
 895                 {
 896                 for (i = 0; i < sk_GENERAL_NAME_num(gens); i++)
 897                         {
 898                         gena = sk_GENERAL_NAME_value(gens, i);
 899                         if (gena->type != GEN_DIRNAME)
 900                                 continue;
 901                         if (!X509_NAME_cmp(nm, gena->d.directoryName))
 902                                 return 1;
 903                         }
 904                 return 0;
 905                 }
 906
 907         /* Else case 3: two GENERAL_NAMES */
 908
 909         for (i = 0; i < sk_GENERAL_NAME_num(a->name.fullname); i++)
 910                 {
 911                 gena = sk_GENERAL_NAME_value(a->name.fullname, i);
 912                 for (j = 0; j < sk_GENERAL_NAME_num(b->name.fullname); j++)
 913                         {
 914                         genb = sk_GENERAL_NAME_value(b->name.fullname, j);
 915                         if (!GENERAL_NAME_cmp(gena, genb))
 916                                 return 1;
 917                         }
 918                 }
 919
 920         return 0;
 921
 922         }
 923
 924 /* Check IDP name matches at least one CRLDP name */
 925
 926 static int idp_check_scope(X509 *x, X509_CRL *crl)
 927         {
 928         int i;
 929         if (crl->idp_flags & IDP_ONLYATTR)
 930                 return 0;
 931         if (x->ex_flags & EXFLAG_CA)
 932                 {
 933                 if (crl->idp_flags & IDP_ONLYUSER)
 934                         return 0;
 935                 }
 936         else
 937                 {
 938                 if (crl->idp_flags & IDP_ONLYCA)
 939                         return 0;
 940                 }
 941         if (!crl->idp->distpoint)
 942                 return 1;
 943         if (!x->crldp)
 944                 return 0;
 945         for (i = 0; i < sk_DIST_POINT_num(x->crldp); i++)
 946                 {
 947                 DIST_POINT *dp = sk_DIST_POINT_value(x->crldp, i);
 948                 /* We don't handle these at present */
 949                 if (dp->reasons || dp->CRLissuer)
 950                         continue;
 951                 if (idp_check_dp(dp->distpoint, crl->idp->distpoint))
 952                         return 1;
 953                 }
 954         return 0;
 955         }
 956
 957 /* Retrieve CRL corresponding to current certificate. Currently only
 958  * one CRL is retrieved. Multiple CRLs may be needed if we handle
 959  * CRLs partitioned on reason code later.
 960  */
 961
 962 static int get_crl(X509_STORE_CTX *ctx, X509_CRL **pcrl, X509 *x)
 963         {
 964         int ok;
 965         X509_CRL *crl = NULL;
 966         STACK_OF(X509_CRL) *skcrl;
 967         X509_NAME *nm;
 968         nm = X509_get_issuer_name(x);
 969         ok = get_crl_sk(ctx, &crl, nm, ctx->crls);
 970         if (ok)
 971                 {
 972                 *pcrl = crl;
 973                 return 1;
 974                 }
 975
 976         /* Lookup CRLs from store */
 977
 978         skcrl = ctx->lookup_crls(ctx, nm);
 979
 980         /* If no CRLs found and a near match from get_crl_sk use that */
 981         if (!skcrl)
 982                 {
 983                 if (crl)
 984                         {
 985                         *pcrl = crl;
 986                         return 1;
 987                         }
 988                 return 0;
 989                 }
 990
 991         get_crl_sk(ctx, &crl, NULL, skcrl);
 992
 993         sk_X509_CRL_pop_free(skcrl, X509_CRL_free);
 994
 995         /* If we got any kind of CRL use it and return success */
 996         if (crl)
 997                 {
 998                 *pcrl = crl;
 999                 return 1;
1000                 }
1001
1002         return 0;
1003         }
1004
1005 /* Check CRL validity */
1006 static int check_crl(X509_STORE_CTX *ctx, X509_CRL *crl)
1007         {
1008         X509 *issuer = NULL;
1009         EVP_PKEY *ikey = NULL;
1010         int ok = 0, chnum, cnum;
1011         cnum = ctx->error_depth;
1012         chnum = sk_X509_num(ctx->chain) - 1;
1013         /* if we have an alternative CRL issuer cert use that */
1014         if (ctx->current_issuer)
1015                 issuer = ctx->current_issuer;
1016         /* Else find CRL issuer: if not last certificate then issuer
1017          * is next certificate in chain.
1018          */
1019         else if (cnum < chnum)
1020                 issuer = sk_X509_value(ctx->chain, cnum + 1);
1021         else
1022                 {
1023                 issuer = sk_X509_value(ctx->chain, chnum);
1024                 /* If not self signed, can't check signature */
1025                 if(!ctx->check_issued(ctx, issuer, issuer))
1026                         {
1027                         ctx->error = X509_V_ERR_UNABLE_TO_GET_CRL_ISSUER;
1028                         ok = ctx->verify_cb(0, ctx);
1029                         if(!ok) goto err;
1030                         }
1031                 }
1032
1033         if(issuer)
1034                 {
1035                 /* Check for cRLSign bit if keyUsage present */
1036                 if ((issuer->ex_flags & EXFLAG_KUSAGE) &&
1037                         !(issuer->ex_kusage & KU_CRL_SIGN))
1038                         {
1039                         ctx->error = X509_V_ERR_KEYUSAGE_NO_CRL_SIGN;
1040                         ok = ctx->verify_cb(0, ctx);
1041                         if(!ok) goto err;
1042                         }
1043
1044                 if (crl->idp_flags & IDP_PRESENT)
1045                         {
1046                         if (crl->idp_flags & IDP_INVALID)
1047                                 {
1048                                 ctx->error = X509_V_ERR_INVALID_EXTENSION;
1049                                 ok = ctx->verify_cb(0, ctx);
1050                                 if(!ok) goto err;
1051                                 }
1052                         if (crl->idp_flags & (IDP_REASONS|IDP_INDIRECT))
1053                                 {
1054                                 ctx->error = X509_V_ERR_UNSUPPORTED_EXTENSION_FEATURE;
1055                                 ok = ctx->verify_cb(0, ctx);
1056                                 if(!ok) goto err;
1057                                 }
1058                         if (!idp_check_scope(ctx->current_cert, crl))
1059                                 {
1060                                 ctx->error = X509_V_ERR_DIFFERENT_CRL_SCOPE;
1061                                 ok = ctx->verify_cb(0, ctx);
1062                                 if(!ok) goto err;
1063                                 }
1064                         }
1065
1066                 /* Attempt to get issuer certificate public key */
1067                 ikey = X509_get_pubkey(issuer);
1068
1069                 if(!ikey)
1070                         {
1071                         ctx->error=X509_V_ERR_UNABLE_TO_DECODE_ISSUER_PUBLIC_KEY;
1072                         ok = ctx->verify_cb(0, ctx);
1073                         if (!ok) goto err;
1074                         }
1075                 else
1076                         {
1077                         /* Verify CRL signature */
1078                         if(X509_CRL_verify(crl, ikey) <= 0)
1079                                 {
1080                                 ctx->error=X509_V_ERR_CRL_SIGNATURE_FAILURE;
1081                                 ok = ctx->verify_cb(0, ctx);
1082                                 if (!ok) goto err;
1083                                 }
1084                         }
1085                 }
1086
1087         ok = check_crl_time(ctx, crl, 1);
1088         if (!ok)
1089                 goto err;
1090
1091         ok = 1;
1092
1093         err:
1094         EVP_PKEY_free(ikey);
1095         return ok;
1096         }
1097
1098 /* Check certificate against CRL */
1099 static int cert_crl(X509_STORE_CTX *ctx, X509_CRL *crl, X509 *x)
1100         {
1101         int ok;
1102         /* Look for serial number of certificate in CRL
1103          * If found assume revoked: want something cleverer than
1104          * this to handle entry extensions in V2 CRLs.
1105          */
1106         if (X509_CRL_get0_by_serial(crl, NULL, X509_get_serialNumber(x)) > 0)
1107                 {
1108                 ctx->error = X509_V_ERR_CERT_REVOKED;
1109                 ok = ctx->verify_cb(0, ctx);
1110                 if (!ok)
1111                         return 0;
1112                 }
1113
1114         if (crl->flags & EXFLAG_CRITICAL)
1115                 {
1116                 if (ctx->param->flags & X509_V_FLAG_IGNORE_CRITICAL)
1117                         return 1;
1118                 ctx->error = X509_V_ERR_UNHANDLED_CRITICAL_CRL_EXTENSION;
1119                 ok = ctx->verify_cb(0, ctx);
1120                 if(!ok)
1121                         return 0;
1122                 }
1123
1124         return 1;
1125         }
1126
1127 static int check_policy(X509_STORE_CTX *ctx)
1128         {
1129         int ret;
1130         ret = X509_policy_check(&ctx->tree, &ctx->explicit_policy, ctx->chain,
1131                                 ctx->param->policies, ctx->param->flags);
1132         if (ret == 0)
1133                 {
1134                 X509err(X509_F_CHECK_POLICY,ERR_R_MALLOC_FAILURE);
1135                 return 0;
1136                 }
1137         /* Invalid or inconsistent extensions */
1138         if (ret == -1)
1139                 {
1140                 /* Locate certificates with bad extensions and notify
1141                  * callback.
1142                  */
1143                 X509 *x;
1144                 int i;
1145                 for (i = 1; i < sk_X509_num(ctx->chain); i++)
1146                         {
1147                         x = sk_X509_value(ctx->chain, i);
1148                         if (!(x->ex_flags & EXFLAG_INVALID_POLICY))
1149                                 continue;
1150                         ctx->current_cert = x;
1151                         ctx->error = X509_V_ERR_INVALID_POLICY_EXTENSION;
1152                         if(!ctx->verify_cb(0, ctx))
1153                                 return 0;
1154                         }
1155                 return 1;
1156                 }
1157         if (ret == -2)
1158                 {
1159                 ctx->current_cert = NULL;
1160                 ctx->error = X509_V_ERR_NO_EXPLICIT_POLICY;
1161                 return ctx->verify_cb(0, ctx);
1162                 }
1163
1164         if (ctx->param->flags & X509_V_FLAG_NOTIFY_POLICY)
1165                 {
1166                 ctx->current_cert = NULL;
1167                 ctx->error = X509_V_OK;
1168                 if (!ctx->verify_cb(2, ctx))
1169                         return 0;
1170                 }
1171
1172         return 1;
1173         }
1174
1175 static int check_cert_time(X509_STORE_CTX *ctx, X509 *x)
1176         {
1177         time_t *ptime;
1178         int i;
1179
1180         if (ctx->param->flags & X509_V_FLAG_USE_CHECK_TIME)
1181                 ptime = &ctx->param->check_time;
1182         else
1183                 ptime = NULL;
1184
1185         i=X509_cmp_time(X509_get_notBefore(x), ptime);
1186         if (i == 0)
1187                 {
1188                 ctx->error=X509_V_ERR_ERROR_IN_CERT_NOT_BEFORE_FIELD;
1189                 ctx->current_cert=x;
1190                 if (!ctx->verify_cb(0, ctx))
1191                         return 0;
1192                 }
1193
1194         if (i > 0)
1195                 {
1196                 ctx->error=X509_V_ERR_CERT_NOT_YET_VALID;
1197                 ctx->current_cert=x;
1198                 if (!ctx->verify_cb(0, ctx))
1199                         return 0;
1200                 }
1201
1202         i=X509_cmp_time(X509_get_notAfter(x), ptime);
1203         if (i == 0)
1204                 {
1205                 ctx->error=X509_V_ERR_ERROR_IN_CERT_NOT_AFTER_FIELD;
1206                 ctx->current_cert=x;
1207                 if (!ctx->verify_cb(0, ctx))
1208                         return 0;
1209                 }
1210
1211         if (i < 0)
1212                 {
1213                 ctx->error=X509_V_ERR_CERT_HAS_EXPIRED;
1214                 ctx->current_cert=x;
1215                 if (!ctx->verify_cb(0, ctx))
1216                         return 0;
1217                 }
1218
1219         return 1;
1220         }
1221
1222 static int internal_verify(X509_STORE_CTX *ctx)
1223         {
1224         int ok=0,n;
1225         X509 *xs,*xi;
1226         EVP_PKEY *pkey=NULL;
1227         int (*cb)(int xok,X509_STORE_CTX *xctx);
1228
1229         cb=ctx->verify_cb;
1230
1231         n=sk_X509_num(ctx->chain);
1232         ctx->error_depth=n-1;
1233         n--;
1234         xi=sk_X509_value(ctx->chain,n);
1235
1236         if (ctx->check_issued(ctx, xi, xi))
1237                 xs=xi;
1238         else
1239                 {
1240                 if (n <= 0)
1241                         {
1242                         ctx->error=X509_V_ERR_UNABLE_TO_VERIFY_LEAF_SIGNATURE;
1243                         ctx->current_cert=xi;
1244                         ok=cb(0,ctx);
1245                         goto end;
1246                         }
1247                 else
1248                         {
1249                         n--;
1250                         ctx->error_depth=n;
1251                         xs=sk_X509_value(ctx->chain,n);
1252                         }
1253                 }
1254
1255 /*      ctx->error=0;  not needed */
1256         while (n >= 0)
1257                 {
1258                 ctx->error_depth=n;
1259                 if (!xs->valid)
1260                         {
1261                         if ((pkey=X509_get_pubkey(xi)) == NULL)
1262                                 {
1263                                 ctx->error=X509_V_ERR_UNABLE_TO_DECODE_ISSUER_PUBLIC_KEY;
1264                                 ctx->current_cert=xi;
1265                                 ok=(*cb)(0,ctx);
1266                                 if (!ok) goto end;
1267                                 }
1268                         else if (X509_verify(xs,pkey) <= 0)
1269                                 /* XXX  For the final trusted self-signed cert,
1270                                  * this is a waste of time.  That check should
1271                                  * optional so that e.g. 'openssl x509' can be
1272                                  * used to detect invalid self-signatures, but
1273                                  * we don't verify again and again in SSL
1274                                  * handshakes and the like once the cert has
1275                                  * been declared trusted. */
1276                                 {
1277                                 ctx->error=X509_V_ERR_CERT_SIGNATURE_FAILURE;
1278                                 ctx->current_cert=xs;
1279                                 ok=(*cb)(0,ctx);
1280                                 if (!ok)
1281                                         {
1282                                         EVP_PKEY_free(pkey);
1283                                         goto end;
1284                                         }
1285                                 }
1286                         EVP_PKEY_free(pkey);
1287                         pkey=NULL;
1288                         }
1289
1290                 xs->valid = 1;
1291
1292                 ok = check_cert_time(ctx, xs);
1293                 if (!ok)
1294                         goto end;
1295
1296                 /* The last error (if any) is still in the error value */
1297                 ctx->current_issuer=xi;
1298                 ctx->current_cert=xs;
1299                 ok=(*cb)(1,ctx);
1300                 if (!ok) goto end;
1301
1302                 n--;
1303                 if (n >= 0)
1304                         {
1305                         xi=xs;
1306                         xs=sk_X509_value(ctx->chain,n);
1307                         }
1308                 }
1309         ok=1;
1310 end:
1311         return ok;
1312         }
1313
1314 int X509_cmp_current_time(const ASN1_TIME *ctm)
1315 {
1316         return X509_cmp_time(ctm, NULL);
1317 }
1318
1319 int X509_cmp_time(const ASN1_TIME *ctm, time_t *cmp_time)
1320         {
1321         char *str;
1322         ASN1_TIME atm;
1323         long offset;
1324         char buff1[24],buff2[24],*p;
1325         int i,j;
1326
1327         p=buff1;
1328         i=ctm->length;
1329         str=(char *)ctm->data;
1330         if (ctm->type == V_ASN1_UTCTIME)
1331                 {
1332                 if ((i < 11) || (i > 17)) return 0;
1333                 memcpy(p,str,10);
1334                 p+=10;
1335                 str+=10;
1336                 }
1337         else
1338                 {
1339                 if (i < 13) return 0;
1340                 memcpy(p,str,12);
1341                 p+=12;
1342                 str+=12;
1343                 }
1344
1345         if ((*str == 'Z') || (*str == '-') || (*str == '+'))
1346                 { *(p++)='0'; *(p++)='0'; }
1347         else
1348                 {
1349                 *(p++)= *(str++);
1350                 *(p++)= *(str++);
1351                 /* Skip any fractional seconds... */
1352                 if (*str == '.')
1353                         {
1354                         str++;
1355                         while ((*str >= '0') && (*str <= '9')) str++;
1356                         }
1357
1358                 }
1359         *(p++)='Z';
1360         *(p++)='\0';
1361
1362         if (*str == 'Z')
1363                 offset=0;
1364         else
1365                 {
1366                 if ((*str != '+') && (*str != '-'))
1367                         return 0;
1368                 offset=((str[1]-'0')*10+(str[2]-'0'))*60;
1369                 offset+=(str[3]-'0')*10+(str[4]-'0');
1370                 if (*str == '-')
1371                         offset= -offset;
1372                 }
1373         atm.type=ctm->type;
1374         atm.length=sizeof(buff2);
1375         atm.data=(unsigned char *)buff2;
1376
1377         if (X509_time_adj(&atm,-offset*60, cmp_time) == NULL)
1378                 return 0;
1379
1380         if (ctm->type == V_ASN1_UTCTIME)
1381                 {
1382                 i=(buff1[0]-'0')*10+(buff1[1]-'0');
1383                 if (i < 50) i+=100; /* cf. RFC 2459 */
1384                 j=(buff2[0]-'0')*10+(buff2[1]-'0');
1385                 if (j < 50) j+=100;
1386
1387                 if (i < j) return -1;
1388                 if (i > j) return 1;
1389                 }
1390         i=strcmp(buff1,buff2);
1391         if (i == 0) /* wait a second then return younger :-) */
1392                 return -1;
1393         else
1394                 return i;
1395         }
1396
1397 ASN1_TIME *X509_gmtime_adj(ASN1_TIME *s, long adj)
1398 {
1399         return X509_time_adj(s, adj, NULL);
1400 }
1401
1402 ASN1_TIME *X509_time_adj(ASN1_TIME *s, long adj, time_t *in_tm)
1403         {
1404         time_t t;
1405         int type = -1;
1406
1407         if (in_tm) t = *in_tm;
1408         else time(&t);
1409
1410         t+=adj;
1411         if (s) type = s->type;
1412         if (type == V_ASN1_UTCTIME) return ASN1_UTCTIME_set(s,t);
1413         if (type == V_ASN1_GENERALIZEDTIME) return ASN1_GENERALIZEDTIME_set(s, t);
1414         return ASN1_TIME_set(s, t);
1415         }
1416
1417 int X509_get_pubkey_parameters(EVP_PKEY *pkey, STACK_OF(X509) *chain)
1418         {
1419         EVP_PKEY *ktmp=NULL,*ktmp2;
1420         int i,j;
1421
1422         if ((pkey != NULL) && !EVP_PKEY_missing_parameters(pkey)) return 1;
1423
1424         for (i=0; i<sk_X509_num(chain); i++)
1425                 {
1426                 ktmp=X509_get_pubkey(sk_X509_value(chain,i));
1427                 if (ktmp == NULL)
1428                         {
1429                         X509err(X509_F_X509_GET_PUBKEY_PARAMETERS,X509_R_UNABLE_TO_GET_CERTS_PUBLIC_KEY);
1430                         return 0;
1431                         }
1432                 if (!EVP_PKEY_missing_parameters(ktmp))
1433                         break;
1434                 else
1435                         {
1436                         EVP_PKEY_free(ktmp);
1437                         ktmp=NULL;
1438                         }
1439                 }
1440         if (ktmp == NULL)
1441                 {
1442                 X509err(X509_F_X509_GET_PUBKEY_PARAMETERS,X509_R_UNABLE_TO_FIND_PARAMETERS_IN_CHAIN);
1443                 return 0;
1444                 }
1445
1446         /* first, populate the other certs */
1447         for (j=i-1; j >= 0; j--)
1448                 {
1449                 ktmp2=X509_get_pubkey(sk_X509_value(chain,j));
1450                 EVP_PKEY_copy_parameters(ktmp2,ktmp);
1451                 EVP_PKEY_free(ktmp2);
1452                 }
1453
1454         if (pkey != NULL) EVP_PKEY_copy_parameters(pkey,ktmp);
1455         EVP_PKEY_free(ktmp);
1456         return 1;
1457         }
1458
1459 int X509_STORE_CTX_get_ex_new_index(long argl, void *argp, CRYPTO_EX_new *new_func,
1460              CRYPTO_EX_dup *dup_func, CRYPTO_EX_free *free_func)
1461         {
1462         /* This function is (usually) called only once, by
1463          * SSL_get_ex_data_X509_STORE_CTX_idx (ssl/ssl_cert.c). */
1464         return CRYPTO_get_ex_new_index(CRYPTO_EX_INDEX_X509_STORE_CTX, argl, argp,
1465                         new_func, dup_func, free_func);
1466         }
1467
1468 int X509_STORE_CTX_set_ex_data(X509_STORE_CTX *ctx, int idx, void *data)
1469         {
1470         return CRYPTO_set_ex_data(&ctx->ex_data,idx,data);
1471         }
1472
1473 void *X509_STORE_CTX_get_ex_data(X509_STORE_CTX *ctx, int idx)
1474         {
1475         return CRYPTO_get_ex_data(&ctx->ex_data,idx);
1476         }
1477
1478 int X509_STORE_CTX_get_error(X509_STORE_CTX *ctx)
1479         {
1480         return ctx->error;
1481         }
1482
1483 void X509_STORE_CTX_set_error(X509_STORE_CTX *ctx, int err)
1484         {
1485         ctx->error=err;
1486         }
1487
1488 int X509_STORE_CTX_get_error_depth(X509_STORE_CTX *ctx)
1489         {
1490         return ctx->error_depth;
1491         }
1492
1493 X509 *X509_STORE_CTX_get_current_cert(X509_STORE_CTX *ctx)
1494         {
1495         return ctx->current_cert;
1496         }
1497
1498 STACK_OF(X509) *X509_STORE_CTX_get_chain(X509_STORE_CTX *ctx)
1499         {
1500         return ctx->chain;
1501         }
1502
1503 STACK_OF(X509) *X509_STORE_CTX_get1_chain(X509_STORE_CTX *ctx)
1504         {
1505         int i;
1506         X509 *x;
1507         STACK_OF(X509) *chain;
1508         if (!ctx->chain || !(chain = sk_X509_dup(ctx->chain))) return NULL;
1509         for (i = 0; i < sk_X509_num(chain); i++)
1510                 {
1511                 x = sk_X509_value(chain, i);
1512                 CRYPTO_add(&x->references, 1, CRYPTO_LOCK_X509);
1513                 }
1514         return chain;
1515         }
1516
1517 void X509_STORE_CTX_set_cert(X509_STORE_CTX *ctx, X509 *x)
1518         {
1519         ctx->cert=x;
1520         }
1521
1522 void X509_STORE_CTX_set_chain(X509_STORE_CTX *ctx, STACK_OF(X509) *sk)
1523         {
1524         ctx->untrusted=sk;
1525         }
1526
1527 void X509_STORE_CTX_set0_crls(X509_STORE_CTX *ctx, STACK_OF(X509_CRL) *sk)
1528         {
1529         ctx->crls=sk;
1530         }
1531
1532 int X509_STORE_CTX_set_purpose(X509_STORE_CTX *ctx, int purpose)
1533         {
1534         return X509_STORE_CTX_purpose_inherit(ctx, 0, purpose, 0);
1535         }
1536
1537 int X509_STORE_CTX_set_trust(X509_STORE_CTX *ctx, int trust)
1538         {
1539         return X509_STORE_CTX_purpose_inherit(ctx, 0, 0, trust);
1540         }
1541
1542 /* This function is used to set the X509_STORE_CTX purpose and trust
1543  * values. This is intended to be used when another structure has its
1544  * own trust and purpose values which (if set) will be inherited by
1545  * the ctx. If they aren't set then we will usually have a default
1546  * purpose in mind which should then be used to set the trust value.
1547  * An example of this is SSL use: an SSL structure will have its own
1548  * purpose and trust settings which the application can set: if they
1549  * aren't set then we use the default of SSL client/server.
1550  */
1551
1552 int X509_STORE_CTX_purpose_inherit(X509_STORE_CTX *ctx, int def_purpose,
1553                                 int purpose, int trust)
1554 {
1555         int idx;
1556         /* If purpose not set use default */
1557         if (!purpose) purpose = def_purpose;
1558         /* If we have a purpose then check it is valid */
1559         if (purpose)
1560                 {
1561                 X509_PURPOSE *ptmp;
1562                 idx = X509_PURPOSE_get_by_id(purpose);
1563                 if (idx == -1)
1564                         {
1565                         X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
1566                                                 X509_R_UNKNOWN_PURPOSE_ID);
1567                         return 0;
1568                         }
1569                 ptmp = X509_PURPOSE_get0(idx);
1570                 if (ptmp->trust == X509_TRUST_DEFAULT)
1571                         {
1572                         idx = X509_PURPOSE_get_by_id(def_purpose);
1573                         if (idx == -1)
1574                                 {
1575                                 X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
1576                                                 X509_R_UNKNOWN_PURPOSE_ID);
1577                                 return 0;
1578                                 }
1579                         ptmp = X509_PURPOSE_get0(idx);
1580                         }
1581                 /* If trust not set then get from purpose default */
1582                 if (!trust) trust = ptmp->trust;
1583                 }
1584         if (trust)
1585                 {
1586                 idx = X509_TRUST_get_by_id(trust);
1587                 if (idx == -1)
1588                         {
1589                         X509err(X509_F_X509_STORE_CTX_PURPOSE_INHERIT,
1590                                                 X509_R_UNKNOWN_TRUST_ID);
1591                         return 0;
1592                         }
1593                 }
1594
1595         if (purpose && !ctx->param->purpose) ctx->param->purpose = purpose;
1596         if (trust && !ctx->param->trust) ctx->param->trust = trust;
1597         return 1;
1598 }
1599
1600 X509_STORE_CTX *X509_STORE_CTX_new(void)
1601 {
1602         X509_STORE_CTX *ctx;
1603         ctx = (X509_STORE_CTX *)OPENSSL_malloc(sizeof(X509_STORE_CTX));
1604         if (!ctx)
1605                 {
1606                 X509err(X509_F_X509_STORE_CTX_NEW,ERR_R_MALLOC_FAILURE);
1607                 return NULL;
1608                 }
1609         memset(ctx, 0, sizeof(X509_STORE_CTX));
1610         return ctx;
1611 }
1612
1613 void X509_STORE_CTX_free(X509_STORE_CTX *ctx)
1614 {
1615         X509_STORE_CTX_cleanup(ctx);
1616         OPENSSL_free(ctx);
1617 }
1618
1619 int X509_STORE_CTX_init(X509_STORE_CTX *ctx, X509_STORE *store, X509 *x509,
1620              STACK_OF(X509) *chain)
1621         {
1622         int ret = 1;
1623         ctx->ctx=store;
1624         ctx->current_method=0;
1625         ctx->cert=x509;
1626         ctx->untrusted=chain;
1627         ctx->crls = NULL;
1628         ctx->last_untrusted=0;
1629         ctx->other_ctx=NULL;
1630         ctx->valid=0;
1631         ctx->chain=NULL;
1632         ctx->error=0;
1633         ctx->explicit_policy=0;
1634         ctx->error_depth=0;
1635         ctx->current_cert=NULL;
1636         ctx->current_issuer=NULL;
1637         ctx->tree = NULL;
1638
1639         ctx->param = X509_VERIFY_PARAM_new();
1640
1641         if (!ctx->param)
1642                 {
1643                 X509err(X509_F_X509_STORE_CTX_INIT,ERR_R_MALLOC_FAILURE);
1644                 return 0;
1645                 }
1646
1647         /* Inherit callbacks and flags from X509_STORE if not set
1648          * use defaults.
1649          */
1650
1651
1652         if (store)
1653                 ret = X509_VERIFY_PARAM_inherit(ctx->param, store->param);
1654         else
1655                 ctx->param->flags |= X509_VP_FLAG_DEFAULT|X509_VP_FLAG_ONCE;
1656
1657         if (store)
1658                 {
1659                 ctx->verify_cb = store->verify_cb;
1660                 ctx->cleanup = store->cleanup;
1661                 }
1662         else
1663                 ctx->cleanup = 0;
1664
1665         if (ret)
1666                 ret = X509_VERIFY_PARAM_inherit(ctx->param,
1667                                         X509_VERIFY_PARAM_lookup("default"));
1668
1669         if (ret == 0)
1670                 {
1671                 X509err(X509_F_X509_STORE_CTX_INIT,ERR_R_MALLOC_FAILURE);
1672                 return 0;
1673                 }
1674
1675         if (store && store->check_issued)
1676                 ctx->check_issued = store->check_issued;
1677         else
1678                 ctx->check_issued = check_issued;
1679
1680         if (store && store->get_issuer)
1681                 ctx->get_issuer = store->get_issuer;
1682         else
1683                 ctx->get_issuer = X509_STORE_CTX_get1_issuer;
1684
1685         if (store && store->verify_cb)
1686                 ctx->verify_cb = store->verify_cb;
1687         else
1688                 ctx->verify_cb = null_callback;
1689
1690         if (store && store->verify)
1691                 ctx->verify = store->verify;
1692         else
1693                 ctx->verify = internal_verify;
1694
1695         if (store && store->check_revocation)
1696                 ctx->check_revocation = store->check_revocation;
1697         else
1698                 ctx->check_revocation = check_revocation;
1699
1700         if (store && store->get_crl)
1701                 ctx->get_crl = store->get_crl;
1702         else
1703                 ctx->get_crl = get_crl;
1704
1705         if (store && store->check_crl)
1706                 ctx->check_crl = store->check_crl;
1707         else
1708                 ctx->check_crl = check_crl;
1709
1710         if (store && store->cert_crl)
1711                 ctx->cert_crl = store->cert_crl;
1712         else
1713                 ctx->cert_crl = cert_crl;
1714
1715         if (store && store->lookup_certs)
1716                 ctx->lookup_certs = store->lookup_certs;
1717         else
1718                 ctx->lookup_certs = X509_STORE_get1_certs;
1719
1720         if (store && store->lookup_crls)
1721                 ctx->lookup_crls = store->lookup_crls;
1722         else
1723                 ctx->lookup_crls = X509_STORE_get1_crls;
1724
1725         ctx->check_policy = check_policy;
1726
1727
1728         /* This memset() can't make any sense anyway, so it's removed. As
1729          * X509_STORE_CTX_cleanup does a proper "free" on the ex_data, we put a
1730          * corresponding "new" here and remove this bogus initialisation. */
1731         /* memset(&(ctx->ex_data),0,sizeof(CRYPTO_EX_DATA)); */
1732         if(!CRYPTO_new_ex_data(CRYPTO_EX_INDEX_X509_STORE_CTX, ctx,
1733                                 &(ctx->ex_data)))
1734                 {
1735                 OPENSSL_free(ctx);
1736                 X509err(X509_F_X509_STORE_CTX_INIT,ERR_R_MALLOC_FAILURE);
1737                 return 0;
1738                 }
1739         return 1;
1740         }
1741
1742 /* Set alternative lookup method: just a STACK of trusted certificates.
1743  * This avoids X509_STORE nastiness where it isn't needed.
1744  */
1745
1746 void X509_STORE_CTX_trusted_stack(X509_STORE_CTX *ctx, STACK_OF(X509) *sk)
1747 {
1748         ctx->other_ctx = sk;
1749         ctx->get_issuer = get_issuer_sk;
1750 }
1751
1752 void X509_STORE_CTX_cleanup(X509_STORE_CTX *ctx)
1753         {
1754         if (ctx->cleanup) ctx->cleanup(ctx);
1755         if (ctx->param != NULL)
1756                 {
1757                 X509_VERIFY_PARAM_free(ctx->param);
1758                 ctx->param=NULL;
1759                 }
1760         if (ctx->tree != NULL)
1761                 {
1762                 X509_policy_tree_free(ctx->tree);
1763                 ctx->tree=NULL;
1764                 }
1765         if (ctx->chain != NULL)
1766                 {
1767                 sk_X509_pop_free(ctx->chain,X509_free);
1768                 ctx->chain=NULL;
1769                 }
1770         CRYPTO_free_ex_data(CRYPTO_EX_INDEX_X509_STORE_CTX, ctx, &(ctx->ex_data));
1771         memset(&ctx->ex_data,0,sizeof(CRYPTO_EX_DATA));
1772         }
1773
1774 void X509_STORE_CTX_set_depth(X509_STORE_CTX *ctx, int depth)
1775         {
1776         X509_VERIFY_PARAM_set_depth(ctx->param, depth);
1777         }
1778
1779 void X509_STORE_CTX_set_flags(X509_STORE_CTX *ctx, unsigned long flags)
1780         {
1781         X509_VERIFY_PARAM_set_flags(ctx->param, flags);
1782         }
1783
1784 void X509_STORE_CTX_set_time(X509_STORE_CTX *ctx, unsigned long flags, time_t t)
1785         {
1786         X509_VERIFY_PARAM_set_time(ctx->param, t);
1787         }
1788
1789 void X509_STORE_CTX_set_verify_cb(X509_STORE_CTX *ctx,
1790                                   int (*verify_cb)(int, X509_STORE_CTX *))
1791         {
1792         ctx->verify_cb=verify_cb;
1793         }
1794
1795 X509_POLICY_TREE *X509_STORE_CTX_get0_policy_tree(X509_STORE_CTX *ctx)
1796         {
1797         return ctx->tree;
1798         }
1799
1800 int X509_STORE_CTX_get_explicit_policy(X509_STORE_CTX *ctx)
1801         {
1802         return ctx->explicit_policy;
1803         }
1804
1805 int X509_STORE_CTX_set_default(X509_STORE_CTX *ctx, const char *name)
1806         {
1807         const X509_VERIFY_PARAM *param;
1808         param = X509_VERIFY_PARAM_lookup(name);
1809         if (!param)
1810                 return 0;
1811         return X509_VERIFY_PARAM_inherit(ctx->param, param);
1812         }
1813
1814 X509_VERIFY_PARAM *X509_STORE_CTX_get0_param(X509_STORE_CTX *ctx)
1815         {
1816         return ctx->param;
1817         }
1818
1819 void X509_STORE_CTX_set0_param(X509_STORE_CTX *ctx, X509_VERIFY_PARAM *param)
1820         {
1821         if (ctx->param)
1822                 X509_VERIFY_PARAM_free(ctx->param);
1823         ctx->param = param;
1824         }
1825
1826 IMPLEMENT_STACK_OF(X509)
1827 IMPLEMENT_ASN1_SET_OF(X509)
1828
1829 IMPLEMENT_STACK_OF(X509_NAME)
1830
1831 IMPLEMENT_STACK_OF(X509_ATTRIBUTE)
1832 IMPLEMENT_ASN1_SET_OF(X509_ATTRIBUTE)