Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 1 | /* apps/crl.c */ |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 2 | /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com) |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 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" |
Bodo Möller | ec57782 | 1999-04-23 22:13:45 +0000 | [diff] [blame] | 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> |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 68 | |
| 69 | #undef PROG |
| 70 | #define PROG crl_main |
| 71 | |
| 72 | #undef POSTFIX |
| 73 | #define POSTFIX ".rvk" |
| 74 | |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 75 | static char *crl_usage[]={ |
| 76 | "usage: crl args\n", |
| 77 | "\n", |
| 78 | " -inform arg - input format - default PEM (one of DER, TXT or PEM)\n", |
| 79 | " -outform arg - output format - default PEM\n", |
| 80 | " -text - print out a text format version\n", |
| 81 | " -in arg - input file - default stdin\n", |
| 82 | " -out arg - output file - default stdout\n", |
| 83 | " -hash - print hash value\n", |
| 84 | " -issuer - print issuer DN\n", |
| 85 | " -lastupdate - lastUpdate field\n", |
| 86 | " -nextupdate - nextUpdate field\n", |
| 87 | " -noout - no CRL output\n", |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 88 | " -CAfile name - verify CRL using certificates in file \"name\"\n", |
| 89 | " -CApath dir - verify CRL using certificates in \"dir\"\n", |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 90 | NULL |
| 91 | }; |
| 92 | |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 93 | static X509_CRL *load_crl(char *file, int format); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 94 | static BIO *bio_out=NULL; |
| 95 | |
Ulf Möller | 6b691a5 | 1999-04-19 21:31:43 +0000 | [diff] [blame] | 96 | int MAIN(int argc, char **argv) |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 97 | { |
| 98 | X509_CRL *x=NULL; |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 99 | char *CAfile = NULL, *CApath = NULL; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 100 | int ret=1,i,num,badops=0; |
| 101 | BIO *out=NULL; |
| 102 | int informat,outformat; |
| 103 | char *infile=NULL,*outfile=NULL; |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 104 | int hash=0,issuer=0,lastupdate=0,nextupdate=0,noout=0,text=0; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 105 | char **pp,buf[256]; |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 106 | X509_STORE *store = NULL; |
| 107 | X509_STORE_CTX ctx; |
| 108 | X509_LOOKUP *lookup = NULL; |
| 109 | X509_OBJECT xobj; |
| 110 | EVP_PKEY *pkey; |
| 111 | int do_ver = 0; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 112 | |
| 113 | apps_startup(); |
| 114 | |
| 115 | if (bio_err == NULL) |
| 116 | if ((bio_err=BIO_new(BIO_s_file())) != NULL) |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 117 | BIO_set_fp(bio_err,stderr,BIO_NOCLOSE|BIO_FP_TEXT); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 118 | |
| 119 | if (bio_out == NULL) |
| 120 | if ((bio_out=BIO_new(BIO_s_file())) != NULL) |
| 121 | BIO_set_fp(bio_out,stdout,BIO_NOCLOSE); |
| 122 | |
| 123 | informat=FORMAT_PEM; |
| 124 | outformat=FORMAT_PEM; |
| 125 | |
| 126 | argc--; |
| 127 | argv++; |
| 128 | num=0; |
| 129 | while (argc >= 1) |
| 130 | { |
| 131 | #ifdef undef |
| 132 | if (strcmp(*argv,"-p") == 0) |
| 133 | { |
| 134 | if (--argc < 1) goto bad; |
| 135 | if (!args_from_file(++argv,Nargc,Nargv)) { goto end; }*/ |
| 136 | } |
| 137 | #endif |
| 138 | if (strcmp(*argv,"-inform") == 0) |
| 139 | { |
| 140 | if (--argc < 1) goto bad; |
| 141 | informat=str2fmt(*(++argv)); |
| 142 | } |
| 143 | else if (strcmp(*argv,"-outform") == 0) |
| 144 | { |
| 145 | if (--argc < 1) goto bad; |
| 146 | outformat=str2fmt(*(++argv)); |
| 147 | } |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 148 | else if (strcmp(*argv,"-in") == 0) |
| 149 | { |
| 150 | if (--argc < 1) goto bad; |
| 151 | infile= *(++argv); |
| 152 | } |
| 153 | else if (strcmp(*argv,"-out") == 0) |
| 154 | { |
| 155 | if (--argc < 1) goto bad; |
| 156 | outfile= *(++argv); |
| 157 | } |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 158 | else if (strcmp(*argv,"-CApath") == 0) |
| 159 | { |
| 160 | if (--argc < 1) goto bad; |
| 161 | CApath = *(++argv); |
| 162 | do_ver = 1; |
| 163 | } |
| 164 | else if (strcmp(*argv,"-CAfile") == 0) |
| 165 | { |
| 166 | if (--argc < 1) goto bad; |
| 167 | CAfile = *(++argv); |
| 168 | do_ver = 1; |
| 169 | } |
| 170 | else if (strcmp(*argv,"-verify") == 0) |
| 171 | do_ver = 1; |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 172 | else if (strcmp(*argv,"-text") == 0) |
| 173 | text = 1; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 174 | else if (strcmp(*argv,"-hash") == 0) |
| 175 | hash= ++num; |
| 176 | else if (strcmp(*argv,"-issuer") == 0) |
| 177 | issuer= ++num; |
| 178 | else if (strcmp(*argv,"-lastupdate") == 0) |
| 179 | lastupdate= ++num; |
| 180 | else if (strcmp(*argv,"-nextupdate") == 0) |
| 181 | nextupdate= ++num; |
| 182 | else if (strcmp(*argv,"-noout") == 0) |
| 183 | noout= ++num; |
| 184 | else |
| 185 | { |
| 186 | BIO_printf(bio_err,"unknown option %s\n",*argv); |
| 187 | badops=1; |
| 188 | break; |
| 189 | } |
| 190 | argc--; |
| 191 | argv++; |
| 192 | } |
| 193 | |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 194 | if (badops) |
| 195 | { |
| 196 | bad: |
| 197 | for (pp=crl_usage; (*pp != NULL); pp++) |
| 198 | BIO_printf(bio_err,*pp); |
| 199 | goto end; |
| 200 | } |
| 201 | |
| 202 | ERR_load_crypto_strings(); |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 203 | X509V3_add_standard_extensions(); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 204 | x=load_crl(infile,informat); |
| 205 | if (x == NULL) { goto end; } |
| 206 | |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 207 | if(do_ver) { |
| 208 | store = X509_STORE_new(); |
| 209 | lookup=X509_STORE_add_lookup(store,X509_LOOKUP_file()); |
| 210 | if (lookup == NULL) goto end; |
| 211 | if (!X509_LOOKUP_load_file(lookup,CAfile,X509_FILETYPE_PEM)) |
| 212 | X509_LOOKUP_load_file(lookup,NULL,X509_FILETYPE_DEFAULT); |
| 213 | |
| 214 | lookup=X509_STORE_add_lookup(store,X509_LOOKUP_hash_dir()); |
| 215 | if (lookup == NULL) goto end; |
| 216 | if (!X509_LOOKUP_add_dir(lookup,CApath,X509_FILETYPE_PEM)) |
| 217 | X509_LOOKUP_add_dir(lookup,NULL,X509_FILETYPE_DEFAULT); |
| 218 | ERR_clear_error(); |
| 219 | |
| 220 | X509_STORE_CTX_init(&ctx, store, NULL, NULL); |
| 221 | |
| 222 | i = X509_STORE_get_by_subject(&ctx, X509_LU_X509, |
| 223 | X509_CRL_get_issuer(x), &xobj); |
| 224 | if(i <= 0) { |
| 225 | BIO_printf(bio_err, |
| 226 | "Error getting CRL issuer certificate\n"); |
| 227 | goto end; |
| 228 | } |
| 229 | pkey = X509_get_pubkey(xobj.data.x509); |
| 230 | X509_OBJECT_free_contents(&xobj); |
| 231 | if(!pkey) { |
| 232 | BIO_printf(bio_err, |
| 233 | "Error getting CRL issuer public key\n"); |
| 234 | goto end; |
| 235 | } |
| 236 | i = X509_CRL_verify(x, pkey); |
| 237 | EVP_PKEY_free(pkey); |
| 238 | if(i < 0) goto end; |
| 239 | if(i == 0) BIO_printf(bio_err, "verify failure\n"); |
| 240 | else BIO_printf(bio_err, "verify OK\n"); |
| 241 | } |
| 242 | |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 243 | if (num) |
| 244 | { |
| 245 | for (i=1; i<=num; i++) |
| 246 | { |
| 247 | if (issuer == i) |
| 248 | { |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 249 | X509_NAME_oneline(X509_CRL_get_issuer(x), |
| 250 | buf,256); |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 251 | BIO_printf(bio_out,"issuer= %s\n",buf); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 252 | } |
| 253 | |
| 254 | if (hash == i) |
| 255 | { |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 256 | BIO_printf(bio_out,"%08lx\n", |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 257 | X509_NAME_hash(X509_CRL_get_issuer(x))); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 258 | } |
| 259 | if (lastupdate == i) |
| 260 | { |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 261 | BIO_printf(bio_out,"lastUpdate="); |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 262 | ASN1_TIME_print(bio_out, |
| 263 | X509_CRL_get_lastUpdate(x)); |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 264 | BIO_printf(bio_out,"\n"); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 265 | } |
| 266 | if (nextupdate == i) |
| 267 | { |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 268 | BIO_printf(bio_out,"nextUpdate="); |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 269 | if (X509_CRL_get_nextUpdate(x)) |
| 270 | ASN1_TIME_print(bio_out, |
| 271 | X509_CRL_get_nextUpdate(x)); |
Ralf S. Engelschall | 58964a4 | 1998-12-21 10:56:39 +0000 | [diff] [blame] | 272 | else |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 273 | BIO_printf(bio_out,"NONE"); |
| 274 | BIO_printf(bio_out,"\n"); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 275 | } |
| 276 | } |
| 277 | } |
| 278 | |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 279 | out=BIO_new(BIO_s_file()); |
| 280 | if (out == NULL) |
| 281 | { |
| 282 | ERR_print_errors(bio_err); |
| 283 | goto end; |
| 284 | } |
| 285 | |
| 286 | if (outfile == NULL) |
| 287 | BIO_set_fp(out,stdout,BIO_NOCLOSE); |
| 288 | else |
| 289 | { |
| 290 | if (BIO_write_filename(out,outfile) <= 0) |
| 291 | { |
| 292 | perror(outfile); |
| 293 | goto end; |
| 294 | } |
| 295 | } |
| 296 | |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 297 | if (text) X509_CRL_print(out, x); |
Ralf S. Engelschall | 2f0cd19 | 1999-04-12 10:36:16 +0000 | [diff] [blame] | 298 | |
| 299 | if (noout) goto end; |
| 300 | |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 301 | if (outformat == FORMAT_ASN1) |
| 302 | i=(int)i2d_X509_CRL_bio(out,x); |
| 303 | else if (outformat == FORMAT_PEM) |
| 304 | i=PEM_write_bio_X509_CRL(out,x); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 305 | else |
| 306 | { |
| 307 | BIO_printf(bio_err,"bad output format specified for outfile\n"); |
| 308 | goto end; |
| 309 | } |
| 310 | if (!i) { BIO_printf(bio_err,"unable to write CRL\n"); goto end; } |
| 311 | ret=0; |
| 312 | end: |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 313 | BIO_free(out); |
| 314 | BIO_free(bio_out); |
Bodo Möller | b74ba29 | 1999-09-03 23:08:45 +0000 | [diff] [blame] | 315 | bio_out=NULL; |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 316 | X509_CRL_free(x); |
Dr. Stephen Henson | 090d848 | 1999-09-18 01:42:02 +0000 | [diff] [blame] | 317 | if(store) { |
| 318 | X509_STORE_CTX_cleanup(&ctx); |
| 319 | X509_STORE_free(store); |
| 320 | } |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 321 | X509V3_EXT_cleanup(); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 322 | EXIT(ret); |
| 323 | } |
| 324 | |
Ulf Möller | 6b691a5 | 1999-04-19 21:31:43 +0000 | [diff] [blame] | 325 | static X509_CRL *load_crl(char *infile, int format) |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 326 | { |
| 327 | X509_CRL *x=NULL; |
| 328 | BIO *in=NULL; |
| 329 | |
| 330 | in=BIO_new(BIO_s_file()); |
| 331 | if (in == NULL) |
| 332 | { |
| 333 | ERR_print_errors(bio_err); |
| 334 | goto end; |
| 335 | } |
| 336 | |
| 337 | if (infile == NULL) |
| 338 | BIO_set_fp(in,stdin,BIO_NOCLOSE); |
| 339 | else |
| 340 | { |
| 341 | if (BIO_read_filename(in,infile) <= 0) |
| 342 | { |
| 343 | perror(infile); |
| 344 | goto end; |
| 345 | } |
| 346 | } |
| 347 | if (format == FORMAT_ASN1) |
| 348 | x=d2i_X509_CRL_bio(in,NULL); |
| 349 | else if (format == FORMAT_PEM) |
Bodo Möller | 74678cc | 1999-07-21 20:57:16 +0000 | [diff] [blame] | 350 | x=PEM_read_bio_X509_CRL(in,NULL,NULL,NULL); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 351 | else { |
| 352 | BIO_printf(bio_err,"bad input format specified for input crl\n"); |
| 353 | goto end; |
| 354 | } |
| 355 | if (x == NULL) |
| 356 | { |
| 357 | BIO_printf(bio_err,"unable to load CRL\n"); |
| 358 | ERR_print_errors(bio_err); |
| 359 | goto end; |
| 360 | } |
| 361 | |
| 362 | end: |
Dr. Stephen Henson | 0ca5f8b | 1999-02-19 01:29:29 +0000 | [diff] [blame] | 363 | BIO_free(in); |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 364 | return(x); |
| 365 | } |
| 366 | |