1 /*
2 * Copyright 1995-2024 The OpenSSL Project Authors. All Rights Reserved.
3 *
4 * Licensed under the Apache License 2.0 (the "License"). You may not use
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
8 */
9
10 #include <stdio.h>
11 #include "internal/cryptlib.h"
12 #include "internal/numbers.h"
13 #include "internal/safe_math.h"
14 #include <openssl/stack.h>
15 #include <errno.h>
16 #include <openssl/e_os2.h> /* For ossl_inline */
17
18 OSSL_SAFE_MATH_SIGNED(int, int)
19
20 /*
21 * The initial number of nodes in the array.
22 */
23 static const int min_nodes = 4;
24 static const int max_nodes = SIZE_MAX / sizeof(void *) < INT_MAX
25 ? (int)(SIZE_MAX / sizeof(void *))
26 : INT_MAX;
27
28 struct stack_st {
29 int num;
30 const void **data;
31 int sorted;
32 int num_alloc;
33 OPENSSL_sk_compfunc comp;
34 };
35
OPENSSL_sk_set_cmp_func(OPENSSL_STACK * sk,OPENSSL_sk_compfunc c)36 OPENSSL_sk_compfunc OPENSSL_sk_set_cmp_func(OPENSSL_STACK *sk,
37 OPENSSL_sk_compfunc c)
38 {
39 OPENSSL_sk_compfunc old = sk->comp;
40
41 if (sk->comp != c)
42 sk->sorted = 0;
43 sk->comp = c;
44
45 return old;
46 }
47
OPENSSL_sk_dup(const OPENSSL_STACK * sk)48 OPENSSL_STACK *OPENSSL_sk_dup(const OPENSSL_STACK *sk)
49 {
50 OPENSSL_STACK *ret;
51
52 if ((ret = OPENSSL_malloc(sizeof(*ret))) == NULL)
53 goto err;
54
55 if (sk == NULL) {
56 ret->num = 0;
57 ret->sorted = 0;
58 ret->comp = NULL;
59 } else {
60 /* direct structure assignment */
61 *ret = *sk;
62 }
63
64 if (sk == NULL || sk->num == 0) {
65 /* postpone |ret->data| allocation */
66 ret->data = NULL;
67 ret->num_alloc = 0;
68 return ret;
69 }
70
71 /* duplicate |sk->data| content */
72 ret->data = OPENSSL_malloc(sizeof(*ret->data) * sk->num_alloc);
73 if (ret->data == NULL)
74 goto err;
75 memcpy(ret->data, sk->data, sizeof(void *) * sk->num);
76 return ret;
77
78 err:
79 OPENSSL_sk_free(ret);
80 return NULL;
81 }
82
OPENSSL_sk_deep_copy(const OPENSSL_STACK * sk,OPENSSL_sk_copyfunc copy_func,OPENSSL_sk_freefunc free_func)83 OPENSSL_STACK *OPENSSL_sk_deep_copy(const OPENSSL_STACK *sk,
84 OPENSSL_sk_copyfunc copy_func,
85 OPENSSL_sk_freefunc free_func)
86 {
87 OPENSSL_STACK *ret;
88 int i;
89
90 if ((ret = OPENSSL_malloc(sizeof(*ret))) == NULL)
91 goto err;
92
93 if (sk == NULL) {
94 ret->num = 0;
95 ret->sorted = 0;
96 ret->comp = NULL;
97 } else {
98 /* direct structure assignment */
99 *ret = *sk;
100 }
101
102 if (sk == NULL || sk->num == 0) {
103 /* postpone |ret| data allocation */
104 ret->data = NULL;
105 ret->num_alloc = 0;
106 return ret;
107 }
108
109 ret->num_alloc = sk->num > min_nodes ? sk->num : min_nodes;
110 ret->data = OPENSSL_zalloc(sizeof(*ret->data) * ret->num_alloc);
111 if (ret->data == NULL)
112 goto err;
113
114 for (i = 0; i < ret->num; ++i) {
115 if (sk->data[i] == NULL)
116 continue;
117 if ((ret->data[i] = copy_func(sk->data[i])) == NULL) {
118 while (--i >= 0)
119 if (ret->data[i] != NULL)
120 free_func((void *)ret->data[i]);
121 goto err;
122 }
123 }
124 return ret;
125
126 err:
127 OPENSSL_sk_free(ret);
128 return NULL;
129 }
130
OPENSSL_sk_new_null(void)131 OPENSSL_STACK *OPENSSL_sk_new_null(void)
132 {
133 return OPENSSL_sk_new_reserve(NULL, 0);
134 }
135
OPENSSL_sk_new(OPENSSL_sk_compfunc c)136 OPENSSL_STACK *OPENSSL_sk_new(OPENSSL_sk_compfunc c)
137 {
138 return OPENSSL_sk_new_reserve(c, 0);
139 }
140
141 /*
142 * Calculate the array growth based on the target size.
143 *
144 * The growth factor is a rational number and is defined by a numerator
145 * and a denominator. According to Andrew Koenig in his paper "Why Are
146 * Vectors Efficient?" from JOOP 11(5) 1998, this factor should be less
147 * than the golden ratio (1.618...).
148 *
149 * Considering only the Fibonacci ratios less than the golden ratio, the
150 * number of steps from the minimum allocation to integer overflow is:
151 * factor decimal growths
152 * 3/2 1.5 51
153 * 8/5 1.6 45
154 * 21/13 1.615... 44
155 *
156 * All larger factors have the same number of growths.
157 *
158 * 3/2 and 8/5 have nice power of two shifts, so seem like a good choice.
159 */
compute_growth(int target,int current)160 static ossl_inline int compute_growth(int target, int current)
161 {
162 int err = 0;
163
164 while (current < target) {
165 if (current >= max_nodes)
166 return 0;
167
168 current = safe_muldiv_int(current, 8, 5, &err);
169 if (err != 0)
170 return 0;
171 if (current >= max_nodes)
172 current = max_nodes;
173 }
174 return current;
175 }
176
177 /* internal STACK storage allocation */
sk_reserve(OPENSSL_STACK * st,int n,int exact)178 static int sk_reserve(OPENSSL_STACK *st, int n, int exact)
179 {
180 const void **tmpdata;
181 int num_alloc;
182
183 /* Check to see the reservation isn't exceeding the hard limit */
184 if (n > max_nodes - st->num) {
185 ERR_raise(ERR_LIB_CRYPTO, CRYPTO_R_TOO_MANY_RECORDS);
186 return 0;
187 }
188
189 /* Figure out the new size */
190 num_alloc = st->num + n;
191 if (num_alloc < min_nodes)
192 num_alloc = min_nodes;
193
194 /* If |st->data| allocation was postponed */
195 if (st->data == NULL) {
196 /*
197 * At this point, |st->num_alloc| and |st->num| are 0;
198 * so |num_alloc| value is |n| or |min_nodes| if greater than |n|.
199 */
200 if ((st->data = OPENSSL_zalloc(sizeof(void *) * num_alloc)) == NULL)
201 return 0;
202 st->num_alloc = num_alloc;
203 return 1;
204 }
205
206 if (!exact) {
207 if (num_alloc <= st->num_alloc)
208 return 1;
209 num_alloc = compute_growth(num_alloc, st->num_alloc);
210 if (num_alloc == 0) {
211 ERR_raise(ERR_LIB_CRYPTO, CRYPTO_R_TOO_MANY_RECORDS);
212 return 0;
213 }
214 } else if (num_alloc == st->num_alloc) {
215 return 1;
216 }
217
218 tmpdata = OPENSSL_realloc((void *)st->data, sizeof(void *) * num_alloc);
219 if (tmpdata == NULL)
220 return 0;
221
222 st->data = tmpdata;
223 st->num_alloc = num_alloc;
224 return 1;
225 }
226
OPENSSL_sk_new_reserve(OPENSSL_sk_compfunc c,int n)227 OPENSSL_STACK *OPENSSL_sk_new_reserve(OPENSSL_sk_compfunc c, int n)
228 {
229 OPENSSL_STACK *st = OPENSSL_zalloc(sizeof(OPENSSL_STACK));
230
231 if (st == NULL)
232 return NULL;
233
234 st->comp = c;
235
236 if (n <= 0)
237 return st;
238
239 if (!sk_reserve(st, n, 1)) {
240 OPENSSL_sk_free(st);
241 return NULL;
242 }
243
244 return st;
245 }
246
OPENSSL_sk_reserve(OPENSSL_STACK * st,int n)247 int OPENSSL_sk_reserve(OPENSSL_STACK *st, int n)
248 {
249 if (st == NULL) {
250 ERR_raise(ERR_LIB_CRYPTO, ERR_R_PASSED_NULL_PARAMETER);
251 return 0;
252 }
253
254 if (n < 0)
255 return 1;
256 return sk_reserve(st, n, 1);
257 }
258
OPENSSL_sk_insert(OPENSSL_STACK * st,const void * data,int loc)259 int OPENSSL_sk_insert(OPENSSL_STACK *st, const void *data, int loc)
260 {
261 if (st == NULL) {
262 ERR_raise(ERR_LIB_CRYPTO, ERR_R_PASSED_NULL_PARAMETER);
263 return 0;
264 }
265 if (st->num == max_nodes) {
266 ERR_raise(ERR_LIB_CRYPTO, CRYPTO_R_TOO_MANY_RECORDS);
267 return 0;
268 }
269
270 if (!sk_reserve(st, 1, 0))
271 return 0;
272
273 if ((loc >= st->num) || (loc < 0)) {
274 st->data[st->num] = data;
275 } else {
276 memmove(&st->data[loc + 1], &st->data[loc],
277 sizeof(st->data[0]) * (st->num - loc));
278 st->data[loc] = data;
279 }
280 st->num++;
281 st->sorted = 0;
282 return st->num;
283 }
284
internal_delete(OPENSSL_STACK * st,int loc)285 static ossl_inline void *internal_delete(OPENSSL_STACK *st, int loc)
286 {
287 const void *ret = st->data[loc];
288
289 if (loc != st->num - 1)
290 memmove(&st->data[loc], &st->data[loc + 1],
291 sizeof(st->data[0]) * (st->num - loc - 1));
292 st->num--;
293
294 return (void *)ret;
295 }
296
OPENSSL_sk_delete_ptr(OPENSSL_STACK * st,const void * p)297 void *OPENSSL_sk_delete_ptr(OPENSSL_STACK *st, const void *p)
298 {
299 int i;
300
301 if (st == NULL)
302 return NULL;
303
304 for (i = 0; i < st->num; i++)
305 if (st->data[i] == p)
306 return internal_delete(st, i);
307 return NULL;
308 }
309
OPENSSL_sk_delete(OPENSSL_STACK * st,int loc)310 void *OPENSSL_sk_delete(OPENSSL_STACK *st, int loc)
311 {
312 if (st == NULL || loc < 0 || loc >= st->num)
313 return NULL;
314
315 return internal_delete(st, loc);
316 }
317
internal_find(OPENSSL_STACK * st,const void * data,int ret_val_options,int * pnum_matched)318 static int internal_find(OPENSSL_STACK *st, const void *data,
319 int ret_val_options, int *pnum_matched)
320 {
321 const void *r;
322 int i, count = 0;
323 int *pnum = pnum_matched;
324
325 if (st == NULL || st->num == 0)
326 return -1;
327
328 if (pnum == NULL)
329 pnum = &count;
330
331 if (st->comp == NULL) {
332 for (i = 0; i < st->num; i++)
333 if (st->data[i] == data) {
334 *pnum = 1;
335 return i;
336 }
337 *pnum = 0;
338 return -1;
339 }
340
341 if (data == NULL)
342 return -1;
343
344 if (!st->sorted) {
345 int res = -1;
346
347 for (i = 0; i < st->num; i++)
348 if (st->comp(&data, st->data + i) == 0) {
349 if (res == -1)
350 res = i;
351 ++*pnum;
352 /* Check if only one result is wanted and exit if so */
353 if (pnum_matched == NULL)
354 return i;
355 }
356 if (res == -1)
357 *pnum = 0;
358 return res;
359 }
360
361 if (pnum_matched != NULL)
362 ret_val_options |= OSSL_BSEARCH_FIRST_VALUE_ON_MATCH;
363 r = ossl_bsearch(&data, st->data, st->num, sizeof(void *), st->comp,
364 ret_val_options);
365
366 if (pnum_matched != NULL) {
367 *pnum = 0;
368 if (r != NULL) {
369 const void **p = (const void **)r;
370
371 while (p < st->data + st->num) {
372 if (st->comp(&data, p) != 0)
373 break;
374 ++*pnum;
375 ++p;
376 }
377 }
378 }
379
380 return r == NULL ? -1 : (int)((const void **)r - st->data);
381 }
382
OPENSSL_sk_find(OPENSSL_STACK * st,const void * data)383 int OPENSSL_sk_find(OPENSSL_STACK *st, const void *data)
384 {
385 return internal_find(st, data, OSSL_BSEARCH_FIRST_VALUE_ON_MATCH, NULL);
386 }
387
OPENSSL_sk_find_ex(OPENSSL_STACK * st,const void * data)388 int OPENSSL_sk_find_ex(OPENSSL_STACK *st, const void *data)
389 {
390 return internal_find(st, data, OSSL_BSEARCH_VALUE_ON_NOMATCH, NULL);
391 }
392
OPENSSL_sk_find_all(OPENSSL_STACK * st,const void * data,int * pnum)393 int OPENSSL_sk_find_all(OPENSSL_STACK *st, const void *data, int *pnum)
394 {
395 return internal_find(st, data, OSSL_BSEARCH_FIRST_VALUE_ON_MATCH, pnum);
396 }
397
OPENSSL_sk_push(OPENSSL_STACK * st,const void * data)398 int OPENSSL_sk_push(OPENSSL_STACK *st, const void *data)
399 {
400 if (st == NULL)
401 return 0;
402 return OPENSSL_sk_insert(st, data, st->num);
403 }
404
OPENSSL_sk_unshift(OPENSSL_STACK * st,const void * data)405 int OPENSSL_sk_unshift(OPENSSL_STACK *st, const void *data)
406 {
407 return OPENSSL_sk_insert(st, data, 0);
408 }
409
OPENSSL_sk_shift(OPENSSL_STACK * st)410 void *OPENSSL_sk_shift(OPENSSL_STACK *st)
411 {
412 if (st == NULL || st->num == 0)
413 return NULL;
414 return internal_delete(st, 0);
415 }
416
OPENSSL_sk_pop(OPENSSL_STACK * st)417 void *OPENSSL_sk_pop(OPENSSL_STACK *st)
418 {
419 if (st == NULL || st->num == 0)
420 return NULL;
421 return internal_delete(st, st->num - 1);
422 }
423
OPENSSL_sk_zero(OPENSSL_STACK * st)424 void OPENSSL_sk_zero(OPENSSL_STACK *st)
425 {
426 if (st == NULL || st->num == 0)
427 return;
428 memset(st->data, 0, sizeof(*st->data) * st->num);
429 st->num = 0;
430 }
431
OPENSSL_sk_pop_free(OPENSSL_STACK * st,OPENSSL_sk_freefunc func)432 void OPENSSL_sk_pop_free(OPENSSL_STACK *st, OPENSSL_sk_freefunc func)
433 {
434 int i;
435
436 if (st == NULL)
437 return;
438 for (i = 0; i < st->num; i++)
439 if (st->data[i] != NULL)
440 func((char *)st->data[i]);
441 OPENSSL_sk_free(st);
442 }
443
OPENSSL_sk_free(OPENSSL_STACK * st)444 void OPENSSL_sk_free(OPENSSL_STACK *st)
445 {
446 if (st == NULL)
447 return;
448 OPENSSL_free(st->data);
449 OPENSSL_free(st);
450 }
451
OPENSSL_sk_num(const OPENSSL_STACK * st)452 int OPENSSL_sk_num(const OPENSSL_STACK *st)
453 {
454 return st == NULL ? -1 : st->num;
455 }
456
OPENSSL_sk_value(const OPENSSL_STACK * st,int i)457 void *OPENSSL_sk_value(const OPENSSL_STACK *st, int i)
458 {
459 if (st == NULL || i < 0 || i >= st->num)
460 return NULL;
461 return (void *)st->data[i];
462 }
463
OPENSSL_sk_set(OPENSSL_STACK * st,int i,const void * data)464 void *OPENSSL_sk_set(OPENSSL_STACK *st, int i, const void *data)
465 {
466 if (st == NULL) {
467 ERR_raise(ERR_LIB_CRYPTO, ERR_R_PASSED_NULL_PARAMETER);
468 return NULL;
469 }
470 if (i < 0 || i >= st->num) {
471 ERR_raise_data(ERR_LIB_CRYPTO, ERR_R_PASSED_INVALID_ARGUMENT,
472 "i=%d", i);
473 return NULL;
474 }
475 st->data[i] = data;
476 st->sorted = 0;
477 return (void *)st->data[i];
478 }
479
OPENSSL_sk_sort(OPENSSL_STACK * st)480 void OPENSSL_sk_sort(OPENSSL_STACK *st)
481 {
482 if (st != NULL && !st->sorted && st->comp != NULL) {
483 if (st->num > 1)
484 qsort(st->data, st->num, sizeof(void *), st->comp);
485 st->sorted = 1; /* empty or single-element stack is considered sorted */
486 }
487 }
488
OPENSSL_sk_is_sorted(const OPENSSL_STACK * st)489 int OPENSSL_sk_is_sorted(const OPENSSL_STACK *st)
490 {
491 return st == NULL ? 1 : st->sorted;
492 }
493