Note bug fix for the DSA infinite loop
[openssl.git] / apps / crl.c
1 /* apps/crl.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    crl_main
71
72 #undef POSTFIX
73 #define POSTFIX ".rvk"
74
75 static char *crl_usage[]={
76 "usage: crl args\n",
77 "\n",
78 " -inform arg     - input format - default PEM (DER 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",
88 " -CAfile  name   - verify CRL using certificates in file \"name\"\n",
89 " -CApath  dir    - verify CRL using certificates in \"dir\"\n",
90 NULL
91 };
92
93 static X509_CRL *load_crl(char *file, int format);
94 static BIO *bio_out=NULL;
95
96 int MAIN(int, char **);
97
98 int MAIN(int argc, char **argv)
99         {
100         X509_CRL *x=NULL;
101         char *CAfile = NULL, *CApath = NULL;
102         int ret=1,i,num,badops=0;
103         BIO *out=NULL;
104         int informat,outformat;
105         char *infile=NULL,*outfile=NULL;
106         int hash=0,issuer=0,lastupdate=0,nextupdate=0,noout=0,text=0;
107         char **pp,buf[256];
108         X509_STORE *store = NULL;
109         X509_STORE_CTX ctx;
110         X509_LOOKUP *lookup = NULL;
111         X509_OBJECT xobj;
112         EVP_PKEY *pkey;
113         int do_ver = 0;
114
115         apps_startup();
116
117         if (bio_err == NULL)
118                 if ((bio_err=BIO_new(BIO_s_file())) != NULL)
119                         BIO_set_fp(bio_err,stderr,BIO_NOCLOSE|BIO_FP_TEXT);
120
121         if (bio_out == NULL)
122                 if ((bio_out=BIO_new(BIO_s_file())) != NULL)
123                         BIO_set_fp(bio_out,stdout,BIO_NOCLOSE);
124
125         informat=FORMAT_PEM;
126         outformat=FORMAT_PEM;
127
128         argc--;
129         argv++;
130         num=0;
131         while (argc >= 1)
132                 {
133 #ifdef undef
134                 if      (strcmp(*argv,"-p") == 0)
135                         {
136                         if (--argc < 1) goto bad;
137                         if (!args_from_file(++argv,Nargc,Nargv)) { goto end; }*/
138                         }
139 #endif
140                 if      (strcmp(*argv,"-inform") == 0)
141                         {
142                         if (--argc < 1) goto bad;
143                         informat=str2fmt(*(++argv));
144                         }
145                 else if (strcmp(*argv,"-outform") == 0)
146                         {
147                         if (--argc < 1) goto bad;
148                         outformat=str2fmt(*(++argv));
149                         }
150                 else if (strcmp(*argv,"-in") == 0)
151                         {
152                         if (--argc < 1) goto bad;
153                         infile= *(++argv);
154                         }
155                 else if (strcmp(*argv,"-out") == 0)
156                         {
157                         if (--argc < 1) goto bad;
158                         outfile= *(++argv);
159                         }
160                 else if (strcmp(*argv,"-CApath") == 0)
161                         {
162                         if (--argc < 1) goto bad;
163                         CApath = *(++argv);
164                         do_ver = 1;
165                         }
166                 else if (strcmp(*argv,"-CAfile") == 0)
167                         {
168                         if (--argc < 1) goto bad;
169                         CAfile = *(++argv);
170                         do_ver = 1;
171                         }
172                 else if (strcmp(*argv,"-verify") == 0)
173                         do_ver = 1;
174                 else if (strcmp(*argv,"-text") == 0)
175                         text = 1;
176                 else if (strcmp(*argv,"-hash") == 0)
177                         hash= ++num;
178                 else if (strcmp(*argv,"-issuer") == 0)
179                         issuer= ++num;
180                 else if (strcmp(*argv,"-lastupdate") == 0)
181                         lastupdate= ++num;
182                 else if (strcmp(*argv,"-nextupdate") == 0)
183                         nextupdate= ++num;
184                 else if (strcmp(*argv,"-noout") == 0)
185                         noout= ++num;
186                 else
187                         {
188                         BIO_printf(bio_err,"unknown option %s\n",*argv);
189                         badops=1;
190                         break;
191                         }
192                 argc--;
193                 argv++;
194                 }
195
196         if (badops)
197                 {
198 bad:
199                 for (pp=crl_usage; (*pp != NULL); pp++)
200                         BIO_printf(bio_err,*pp);
201                 goto end;
202                 }
203
204         ERR_load_crypto_strings();
205         x=load_crl(infile,informat);
206         if (x == NULL) { goto end; }
207
208         if(do_ver) {
209                 store = X509_STORE_new();
210                 lookup=X509_STORE_add_lookup(store,X509_LOOKUP_file());
211                 if (lookup == NULL) goto end;
212                 if (!X509_LOOKUP_load_file(lookup,CAfile,X509_FILETYPE_PEM))
213                         X509_LOOKUP_load_file(lookup,NULL,X509_FILETYPE_DEFAULT);
214                         
215                 lookup=X509_STORE_add_lookup(store,X509_LOOKUP_hash_dir());
216                 if (lookup == NULL) goto end;
217                 if (!X509_LOOKUP_add_dir(lookup,CApath,X509_FILETYPE_PEM))
218                         X509_LOOKUP_add_dir(lookup,NULL,X509_FILETYPE_DEFAULT);
219                 ERR_clear_error();
220
221                 X509_STORE_CTX_init(&ctx, store, NULL, NULL);
222
223                 i = X509_STORE_get_by_subject(&ctx, X509_LU_X509, 
224                                         X509_CRL_get_issuer(x), &xobj);
225                 if(i <= 0) {
226                         BIO_printf(bio_err,
227                                 "Error getting CRL issuer certificate\n");
228                         goto end;
229                 }
230                 pkey = X509_get_pubkey(xobj.data.x509);
231                 X509_OBJECT_free_contents(&xobj);
232                 if(!pkey) {
233                         BIO_printf(bio_err,
234                                 "Error getting CRL issuer public key\n");
235                         goto end;
236                 }
237                 i = X509_CRL_verify(x, pkey);
238                 EVP_PKEY_free(pkey);
239                 if(i < 0) goto end;
240                 if(i == 0) BIO_printf(bio_err, "verify failure\n");
241                 else BIO_printf(bio_err, "verify OK\n");
242         }
243
244         if (num)
245                 {
246                 for (i=1; i<=num; i++)
247                         {
248                         if (issuer == i)
249                                 {
250                                 X509_NAME_oneline(X509_CRL_get_issuer(x),
251                                                                 buf,256);
252                                 BIO_printf(bio_out,"issuer= %s\n",buf);
253                                 }
254
255                         if (hash == i)
256                                 {
257                                 BIO_printf(bio_out,"%08lx\n",
258                                         X509_NAME_hash(X509_CRL_get_issuer(x)));
259                                 }
260                         if (lastupdate == i)
261                                 {
262                                 BIO_printf(bio_out,"lastUpdate=");
263                                 ASN1_TIME_print(bio_out,
264                                                 X509_CRL_get_lastUpdate(x));
265                                 BIO_printf(bio_out,"\n");
266                                 }
267                         if (nextupdate == i)
268                                 {
269                                 BIO_printf(bio_out,"nextUpdate=");
270                                 if (X509_CRL_get_nextUpdate(x)) 
271                                         ASN1_TIME_print(bio_out,
272                                                 X509_CRL_get_nextUpdate(x));
273                                 else
274                                         BIO_printf(bio_out,"NONE");
275                                 BIO_printf(bio_out,"\n");
276                                 }
277                         }
278                 }
279
280         out=BIO_new(BIO_s_file());
281         if (out == NULL)
282                 {
283                 ERR_print_errors(bio_err);
284                 goto end;
285                 }
286
287         if (outfile == NULL)
288                 BIO_set_fp(out,stdout,BIO_NOCLOSE);
289         else
290                 {
291                 if (BIO_write_filename(out,outfile) <= 0)
292                         {
293                         perror(outfile);
294                         goto end;
295                         }
296                 }
297
298         if (text) X509_CRL_print(out, x);
299
300         if (noout) goto end;
301
302         if      (outformat == FORMAT_ASN1)
303                 i=(int)i2d_X509_CRL_bio(out,x);
304         else if (outformat == FORMAT_PEM)
305                 i=PEM_write_bio_X509_CRL(out,x);
306         else    
307                 {
308                 BIO_printf(bio_err,"bad output format specified for outfile\n");
309                 goto end;
310                 }
311         if (!i) { BIO_printf(bio_err,"unable to write CRL\n"); goto end; }
312         ret=0;
313 end:
314         BIO_free(out);
315         BIO_free(bio_out);
316         bio_out=NULL;
317         X509_CRL_free(x);
318         if(store) {
319                 X509_STORE_CTX_cleanup(&ctx);
320                 X509_STORE_free(store);
321         }
322         EXIT(ret);
323         }
324
325 static X509_CRL *load_crl(char *infile, int format)
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)
350                 x=PEM_read_bio_X509_CRL(in,NULL,NULL,NULL);
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:
363         BIO_free(in);
364         return(x);
365         }
366