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