stack.c 11 KB

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