Branch data Line data Source code
1 : : /* m_sigver.c */
2 : : /* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
3 : : * project 2006.
4 : : */
5 : : /* ====================================================================
6 : : * Copyright (c) 2006,2007 The OpenSSL Project. All rights reserved.
7 : : *
8 : : * Redistribution and use in source and binary forms, with or without
9 : : * modification, are permitted provided that the following conditions
10 : : * are met:
11 : : *
12 : : * 1. Redistributions of source code must retain the above copyright
13 : : * notice, this list of conditions and the following disclaimer.
14 : : *
15 : : * 2. Redistributions in binary form must reproduce the above copyright
16 : : * notice, this list of conditions and the following disclaimer in
17 : : * the documentation and/or other materials provided with the
18 : : * distribution.
19 : : *
20 : : * 3. All advertising materials mentioning features or use of this
21 : : * software must display the following acknowledgment:
22 : : * "This product includes software developed by the OpenSSL Project
23 : : * for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
24 : : *
25 : : * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26 : : * endorse or promote products derived from this software without
27 : : * prior written permission. For written permission, please contact
28 : : * licensing@OpenSSL.org.
29 : : *
30 : : * 5. Products derived from this software may not be called "OpenSSL"
31 : : * nor may "OpenSSL" appear in their names without prior written
32 : : * permission of the OpenSSL Project.
33 : : *
34 : : * 6. Redistributions of any form whatsoever must retain the following
35 : : * acknowledgment:
36 : : * "This product includes software developed by the OpenSSL Project
37 : : * for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
38 : : *
39 : : * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40 : : * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41 : : * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42 : : * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
43 : : * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44 : : * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45 : : * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46 : : * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 : : * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48 : : * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49 : : * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50 : : * OF THE POSSIBILITY OF SUCH DAMAGE.
51 : : * ====================================================================
52 : : *
53 : : * This product includes cryptographic software written by Eric Young
54 : : * (eay@cryptsoft.com). This product includes software written by Tim
55 : : * Hudson (tjh@cryptsoft.com).
56 : : *
57 : : */
58 : :
59 : : #include <stdio.h>
60 : : #include "cryptlib.h"
61 : : #include <openssl/evp.h>
62 : : #include <openssl/objects.h>
63 : : #include <openssl/x509.h>
64 : : #include "evp_locl.h"
65 : :
66 : 17970 : static int do_sigver_init(EVP_MD_CTX *ctx, EVP_PKEY_CTX **pctx,
67 : : const EVP_MD *type, ENGINE *e, EVP_PKEY *pkey,
68 : : int ver)
69 : : {
70 [ + - ]: 17970 : if (ctx->pctx == NULL)
71 : 17970 : ctx->pctx = EVP_PKEY_CTX_new(pkey, e);
72 [ + - ]: 17970 : if (ctx->pctx == NULL)
73 : : return 0;
74 : :
75 [ + - ]: 17970 : if (!(ctx->pctx->pmeth->flags & EVP_PKEY_FLAG_SIGCTX_CUSTOM))
76 : : {
77 : :
78 [ + + ]: 17970 : if (type == NULL)
79 : : {
80 : : int def_nid;
81 [ + - ]: 7 : if (EVP_PKEY_get_default_digest_nid(pkey, &def_nid) > 0)
82 : 7 : type = EVP_get_digestbynid(def_nid);
83 : : }
84 : :
85 [ - + ]: 17970 : if (type == NULL)
86 : : {
87 : 0 : EVPerr(EVP_F_DO_SIGVER_INIT, EVP_R_NO_DEFAULT_DIGEST);
88 : 0 : return 0;
89 : : }
90 : : }
91 : :
92 [ + + ]: 17970 : if (ver)
93 : : {
94 [ - + ]: 904 : if (ctx->pctx->pmeth->verifyctx_init)
95 : : {
96 [ # # ]: 0 : if (ctx->pctx->pmeth->verifyctx_init(ctx->pctx, ctx) <=0)
97 : : return 0;
98 : 0 : ctx->pctx->operation = EVP_PKEY_OP_VERIFYCTX;
99 : : }
100 [ + - ]: 904 : else if (EVP_PKEY_verify_init(ctx->pctx) <= 0)
101 : : return 0;
102 : : }
103 : : else
104 : : {
105 [ + + ]: 17066 : if (ctx->pctx->pmeth->signctx_init)
106 : : {
107 [ + - ]: 16975 : if (ctx->pctx->pmeth->signctx_init(ctx->pctx, ctx) <= 0)
108 : : return 0;
109 : 16975 : ctx->pctx->operation = EVP_PKEY_OP_SIGNCTX;
110 : : }
111 [ + - ]: 91 : else if (EVP_PKEY_sign_init(ctx->pctx) <= 0)
112 : : return 0;
113 : : }
114 [ + - ]: 17970 : if (EVP_PKEY_CTX_set_signature_md(ctx->pctx, type) <= 0)
115 : : return 0;
116 [ + + ]: 17970 : if (pctx)
117 : 141 : *pctx = ctx->pctx;
118 [ + - ]: 17970 : if (ctx->pctx->pmeth->flags & EVP_PKEY_FLAG_SIGCTX_CUSTOM)
119 : : return 1;
120 [ + - ]: 17970 : if (!EVP_DigestInit_ex(ctx, type, e))
121 : : return 0;
122 : 17970 : return 1;
123 : : }
124 : :
125 : 17066 : int EVP_DigestSignInit(EVP_MD_CTX *ctx, EVP_PKEY_CTX **pctx,
126 : : const EVP_MD *type, ENGINE *e, EVP_PKEY *pkey)
127 : : {
128 : 17066 : return do_sigver_init(ctx, pctx, type, e, pkey, 0);
129 : : }
130 : :
131 : 904 : int EVP_DigestVerifyInit(EVP_MD_CTX *ctx, EVP_PKEY_CTX **pctx,
132 : : const EVP_MD *type, ENGINE *e, EVP_PKEY *pkey)
133 : : {
134 : 904 : return do_sigver_init(ctx, pctx, type, e, pkey, 1);
135 : : }
136 : :
137 : 101768 : int EVP_DigestSignFinal(EVP_MD_CTX *ctx, unsigned char *sigret, size_t *siglen)
138 : : {
139 : 101768 : int sctx, r = 0;
140 : 101768 : EVP_PKEY_CTX *pctx = ctx->pctx;
141 [ - + ]: 101768 : if (pctx->pmeth->flags & EVP_PKEY_FLAG_SIGCTX_CUSTOM)
142 : : {
143 [ # # ]: 0 : if (!sigret)
144 : 0 : return pctx->pmeth->signctx(pctx, sigret, siglen, ctx);
145 [ # # ]: 0 : if (ctx->flags & EVP_MD_CTX_FLAG_FINALISE)
146 : 0 : r = pctx->pmeth->signctx(pctx, sigret, siglen, ctx);
147 : : else
148 : : {
149 : 0 : EVP_PKEY_CTX *dctx = EVP_PKEY_CTX_dup(ctx->pctx);
150 [ # # ]: 0 : if (!dctx)
151 : : return 0;
152 : 0 : r = dctx->pmeth->signctx(dctx, sigret, siglen, ctx);
153 : 0 : EVP_PKEY_CTX_free(dctx);
154 : : }
155 : 0 : return r;
156 : : }
157 [ + + ]: 101768 : if (pctx->pmeth->signctx)
158 : : sctx = 1;
159 : : else
160 : 163 : sctx = 0;
161 [ + + ]: 101768 : if (sigret)
162 : : {
163 : : unsigned char md[EVP_MAX_MD_SIZE];
164 : : unsigned int mdlen;
165 [ - + ]: 101696 : if (ctx->flags & EVP_MD_CTX_FLAG_FINALISE)
166 : : {
167 [ # # ]: 0 : if (sctx)
168 : 0 : r = ctx->pctx->pmeth->signctx(ctx->pctx,
169 : : sigret, siglen, ctx);
170 : : else
171 : 0 : r = EVP_DigestFinal_ex(ctx, md, &mdlen);
172 : : }
173 : : else
174 : : {
175 : : EVP_MD_CTX tmp_ctx;
176 : 101696 : EVP_MD_CTX_init(&tmp_ctx);
177 [ - + ]: 101696 : if (!EVP_MD_CTX_copy_ex(&tmp_ctx,ctx))
178 : 0 : return 0;
179 [ + + ]: 101696 : if (sctx)
180 : 101605 : r = tmp_ctx.pctx->pmeth->signctx(tmp_ctx.pctx,
181 : : sigret, siglen, &tmp_ctx);
182 : : else
183 : 91 : r = EVP_DigestFinal_ex(&tmp_ctx, md, &mdlen);
184 : 101696 : EVP_MD_CTX_cleanup(&tmp_ctx);
185 : : }
186 [ + + ]: 101696 : if (sctx || !r)
187 : : return r;
188 [ + - ]: 101696 : if (EVP_PKEY_sign(ctx->pctx, sigret, siglen, md, mdlen) <= 0)
189 : : return 0;
190 : : }
191 : : else
192 : : {
193 [ - + ]: 72 : if (sctx)
194 : : {
195 [ # # ]: 0 : if (pctx->pmeth->signctx(pctx, sigret, siglen, ctx) <= 0)
196 : : return 0;
197 : : }
198 : : else
199 : : {
200 : 72 : int s = EVP_MD_size(ctx->digest);
201 [ + - ][ - + ]: 72 : if (s < 0 || EVP_PKEY_sign(pctx, sigret, siglen, NULL, s) <= 0)
202 : : return 0;
203 : : }
204 : : }
205 : : return 1;
206 : : }
207 : :
208 : 904 : int EVP_DigestVerifyFinal(EVP_MD_CTX *ctx, const unsigned char *sig,
209 : : size_t siglen)
210 : : {
211 : : unsigned char md[EVP_MAX_MD_SIZE];
212 : : int r;
213 : : unsigned int mdlen;
214 : : int vctx;
215 : :
216 [ + - ]: 904 : if (ctx->pctx->pmeth->verifyctx)
217 : : vctx = 1;
218 : : else
219 : 904 : vctx = 0;
220 [ - + ]: 904 : if (ctx->flags & EVP_MD_CTX_FLAG_FINALISE)
221 : : {
222 [ # # ]: 0 : if (vctx)
223 : : {
224 : 0 : r = ctx->pctx->pmeth->verifyctx(ctx->pctx,
225 : : sig, siglen, ctx);
226 : : }
227 : : else
228 : 0 : r = EVP_DigestFinal_ex(ctx, md, &mdlen);
229 : : }
230 : : else
231 : : {
232 : : EVP_MD_CTX tmp_ctx;
233 : 904 : EVP_MD_CTX_init(&tmp_ctx);
234 [ - + ]: 904 : if (!EVP_MD_CTX_copy_ex(&tmp_ctx,ctx))
235 : 0 : return -1;
236 [ - + ]: 904 : if (vctx)
237 : : {
238 : 0 : r = tmp_ctx.pctx->pmeth->verifyctx(tmp_ctx.pctx,
239 : : sig, siglen, &tmp_ctx);
240 : : }
241 : : else
242 : 904 : r = EVP_DigestFinal_ex(&tmp_ctx,md,&mdlen);
243 : 904 : EVP_MD_CTX_cleanup(&tmp_ctx);
244 : : }
245 [ + - ]: 904 : if (vctx || !r)
246 : : return r;
247 : 904 : return EVP_PKEY_verify(ctx->pctx, sig, siglen, md, mdlen);
248 : : }
|
