OpenCoverage

bn_word.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/bn/bn_word.c
Source codeSwitch to Preprocessed file
LineSourceCount
1/* $OpenBSD: bn_word.c,v 1.13 2016/07/05 02:54:35 bcook Exp $ */-
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-
61#include "bn_lcl.h"-
62-
63BN_ULONG-
64BN_mod_word(const BIGNUM *a, BN_ULONG w)-
65{-
66#ifndef BN_LLONG-
67 BN_ULONG ret = 0;-
68#else-
69 BN_ULLONG ret = 0;-
70#endif-
71 int i;-
72-
73 if (w == 0)
w == 0Description
TRUEnever evaluated
FALSEevaluated 556823 times by 5 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • libcrypto.so.44.0.1
  • mont
0-556823
74 return (BN_ULONG) - 1;
never executed: return (unsigned long) - 1;
0
75-
76#ifndef BN_ULLONG-
77 /* If |w| is too long and we don't have |BN_ULLONG| then we need to fall back-
78 * to using |BN_div_word|. */-
79 if (w > ((BN_ULONG)1 << BN_BITS4)) {
w > ((unsigned long)1 << 32)Description
TRUEevaluated 97 times by 1 test
Evaluated by:
  • bntest
FALSEevaluated 556726 times by 5 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • libcrypto.so.44.0.1
  • mont
97-556726
80 BIGNUM *tmp = BN_dup(a);-
81 if (tmp == NULL) {
tmp == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 97 times by 1 test
Evaluated by:
  • bntest
0-97
82 return (BN_ULONG)-1;
never executed: return (unsigned long)-1;
0
83 }-
84 ret = BN_div_word(tmp, w);-
85 BN_free(tmp);-
86 return ret;
executed 97 times by 1 test: return ret;
Executed by:
  • bntest
97
87 }-
88#endif-
89-
90 bn_check_top(a);-
91 w &= BN_MASK2;-
92 for (i = a->top - 1; i >= 0; i--) {
i >= 0Description
TRUEevaluated 1789639 times by 5 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • libcrypto.so.44.0.1
  • mont
FALSEevaluated 556726 times by 5 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • libcrypto.so.44.0.1
  • mont
556726-1789639
93#ifndef BN_LLONG-
94 ret = ((ret << BN_BITS4) | ((a->d[i] >> BN_BITS4) &-
95 BN_MASK2l)) % w;-
96 ret = ((ret << BN_BITS4) | (a->d[i] & BN_MASK2l)) % w;-
97#else-
98 ret = (BN_ULLONG)(((ret << (BN_ULLONG)BN_BITS2) |-
99 a->d[i]) % (BN_ULLONG)w);-
100#endif-
101 }
executed 1789639 times by 5 tests: end of block
Executed by:
  • bntest
  • dhtest
  • dsatest
  • libcrypto.so.44.0.1
  • mont
1789639
102 return ((BN_ULONG)ret);
executed 556726 times by 5 tests: return ((unsigned long)ret);
Executed by:
  • bntest
  • dhtest
  • dsatest
  • libcrypto.so.44.0.1
  • mont
556726
103}-
104-
105BN_ULONG-
106BN_div_word(BIGNUM *a, BN_ULONG w)-
107{-
108 BN_ULONG ret = 0;-
109 int i, j;-
110-
111 bn_check_top(a);-
112 w &= BN_MASK2;-
113-
114 if (!w)
!wDescription
TRUEnever evaluated
FALSEevaluated 197 times by 1 test
Evaluated by:
  • bntest
0-197
115 /* actually this an error (division by zero) */-
116 return (BN_ULONG) - 1;
never executed: return (unsigned long) - 1;
0
117 if (a->top == 0)
a->top == 0Description
TRUEnever evaluated
FALSEevaluated 197 times by 1 test
Evaluated by:
  • bntest
0-197
118 return 0;
never executed: return 0;
0
119-
120 /* normalize input (so bn_div_words doesn't complain) */-
121 j = BN_BITS2 - BN_num_bits_word(w);-
122 w <<= j;-
123 if (!BN_lshift(a, a, j))
!BN_lshift(a, a, j)Description
TRUEnever evaluated
FALSEevaluated 197 times by 1 test
Evaluated by:
  • bntest
0-197
124 return (BN_ULONG) - 1;
never executed: return (unsigned long) - 1;
0
125-
126 for (i = a->top - 1; i >= 0; i--) {
i >= 0Description
TRUEevaluated 1645 times by 1 test
Evaluated by:
  • bntest
FALSEevaluated 197 times by 1 test
Evaluated by:
  • bntest
197-1645
127 BN_ULONG l, d;-
128-
129 l = a->d[i];-
130 d = bn_div_words(ret, l, w);-
131 ret = (l - ((d*w)&BN_MASK2))&BN_MASK2;-
132 a->d[i] = d;-
133 }
executed 1645 times by 1 test: end of block
Executed by:
  • bntest
1645
134 if ((a->top > 0) && (a->d[a->top - 1] == 0))
(a->top > 0)Description
TRUEevaluated 197 times by 1 test
Evaluated by:
  • bntest
FALSEnever evaluated
(a->d[a->top - 1] == 0)Description
TRUEevaluated 165 times by 1 test
Evaluated by:
  • bntest
FALSEevaluated 32 times by 1 test
Evaluated by:
  • bntest
0-197
135 a->top--;
executed 165 times by 1 test: a->top--;
Executed by:
  • bntest
165
136 ret >>= j;-
137 bn_check_top(a);-
138 return (ret);
executed 197 times by 1 test: return (ret);
Executed by:
  • bntest
197
139}-
140-
141int-
142BN_add_word(BIGNUM *a, BN_ULONG w)-
143{-
144 BN_ULONG l;-
145 int i;-
146-
147 bn_check_top(a);-
148 w &= BN_MASK2;-
149-
150 /* degenerate case: w is zero */-
151 if (!w)
!wDescription
TRUEevaluated 3 times by 1 test
Evaluated by:
  • bntest
FALSEevaluated 99401 times by 10 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
3-99401
152 return 1;
executed 3 times by 1 test: return 1;
Executed by:
  • bntest
3
153 /* degenerate case: a is zero */-
154 if (BN_is_zero(a))
((a)->top == 0)Description
TRUEevaluated 20 times by 3 tests
Evaluated by:
  • bntest
  • ecdsatest
  • ectest
FALSEevaluated 99381 times by 10 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
20-99381
155 return BN_set_word(a, w);
executed 20 times by 3 tests: return BN_set_word(a, w);
Executed by:
  • bntest
  • ecdsatest
  • ectest
20
156 /* handle 'a' when negative */-
157 if (a->neg) {
a->negDescription
TRUEnever evaluated
FALSEevaluated 99381 times by 10 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
0-99381
158 a->neg = 0;-
159 i = BN_sub_word(a, w);-
160 if (!BN_is_zero(a))
!((a)->top == 0)Description
TRUEnever evaluated
FALSEnever evaluated
0
161 a->neg=!(a->neg);
never executed: a->neg=!(a->neg);
0
162 return (i);
never executed: return (i);
0
163 }-
164 for (i = 0; w != 0 && i < a->top; i++) {
w != 0Description
TRUEevaluated 99437 times by 10 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
FALSEevaluated 99381 times by 10 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
i < a->topDescription
TRUEevaluated 99437 times by 10 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
FALSEnever evaluated
0-99437
165 a->d[i] = l = (a->d[i] + w) & BN_MASK2;-
166 w = (w > l) ? 1 : 0;
(w > l)Description
TRUEevaluated 56 times by 4 tests
Evaluated by:
  • bntest
  • ecdhtest
  • ecdsatest
  • ectest
FALSEevaluated 99381 times by 10 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
56-99381
167 }
executed 99437 times by 10 tests: end of block
Executed by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
99437
168 if (w && i == a->top) {
wDescription
TRUEnever evaluated
FALSEevaluated 99381 times by 10 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
i == a->topDescription
TRUEnever evaluated
FALSEnever evaluated
0-99381
169 if (bn_wexpand(a, a->top + 1) == NULL)
(((a->top + 1)...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
((a->top + 1) <= (a)->dmax)Description
TRUEnever evaluated
FALSEnever evaluated
0
170 return 0;
never executed: return 0;
0
171 a->top++;-
172 a->d[i] = w;-
173 }
never executed: end of block
0
174 bn_check_top(a);-
175 return (1);
executed 99381 times by 10 tests: return (1);
Executed by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • ssltest
99381
176}-
177-
178int-
179BN_sub_word(BIGNUM *a, BN_ULONG w)-
180{-
181 int i;-
182-
183 bn_check_top(a);-
184 w &= BN_MASK2;-
185-
186 /* degenerate case: w is zero */-
187 if (!w)
!wDescription
TRUEnever evaluated
FALSEevaluated 4175 times by 14 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
0-4175
188 return 1;
never executed: return 1;
0
189 /* degenerate case: a is zero */-
190 if (BN_is_zero(a)) {
((a)->top == 0)Description
TRUEnever evaluated
FALSEevaluated 4175 times by 14 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
0-4175
191 i = BN_set_word(a, w);-
192 if (i != 0)
i != 0Description
TRUEnever evaluated
FALSEnever evaluated
0
193 BN_set_negative(a, 1);
never executed: BN_set_negative(a, 1);
0
194 return i;
never executed: return i;
0
195 }-
196 /* handle 'a' when negative */-
197 if (a->neg) {
a->negDescription
TRUEnever evaluated
FALSEevaluated 4175 times by 14 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
0-4175
198 a->neg = 0;-
199 i = BN_add_word(a, w);-
200 a->neg = 1;-
201 return (i);
never executed: return (i);
0
202 }-
203-
204 if ((a->top == 1) && (a->d[0] < w)) {
(a->top == 1)Description
TRUEevaluated 1029 times by 3 tests
Evaluated by:
  • bntest
  • dhtest
  • mont
FALSEevaluated 3146 times by 14 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
(a->d[0] < w)Description
TRUEnever evaluated
FALSEevaluated 1029 times by 3 tests
Evaluated by:
  • bntest
  • dhtest
  • mont
0-3146
205 a->d[0] = w - a->d[0];-
206 a->neg = 1;-
207 return (1);
never executed: return (1);
0
208 }-
209 i = 0;-
210 for (;;) {-
211 if (a->d[i] >= w) {
a->d[i] >= wDescription
TRUEevaluated 4175 times by 14 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
FALSEevaluated 2867 times by 14 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
2867-4175
212 a->d[i] -= w;-
213 break;
executed 4175 times by 14 tests: break;
Executed by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
4175
214 } else {-
215 a->d[i] = (a->d[i] - w) & BN_MASK2;-
216 i++;-
217 w = 1;-
218 }
executed 2867 times by 14 tests: end of block
Executed by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
2867
219 }-
220 if ((a->d[i] == 0) && (i == (a->top - 1)))
(a->d[i] == 0)Description
TRUEevaluated 147 times by 6 tests
Evaluated by:
  • bntest
  • ecdhtest
  • ecdsatest
  • ectest
  • servertest
  • ssltest
FALSEevaluated 4028 times by 14 tests
Evaluated by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
(i == (a->top - 1))Description
TRUEevaluated 146 times by 6 tests
Evaluated by:
  • bntest
  • ecdhtest
  • ecdsatest
  • ectest
  • servertest
  • ssltest
FALSEevaluated 1 time by 1 test
Evaluated by:
  • ectest
1-4028
221 a->top--;
executed 146 times by 6 tests: a->top--;
Executed by:
  • bntest
  • ecdhtest
  • ecdsatest
  • ectest
  • servertest
  • ssltest
146
222 bn_check_top(a);-
223 return (1);
executed 4175 times by 14 tests: return (1);
Executed by:
  • bntest
  • dhtest
  • dsatest
  • ecdhtest
  • ecdsatest
  • ectest
  • exptest
  • libcrypto.so.44.0.1
  • mont
  • pkcs7test
  • rsa_test
  • servertest
  • ssltest
  • tlstest
4175
224}-
225-
226int-
227BN_mul_word(BIGNUM *a, BN_ULONG w)-
228{-
229 BN_ULONG ll;-
230-
231 bn_check_top(a);-
232 w &= BN_MASK2;-
233 if (a->top) {
a->topDescription
TRUEevaluated 270 times by 2 tests
Evaluated by:
  • bntest
  • ectest
FALSEnever evaluated
0-270
234 if (w == 0)
w == 0Description
TRUEnever evaluated
FALSEevaluated 270 times by 2 tests
Evaluated by:
  • bntest
  • ectest
0-270
235 BN_zero(a);
never executed: (BN_set_word((a),0));
0
236 else {-
237 ll = bn_mul_words(a->d, a->d, a->top, w);-
238 if (ll) {
llDescription
TRUEevaluated 190 times by 2 tests
Evaluated by:
  • bntest
  • ectest
FALSEevaluated 80 times by 2 tests
Evaluated by:
  • bntest
  • ectest
80-190
239 if (bn_wexpand(a, a->top + 1) == NULL)
(((a->top + 1)...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 190 times by 2 tests
Evaluated by:
  • bntest
  • ectest
((a->top + 1) <= (a)->dmax)Description
TRUEevaluated 190 times by 2 tests
Evaluated by:
  • bntest
  • ectest
FALSEnever evaluated
0-190
240 return (0);
never executed: return (0);
0
241 a->d[a->top++] = ll;-
242 }
executed 190 times by 2 tests: end of block
Executed by:
  • bntest
  • ectest
190
243 }
executed 270 times by 2 tests: end of block
Executed by:
  • bntest
  • ectest
270
244 }-
245 bn_check_top(a);-
246 return (1);
executed 270 times by 2 tests: return (1);
Executed by:
  • bntest
  • ectest
270
247}-
Source codeSwitch to Preprocessed file
Generated by Squish Coco 4.2.2