]>
Commit | Line | Data |
---|---|---|
4f22f405 | 1 | /* |
c8147d37 | 2 | * Copyright 2000-2019 The OpenSSL Project Authors. All Rights Reserved. |
9b141126 | 3 | * |
367ace68 | 4 | * Licensed under the Apache License 2.0 (the "License"). You may not use |
4f22f405 RS |
5 | * this file except in compliance with the License. You can obtain a copy |
6 | * in the file LICENSE in the source distribution or at | |
7 | * https://www.openssl.org/source/license.html | |
9b141126 UM |
8 | */ |
9 | ||
6e810f2d | 10 | #include <openssl/trace.h> |
b39fc560 | 11 | #include "internal/cryptlib.h" |
c62b26fd | 12 | #include "bn_lcl.h" |
9b141126 | 13 | |
3a83462d MC |
14 | /*- |
15 | * TODO list | |
5c98b2ca GT |
16 | * |
17 | * 1. Check a bunch of "(words+1)" type hacks in various bignum functions and | |
18 | * check they can be safely removed. | |
5c98b2ca | 19 | * - Check +1 and other ugliness in BN_from_montgomery() |
5c98b2ca GT |
20 | * |
21 | * 2. Consider allowing a BN_new_ex() that, at least, lets you specify an | |
22 | * appropriate 'block' size that will be honoured by bn_expand_internal() to | |
23 | * prevent piddly little reallocations. OTOH, profiling bignum expansions in | |
24 | * BN_CTX doesn't show this to be a big issue. | |
25 | */ | |
26 | ||
27 | /* How many bignums are in each "pool item"; */ | |
0f113f3e | 28 | #define BN_CTX_POOL_SIZE 16 |
5c98b2ca | 29 | /* The stack frame info is resizing, set a first-time expansion size; */ |
0f113f3e | 30 | #define BN_CTX_START_FRAMES 32 |
5c98b2ca GT |
31 | |
32 | /***********/ | |
33 | /* BN_POOL */ | |
34 | /***********/ | |
35 | ||
36 | /* A bundle of bignums that can be linked with other bundles */ | |
0f113f3e MC |
37 | typedef struct bignum_pool_item { |
38 | /* The bignum values */ | |
39 | BIGNUM vals[BN_CTX_POOL_SIZE]; | |
40 | /* Linked-list admin */ | |
41 | struct bignum_pool_item *prev, *next; | |
42 | } BN_POOL_ITEM; | |
5c98b2ca | 43 | /* A linked-list of bignums grouped in bundles */ |
0f113f3e MC |
44 | typedef struct bignum_pool { |
45 | /* Linked-list admin */ | |
46 | BN_POOL_ITEM *head, *current, *tail; | |
47 | /* Stack depth and allocation size */ | |
48 | unsigned used, size; | |
49 | } BN_POOL; | |
50 | static void BN_POOL_init(BN_POOL *); | |
51 | static void BN_POOL_finish(BN_POOL *); | |
74924dcb | 52 | static BIGNUM *BN_POOL_get(BN_POOL *, int); |
0f113f3e | 53 | static void BN_POOL_release(BN_POOL *, unsigned int); |
5c98b2ca GT |
54 | |
55 | /************/ | |
56 | /* BN_STACK */ | |
57 | /************/ | |
58 | ||
59 | /* A wrapper to manage the "stack frames" */ | |
0f113f3e MC |
60 | typedef struct bignum_ctx_stack { |
61 | /* Array of indexes into the bignum stack */ | |
62 | unsigned int *indexes; | |
63 | /* Number of stack frames, and the size of the allocated array */ | |
64 | unsigned int depth, size; | |
65 | } BN_STACK; | |
66 | static void BN_STACK_init(BN_STACK *); | |
67 | static void BN_STACK_finish(BN_STACK *); | |
0f113f3e MC |
68 | static int BN_STACK_push(BN_STACK *, unsigned int); |
69 | static unsigned int BN_STACK_pop(BN_STACK *); | |
5c98b2ca GT |
70 | |
71 | /**********/ | |
72 | /* BN_CTX */ | |
73 | /**********/ | |
74 | ||
75 | /* The opaque BN_CTX type */ | |
0f113f3e MC |
76 | struct bignum_ctx { |
77 | /* The bignum bundles */ | |
78 | BN_POOL pool; | |
79 | /* The "stack frames", if you will */ | |
80 | BN_STACK stack; | |
81 | /* The number of bignums currently assigned */ | |
82 | unsigned int used; | |
83 | /* Depth of stack overflow */ | |
84 | int err_stack; | |
85 | /* Block "gets" until an "end" (compatibility behaviour) */ | |
86 | int too_many; | |
74924dcb RS |
87 | /* Flags. */ |
88 | int flags; | |
7bc081dd MC |
89 | /* The library context */ |
90 | OPENSSL_CTX *libctx; | |
0f113f3e | 91 | }; |
9b141126 | 92 | |
636b087e | 93 | #ifndef FIPS_MODE |
6e810f2d RL |
94 | /* Debugging functionality */ |
95 | static void ctxdbg(BIO *channel, const char *text, BN_CTX *ctx) | |
0f113f3e MC |
96 | { |
97 | unsigned int bnidx = 0, fpidx = 0; | |
98 | BN_POOL_ITEM *item = ctx->pool.head; | |
99 | BN_STACK *stack = &ctx->stack; | |
6e810f2d RL |
100 | |
101 | BIO_printf(channel, "%s\n", text); | |
102 | BIO_printf(channel, " (%16p): ", (void*)ctx); | |
0f113f3e | 103 | while (bnidx < ctx->used) { |
6e810f2d RL |
104 | BIO_printf(channel, "%03x ", |
105 | item->vals[bnidx++ % BN_CTX_POOL_SIZE].dmax); | |
0f113f3e MC |
106 | if (!(bnidx % BN_CTX_POOL_SIZE)) |
107 | item = item->next; | |
108 | } | |
6e810f2d | 109 | BIO_printf(channel, "\n"); |
0f113f3e | 110 | bnidx = 0; |
6e810f2d | 111 | BIO_printf(channel, " %16s : ", ""); |
0f113f3e MC |
112 | while (fpidx < stack->depth) { |
113 | while (bnidx++ < stack->indexes[fpidx]) | |
6e810f2d RL |
114 | BIO_printf(channel, " "); |
115 | BIO_printf(channel, "^^^ "); | |
0f113f3e MC |
116 | bnidx++; |
117 | fpidx++; | |
118 | } | |
6e810f2d | 119 | BIO_printf(channel, "\n"); |
0f113f3e MC |
120 | } |
121 | ||
636b087e | 122 | # define CTXDBG(str, ctx) \ |
6e810f2d RL |
123 | OSSL_TRACE_BEGIN(BN_CTX) { \ |
124 | ctxdbg(trc_out, str, ctx); \ | |
125 | } OSSL_TRACE_END(BN_CTX) | |
636b087e MC |
126 | #else |
127 | /* TODO(3.0): Consider if we want to do this in FIPS mode */ | |
128 | # define CTXDBG(str, ctx) do {} while(0) | |
129 | #endif /* FIPS_MODE */ | |
5c98b2ca | 130 | |
7bc081dd | 131 | BN_CTX *BN_CTX_new_ex(OPENSSL_CTX *ctx) |
0f113f3e | 132 | { |
74924dcb RS |
133 | BN_CTX *ret; |
134 | ||
64b25758 | 135 | if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL) { |
7bc081dd | 136 | BNerr(BN_F_BN_CTX_NEW_EX, ERR_R_MALLOC_FAILURE); |
0f113f3e MC |
137 | return NULL; |
138 | } | |
139 | /* Initialise the structure */ | |
140 | BN_POOL_init(&ret->pool); | |
141 | BN_STACK_init(&ret->stack); | |
7bc081dd | 142 | ret->libctx = ctx; |
74924dcb RS |
143 | return ret; |
144 | } | |
145 | ||
7bc081dd | 146 | BN_CTX *BN_CTX_new(void) |
74924dcb | 147 | { |
7bc081dd MC |
148 | return BN_CTX_new_ex(NULL); |
149 | } | |
150 | ||
151 | BN_CTX *BN_CTX_secure_new_ex(OPENSSL_CTX *ctx) | |
152 | { | |
153 | BN_CTX *ret = BN_CTX_new_ex(ctx); | |
74924dcb | 154 | |
90945fa3 | 155 | if (ret != NULL) |
74924dcb | 156 | ret->flags = BN_FLG_SECURE; |
0f113f3e MC |
157 | return ret; |
158 | } | |
2ce90b9b | 159 | |
7bc081dd MC |
160 | BN_CTX *BN_CTX_secure_new(void) |
161 | { | |
162 | return BN_CTX_secure_new_ex(NULL); | |
163 | } | |
164 | ||
9b141126 | 165 | void BN_CTX_free(BN_CTX *ctx) |
0f113f3e | 166 | { |
e6e9170d RS |
167 | if (ctx == NULL) |
168 | return; | |
aff96597 | 169 | #ifndef FIPS_MODE |
6e810f2d | 170 | OSSL_TRACE_BEGIN(BN_CTX) { |
0f113f3e | 171 | BN_POOL_ITEM *pool = ctx->pool.head; |
6e810f2d RL |
172 | BIO_printf(trc_out, |
173 | "BN_CTX_free(): stack-size=%d, pool-bignums=%d\n", | |
174 | ctx->stack.size, ctx->pool.size); | |
175 | BIO_printf(trc_out, " dmaxs: "); | |
0f113f3e MC |
176 | while (pool) { |
177 | unsigned loop = 0; | |
178 | while (loop < BN_CTX_POOL_SIZE) | |
6e810f2d | 179 | BIO_printf(trc_out, "%02x ", pool->vals[loop++].dmax); |
0f113f3e MC |
180 | pool = pool->next; |
181 | } | |
6e810f2d RL |
182 | BIO_printf(trc_out, "\n"); |
183 | } OSSL_TRACE_END(BN_CTX); | |
aff96597 | 184 | #endif |
0f113f3e MC |
185 | BN_STACK_finish(&ctx->stack); |
186 | BN_POOL_finish(&ctx->pool); | |
187 | OPENSSL_free(ctx); | |
188 | } | |
9b141126 UM |
189 | |
190 | void BN_CTX_start(BN_CTX *ctx) | |
0f113f3e | 191 | { |
6e810f2d | 192 | CTXDBG("ENTER BN_CTX_start()", ctx); |
0f113f3e MC |
193 | /* If we're already overflowing ... */ |
194 | if (ctx->err_stack || ctx->too_many) | |
195 | ctx->err_stack++; | |
196 | /* (Try to) get a new frame pointer */ | |
197 | else if (!BN_STACK_push(&ctx->stack, ctx->used)) { | |
198 | BNerr(BN_F_BN_CTX_START, BN_R_TOO_MANY_TEMPORARY_VARIABLES); | |
199 | ctx->err_stack++; | |
200 | } | |
6e810f2d | 201 | CTXDBG("LEAVE BN_CTX_start()", ctx); |
0f113f3e | 202 | } |
9b141126 | 203 | |
5c98b2ca | 204 | void BN_CTX_end(BN_CTX *ctx) |
0f113f3e | 205 | { |
ce1415ed SL |
206 | if (ctx == NULL) |
207 | return; | |
6e810f2d | 208 | CTXDBG("ENTER BN_CTX_end()", ctx); |
0f113f3e MC |
209 | if (ctx->err_stack) |
210 | ctx->err_stack--; | |
211 | else { | |
212 | unsigned int fp = BN_STACK_pop(&ctx->stack); | |
213 | /* Does this stack frame have anything to release? */ | |
214 | if (fp < ctx->used) | |
215 | BN_POOL_release(&ctx->pool, ctx->used - fp); | |
216 | ctx->used = fp; | |
217 | /* Unjam "too_many" in case "get" had failed */ | |
218 | ctx->too_many = 0; | |
219 | } | |
6e810f2d | 220 | CTXDBG("LEAVE BN_CTX_end()", ctx); |
0f113f3e | 221 | } |
7f7b8d68 | 222 | |
9b141126 | 223 | BIGNUM *BN_CTX_get(BN_CTX *ctx) |
0f113f3e MC |
224 | { |
225 | BIGNUM *ret; | |
74924dcb | 226 | |
6e810f2d | 227 | CTXDBG("ENTER BN_CTX_get()", ctx); |
0f113f3e MC |
228 | if (ctx->err_stack || ctx->too_many) |
229 | return NULL; | |
74924dcb | 230 | if ((ret = BN_POOL_get(&ctx->pool, ctx->flags)) == NULL) { |
0f113f3e MC |
231 | /* |
232 | * Setting too_many prevents repeated "get" attempts from cluttering | |
233 | * the error stack. | |
234 | */ | |
235 | ctx->too_many = 1; | |
236 | BNerr(BN_F_BN_CTX_GET, BN_R_TOO_MANY_TEMPORARY_VARIABLES); | |
237 | return NULL; | |
238 | } | |
239 | /* OK, make sure the returned bignum is "zero" */ | |
240 | BN_zero(ret); | |
c8147d37 NT |
241 | /* clear BN_FLG_CONSTTIME if leaked from previous frames */ |
242 | ret->flags &= (~BN_FLG_CONSTTIME); | |
0f113f3e | 243 | ctx->used++; |
6e810f2d | 244 | CTXDBG("LEAVE BN_CTX_get()", ctx); |
0f113f3e MC |
245 | return ret; |
246 | } | |
9b141126 | 247 | |
636b087e MC |
248 | OPENSSL_CTX *bn_get_lib_ctx(BN_CTX *ctx) |
249 | { | |
ee1d4f3d MC |
250 | if (ctx == NULL) |
251 | return NULL; | |
636b087e MC |
252 | return ctx->libctx; |
253 | } | |
254 | ||
5c98b2ca GT |
255 | /************/ |
256 | /* BN_STACK */ | |
257 | /************/ | |
258 | ||
259 | static void BN_STACK_init(BN_STACK *st) | |
0f113f3e MC |
260 | { |
261 | st->indexes = NULL; | |
262 | st->depth = st->size = 0; | |
263 | } | |
5c98b2ca GT |
264 | |
265 | static void BN_STACK_finish(BN_STACK *st) | |
0f113f3e | 266 | { |
74924dcb RS |
267 | OPENSSL_free(st->indexes); |
268 | st->indexes = NULL; | |
0f113f3e | 269 | } |
37e48b88 | 270 | |
5c98b2ca GT |
271 | |
272 | static int BN_STACK_push(BN_STACK *st, unsigned int idx) | |
0f113f3e | 273 | { |
74924dcb | 274 | if (st->depth == st->size) { |
0f113f3e | 275 | /* Need to expand */ |
74924dcb RS |
276 | unsigned int newsize = |
277 | st->size ? (st->size * 3 / 2) : BN_CTX_START_FRAMES; | |
cdb10bae | 278 | unsigned int *newitems; |
df443918 | 279 | |
cdb10bae RS |
280 | if ((newitems = OPENSSL_malloc(sizeof(*newitems) * newsize)) == NULL) { |
281 | BNerr(BN_F_BN_STACK_PUSH, ERR_R_MALLOC_FAILURE); | |
0f113f3e | 282 | return 0; |
cdb10bae | 283 | } |
0f113f3e | 284 | if (st->depth) |
74924dcb RS |
285 | memcpy(newitems, st->indexes, sizeof(*newitems) * st->depth); |
286 | OPENSSL_free(st->indexes); | |
0f113f3e MC |
287 | st->indexes = newitems; |
288 | st->size = newsize; | |
289 | } | |
290 | st->indexes[(st->depth)++] = idx; | |
291 | return 1; | |
292 | } | |
5c98b2ca GT |
293 | |
294 | static unsigned int BN_STACK_pop(BN_STACK *st) | |
0f113f3e MC |
295 | { |
296 | return st->indexes[--(st->depth)]; | |
297 | } | |
5c98b2ca GT |
298 | |
299 | /***********/ | |
300 | /* BN_POOL */ | |
301 | /***********/ | |
302 | ||
303 | static void BN_POOL_init(BN_POOL *p) | |
0f113f3e MC |
304 | { |
305 | p->head = p->current = p->tail = NULL; | |
306 | p->used = p->size = 0; | |
307 | } | |
5c98b2ca GT |
308 | |
309 | static void BN_POOL_finish(BN_POOL *p) | |
0f113f3e | 310 | { |
74924dcb RS |
311 | unsigned int loop; |
312 | BIGNUM *bn; | |
313 | ||
0f113f3e | 314 | while (p->head) { |
74924dcb | 315 | for (loop = 0, bn = p->head->vals; loop++ < BN_CTX_POOL_SIZE; bn++) |
0f113f3e MC |
316 | if (bn->d) |
317 | BN_clear_free(bn); | |
0f113f3e MC |
318 | p->current = p->head->next; |
319 | OPENSSL_free(p->head); | |
320 | p->head = p->current; | |
321 | } | |
322 | } | |
5c98b2ca | 323 | |
5c98b2ca | 324 | |
74924dcb | 325 | static BIGNUM *BN_POOL_get(BN_POOL *p, int flag) |
0f113f3e | 326 | { |
74924dcb RS |
327 | BIGNUM *bn; |
328 | unsigned int loop; | |
329 | ||
330 | /* Full; allocate a new pool item and link it in. */ | |
0f113f3e | 331 | if (p->used == p->size) { |
cdb10bae | 332 | BN_POOL_ITEM *item; |
df443918 | 333 | |
cdb10bae RS |
334 | if ((item = OPENSSL_malloc(sizeof(*item))) == NULL) { |
335 | BNerr(BN_F_BN_POOL_GET, ERR_R_MALLOC_FAILURE); | |
0f113f3e | 336 | return NULL; |
cdb10bae | 337 | } |
74924dcb | 338 | for (loop = 0, bn = item->vals; loop++ < BN_CTX_POOL_SIZE; bn++) { |
d59c7c81 | 339 | bn_init(bn); |
74924dcb RS |
340 | if ((flag & BN_FLG_SECURE) != 0) |
341 | BN_set_flags(bn, BN_FLG_SECURE); | |
342 | } | |
0f113f3e MC |
343 | item->prev = p->tail; |
344 | item->next = NULL; | |
74924dcb RS |
345 | |
346 | if (p->head == NULL) | |
0f113f3e MC |
347 | p->head = p->current = p->tail = item; |
348 | else { | |
349 | p->tail->next = item; | |
350 | p->tail = item; | |
351 | p->current = item; | |
352 | } | |
353 | p->size += BN_CTX_POOL_SIZE; | |
354 | p->used++; | |
355 | /* Return the first bignum from the new pool */ | |
356 | return item->vals; | |
357 | } | |
74924dcb | 358 | |
0f113f3e MC |
359 | if (!p->used) |
360 | p->current = p->head; | |
361 | else if ((p->used % BN_CTX_POOL_SIZE) == 0) | |
362 | p->current = p->current->next; | |
363 | return p->current->vals + ((p->used++) % BN_CTX_POOL_SIZE); | |
364 | } | |
5c98b2ca GT |
365 | |
366 | static void BN_POOL_release(BN_POOL *p, unsigned int num) | |
0f113f3e MC |
367 | { |
368 | unsigned int offset = (p->used - 1) % BN_CTX_POOL_SIZE; | |
74924dcb | 369 | |
0f113f3e MC |
370 | p->used -= num; |
371 | while (num--) { | |
372 | bn_check_top(p->current->vals + offset); | |
74924dcb | 373 | if (offset == 0) { |
0f113f3e MC |
374 | offset = BN_CTX_POOL_SIZE - 1; |
375 | p->current = p->current->prev; | |
376 | } else | |
377 | offset--; | |
378 | } | |
379 | } |