1 /* apps/verify.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 <stdlib.h> 61 #include <string.h> 62 #include "apps.h" 63 #include <openssl/bio.h> 64 #include <openssl/err.h> 65 #include <openssl/x509.h> 66 #include <openssl/x509v3.h> 67 #include <openssl/pem.h> 68 69 #undef PROG 70 #define PROG verify_main 71 72 static int MS_CALLBACK cb(int ok, X509_STORE_CTX *ctx); 73 static int check(X509_STORE *ctx,char *file, STACK_OF(X509)*other, int purpose); 74 static STACK_OF(X509) *load_untrusted(char *file); 75 static int v_verbose=0; 76 77 int MAIN(int, char **); 78 79 int MAIN(int argc, char **argv) 80 { 81 int i,ret=1; 82 int purpose = -1; 83 char *CApath=NULL,*CAfile=NULL; 84 char *untfile = NULL; 85 STACK_OF(X509) *untrusted = NULL; 86 X509_STORE *cert_ctx=NULL; 87 X509_LOOKUP *lookup=NULL; 88 89 cert_ctx=X509_STORE_new(); 90 if (cert_ctx == NULL) goto end; 91 X509_STORE_set_verify_cb_func(cert_ctx,cb); 92 93 ERR_load_crypto_strings(); 94 95 apps_startup(); 96 97 if (bio_err == NULL) 98 if ((bio_err=BIO_new(BIO_s_file())) != NULL) 99 BIO_set_fp(bio_err,stderr,BIO_NOCLOSE|BIO_FP_TEXT); 100 101 argc--; 102 argv++; 103 for (;;) 104 { 105 if (argc >= 1) 106 { 107 if (strcmp(*argv,"-CApath") == 0) 108 { 109 if (argc-- < 1) goto end; 110 CApath= *(++argv); 111 } 112 else if (strcmp(*argv,"-CAfile") == 0) 113 { 114 if (argc-- < 1) goto end; 115 CAfile= *(++argv); 116 } 117 else if (strcmp(*argv,"-purpose") == 0) 118 { 119 X509_PURPOSE *xptmp; 120 if (argc-- < 1) goto end; 121 i = X509_PURPOSE_get_by_sname(*(++argv)); 122 if(i < 0) 123 { 124 BIO_printf(bio_err, "unrecognized purpose\n"); 125 goto end; 126 } 127 xptmp = X509_PURPOSE_get0(i); 128 purpose = X509_PURPOSE_get_id(xptmp); 129 } 130 else if (strcmp(*argv,"-untrusted") == 0) 131 { 132 if (argc-- < 1) goto end; 133 untfile= *(++argv); 134 } 135 else if (strcmp(*argv,"-help") == 0) 136 goto end; 137 else if (strcmp(*argv,"-verbose") == 0) 138 v_verbose=1; 139 else if (argv[0][0] == '-') 140 goto end; 141 else 142 break; 143 argc--; 144 argv++; 145 } 146 else 147 break; 148 } 149 150 lookup=X509_STORE_add_lookup(cert_ctx,X509_LOOKUP_file()); 151 if (lookup == NULL) abort(); 152 if (CAfile) { 153 i=X509_LOOKUP_load_file(lookup,CAfile,X509_FILETYPE_PEM); 154 if(!i) { 155 BIO_printf(bio_err, "Error loading file %s\n", CAfile); 156 ERR_print_errors(bio_err); 157 goto end; 158 } 159 } else X509_LOOKUP_load_file(lookup,NULL,X509_FILETYPE_DEFAULT); 160 161 lookup=X509_STORE_add_lookup(cert_ctx,X509_LOOKUP_hash_dir()); 162 if (lookup == NULL) abort(); 163 if (CApath) { 164 i=X509_LOOKUP_add_dir(lookup,CApath,X509_FILETYPE_PEM); 165 if(!i) { 166 BIO_printf(bio_err, "Error loading directory %s\n", CApath); 167 ERR_print_errors(bio_err); 168 goto end; 169 } 170 } else X509_LOOKUP_add_dir(lookup,NULL,X509_FILETYPE_DEFAULT); 171 172 ERR_clear_error(); 173 174 if(untfile) { 175 if(!(untrusted = load_untrusted(untfile))) { 176 BIO_printf(bio_err, "Error loading untrusted file %s\n", untfile); 177 ERR_print_errors(bio_err); 178 goto end; 179 } 180 } 181 182 if (argc < 1) check(cert_ctx, NULL, untrusted, purpose); 183 else 184 for (i=0; i<argc; i++) 185 check(cert_ctx,argv[i], untrusted, purpose); 186 ret=0; 187 end: 188 if (ret == 1) { 189 BIO_printf(bio_err,"usage: verify [-verbose] [-CApath path] [-CAfile file] cert1 cert2 ...\n"); 190 BIO_printf(bio_err,"recognized usages:\n"); 191 for(i = 0; i < X509_PURPOSE_get_count(); i++) { 192 X509_PURPOSE *ptmp; 193 ptmp = X509_PURPOSE_get0(i); 194 BIO_printf(bio_err, "\t%-10s\t%s\n", X509_PURPOSE_get0_sname(ptmp), 195 X509_PURPOSE_get0_name(ptmp)); 196 } 197 } 198 if (cert_ctx != NULL) X509_STORE_free(cert_ctx); 199 sk_X509_pop_free(untrusted, X509_free); 200 EXIT(ret); 201 } 202 203 static int check(X509_STORE *ctx, char *file, STACK_OF(X509) *uchain, int purpose) 204 { 205 X509 *x=NULL; 206 BIO *in=NULL; 207 int i=0,ret=0; 208 X509_STORE_CTX *csc; 209 210 in=BIO_new(BIO_s_file()); 211 if (in == NULL) 212 { 213 ERR_print_errors(bio_err); 214 goto end; 215 } 216 217 if (file == NULL) 218 BIO_set_fp(in,stdin,BIO_NOCLOSE); 219 else 220 { 221 if (BIO_read_filename(in,file) <= 0) 222 { 223 perror(file); 224 goto end; 225 } 226 } 227 228 x=PEM_read_bio_X509(in,NULL,NULL,NULL); 229 if (x == NULL) 230 { 231 fprintf(stdout,"%s: unable to load certificate file\n", 232 (file == NULL)?"stdin":file); 233 ERR_print_errors(bio_err); 234 goto end; 235 } 236 fprintf(stdout,"%s: ",(file == NULL)?"stdin":file); 237 238 csc = X509_STORE_CTX_new(); 239 if (csc == NULL) 240 { 241 ERR_print_errors(bio_err); 242 goto end; 243 } 244 X509_STORE_CTX_init(csc,ctx,x,uchain); 245 if(purpose >= 0) X509_STORE_CTX_set_purpose(csc, purpose); 246 i=X509_verify_cert(csc); 247 X509_STORE_CTX_free(csc); 248 249 ret=0; 250 end: 251 if (i) 252 { 253 fprintf(stdout,"OK\n"); 254 ret=1; 255 } 256 else 257 ERR_print_errors(bio_err); 258 if (x != NULL) X509_free(x); 259 if (in != NULL) BIO_free(in); 260 261 return(ret); 262 } 263 264 static STACK_OF(X509) *load_untrusted(char *certfile) 265 { 266 STACK_OF(X509_INFO) *sk=NULL; 267 STACK_OF(X509) *stack=NULL, *ret=NULL; 268 BIO *in=NULL; 269 X509_INFO *xi; 270 271 if(!(stack = sk_X509_new_null())) { 272 BIO_printf(bio_err,"memory allocation failure\n"); 273 goto end; 274 } 275 276 if(!(in=BIO_new_file(certfile, "r"))) { 277 BIO_printf(bio_err,"error opening the file, %s\n",certfile); 278 goto end; 279 } 280 281 /* This loads from a file, a stack of x509/crl/pkey sets */ 282 if(!(sk=PEM_X509_INFO_read_bio(in,NULL,NULL,NULL))) { 283 BIO_printf(bio_err,"error reading the file, %s\n",certfile); 284 goto end; 285 } 286 287 /* scan over it and pull out the certs */ 288 while (sk_X509_INFO_num(sk)) 289 { 290 xi=sk_X509_INFO_shift(sk); 291 if (xi->x509 != NULL) 292 { 293 sk_X509_push(stack,xi->x509); 294 xi->x509=NULL; 295 } 296 X509_INFO_free(xi); 297 } 298 if(!sk_X509_num(stack)) { 299 BIO_printf(bio_err,"no certificates in file, %s\n",certfile); 300 sk_X509_free(stack); 301 goto end; 302 } 303 ret=stack; 304 end: 305 BIO_free(in); 306 sk_X509_INFO_free(sk); 307 return(ret); 308 } 309 310 static int MS_CALLBACK cb(int ok, X509_STORE_CTX *ctx) 311 { 312 char buf[256]; 313 314 if (!ok) 315 { 316 X509_NAME_oneline( 317 X509_get_subject_name(ctx->current_cert),buf,256); 318 printf("%s\n",buf); 319 printf("error %d at %d depth lookup:%s\n",ctx->error, 320 ctx->error_depth, 321 X509_verify_cert_error_string(ctx->error)); 322 if (ctx->error == X509_V_ERR_CERT_HAS_EXPIRED) ok=1; 323 /* since we are just checking the certificates, it is 324 * ok if they are self signed. But we should still warn 325 * the user. 326 */ 327 if (ctx->error == X509_V_ERR_DEPTH_ZERO_SELF_SIGNED_CERT) ok=1; 328 /* Continue after extension errors too */ 329 if (ctx->error == X509_V_ERR_INVALID_CA) ok=1; 330 if (ctx->error == X509_V_ERR_PATH_LENGTH_EXCEEDED) ok=1; 331 if (ctx->error == X509_V_ERR_INVALID_PURPOSE) ok=1; 332 if (ctx->error == X509_V_ERR_DEPTH_ZERO_SELF_SIGNED_CERT) ok=1; 333 } 334 if (!v_verbose) 335 ERR_clear_error(); 336 return(ok); 337 } 338 339