Absolute File Name: | /home/opencoverage/opencoverage/guest-scripts/openssl/src/crypto/ec/ecdsa_ossl.c |
Switch to Source code | Preprocessed file |
Line | Source | Count | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | - | |||||||||||||||||||
2 | int ossl_ecdsa_sign(int type, const unsigned char *dgst, int dlen, | - | ||||||||||||||||||
3 | unsigned char *sig, unsigned int *siglen, | - | ||||||||||||||||||
4 | const BIGNUM *kinv, const BIGNUM *r, EC_KEY *eckey) | - | ||||||||||||||||||
5 | { | - | ||||||||||||||||||
6 | ECDSA_SIG *s; | - | ||||||||||||||||||
7 | - | |||||||||||||||||||
8 | s = ECDSA_do_sign_ex(dgst, dlen, kinv, r, eckey); | - | ||||||||||||||||||
9 | if (s ==
| 0-363 | ||||||||||||||||||
10 | ((void *)0)
| 0-363 | ||||||||||||||||||
11 | ) { | - | ||||||||||||||||||
12 | *siglen = 0; | - | ||||||||||||||||||
13 | return never executed: 0;return 0; never executed: return 0; | 0 | ||||||||||||||||||
14 | } | - | ||||||||||||||||||
15 | *siglen = i2d_ECDSA_SIG(s, &sig); | - | ||||||||||||||||||
16 | ECDSA_SIG_free(s); | - | ||||||||||||||||||
17 | return executed 363 times by 1 test: 1;return 1; Executed by:
executed 363 times by 1 test: return 1; Executed by:
| 363 | ||||||||||||||||||
18 | } | - | ||||||||||||||||||
19 | - | |||||||||||||||||||
20 | static int ecdsa_sign_setup(EC_KEY *eckey, BN_CTX *ctx_in, | - | ||||||||||||||||||
21 | BIGNUM **kinvp, BIGNUM **rp, | - | ||||||||||||||||||
22 | const unsigned char *dgst, int dlen) | - | ||||||||||||||||||
23 | { | - | ||||||||||||||||||
24 | BN_CTX *ctx = | - | ||||||||||||||||||
25 | ((void *)0) | - | ||||||||||||||||||
26 | ; | - | ||||||||||||||||||
27 | BIGNUM *k = | - | ||||||||||||||||||
28 | ((void *)0) | - | ||||||||||||||||||
29 | , *r = | - | ||||||||||||||||||
30 | ((void *)0) | - | ||||||||||||||||||
31 | , *X = | - | ||||||||||||||||||
32 | ((void *)0) | - | ||||||||||||||||||
33 | ; | - | ||||||||||||||||||
34 | const BIGNUM *order; | - | ||||||||||||||||||
35 | EC_POINT *tmp_point = | - | ||||||||||||||||||
36 | ((void *)0) | - | ||||||||||||||||||
37 | ; | - | ||||||||||||||||||
38 | const EC_GROUP *group; | - | ||||||||||||||||||
39 | int ret = 0; | - | ||||||||||||||||||
40 | int order_bits; | - | ||||||||||||||||||
41 | - | |||||||||||||||||||
42 | if (eckey ==
| 0-367 | ||||||||||||||||||
43 | ((void *)0)
| 0-367 | ||||||||||||||||||
44 | || (
| 0-367 | ||||||||||||||||||
45 | ((void *)0)
| 0-367 | ||||||||||||||||||
46 | ) { | - | ||||||||||||||||||
47 | ERR_put_error(16,(248),((3|64)),__FILE__,46); | - | ||||||||||||||||||
48 | return never executed: 0;return 0; never executed: return 0; | 0 | ||||||||||||||||||
49 | } | - | ||||||||||||||||||
50 | - | |||||||||||||||||||
51 | if (!EC_KEY_can_sign(eckey)
| 0-367 | ||||||||||||||||||
52 | ERR_put_error(16,(248),(159),__FILE__,51); | - | ||||||||||||||||||
53 | return never executed: 0;return 0; never executed: return 0; | 0 | ||||||||||||||||||
54 | } | - | ||||||||||||||||||
55 | - | |||||||||||||||||||
56 | if ((
| 4-363 | ||||||||||||||||||
57 | ((void *)0)
| 4-363 | ||||||||||||||||||
58 | ) { | - | ||||||||||||||||||
59 | if ((
| 0-4 | ||||||||||||||||||
60 | ((void *)0)
| 0-4 | ||||||||||||||||||
61 | ) { | - | ||||||||||||||||||
62 | ERR_put_error(16,(248),((1|64)),__FILE__,57); | - | ||||||||||||||||||
63 | return never executed: 0;return 0; never executed: return 0; | 0 | ||||||||||||||||||
64 | } | - | ||||||||||||||||||
65 | } executed 4 times by 1 test: end of block Executed by:
| 4 | ||||||||||||||||||
66 | - | |||||||||||||||||||
67 | k = BN_new(); | - | ||||||||||||||||||
68 | r = BN_new(); | - | ||||||||||||||||||
69 | X = BN_new(); | - | ||||||||||||||||||
70 | if (k ==
| 0-367 | ||||||||||||||||||
71 | ((void *)0)
| 0-367 | ||||||||||||||||||
72 | || r ==
| 0-367 | ||||||||||||||||||
73 | ((void *)0)
| 0-367 | ||||||||||||||||||
74 | || X ==
| 0-367 | ||||||||||||||||||
75 | ((void *)0)
| 0-367 | ||||||||||||||||||
76 | ) { | - | ||||||||||||||||||
77 | ERR_put_error(16,(248),((1|64)),__FILE__,66); | - | ||||||||||||||||||
78 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
79 | } | - | ||||||||||||||||||
80 | if ((
| 0-367 | ||||||||||||||||||
81 | ((void *)0)
| 0-367 | ||||||||||||||||||
82 | ) { | - | ||||||||||||||||||
83 | ERR_put_error(16,(248),(16),__FILE__,70); | - | ||||||||||||||||||
84 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
85 | } | - | ||||||||||||||||||
86 | order = EC_GROUP_get0_order(group); | - | ||||||||||||||||||
87 | - | |||||||||||||||||||
88 | - | |||||||||||||||||||
89 | order_bits = BN_num_bits(order); | - | ||||||||||||||||||
90 | if (!BN_set_bit(k, order_bits)
| 0-367 | ||||||||||||||||||
91 | || !BN_set_bit(r, order_bits)
| 0-367 | ||||||||||||||||||
92 | || !BN_set_bit(X, order_bits)
| 0-367 | ||||||||||||||||||
93 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
94 | - | |||||||||||||||||||
95 | do { | - | ||||||||||||||||||
96 | - | |||||||||||||||||||
97 | do { | - | ||||||||||||||||||
98 | if (dgst !=
| 4-363 | ||||||||||||||||||
99 | ((void *)0)
| 4-363 | ||||||||||||||||||
100 | ) { | - | ||||||||||||||||||
101 | if (!BN_generate_dsa_nonce(k, order,
| 0-363 | ||||||||||||||||||
102 | EC_KEY_get0_private_key(eckey),
| 0-363 | ||||||||||||||||||
103 | dgst, dlen, ctx)
| 0-363 | ||||||||||||||||||
104 | ERR_put_error(16,(248),(158),__FILE__,90) | - | ||||||||||||||||||
105 | ; | - | ||||||||||||||||||
106 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
107 | } | - | ||||||||||||||||||
108 | } executed 363 times by 1 test: else {end of block Executed by:
| 363 | ||||||||||||||||||
109 | if (!BN_priv_rand_range(k, order)
| 0-4 | ||||||||||||||||||
110 | ERR_put_error(16,(248),(158),__FILE__,96) | - | ||||||||||||||||||
111 | ; | - | ||||||||||||||||||
112 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
113 | } | - | ||||||||||||||||||
114 | } executed 4 times by 1 test: end of block Executed by:
| 4 | ||||||||||||||||||
115 | } while (BN_is_zero(k)
| 0-367 | ||||||||||||||||||
116 | - | |||||||||||||||||||
117 | - | |||||||||||||||||||
118 | if (!EC_POINT_mul(group, tmp_point, k,
| 0-367 | ||||||||||||||||||
119 | ((void *)0)
| 0-367 | ||||||||||||||||||
120 | ,
| 0-367 | ||||||||||||||||||
121 | ((void *)0)
| 0-367 | ||||||||||||||||||
122 | , ctx)
| 0-367 | ||||||||||||||||||
123 | ERR_put_error(16,(248),(16),__FILE__,104); | - | ||||||||||||||||||
124 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
125 | } | - | ||||||||||||||||||
126 | - | |||||||||||||||||||
127 | if (!EC_POINT_get_affine_coordinates(group, tmp_point, X,
| 0-367 | ||||||||||||||||||
128 | ((void *)0)
| 0-367 | ||||||||||||||||||
129 | , ctx)
| 0-367 | ||||||||||||||||||
130 | ERR_put_error(16,(248),(16),__FILE__,109); | - | ||||||||||||||||||
131 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
132 | } | - | ||||||||||||||||||
133 | - | |||||||||||||||||||
134 | if (!BN_nnmod(r, X, order, ctx)
| 0-367 | ||||||||||||||||||
135 | ERR_put_error(16,(248),(3),__FILE__,114); | - | ||||||||||||||||||
136 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
137 | } | - | ||||||||||||||||||
138 | } executed 367 times by 1 test: while (BN_is_zero(r)end of block Executed by:
| 0-367 | ||||||||||||||||||
139 | - | |||||||||||||||||||
140 | - | |||||||||||||||||||
141 | if (!ec_group_do_inverse_ord(group, k, k, ctx)
| 0-367 | ||||||||||||||||||
142 | ERR_put_error(16,(248),(3),__FILE__,121); | - | ||||||||||||||||||
143 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
144 | } | - | ||||||||||||||||||
145 | - | |||||||||||||||||||
146 | - | |||||||||||||||||||
147 | BN_clear_free(*rp); | - | ||||||||||||||||||
148 | BN_clear_free(*kinvp); | - | ||||||||||||||||||
149 | - | |||||||||||||||||||
150 | *rp = r; | - | ||||||||||||||||||
151 | *kinvp = k; | - | ||||||||||||||||||
152 | ret = 1; | - | ||||||||||||||||||
153 | err: code before this statement executed 367 times by 1 test: err: Executed by:
| 367 | ||||||||||||||||||
154 | if (!ret
| 0-367 | ||||||||||||||||||
155 | BN_clear_free(k); | - | ||||||||||||||||||
156 | BN_clear_free(r); | - | ||||||||||||||||||
157 | } never executed: end of block | 0 | ||||||||||||||||||
158 | if (ctx != ctx_in
| 4-363 | ||||||||||||||||||
159 | BN_CTX_free(ctx); executed 4 times by 1 test: BN_CTX_free(ctx); Executed by:
| 4 | ||||||||||||||||||
160 | EC_POINT_free(tmp_point); | - | ||||||||||||||||||
161 | BN_clear_free(X); | - | ||||||||||||||||||
162 | return executed 367 times by 1 test: ret;return ret; Executed by:
executed 367 times by 1 test: return ret; Executed by:
| 367 | ||||||||||||||||||
163 | } | - | ||||||||||||||||||
164 | - | |||||||||||||||||||
165 | int ossl_ecdsa_sign_setup(EC_KEY *eckey, BN_CTX *ctx_in, BIGNUM **kinvp, | - | ||||||||||||||||||
166 | BIGNUM **rp) | - | ||||||||||||||||||
167 | { | - | ||||||||||||||||||
168 | return executed 4 times by 1 test: ecdsa_sign_setup(eckey, ctx_in, kinvp, rp, return ecdsa_sign_setup(eckey, ctx_in, kinvp, rp, ((void *)0) , 0); Executed by:
executed 4 times by 1 test: return ecdsa_sign_setup(eckey, ctx_in, kinvp, rp, ((void *)0) , 0); Executed by:
| 4 | ||||||||||||||||||
169 | ((void *)0) executed 4 times by 1 test: return ecdsa_sign_setup(eckey, ctx_in, kinvp, rp, ((void *)0) , 0); Executed by:
| 4 | ||||||||||||||||||
170 | , 0); executed 4 times by 1 test: return ecdsa_sign_setup(eckey, ctx_in, kinvp, rp, ((void *)0) , 0); Executed by:
| 4 | ||||||||||||||||||
171 | } | - | ||||||||||||||||||
172 | - | |||||||||||||||||||
173 | ECDSA_SIG *ossl_ecdsa_sign_sig(const unsigned char *dgst, int dgst_len, | - | ||||||||||||||||||
174 | const BIGNUM *in_kinv, const BIGNUM *in_r, | - | ||||||||||||||||||
175 | EC_KEY *eckey) | - | ||||||||||||||||||
176 | { | - | ||||||||||||||||||
177 | int ok = 0, i; | - | ||||||||||||||||||
178 | BIGNUM *kinv = | - | ||||||||||||||||||
179 | ((void *)0) | - | ||||||||||||||||||
180 | , *s, *m = | - | ||||||||||||||||||
181 | ((void *)0) | - | ||||||||||||||||||
182 | ; | - | ||||||||||||||||||
183 | const BIGNUM *order, *ckinv; | - | ||||||||||||||||||
184 | BN_CTX *ctx = | - | ||||||||||||||||||
185 | ((void *)0) | - | ||||||||||||||||||
186 | ; | - | ||||||||||||||||||
187 | const EC_GROUP *group; | - | ||||||||||||||||||
188 | ECDSA_SIG *ret; | - | ||||||||||||||||||
189 | const BIGNUM *priv_key; | - | ||||||||||||||||||
190 | - | |||||||||||||||||||
191 | group = EC_KEY_get0_group(eckey); | - | ||||||||||||||||||
192 | priv_key = EC_KEY_get0_private_key(eckey); | - | ||||||||||||||||||
193 | - | |||||||||||||||||||
194 | if (group ==
| 0-367 | ||||||||||||||||||
195 | ((void *)0)
| 0-367 | ||||||||||||||||||
196 | || priv_key ==
| 0-367 | ||||||||||||||||||
197 | ((void *)0)
| 0-367 | ||||||||||||||||||
198 | ) { | - | ||||||||||||||||||
199 | ERR_put_error(16,(249),((3|64)),__FILE__,166); | - | ||||||||||||||||||
200 | return never executed: return ((void *)0) ; never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
201 | ((void *)0) never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
202 | ; never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
203 | } | - | ||||||||||||||||||
204 | - | |||||||||||||||||||
205 | if (!EC_KEY_can_sign(eckey)
| 0-367 | ||||||||||||||||||
206 | ERR_put_error(16,(249),(159),__FILE__,171); | - | ||||||||||||||||||
207 | return never executed: return ((void *)0) ; never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
208 | ((void *)0) never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
209 | ; never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
210 | } | - | ||||||||||||||||||
211 | - | |||||||||||||||||||
212 | ret = ECDSA_SIG_new(); | - | ||||||||||||||||||
213 | if (ret ==
| 0-367 | ||||||||||||||||||
214 | ((void *)0)
| 0-367 | ||||||||||||||||||
215 | ) { | - | ||||||||||||||||||
216 | ERR_put_error(16,(249),((1|64)),__FILE__,177); | - | ||||||||||||||||||
217 | return never executed: return ((void *)0) ; never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
218 | ((void *)0) never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
219 | ; never executed: return ((void *)0) ; | 0 | ||||||||||||||||||
220 | } | - | ||||||||||||||||||
221 | ret->r = BN_new(); | - | ||||||||||||||||||
222 | ret->s = BN_new(); | - | ||||||||||||||||||
223 | if (ret->r ==
| 0-367 | ||||||||||||||||||
224 | ((void *)0)
| 0-367 | ||||||||||||||||||
225 | || ret->s ==
| 0-367 | ||||||||||||||||||
226 | ((void *)0)
| 0-367 | ||||||||||||||||||
227 | ) { | - | ||||||||||||||||||
228 | ERR_put_error(16,(249),((1|64)),__FILE__,183); | - | ||||||||||||||||||
229 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
230 | } | - | ||||||||||||||||||
231 | s = ret->s; | - | ||||||||||||||||||
232 | - | |||||||||||||||||||
233 | if ((
| 0-367 | ||||||||||||||||||
234 | ((void *)0)
| 0-367 | ||||||||||||||||||
235 | - | |||||||||||||||||||
236 | || (
| 0-367 | ||||||||||||||||||
237 | ((void *)0)
| 0-367 | ||||||||||||||||||
238 | ) { | - | ||||||||||||||||||
239 | ERR_put_error(16,(249),((1|64)),__FILE__,190); | - | ||||||||||||||||||
240 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
241 | } | - | ||||||||||||||||||
242 | - | |||||||||||||||||||
243 | order = EC_GROUP_get0_order(group); | - | ||||||||||||||||||
244 | i = BN_num_bits(order); | - | ||||||||||||||||||
245 | - | |||||||||||||||||||
246 | - | |||||||||||||||||||
247 | - | |||||||||||||||||||
248 | if (8 * dgst_len > i
| 7-360 | ||||||||||||||||||
249 | dgst_len = (i + 7) / 8; executed 7 times by 1 test: dgst_len = (i + 7) / 8; Executed by:
| 7 | ||||||||||||||||||
250 | if (!BN_bin2bn(dgst, dgst_len, m)
| 0-367 | ||||||||||||||||||
251 | ERR_put_error(16,(249),(3),__FILE__,202); | - | ||||||||||||||||||
252 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
253 | } | - | ||||||||||||||||||
254 | - | |||||||||||||||||||
255 | if ((
| 0-367 | ||||||||||||||||||
256 | ERR_put_error(16,(249),(3),__FILE__,207); | - | ||||||||||||||||||
257 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
258 | } | - | ||||||||||||||||||
259 | do { | - | ||||||||||||||||||
260 | if (in_kinv ==
| 4-363 | ||||||||||||||||||
261 | ((void *)0)
| 4-363 | ||||||||||||||||||
262 | || in_r ==
| 0-4 | ||||||||||||||||||
263 | ((void *)0)
| 0-4 | ||||||||||||||||||
264 | ) { | - | ||||||||||||||||||
265 | if (!ecdsa_sign_setup(eckey, ctx, &kinv, &ret->r, dgst, dgst_len)
| 0-363 | ||||||||||||||||||
266 | ERR_put_error(16,(249),(42),__FILE__,213); | - | ||||||||||||||||||
267 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
268 | } | - | ||||||||||||||||||
269 | ckinv = kinv; | - | ||||||||||||||||||
270 | } executed 363 times by 1 test: else {end of block Executed by:
| 363 | ||||||||||||||||||
271 | ckinv = in_kinv; | - | ||||||||||||||||||
272 | if (BN_copy(ret->r, in_r) ==
| 0-4 | ||||||||||||||||||
273 | ((void *)0)
| 0-4 | ||||||||||||||||||
274 | ) { | - | ||||||||||||||||||
275 | ERR_put_error(16,(249),((1|64)),__FILE__,220); | - | ||||||||||||||||||
276 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
277 | } | - | ||||||||||||||||||
278 | } executed 4 times by 1 test: end of block Executed by:
| 4 | ||||||||||||||||||
279 | if (!bn_to_mont_fixed_top(s, ret->r, group->mont_data, ctx)
| 0-367 | ||||||||||||||||||
280 | || !bn_mul_mont_fixed_top(s, s, priv_key, group->mont_data, ctx)
| 0-367 | ||||||||||||||||||
281 | ERR_put_error(16,(249),(3),__FILE__,234); | - | ||||||||||||||||||
282 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
283 | } | - | ||||||||||||||||||
284 | if (!bn_mod_add_fixed_top(s, s, m, order)
| 0-367 | ||||||||||||||||||
285 | ERR_put_error(16,(249),(3),__FILE__,238); | - | ||||||||||||||||||
286 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
287 | } | - | ||||||||||||||||||
288 | - | |||||||||||||||||||
289 | - | |||||||||||||||||||
290 | - | |||||||||||||||||||
291 | - | |||||||||||||||||||
292 | if (!bn_to_mont_fixed_top(s, s, group->mont_data, ctx)
| 0-367 | ||||||||||||||||||
293 | || !BN_mod_mul_montgomery(s, s, ckinv, group->mont_data, ctx)
| 0-367 | ||||||||||||||||||
294 | ERR_put_error(16,(249),(3),__FILE__,247); | - | ||||||||||||||||||
295 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
296 | } | - | ||||||||||||||||||
297 | - | |||||||||||||||||||
298 | if (BN_is_zero(s)
| 0-367 | ||||||||||||||||||
299 | - | |||||||||||||||||||
300 | - | |||||||||||||||||||
301 | - | |||||||||||||||||||
302 | - | |||||||||||||||||||
303 | if (in_kinv !=
| 0 | ||||||||||||||||||
304 | ((void *)0)
| 0 | ||||||||||||||||||
305 | && in_r !=
| 0 | ||||||||||||||||||
306 | ((void *)0)
| 0 | ||||||||||||||||||
307 | ) { | - | ||||||||||||||||||
308 | ERR_put_error(16,(249),(157),__FILE__,257); | - | ||||||||||||||||||
309 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
310 | } | - | ||||||||||||||||||
311 | } never executed: else {end of block | 0 | ||||||||||||||||||
312 | - | |||||||||||||||||||
313 | break; executed 367 times by 1 test: break; Executed by:
| 367 | ||||||||||||||||||
314 | } | - | ||||||||||||||||||
315 | } while (1); | - | ||||||||||||||||||
316 | - | |||||||||||||||||||
317 | ok = 1; | - | ||||||||||||||||||
318 | err: code before this statement executed 367 times by 1 test: err: Executed by:
| 367 | ||||||||||||||||||
319 | if (!ok
| 0-367 | ||||||||||||||||||
320 | ECDSA_SIG_free(ret); | - | ||||||||||||||||||
321 | ret = | - | ||||||||||||||||||
322 | ((void *)0) | - | ||||||||||||||||||
323 | ; | - | ||||||||||||||||||
324 | } never executed: end of block | 0 | ||||||||||||||||||
325 | BN_CTX_free(ctx); | - | ||||||||||||||||||
326 | BN_clear_free(m); | - | ||||||||||||||||||
327 | BN_clear_free(kinv); | - | ||||||||||||||||||
328 | return executed 367 times by 1 test: ret;return ret; Executed by:
executed 367 times by 1 test: return ret; Executed by:
| 367 | ||||||||||||||||||
329 | } | - | ||||||||||||||||||
330 | - | |||||||||||||||||||
331 | - | |||||||||||||||||||
332 | - | |||||||||||||||||||
333 | - | |||||||||||||||||||
334 | - | |||||||||||||||||||
335 | - | |||||||||||||||||||
336 | - | |||||||||||||||||||
337 | int ossl_ecdsa_verify(int type, const unsigned char *dgst, int dgst_len, | - | ||||||||||||||||||
338 | const unsigned char *sigbuf, int sig_len, EC_KEY *eckey) | - | ||||||||||||||||||
339 | { | - | ||||||||||||||||||
340 | ECDSA_SIG *s; | - | ||||||||||||||||||
341 | const unsigned char *p = sigbuf; | - | ||||||||||||||||||
342 | unsigned char *der = | - | ||||||||||||||||||
343 | ((void *)0) | - | ||||||||||||||||||
344 | ; | - | ||||||||||||||||||
345 | int derlen = -1; | - | ||||||||||||||||||
346 | int ret = -1; | - | ||||||||||||||||||
347 | - | |||||||||||||||||||
348 | s = ECDSA_SIG_new(); | - | ||||||||||||||||||
349 | if (s ==
| 0-664 | ||||||||||||||||||
350 | ((void *)0)
| 0-664 | ||||||||||||||||||
351 | ) | - | ||||||||||||||||||
352 | return never executed: ret;return ret; never executed: return ret; | 0 | ||||||||||||||||||
353 | if (d2i_ECDSA_SIG(&s, &p, sig_len) ==
| 74-590 | ||||||||||||||||||
354 | ((void *)0)
| 74-590 | ||||||||||||||||||
355 | ) | - | ||||||||||||||||||
356 | goto executed 74 times by 1 test: err;goto err; Executed by:
executed 74 times by 1 test: goto err; Executed by:
| 74 | ||||||||||||||||||
357 | - | |||||||||||||||||||
358 | derlen = i2d_ECDSA_SIG(s, &der); | - | ||||||||||||||||||
359 | if (derlen != sig_len
| 1-587 | ||||||||||||||||||
360 | goto executed 4 times by 1 test: err;goto err; Executed by:
executed 4 times by 1 test: goto err; Executed by:
| 4 | ||||||||||||||||||
361 | ret = ECDSA_do_verify(dgst, dgst_len, s, eckey); | - | ||||||||||||||||||
362 | err: code before this statement executed 586 times by 1 test: err: Executed by:
| 586 | ||||||||||||||||||
363 | CRYPTO_clear_free(der, derlen, __FILE__, 304); | - | ||||||||||||||||||
364 | ECDSA_SIG_free(s); | - | ||||||||||||||||||
365 | return executed 664 times by 1 test: ret;return ret; Executed by:
executed 664 times by 1 test: return ret; Executed by:
| 664 | ||||||||||||||||||
366 | } | - | ||||||||||||||||||
367 | - | |||||||||||||||||||
368 | int ossl_ecdsa_verify_sig(const unsigned char *dgst, int dgst_len, | - | ||||||||||||||||||
369 | const ECDSA_SIG *sig, EC_KEY *eckey) | - | ||||||||||||||||||
370 | { | - | ||||||||||||||||||
371 | int ret = -1, i; | - | ||||||||||||||||||
372 | BN_CTX *ctx; | - | ||||||||||||||||||
373 | const BIGNUM *order; | - | ||||||||||||||||||
374 | BIGNUM *u1, *u2, *m, *X; | - | ||||||||||||||||||
375 | EC_POINT *point = | - | ||||||||||||||||||
376 | ((void *)0) | - | ||||||||||||||||||
377 | ; | - | ||||||||||||||||||
378 | const EC_GROUP *group; | - | ||||||||||||||||||
379 | const EC_POINT *pub_key; | - | ||||||||||||||||||
380 | - | |||||||||||||||||||
381 | - | |||||||||||||||||||
382 | if (eckey ==
| 0-590 | ||||||||||||||||||
383 | ((void *)0)
| 0-590 | ||||||||||||||||||
384 | || (
| 0-590 | ||||||||||||||||||
385 | ((void *)0)
| 0-590 | ||||||||||||||||||
386 | || | - | ||||||||||||||||||
387 | (
| 0-590 | ||||||||||||||||||
388 | ((void *)0)
| 0-590 | ||||||||||||||||||
389 | || sig ==
| 0-590 | ||||||||||||||||||
390 | ((void *)0)
| 0-590 | ||||||||||||||||||
391 | ) { | - | ||||||||||||||||||
392 | ERR_put_error(16,(250),(124),__FILE__,323); | - | ||||||||||||||||||
393 | return never executed: -1;return -1; never executed: return -1; | 0 | ||||||||||||||||||
394 | } | - | ||||||||||||||||||
395 | - | |||||||||||||||||||
396 | if (!EC_KEY_can_sign(eckey)
| 0-590 | ||||||||||||||||||
397 | ERR_put_error(16,(250),(159),__FILE__,328); | - | ||||||||||||||||||
398 | return never executed: -1;return -1; never executed: return -1; | 0 | ||||||||||||||||||
399 | } | - | ||||||||||||||||||
400 | - | |||||||||||||||||||
401 | ctx = BN_CTX_new(); | - | ||||||||||||||||||
402 | if (ctx ==
| 0-590 | ||||||||||||||||||
403 | ((void *)0)
| 0-590 | ||||||||||||||||||
404 | ) { | - | ||||||||||||||||||
405 | ERR_put_error(16,(250),((1|64)),__FILE__,334); | - | ||||||||||||||||||
406 | return never executed: -1;return -1; never executed: return -1; | 0 | ||||||||||||||||||
407 | } | - | ||||||||||||||||||
408 | BN_CTX_start(ctx); | - | ||||||||||||||||||
409 | u1 = BN_CTX_get(ctx); | - | ||||||||||||||||||
410 | u2 = BN_CTX_get(ctx); | - | ||||||||||||||||||
411 | m = BN_CTX_get(ctx); | - | ||||||||||||||||||
412 | X = BN_CTX_get(ctx); | - | ||||||||||||||||||
413 | if (X ==
| 0-590 | ||||||||||||||||||
414 | ((void *)0)
| 0-590 | ||||||||||||||||||
415 | ) { | - | ||||||||||||||||||
416 | ERR_put_error(16,(250),(3),__FILE__,343); | - | ||||||||||||||||||
417 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
418 | } | - | ||||||||||||||||||
419 | - | |||||||||||||||||||
420 | order = EC_GROUP_get0_order(group); | - | ||||||||||||||||||
421 | if (order ==
| 0-590 | ||||||||||||||||||
422 | ((void *)0)
| 0-590 | ||||||||||||||||||
423 | ) { | - | ||||||||||||||||||
424 | ERR_put_error(16,(250),(16),__FILE__,349); | - | ||||||||||||||||||
425 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
426 | } | - | ||||||||||||||||||
427 | - | |||||||||||||||||||
428 | if (BN_is_zero(sig->r)
| 0-589 | ||||||||||||||||||
429 | BN_ucmp(sig->r, order) >= 0
| 1-587 | ||||||||||||||||||
430 | BN_is_negative(sig->s)
| 0-586 | ||||||||||||||||||
431 | ERR_put_error(16,(250),(156),__FILE__,356); | - | ||||||||||||||||||
432 | ret = 0; | - | ||||||||||||||||||
433 | goto executed 6 times by 1 test: err;goto err; Executed by:
executed 6 times by 1 test: goto err; Executed by:
| 6 | ||||||||||||||||||
434 | } | - | ||||||||||||||||||
435 | - | |||||||||||||||||||
436 | if (!ec_group_do_inverse_ord(group, u2, sig->s, ctx)
| 0-584 | ||||||||||||||||||
437 | ERR_put_error(16,(250),(3),__FILE__,362); | - | ||||||||||||||||||
438 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
439 | } | - | ||||||||||||||||||
440 | - | |||||||||||||||||||
441 | i = BN_num_bits(order); | - | ||||||||||||||||||
442 | - | |||||||||||||||||||
443 | - | |||||||||||||||||||
444 | - | |||||||||||||||||||
445 | if (8 * dgst_len > i
| 2-582 | ||||||||||||||||||
446 | dgst_len = (i + 7) / 8; executed 2 times by 1 test: dgst_len = (i + 7) / 8; Executed by:
| 2 | ||||||||||||||||||
447 | if (!BN_bin2bn(dgst, dgst_len, m)
| 0-584 | ||||||||||||||||||
448 | ERR_put_error(16,(250),(3),__FILE__,373); | - | ||||||||||||||||||
449 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
450 | } | - | ||||||||||||||||||
451 | - | |||||||||||||||||||
452 | if ((
| 0-584 | ||||||||||||||||||
453 | ERR_put_error(16,(250),(3),__FILE__,378); | - | ||||||||||||||||||
454 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
455 | } | - | ||||||||||||||||||
456 | - | |||||||||||||||||||
457 | if (!BN_mod_mul(u1, m, u2, order, ctx)
| 0-584 | ||||||||||||||||||
458 | ERR_put_error(16,(250),(3),__FILE__,383); | - | ||||||||||||||||||
459 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
460 | } | - | ||||||||||||||||||
461 | - | |||||||||||||||||||
462 | if (!BN_mod_mul(u2, sig->r, u2, order, ctx)
| 0-584 | ||||||||||||||||||
463 | ERR_put_error(16,(250),(3),__FILE__,388); | - | ||||||||||||||||||
464 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
465 | } | - | ||||||||||||||||||
466 | - | |||||||||||||||||||
467 | if ((
| 0-584 | ||||||||||||||||||
468 | ((void *)0)
| 0-584 | ||||||||||||||||||
469 | ) { | - | ||||||||||||||||||
470 | ERR_put_error(16,(250),((1|64)),__FILE__,393); | - | ||||||||||||||||||
471 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
472 | } | - | ||||||||||||||||||
473 | if (!EC_POINT_mul(group, point, u1, pub_key, u2, ctx)
| 0-584 | ||||||||||||||||||
474 | ERR_put_error(16,(250),(16),__FILE__,397); | - | ||||||||||||||||||
475 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
476 | } | - | ||||||||||||||||||
477 | - | |||||||||||||||||||
478 | if (!EC_POINT_get_affine_coordinates(group, point, X,
| 0-584 | ||||||||||||||||||
479 | ((void *)0)
| 0-584 | ||||||||||||||||||
480 | , ctx)
| 0-584 | ||||||||||||||||||
481 | ERR_put_error(16,(250),(16),__FILE__,402); | - | ||||||||||||||||||
482 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
483 | } | - | ||||||||||||||||||
484 | - | |||||||||||||||||||
485 | if (!BN_nnmod(u1, X, order, ctx)
| 0-584 | ||||||||||||||||||
486 | ERR_put_error(16,(250),(3),__FILE__,407); | - | ||||||||||||||||||
487 | goto never executed: err;goto err; never executed: goto err; | 0 | ||||||||||||||||||
488 | } | - | ||||||||||||||||||
489 | - | |||||||||||||||||||
490 | ret = (BN_ucmp(u1, sig->r) == 0); | - | ||||||||||||||||||
491 | err: code before this statement executed 584 times by 1 test: err: Executed by:
| 584 | ||||||||||||||||||
492 | BN_CTX_end(ctx); | - | ||||||||||||||||||
493 | BN_CTX_free(ctx); | - | ||||||||||||||||||
494 | EC_POINT_free(point); | - | ||||||||||||||||||
495 | return executed 590 times by 1 test: ret;return ret; Executed by:
executed 590 times by 1 test: return ret; Executed by:
| 590 | ||||||||||||||||||
496 | } | - | ||||||||||||||||||
Switch to Source code | Preprocessed file |