OpenCoverage

ecp_oct.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/ec/ecp_oct.c
Source codeSwitch to Preprocessed file
LineSourceCount
1/* $OpenBSD: ecp_oct.c,v 1.11 2018/07/15 16:27:39 tb Exp $ */-
2/* Includes code written by Lenka Fibikova <fibikova@exp-math.uni-essen.de>-
3 * for the OpenSSL project.-
4 * Includes code written by Bodo Moeller for the OpenSSL project.-
5*/-
6/* ====================================================================-
7 * Copyright (c) 1998-2002 The OpenSSL Project. All rights reserved.-
8 *-
9 * Redistribution and use in source and binary forms, with or without-
10 * modification, are permitted provided that the following conditions-
11 * are met:-
12 *-
13 * 1. Redistributions of source code must retain the above copyright-
14 * notice, this list of conditions and the following disclaimer.-
15 *-
16 * 2. Redistributions in binary form must reproduce the above copyright-
17 * notice, this list of conditions and the following disclaimer in-
18 * the documentation and/or other materials provided with the-
19 * distribution.-
20 *-
21 * 3. All advertising materials mentioning features or use of this-
22 * software must display the following acknowledgment:-
23 * "This product includes software developed by the OpenSSL Project-
24 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"-
25 *-
26 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to-
27 * endorse or promote products derived from this software without-
28 * prior written permission. For written permission, please contact-
29 * openssl-core@openssl.org.-
30 *-
31 * 5. Products derived from this software may not be called "OpenSSL"-
32 * nor may "OpenSSL" appear in their names without prior written-
33 * permission of the OpenSSL Project.-
34 *-
35 * 6. Redistributions of any form whatsoever must retain the following-
36 * acknowledgment:-
37 * "This product includes software developed by the OpenSSL Project-
38 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"-
39 *-
40 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY-
41 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE-
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR-
43 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR-
44 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,-
45 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT-
46 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;-
47 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)-
48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,-
49 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)-
50 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED-
51 * OF THE POSSIBILITY OF SUCH DAMAGE.-
52 * ====================================================================-
53 *-
54 * This product includes cryptographic software written by Eric Young-
55 * (eay@cryptsoft.com). This product includes software written by Tim-
56 * Hudson (tjh@cryptsoft.com).-
57 *-
58 */-
59/* ====================================================================-
60 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.-
61 * Portions of this software developed by SUN MICROSYSTEMS, INC.,-
62 * and contributed to the OpenSSL project.-
63 */-
64-
65#include <openssl/err.h>-
66-
67#include "ec_lcl.h"-
68-
69int -
70ec_GFp_simple_set_compressed_coordinates(const EC_GROUP * group,-
71 EC_POINT * point, const BIGNUM * x_, int y_bit, BN_CTX * ctx)-
72{-
73 BN_CTX *new_ctx = NULL;-
74 BIGNUM *tmp1, *tmp2, *x, *y;-
75 int ret = 0;-
76-
77 /* clear error queue */-
78 ERR_clear_error();-
79-
80 if (ctx == NULL) {
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
81 ctx = new_ctx = BN_CTX_new();-
82 if (ctx == NULL)
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
83 return 0;
never executed: return 0;
0
84 }
never executed: end of block
0
85 y_bit = (y_bit != 0);-
86-
87 BN_CTX_start(ctx);-
88 if ((tmp1 = BN_CTX_get(ctx)) == NULL)
(tmp1 = BN_CTX...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
89 goto err;
never executed: goto err;
0
90 if ((tmp2 = BN_CTX_get(ctx)) == NULL)
(tmp2 = BN_CTX...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
91 goto err;
never executed: goto err;
0
92 if ((x = BN_CTX_get(ctx)) == NULL)
(x = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
93 goto err;
never executed: goto err;
0
94 if ((y = BN_CTX_get(ctx)) == NULL)
(y = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
95 goto err;
never executed: goto err;
0
96-
97 /*-
98 * Recover y. We have a Weierstrass equation y^2 = x^3 + a*x + b, so-
99 * y is one of the square roots of x^3 + a*x + b.-
100 */-
101-
102 /* tmp1 := x^3 */-
103 if (!BN_nnmod(x, x_, &group->field, ctx))
!BN_nnmod(x, x...p->field, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
104 goto err;
never executed: goto err;
0
105 if (group->meth->field_decode == 0) {
group->meth->field_decode == 0Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
106 /* field_{sqr,mul} work on standard representation */-
107 if (!group->meth->field_sqr(group, tmp2, x_, ctx))
!group->meth->...tmp2, x_, ctx)Description
TRUEnever evaluated
FALSEnever evaluated
0
108 goto err;
never executed: goto err;
0
109 if (!group->meth->field_mul(group, tmp1, tmp2, x_, ctx))
!group->meth->...tmp2, x_, ctx)Description
TRUEnever evaluated
FALSEnever evaluated
0
110 goto err;
never executed: goto err;
0
111 } else {
never executed: end of block
0
112 if (!BN_mod_sqr(tmp2, x_, &group->field, ctx))
!BN_mod_sqr(tm...p->field, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
113 goto err;
never executed: goto err;
0
114 if (!BN_mod_mul(tmp1, tmp2, x_, &group->field, ctx))
!BN_mod_mul(tm...p->field, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
115 goto err;
never executed: goto err;
0
116 }
executed 7 times by 1 test: end of block
Executed by:
  • ectest
7
117-
118 /* tmp1 := tmp1 + a*x */-
119 if (group->a_is_minus3) {
group->a_is_minus3Description
TRUEevaluated 5 times by 1 test
Evaluated by:
  • ectest
FALSEevaluated 2 times by 1 test
Evaluated by:
  • ectest
2-5
120 if (!BN_mod_lshift1_quick(tmp2, x, &group->field))
!BN_mod_lshift...&group->field)Description
TRUEnever evaluated
FALSEevaluated 5 times by 1 test
Evaluated by:
  • ectest
0-5
121 goto err;
never executed: goto err;
0
122 if (!BN_mod_add_quick(tmp2, tmp2, x, &group->field))
!BN_mod_add_qu...&group->field)Description
TRUEnever evaluated
FALSEevaluated 5 times by 1 test
Evaluated by:
  • ectest
0-5
123 goto err;
never executed: goto err;
0
124 if (!BN_mod_sub_quick(tmp1, tmp1, tmp2, &group->field))
!BN_mod_sub_qu...&group->field)Description
TRUEnever evaluated
FALSEevaluated 5 times by 1 test
Evaluated by:
  • ectest
0-5
125 goto err;
never executed: goto err;
0
126 } else {
executed 5 times by 1 test: end of block
Executed by:
  • ectest
5
127 if (group->meth->field_decode) {
group->meth->field_decodeDescription
TRUEevaluated 2 times by 1 test
Evaluated by:
  • ectest
FALSEnever evaluated
0-2
128 if (!group->meth->field_decode(group, tmp2, &group->a, ctx))
!group->meth->...group->a, ctx)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • ectest
0-2
129 goto err;
never executed: goto err;
0
130 if (!BN_mod_mul(tmp2, tmp2, x, &group->field, ctx))
!BN_mod_mul(tm...p->field, ctx)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • ectest
0-2
131 goto err;
never executed: goto err;
0
132 } else {
executed 2 times by 1 test: end of block
Executed by:
  • ectest
2
133 /* field_mul works on standard representation */-
134 if (!group->meth->field_mul(group, tmp2, &group->a, x, ctx))
!group->meth->...up->a, x, ctx)Description
TRUEnever evaluated
FALSEnever evaluated
0
135 goto err;
never executed: goto err;
0
136 }
never executed: end of block
0
137-
138 if (!BN_mod_add_quick(tmp1, tmp1, tmp2, &group->field))
!BN_mod_add_qu...&group->field)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • ectest
0-2
139 goto err;
never executed: goto err;
0
140 }
executed 2 times by 1 test: end of block
Executed by:
  • ectest
