blob: 4e5043fd7acf762a844c239ac0ad08f78725636a [file] [log] [blame]
Adam Langleyd9e397b2015-01-22 14:27:53 -08001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.] */
56
57#include <openssl/bn.h>
58
59#include <limits.h>
60#include <string.h>
61
62#include <openssl/err.h>
63#include <openssl/mem.h>
64
65#include "internal.h"
Robert Sloan8ff03552017-06-14 12:40:58 -070066#include "../delocate.h"
Adam Langleyd9e397b2015-01-22 14:27:53 -080067
68
69BIGNUM *BN_new(void) {
70 BIGNUM *bn = OPENSSL_malloc(sizeof(BIGNUM));
71
72 if (bn == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +000073 OPENSSL_PUT_ERROR(BN, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -080074 return NULL;
75 }
76
Robert Sloan69939df2017-01-09 10:53:07 -080077 OPENSSL_memset(bn, 0, sizeof(BIGNUM));
Adam Langleyd9e397b2015-01-22 14:27:53 -080078 bn->flags = BN_FLG_MALLOCED;
79
80 return bn;
81}
82
83void BN_init(BIGNUM *bn) {
Robert Sloan69939df2017-01-09 10:53:07 -080084 OPENSSL_memset(bn, 0, sizeof(BIGNUM));
Adam Langleyd9e397b2015-01-22 14:27:53 -080085}
86
87void BN_free(BIGNUM *bn) {
88 if (bn == NULL) {
89 return;
90 }
91
Adam Langleye9ada862015-05-11 17:20:37 -070092 if ((bn->flags & BN_FLG_STATIC_DATA) == 0) {
Adam Langleyd9e397b2015-01-22 14:27:53 -080093 OPENSSL_free(bn->d);
94 }
95
96 if (bn->flags & BN_FLG_MALLOCED) {
97 OPENSSL_free(bn);
98 } else {
99 bn->d = NULL;
100 }
101}
102
103void BN_clear_free(BIGNUM *bn) {
104 char should_free;
105
106 if (bn == NULL) {
107 return;
108 }
109
110 if (bn->d != NULL) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800111 if ((bn->flags & BN_FLG_STATIC_DATA) == 0) {
112 OPENSSL_free(bn->d);
Robert Sloan2e9e66a2017-09-25 09:08:29 -0700113 } else {
114 OPENSSL_cleanse(bn->d, bn->dmax * sizeof(bn->d[0]));
Adam Langleyd9e397b2015-01-22 14:27:53 -0800115 }
116 }
117
118 should_free = (bn->flags & BN_FLG_MALLOCED) != 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800119 if (should_free) {
120 OPENSSL_free(bn);
Robert Sloan2e9e66a2017-09-25 09:08:29 -0700121 } else {
122 OPENSSL_cleanse(bn, sizeof(BIGNUM));
Adam Langleyd9e397b2015-01-22 14:27:53 -0800123 }
124}
125
126BIGNUM *BN_dup(const BIGNUM *src) {
127 BIGNUM *copy;
128
129 if (src == NULL) {
130 return NULL;
131 }
132
133 copy = BN_new();
134 if (copy == NULL) {
135 return NULL;
136 }
137
138 if (!BN_copy(copy, src)) {
139 BN_free(copy);
140 return NULL;
141 }
142
143 return copy;
144}
145
146BIGNUM *BN_copy(BIGNUM *dest, const BIGNUM *src) {
147 if (src == dest) {
148 return dest;
149 }
150
Robert Sloanab8b8882018-03-26 11:39:51 -0700151 if (!bn_wexpand(dest, src->width)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800152 return NULL;
153 }
154
Robert Sloanab8b8882018-03-26 11:39:51 -0700155 OPENSSL_memcpy(dest->d, src->d, sizeof(src->d[0]) * src->width);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800156
Robert Sloanab8b8882018-03-26 11:39:51 -0700157 dest->width = src->width;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800158 dest->neg = src->neg;
159 return dest;
160}
161
162void BN_clear(BIGNUM *bn) {
163 if (bn->d != NULL) {
Robert Sloan69939df2017-01-09 10:53:07 -0800164 OPENSSL_memset(bn->d, 0, bn->dmax * sizeof(bn->d[0]));
Adam Langleyd9e397b2015-01-22 14:27:53 -0800165 }
166
Robert Sloanab8b8882018-03-26 11:39:51 -0700167 bn->width = 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800168 bn->neg = 0;
169}
170
Robert Sloan8ff03552017-06-14 12:40:58 -0700171DEFINE_METHOD_FUNCTION(BIGNUM, BN_value_one) {
Adam Langley4139edb2016-01-13 15:00:54 -0800172 static const BN_ULONG kOneLimbs[1] = { 1 };
Robert Sloan8ff03552017-06-14 12:40:58 -0700173 out->d = (BN_ULONG*) kOneLimbs;
Robert Sloanab8b8882018-03-26 11:39:51 -0700174 out->width = 1;
Robert Sloan8ff03552017-06-14 12:40:58 -0700175 out->dmax = 1;
176 out->neg = 0;
177 out->flags = BN_FLG_STATIC_DATA;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800178}
179
Robert Sloan8f860b12017-08-28 07:37:06 -0700180// BN_num_bits_word returns the minimum number of bits needed to represent the
181// value in |l|.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800182unsigned BN_num_bits_word(BN_ULONG l) {
Robert Sloan309a31e2018-01-29 10:22:47 -0800183 // |BN_num_bits| is often called on RSA prime factors. These have public bit
184 // lengths, but all bits beyond the high bit are secret, so count bits in
185 // constant time.
186 BN_ULONG x, mask;
187 int bits = (l != 0);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800188
Robert Sloan309a31e2018-01-29 10:22:47 -0800189#if BN_BITS2 > 32
190 x = l >> 32;
191 mask = 0u - x;
192 mask = (0u - (mask >> (BN_BITS2 - 1)));
193 bits += 32 & mask;
194 l ^= (x ^ l) & mask;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800195#endif
Robert Sloan309a31e2018-01-29 10:22:47 -0800196
197 x = l >> 16;
198 mask = 0u - x;
199 mask = (0u - (mask >> (BN_BITS2 - 1)));
200 bits += 16 & mask;
201 l ^= (x ^ l) & mask;
202
203 x = l >> 8;
204 mask = 0u - x;
205 mask = (0u - (mask >> (BN_BITS2 - 1)));
206 bits += 8 & mask;
207 l ^= (x ^ l) & mask;
208
209 x = l >> 4;
210 mask = 0u - x;
211 mask = (0u - (mask >> (BN_BITS2 - 1)));
212 bits += 4 & mask;
213 l ^= (x ^ l) & mask;
214
215 x = l >> 2;
216 mask = 0u - x;
217 mask = (0u - (mask >> (BN_BITS2 - 1)));
218 bits += 2 & mask;
219 l ^= (x ^ l) & mask;
220
221 x = l >> 1;
222 mask = 0u - x;
223 mask = (0u - (mask >> (BN_BITS2 - 1)));
224 bits += 1 & mask;
225
226 return bits;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800227}
228
229unsigned BN_num_bits(const BIGNUM *bn) {
Robert Sloan8542c082018-02-05 09:07:34 -0800230 const int width = bn_minimal_width(bn);
231 if (width == 0) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800232 return 0;
233 }
234
Robert Sloan8542c082018-02-05 09:07:34 -0800235 return (width - 1) * BN_BITS2 + BN_num_bits_word(bn->d[width - 1]);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800236}
237
238unsigned BN_num_bytes(const BIGNUM *bn) {
239 return (BN_num_bits(bn) + 7) / 8;
240}
241
242void BN_zero(BIGNUM *bn) {
Robert Sloanab8b8882018-03-26 11:39:51 -0700243 bn->width = bn->neg = 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800244}
245
246int BN_one(BIGNUM *bn) {
247 return BN_set_word(bn, 1);
248}
249
250int BN_set_word(BIGNUM *bn, BN_ULONG value) {
251 if (value == 0) {
252 BN_zero(bn);
253 return 1;
254 }
255
Robert Sloan9254e682017-04-24 09:42:06 -0700256 if (!bn_wexpand(bn, 1)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800257 return 0;
258 }
259
260 bn->neg = 0;
261 bn->d[0] = value;
Robert Sloanab8b8882018-03-26 11:39:51 -0700262 bn->width = 1;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800263 return 1;
264}
265
David Benjamin7c0d06c2016-08-11 13:26:41 -0400266int BN_set_u64(BIGNUM *bn, uint64_t value) {
267#if BN_BITS2 == 64
268 return BN_set_word(bn, value);
269#elif BN_BITS2 == 32
270 if (value <= BN_MASK2) {
271 return BN_set_word(bn, (BN_ULONG)value);
272 }
273
Robert Sloan9254e682017-04-24 09:42:06 -0700274 if (!bn_wexpand(bn, 2)) {
David Benjamin7c0d06c2016-08-11 13:26:41 -0400275 return 0;
276 }
277
278 bn->neg = 0;
279 bn->d[0] = (BN_ULONG)value;
280 bn->d[1] = (BN_ULONG)(value >> 32);
Robert Sloanab8b8882018-03-26 11:39:51 -0700281 bn->width = 2;
David Benjamin7c0d06c2016-08-11 13:26:41 -0400282 return 1;
283#else
284#error "BN_BITS2 must be 32 or 64."
285#endif
286}
287
David Benjamin4969cc92016-04-22 15:02:23 -0400288int bn_set_words(BIGNUM *bn, const BN_ULONG *words, size_t num) {
Robert Sloan9254e682017-04-24 09:42:06 -0700289 if (!bn_wexpand(bn, num)) {
David Benjamin4969cc92016-04-22 15:02:23 -0400290 return 0;
291 }
Robert Sloan69939df2017-01-09 10:53:07 -0800292 OPENSSL_memmove(bn->d, words, num * sizeof(BN_ULONG));
Robert Sloan8f860b12017-08-28 07:37:06 -0700293 // |bn_wexpand| verified that |num| isn't too large.
Robert Sloanab8b8882018-03-26 11:39:51 -0700294 bn->width = (int)num;
David Benjamin4969cc92016-04-22 15:02:23 -0400295 bn->neg = 0;
296 return 1;
297}
298
Robert Sloan8542c082018-02-05 09:07:34 -0800299int bn_fits_in_words(const BIGNUM *bn, size_t num) {
300 // All words beyond |num| must be zero.
301 BN_ULONG mask = 0;
Robert Sloanab8b8882018-03-26 11:39:51 -0700302 for (size_t i = num; i < (size_t)bn->width; i++) {
Robert Sloan8542c082018-02-05 09:07:34 -0800303 mask |= bn->d[i];
304 }
305 return mask == 0;
306}
307
308int bn_copy_words(BN_ULONG *out, size_t num, const BIGNUM *bn) {
309 if (bn->neg) {
310 OPENSSL_PUT_ERROR(BN, BN_R_NEGATIVE_NUMBER);
311 return 0;
312 }
313
Robert Sloanab8b8882018-03-26 11:39:51 -0700314 size_t width = (size_t)bn->width;
Robert Sloan8542c082018-02-05 09:07:34 -0800315 if (width > num) {
316 if (!bn_fits_in_words(bn, num)) {
317 OPENSSL_PUT_ERROR(BN, BN_R_BIGNUM_TOO_LONG);
318 return 0;
319 }
320 width = num;
321 }
322
323 OPENSSL_memset(out, 0, sizeof(BN_ULONG) * num);
324 OPENSSL_memcpy(out, bn->d, sizeof(BN_ULONG) * width);
325 return 1;
326}
327
Adam Langleyd9e397b2015-01-22 14:27:53 -0800328int BN_is_negative(const BIGNUM *bn) {
329 return bn->neg != 0;
330}
331
332void BN_set_negative(BIGNUM *bn, int sign) {
333 if (sign && !BN_is_zero(bn)) {
334 bn->neg = 1;
335 } else {
336 bn->neg = 0;
337 }
338}
339
Robert Sloan9254e682017-04-24 09:42:06 -0700340int bn_wexpand(BIGNUM *bn, size_t words) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800341 BN_ULONG *a;
342
Kenny Rootb8494592015-09-25 02:29:14 +0000343 if (words <= (size_t)bn->dmax) {
Robert Sloan9254e682017-04-24 09:42:06 -0700344 return 1;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800345 }
346
347 if (words > (INT_MAX / (4 * BN_BITS2))) {
Kenny Rootb8494592015-09-25 02:29:14 +0000348 OPENSSL_PUT_ERROR(BN, BN_R_BIGNUM_TOO_LONG);
Robert Sloan9254e682017-04-24 09:42:06 -0700349 return 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800350 }
351
352 if (bn->flags & BN_FLG_STATIC_DATA) {
Kenny Rootb8494592015-09-25 02:29:14 +0000353 OPENSSL_PUT_ERROR(BN, BN_R_EXPAND_ON_STATIC_BIGNUM_DATA);
Robert Sloan9254e682017-04-24 09:42:06 -0700354 return 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800355 }
356
David Benjamin4969cc92016-04-22 15:02:23 -0400357 a = OPENSSL_malloc(sizeof(BN_ULONG) * words);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800358 if (a == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +0000359 OPENSSL_PUT_ERROR(BN, ERR_R_MALLOC_FAILURE);
Robert Sloan9254e682017-04-24 09:42:06 -0700360 return 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800361 }
362
Robert Sloanab8b8882018-03-26 11:39:51 -0700363 OPENSSL_memcpy(a, bn->d, sizeof(BN_ULONG) * bn->width);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800364
Adam Langleye9ada862015-05-11 17:20:37 -0700365 OPENSSL_free(bn->d);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800366 bn->d = a;
Kenny Rootb8494592015-09-25 02:29:14 +0000367 bn->dmax = (int)words;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800368
Robert Sloan9254e682017-04-24 09:42:06 -0700369 return 1;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800370}
371
Robert Sloan9254e682017-04-24 09:42:06 -0700372int bn_expand(BIGNUM *bn, size_t bits) {
Kenny Rootb8494592015-09-25 02:29:14 +0000373 if (bits + BN_BITS2 - 1 < bits) {
374 OPENSSL_PUT_ERROR(BN, BN_R_BIGNUM_TOO_LONG);
Robert Sloan9254e682017-04-24 09:42:06 -0700375 return 0;
Kenny Rootb8494592015-09-25 02:29:14 +0000376 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800377 return bn_wexpand(bn, (bits+BN_BITS2-1)/BN_BITS2);
378}
379
Robert Sloan8542c082018-02-05 09:07:34 -0800380int bn_resize_words(BIGNUM *bn, size_t words) {
Robert Sloanab8b8882018-03-26 11:39:51 -0700381 if ((size_t)bn->width <= words) {
Robert Sloan8542c082018-02-05 09:07:34 -0800382 if (!bn_wexpand(bn, words)) {
383 return 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800384 }
Robert Sloanab8b8882018-03-26 11:39:51 -0700385 OPENSSL_memset(bn->d + bn->width, 0,
386 (words - bn->width) * sizeof(BN_ULONG));
387 bn->width = words;
Robert Sloan8542c082018-02-05 09:07:34 -0800388 return 1;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800389 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400390
Robert Sloan8542c082018-02-05 09:07:34 -0800391 // All words beyond the new width must be zero.
392 if (!bn_fits_in_words(bn, words)) {
393 OPENSSL_PUT_ERROR(BN, BN_R_BIGNUM_TOO_LONG);
394 return 0;
395 }
Robert Sloanab8b8882018-03-26 11:39:51 -0700396 bn->width = words;
Robert Sloan8542c082018-02-05 09:07:34 -0800397 return 1;
398}
399
Robert Sloanab8b8882018-03-26 11:39:51 -0700400void bn_select_words(BN_ULONG *r, BN_ULONG mask, const BN_ULONG *a,
401 const BN_ULONG *b, size_t num) {
402 for (size_t i = 0; i < num; i++) {
403 OPENSSL_COMPILE_ASSERT(sizeof(BN_ULONG) <= sizeof(crypto_word_t),
404 crypto_word_t_too_small);
405 r[i] = constant_time_select_w(mask, a[i], b[i]);
406 }
407}
408
Robert Sloan8542c082018-02-05 09:07:34 -0800409int bn_minimal_width(const BIGNUM *bn) {
Robert Sloanab8b8882018-03-26 11:39:51 -0700410 int ret = bn->width;
Robert Sloan8542c082018-02-05 09:07:34 -0800411 while (ret > 0 && bn->d[ret - 1] == 0) {
412 ret--;
413 }
414 return ret;
415}
416
Robert Sloanab8b8882018-03-26 11:39:51 -0700417void bn_set_minimal_width(BIGNUM *bn) {
418 bn->width = bn_minimal_width(bn);
419 if (bn->width == 0) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400420 bn->neg = 0;
421 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800422}