Complete rewrite of the error code generation script. It now runs as a single
[openssl.git] / crypto / pkcs7 / verify.c
1 /* crypto/pkcs7/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 #include <stdio.h>
59 #include <openssl/asn1.h>
60 #include <openssl/bio.h>
61 #include <openssl/x509.h>
62 #include <openssl/pem.h>
63
64 int verify_callback(int ok, X509_STORE_CTX *ctx);
65
66 BIO *bio_err=NULL;
67 BIO *bio_out=NULL;
68
69 main(argc,argv)
70 int argc;
71 char *argv[];
72         {
73         X509 *x509,*x;
74         PKCS7 *p7;
75         PKCS7_SIGNED *s;
76         PKCS7_SIGNER_INFO *si;
77         PKCS7_ISSUER_AND_SERIAL *ias;
78         X509_STORE_CTX cert_ctx;
79         X509_STORE *cert_store=NULL;
80         X509_LOOKUP *lookup=NULL;
81         BIO *data,*detached=NULL,*p7bio=NULL;
82         char buf[1024*4];
83         unsigned char *p,*pp;
84         int i,j,printit=0;
85         STACK *sk;
86
87         bio_err=BIO_new_fp(stderr,BIO_NOCLOSE);
88         bio_out=BIO_new_fp(stdout,BIO_NOCLOSE);
89         EVP_add_digest(EVP_md2());
90         EVP_add_digest(EVP_md5());
91         EVP_add_digest(EVP_sha1());
92         EVP_add_digest(EVP_mdc2());
93
94         data=BIO_new(BIO_s_file());
95 again:
96         pp=NULL;
97         while (argc > 1)
98                 {
99                 argc--;
100                 argv++;
101                 if (strcmp(argv[0],"-p") == 0)
102                         {
103                         printit=1;
104                         }
105                 else if ((strcmp(argv[0],"-d") == 0) && (argc >= 2))
106                         {
107                         detached=BIO_new(BIO_s_file());
108                         if (!BIO_read_filename(detached,argv[1]))
109                                 goto err;
110                         argc--;
111                         argv++;
112                         }
113                 else
114                         {
115                         pp=argv[0];
116                         if (!BIO_read_filename(data,argv[0]))
117                                 goto err;
118                         }
119                 }
120
121         if (pp == NULL)
122                 BIO_set_fp(data,stdin,BIO_NOCLOSE);
123
124
125         /* Load the PKCS7 object from a file */
126         if ((p7=PEM_read_bio_PKCS7(data,NULL,NULL)) == NULL) goto err;
127
128         /* This stuff is being setup for certificate verification.
129          * When using SSL, it could be replaced with a 
130          * cert_stre=SSL_CTX_get_cert_store(ssl_ctx); */
131         cert_store=X509_STORE_new();
132         X509_STORE_set_default_paths(cert_store);
133         X509_STORE_load_locations(cert_store,NULL,"../../certs");
134         X509_STORE_set_verify_cb_func(cert_store,verify_callback);
135
136         ERR_clear_error();
137
138         /* We need to process the data */
139         if ((PKCS7_get_detached(p7) || detached))
140                 {
141                 if (detached == NULL)
142                         {
143                         printf("no data to verify the signature on\n");
144                         exit(1);
145                         }
146                 else
147                         p7bio=PKCS7_dataInit(p7,detached);
148                 }
149         else
150                 {
151                 p7bio=PKCS7_dataInit(p7,NULL);
152                 }
153
154         /* We now have to 'read' from p7bio to calculate digests etc. */
155         for (;;)
156                 {
157                 i=BIO_read(p7bio,buf,sizeof(buf));
158                 /* print it? */
159                 if (i <= 0) break;
160                 }
161
162         /* We can now verify signatures */
163         sk=PKCS7_get_signer_info(p7);
164         if (sk == NULL)
165                 {
166                 printf("there are no signatures on this data\n");
167                 exit(1);
168                 }
169
170         /* Ok, first we need to, for each subject entry, see if we can verify */
171         for (i=0; i<sk_num(sk); i++)
172                 {
173                 ASN1_UTCTIME *tm;
174                 char *str1,*str2;
175
176                 si=(PKCS7_SIGNER_INFO *)sk_value(sk,i);
177                 i=PKCS7_dataVerify(cert_store,&cert_ctx,p7bio,p7,si);
178                 if (i <= 0)
179                         goto err;
180                 printf("signer info\n");
181                 if ((tm=get_signed_time(si)) != NULL)
182                         {
183                         BIO_printf(bio_out,"Signed time:");
184                         ASN1_UTCTIME_print(bio_out,tm);
185                         ASN1_UTCTIME_free(tm);
186                         BIO_printf(bio_out,"\n");
187                         }
188                 if (get_signed_seq2string(si,&str1,&str2))
189                         {
190                         BIO_printf(bio_out,"String 1 is %s\n",str1);
191                         BIO_printf(bio_out,"String 2 is %s\n",str2);
192                         }
193
194                 }
195
196         X509_STORE_free(cert_store);
197
198         printf("done\n");
199         exit(0);
200 err:
201         ERR_load_crypto_strings();
202         ERR_print_errors_fp(stderr);
203         exit(1);
204         }
205
206 /* should be X509 * but we can just have them as char *. */
207 int verify_callback(int ok, X509_STORE_CTX *ctx)
208         {
209         char buf[256];
210         X509 *err_cert;
211         int err,depth;
212
213         err_cert=X509_STORE_CTX_get_current_cert(ctx);
214         err=    X509_STORE_CTX_get_error(ctx);
215         depth=  X509_STORE_CTX_get_error_depth(ctx);
216
217         X509_NAME_oneline(X509_get_subject_name(err_cert),buf,256);
218         BIO_printf(bio_err,"depth=%d %s\n",depth,buf);
219         if (!ok)
220                 {
221                 BIO_printf(bio_err,"verify error:num=%d:%s\n",err,
222                         X509_verify_cert_error_string(err));
223                 if (depth < 6)
224                         {
225                         ok=1;
226                         X509_STORE_CTX_set_error(ctx,X509_V_OK);
227                         }
228                 else
229                         {
230                         ok=0;
231                         X509_STORE_CTX_set_error(ctx,X509_V_ERR_CERT_CHAIN_TOO_LONG);
232                         }
233                 }
234         switch (ctx->error)
235                 {
236         case X509_V_ERR_UNABLE_TO_GET_ISSUER_CERT:
237                 X509_NAME_oneline(X509_get_issuer_name(ctx->current_cert),buf,256);
238                 BIO_printf(bio_err,"issuer= %s\n",buf);
239                 break;
240         case X509_V_ERR_CERT_NOT_YET_VALID:
241         case X509_V_ERR_ERROR_IN_CERT_NOT_BEFORE_FIELD:
242                 BIO_printf(bio_err,"notBefore=");
243                 ASN1_UTCTIME_print(bio_err,X509_get_notBefore(ctx->current_cert));
244                 BIO_printf(bio_err,"\n");
245                 break;
246         case X509_V_ERR_CERT_HAS_EXPIRED:
247         case X509_V_ERR_ERROR_IN_CERT_NOT_AFTER_FIELD:
248                 BIO_printf(bio_err,"notAfter=");
249                 ASN1_UTCTIME_print(bio_err,X509_get_notAfter(ctx->current_cert));
250                 BIO_printf(bio_err,"\n");
251                 break;
252                 }
253         BIO_printf(bio_err,"verify return:%d\n",ok);
254         return(ok);
255         }