2
141-
142 /* tmp1 := tmp1 + b */-
143 if (group->meth->field_decode) {
group->meth->field_decodeDescription
TRUEevaluated 7 times by 1 test
Evaluated by:
  • ectest
FALSEnever evaluated
0-7
144 if (!group->meth->field_decode(group, tmp2, &group->b, ctx))
!group->meth->...group->b, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
145 goto err;
never executed: goto err;
0
146 if (!BN_mod_add_quick(tmp1, tmp1, tmp2, &group->field))
!BN_mod_add_qu...&group->field)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
147 goto err;
never executed: goto err;
0
148 } else {
executed 7 times by 1 test: end of block
Executed by:
  • ectest
7
149 if (!BN_mod_add_quick(tmp1, tmp1, &group->b, &group->field))
!BN_mod_add_qu...&group->field)Description
TRUEnever evaluated
FALSEnever evaluated
0
150 goto err;
never executed: goto err;
0
151 }
never executed: end of block
0
152-
153 if (!BN_mod_sqrt(y, tmp1, &group->field, ctx)) {
!BN_mod_sqrt(y...p->field, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
154 unsigned long err = ERR_peek_last_error();-
155-
156 if (ERR_GET_LIB(err) == ERR_LIB_BN && ERR_GET_REASON(err) == BN_R_NOT_A_SQUARE) {
(int)((((unsig...L)&0xffL) == 3Description
TRUEnever evaluated
FALSEnever evaluated
(int)((err)&0xfffL) == 111Description
TRUEnever evaluated
FALSEnever evaluated
0
157 ERR_clear_error();-
158 ECerror(EC_R_INVALID_COMPRESSED_POINT);-
159 } else
never executed: end of block
0
160 ECerror(ERR_R_BN_LIB);
never executed: ERR_put_error(16,(0xfff),(3),__FILE__,160);
0
161 goto err;
never executed: goto err;
0
162 }-
163 if (y_bit != BN_is_odd(y)) {
y_bit != (((y)...y)->d[0] & 1))Description
TRUEevaluated 3 times by 1 test
Evaluated by:
  • ectest
FALSEevaluated 4 times by 1 test
Evaluated by:
  • ectest
((y)->top > 0)Description
TRUEevaluated 7 times by 1 test
Evaluated by:
  • ectest
FALSEnever evaluated
((y)->d[0] & 1)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • ectest
FALSEevaluated 3 times by 1 test
Evaluated by:
  • ectest
0-7
164 if (BN_is_zero(y)) {
((y)->top == 0)Description
TRUEnever evaluated
FALSEevaluated 3 times by 1 test
Evaluated by:
  • ectest
0-3
165 int kron;-
166-
167 kron = BN_kronecker(x, &group->field, ctx);-
168 if (kron == -2)
kron == -2Description
TRUEnever evaluated
FALSEnever evaluated
0
169 goto err;
never executed: goto err;
0
170-
171 if (kron == 1)
kron == 1Description
TRUEnever evaluated
FALSEnever evaluated
0
172 ECerror(EC_R_INVALID_COMPRESSION_BIT);
never executed: ERR_put_error(16,(0xfff),(109),__FILE__,172);
0
173 else-
174 /*-
175 * BN_mod_sqrt() should have cought this-
176 * error (not a square)-
177 */-
178 ECerror(EC_R_INVALID_COMPRESSED_POINT);
never executed: ERR_put_error(16,(0xfff),(110),__FILE__,178);
0
179 goto err;
never executed: goto err;
0
180 }-
181 if (!BN_usub(y, &group->field, y))
!BN_usub(y, &group->field, y)Description
TRUEnever evaluated
FALSEevaluated 3 times by 1 test
Evaluated by:
  • ectest
0-3
182 goto err;
never executed: goto err;
0
183 }
executed 3 times by 1 test: end of block
Executed by:
  • ectest
3
184 if (y_bit != BN_is_odd(y)) {
y_bit != (((y)...y)->d[0] & 1))Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
((y)->top > 0)Description
TRUEevaluated 7 times by 1 test
Evaluated by:
  • ectest
FALSEnever evaluated
((y)->d[0] & 1)Description
TRUEevaluated 5 times by 1 test
Evaluated by:
  • ectest
FALSEevaluated 2 times by 1 test
Evaluated by:
  • ectest
0-7
185 ECerror(ERR_R_INTERNAL_ERROR);-
186 goto err;
never executed: goto err;
0
187 }-
188 if (!EC_POINT_set_affine_coordinates_GFp(group, point, x, y, ctx))
!EC_POINT_set_...nt, x, y, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • ectest
0-7
189 goto err;
never executed: goto err;
0
190-
191 ret = 1;-
192-
193 err:
code before this statement executed 7 times by 1 test: err:
Executed by:
  • ectest
7
194 BN_CTX_end(ctx);-
195 BN_CTX_free(new_ctx);-
196 return ret;
executed 7 times by 1 test: return ret;
Executed by:
  • ectest
7
197}-
198-
199-
200size_t -
201ec_GFp_simple_point2oct(const EC_GROUP * group, const EC_POINT * point, point_conversion_form_t form,-
202 unsigned char *buf, size_t len, BN_CTX * ctx)-
203{-
204 size_t ret;-
205 BN_CTX *new_ctx = NULL;-
206 int used_ctx = 0;-
207 BIGNUM *x, *y;-
208 size_t field_len, i, skip;-
209-
210 if ((form != POINT_CONVERSION_COMPRESSED)
(form != POINT...ON_COMPRESSED)Description
TRUEevaluated 94 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
1-94
211 && (form != POINT_CONVERSION_UNCOMPRESSED)
(form != POINT..._UNCOMPRESSED)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 93 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
1-93
212 && (form != POINT_CONVERSION_HYBRID)) {
(form != POINT...ERSION_HYBRID)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
0-1
213 ECerror(EC_R_INVALID_FORM);-
214 goto err;
never executed: goto err;
0
215 }-
216 if (EC_POINT_is_at_infinity(group, point) > 0) {
EC_POINT_is_at...up, point) > 0Description
TRUEnever evaluated
FALSEevaluated 95 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-95
217 /* encodes to a single 0 octet */-
218 if (buf != NULL) {
buf != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
219 if (len < 1) {
len < 1Description
TRUEnever evaluated
FALSEnever evaluated
0
220 ECerror(EC_R_BUFFER_TOO_SMALL);-
221 return 0;
never executed: return 0;
0
222 }-
223 buf[0] = 0;-
224 }
never executed: end of block
0
225 return 1;
never executed: return 1;
0
226 }-
227 /* ret := required output buffer length */-
228 field_len = BN_num_bytes(&group->field);-
229 ret = (form == POINT_CONVERSION_COMPRESSED) ? 1 + field_len : 1 + 2 * field_len;
(form == POINT...ON_COMPRESSED)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 94 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
1-94
230-
231 /* if 'buf' is NULL, just return required length */-
232 if (buf != NULL) {
buf != ((void *)0)Description
TRUEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
FALSEevaluated 46 times by 1 test
Evaluated by:
  • ssltest
46-49
233 if (len < ret) {
len < retDescription
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
234 ECerror(EC_R_BUFFER_TOO_SMALL);-
235 goto err;
never executed: goto err;
0
236 }-
237 if (ctx == NULL) {
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
238 ctx = new_ctx = BN_CTX_new();-
239 if (ctx == NULL)
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
240 return 0;
never executed: return 0;
0
241 }
never executed: end of block
0
242 BN_CTX_start(ctx);-
243 used_ctx = 1;-
244 if ((x = BN_CTX_get(ctx)) == NULL)
(x = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
245 goto err;
never executed: goto err;
0
246 if ((y = BN_CTX_get(ctx)) == NULL)
(y = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
247 goto err;
never executed: goto err;
0
248-
249 if (!EC_POINT_get_affine_coordinates_GFp(group, point, x, y, ctx))
!EC_POINT_get_...nt, x, y, ctx)Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
250 goto err;
never executed: goto err;
0
251-
252 if ((form == POINT_CONVERSION_COMPRESSED || form == POINT_CONVERSION_HYBRID) && BN_is_odd(y))
form == POINT_...ION_COMPRESSEDDescription
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
form == POINT_...VERSION_HYBRIDDescription
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 47 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
((y)->top > 0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • ectest
FALSEnever evaluated
((y)->d[0] & 1)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • ectest
FALSEnever evaluated
0-48
253 buf[0] = form + 1;
executed 2 times by 1 test: buf[0] = form + 1;
Executed by:
  • ectest
2
254 else-
255 buf[0] = form;
executed 47 times by 2 tests: buf[0] = form;
Executed by:
  • ectest
  • ssltest
47
256-
257 i = 1;-
258-
259 skip = field_len - BN_num_bytes(x);-
260 if (skip > field_len) {
skip > field_lenDescription
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
261 ECerror(ERR_R_INTERNAL_ERROR);-
262 goto err;
never executed: goto err;
0
263 }-
264 while (skip > 0) {
skip > 0Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
265 buf[i++] = 0;-
266 skip--;-
267 }
never executed: end of block
0
268 skip = BN_bn2bin(x, buf + i);-
269 i += skip;-
270 if (i != 1 + field_len) {
i != 1 + field_lenDescription
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
271 ECerror(ERR_R_INTERNAL_ERROR);-
272 goto err;
never executed: goto err;
0
273 }-
274 if (form == POINT_CONVERSION_UNCOMPRESSED || form == POINT_CONVERSION_HYBRID) {
form == POINT_...N_UNCOMPRESSEDDescription
TRUEevaluated 47 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
FALSEevaluated 2 times by 1 test
Evaluated by:
  • ectest
form == POINT_...VERSION_HYBRIDDescription
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
1-47
275 skip = field_len - BN_num_bytes(y);-
276 if (skip > field_len) {
skip > field_lenDescription
TRUEnever evaluated
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-48
277 ECerror(ERR_R_INTERNAL_ERROR);-
278 goto err;
never executed: goto err;
0
279 }-
280 while (skip > 0) {
skip > 0Description
TRUEnever evaluated
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-48
281 buf[i++] = 0;-
282 skip--;-
283 }
never executed: end of block
0
284 skip = BN_bn2bin(y, buf + i);-
285 i += skip;-
286 }
executed 48 times by 2 tests: end of block
Executed by:
  • ectest
  • ssltest
48
287 if (i != ret) {
i != retDescription
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
288 ECerror(ERR_R_INTERNAL_ERROR);-
289 goto err;
never executed: goto err;
0
290 }-
291 }
executed 49 times by 2 tests: end of block
Executed by:
  • ectest
  • ssltest
49
292 if (used_ctx)
used_ctxDescription
TRUEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
FALSEevaluated 46 times by 1 test
Evaluated by:
  • ssltest
46-49
293 BN_CTX_end(ctx);
executed 49 times by 2 tests: BN_CTX_end(ctx);
Executed by:
  • ectest
  • ssltest
49
294 BN_CTX_free(new_ctx);-
295 return ret;
executed 95 times by 2 tests: return ret;
Executed by:
  • ectest
  • ssltest
95
296-
297 err:-
298 if (used_ctx)
used_ctxDescription
TRUEnever evaluated
FALSEnever evaluated
0
299 BN_CTX_end(ctx);
never executed: BN_CTX_end(ctx);
0
300 BN_CTX_free(new_ctx);-
301 return 0;
never executed: return 0;
0
302}-
303-
304-
305int -
306ec_GFp_simple_oct2point(const EC_GROUP * group, EC_POINT * point,-
307 const unsigned char *buf, size_t len, BN_CTX * ctx)-
308{-
309 point_conversion_form_t form;-
310 int y_bit;-
311 BN_CTX *new_ctx = NULL;-
312 BIGNUM *x, *y;-
313 size_t field_len, enc_len;-
314 int ret = 0;-
315-
316 if (len == 0) {
len == 0Description
TRUEnever evaluated
FALSEevaluated 50 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-50
317 ECerror(EC_R_BUFFER_TOO_SMALL);-
318 return 0;
never executed: return 0;
0
319 }-
320 form = buf[0];-
321 y_bit = form & 1;-
322 form = form & ~1U;-
323 if ((form != 0) && (form != POINT_CONVERSION_COMPRESSED)
(form != 0)Description
TRUEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
(form != POINT...ON_COMPRESSED)Description
TRUEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
1-49
324 && (form != POINT_CONVERSION_UNCOMPRESSED)
(form != POINT..._UNCOMPRESSED)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 47 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
1-47
325 && (form != POINT_CONVERSION_HYBRID)) {
(form != POINT...ERSION_HYBRID)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
0-1
326 ECerror(EC_R_INVALID_ENCODING);-
327 return 0;
never executed: return 0;
0
328 }-
329 if ((form == 0 || form == POINT_CONVERSION_UNCOMPRESSED) && y_bit) {
form == 0Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
form == POINT_...N_UNCOMPRESSEDDescription
TRUEevaluated 47 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
FALSEevaluated 2 times by 1 test
Evaluated by:
  • ectest
y_bitDescription
TRUEnever evaluated
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
330 ECerror(EC_R_INVALID_ENCODING);-
331 return 0;
never executed: return 0;
0
332 }-
333 if (form == 0) {
form == 0Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
1-49
334 if (len != 1) {
len != 1Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
0-1
335 ECerror(EC_R_INVALID_ENCODING);-
336 return 0;
never executed: return 0;
0
337 }-
338 return EC_POINT_set_to_infinity(group, point);
executed 1 time by 1 test: return EC_POINT_set_to_infinity(group, point);
Executed by:
  • ectest
1
339 }-
340 field_len = BN_num_bytes(&group->field);-
341 enc_len = (form == POINT_CONVERSION_COMPRESSED) ? 1 + field_len : 1 + 2 * field_len;
(form == POINT...ON_COMPRESSED)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
1-48
342-
343 if (len != enc_len) {
len != enc_lenDescription
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
344 ECerror(EC_R_INVALID_ENCODING);-
345 return 0;
never executed: return 0;
0
346 }-
347 if (ctx == NULL) {
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
348 ctx = new_ctx = BN_CTX_new();-
349 if (ctx == NULL)
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
350 return 0;
never executed: return 0;
0
351 }
never executed: end of block
0
352 BN_CTX_start(ctx);-
353 if ((x = BN_CTX_get(ctx)) == NULL)
(x = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
354 goto err;
never executed: goto err;
0
355 if ((y = BN_CTX_get(ctx)) == NULL)
(y = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
356 goto err;
never executed: goto err;
0
357-
358 if (!BN_bin2bn(buf + 1, field_len, x))
!BN_bin2bn(buf... field_len, x)Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
359 goto err;
never executed: goto err;
0
360 if (BN_ucmp(x, &group->field) >= 0) {
BN_ucmp(x, &group->field) >= 0Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
361 ECerror(EC_R_INVALID_ENCODING);-
362 goto err;
never executed: goto err;
0
363 }-
364 if (form == POINT_CONVERSION_COMPRESSED) {
form == POINT_...ION_COMPRESSEDDescription
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
1-48
365 if (!EC_POINT_set_compressed_coordinates_GFp(group, point, x, y_bit, ctx))
!EC_POINT_set_...x, y_bit, ctx)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
0-1
366 goto err;
never executed: goto err;
0
367 } else {
executed 1 time by 1 test: end of block
Executed by:
  • ectest
1
368 if (!BN_bin2bn(buf + 1 + field_len, field_len, y))
!BN_bin2bn(buf... field_len, y)Description
TRUEnever evaluated
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-48
369 goto err;
never executed: goto err;
0
370 if (BN_ucmp(y, &group->field) >= 0) {
BN_ucmp(y, &group->field) >= 0Description
TRUEnever evaluated
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-48
371 ECerror(EC_R_INVALID_ENCODING);-
372 goto err;
never executed: goto err;
0
373 }-
374 if (form == POINT_CONVERSION_HYBRID) {
form == POINT_...VERSION_HYBRIDDescription
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEevaluated 47 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
1-47
375 if (y_bit != BN_is_odd(y)) {
y_bit != (((y)...y)->d[0] & 1))Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
((y)->top > 0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEnever evaluated
((y)->d[0] & 1)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • ectest
FALSEnever evaluated
0-1
376 ECerror(EC_R_INVALID_ENCODING);-
377 goto err;
never executed: goto err;
0
378 }-
379 }
executed 1 time by 1 test: end of block
Executed by:
  • ectest
1
380 if (!EC_POINT_set_affine_coordinates_GFp(group, point, x, y, ctx))
!EC_POINT_set_...nt, x, y, ctx)Description
TRUEnever evaluated
FALSEevaluated 48 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-48
381 goto err;
never executed: goto err;
0
382 }
executed 48 times by 2 tests: end of block
Executed by:
  • ectest
  • ssltest
48
383-
384 /* test required by X9.62 */-
385 if (EC_POINT_is_on_curve(group, point, ctx) <= 0) {
EC_POINT_is_on...int, ctx) <= 0Description
TRUEnever evaluated
FALSEevaluated 49 times by 2 tests
Evaluated by:
  • ectest
  • ssltest
0-49
386 ECerror(EC_R_POINT_IS_NOT_ON_CURVE);-
387 goto err;
never executed: goto err;
0
388 }-
389 ret = 1;-
390-
391 err:
code before this statement executed 49 times by 2 tests: err:
Executed by:
  • ectest
  • ssltest
49
392 BN_CTX_end(ctx);-
393 BN_CTX_free(new_ctx);-
394 return ret;
executed 49 times by 2 tests: return ret;
Executed by:
  • ectest
  • ssltest
49
395}-
Source codeSwitch to Preprocessed file
Generated by Squish Coco 4.2.2