Bug Summary

File:out/../deps/openssl/openssl/crypto/bn/bn_conv.c
Warning:line 169, column 5
Value stored to 'm' is never read

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name bn_conv.c -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=all -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/home/maurizio/node-v18.6.0/out -resource-dir /usr/local/lib/clang/16.0.0 -D V8_DEPRECATION_WARNINGS -D V8_IMMINENT_DEPRECATION_WARNINGS -D _GLIBCXX_USE_CXX11_ABI=1 -D NODE_OPENSSL_CONF_NAME=nodejs_conf -D NODE_OPENSSL_HAS_QUIC -D __STDC_FORMAT_MACROS -D OPENSSL_NO_PINSHARED -D OPENSSL_THREADS -D OPENSSL_NO_HW -D OPENSSL_API_COMPAT=0x10100001L -D STATIC_LEGACY -D NDEBUG -D OPENSSL_USE_NODELETE -D L_ENDIAN -D OPENSSL_BUILDING_OPENSSL -D AES_ASM -D BSAES_ASM -D CMLL_ASM -D ECP_NISTZ256_ASM -D GHASH_ASM -D KECCAK1600_ASM -D MD5_ASM -D OPENSSL_BN_ASM_GF2m -D OPENSSL_BN_ASM_MONT -D OPENSSL_BN_ASM_MONT5 -D OPENSSL_CPUID_OBJ -D OPENSSL_IA32_SSE2 -D PADLOCK_ASM -D POLY1305_ASM -D SHA1_ASM -D SHA256_ASM -D SHA512_ASM -D VPAES_ASM -D WHIRLPOOL_ASM -D X25519_ASM -D OPENSSL_PIC -D MODULESDIR="/home/maurizio/node-v18.6.0/out/Release/obj.target/deps/openssl/lib/openssl-modules" -D OPENSSLDIR="/home/maurizio/node-v18.6.0/out/Release/obj.target/deps/openssl" -D OPENSSLDIR="/etc/ssl" -D ENGINESDIR="/dev/null" -D TERMIOS -I ../deps/openssl/openssl -I ../deps/openssl/openssl/include -I ../deps/openssl/openssl/crypto -I ../deps/openssl/openssl/crypto/include -I ../deps/openssl/openssl/crypto/modes -I ../deps/openssl/openssl/crypto/ec/curve448 -I ../deps/openssl/openssl/crypto/ec/curve448/arch_32 -I ../deps/openssl/openssl/providers/common/include -I ../deps/openssl/openssl/providers/implementations/include -I ../deps/openssl/config -I ../deps/openssl/config/archs/linux-x86_64/asm -I ../deps/openssl/config/archs/linux-x86_64/asm/include -I ../deps/openssl/config/archs/linux-x86_64/asm/crypto -I ../deps/openssl/config/archs/linux-x86_64/asm/crypto/include/internal -I ../deps/openssl/config/archs/linux-x86_64/asm/providers/common/include -internal-isystem /usr/local/lib/clang/16.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-redhat-linux/8/../../../../x86_64-redhat-linux/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -O3 -Wno-unused-parameter -Wno-missing-field-initializers -Wno-old-style-declaration -fdebug-compilation-dir=/home/maurizio/node-v18.6.0/out -ferror-limit 19 -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/scan-build-2022-08-22-142216-507842-1 -x c ../deps/openssl/openssl/crypto/bn/bn_conv.c
1/*
2 * Copyright 1995-2020 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 <openssl/err.h>
11#include "crypto/ctype.h"
12#include "bn_local.h"
13
14static const char Hex[] = "0123456789ABCDEF";
15
16/* Must 'OPENSSL_free' the returned data */
17char *BN_bn2hex(const BIGNUM *a)
18{
19 int i, j, v, z = 0;
20 char *buf;
21 char *p;
22
23 if (BN_is_zero(a))
24 return OPENSSL_strdup("0")CRYPTO_strdup("0", "../deps/openssl/openssl/crypto/bn/bn_conv.c"
, 24)
;
25 buf = OPENSSL_malloc(a->top * BN_BYTES * 2 + 2)CRYPTO_malloc(a->top * 8 * 2 + 2, "../deps/openssl/openssl/crypto/bn/bn_conv.c"
, 25)
;
26 if (buf == NULL((void*)0)) {
27 ERR_raise(ERR_LIB_BN, ERR_R_MALLOC_FAILURE)(ERR_new(), ERR_set_debug("../deps/openssl/openssl/crypto/bn/bn_conv.c"
,27,__func__), ERR_set_error)((3),((256|((0x1 << 18L)|(
0x2 << 18L)))),((void*)0))
;
28 goto err;
29 }
30 p = buf;
31 if (a->neg)
32 *p++ = '-';
33 for (i = a->top - 1; i >= 0; i--) {
34 for (j = BN_BITS2(8 * 8) - 8; j >= 0; j -= 8) {
35 /* strip leading zeros */
36 v = (int)((a->d[i] >> j) & 0xff);
37 if (z || v != 0) {
38 *p++ = Hex[v >> 4];
39 *p++ = Hex[v & 0x0f];
40 z = 1;
41 }
42 }
43 }
44 *p = '\0';
45 err:
46 return buf;
47}
48
49#ifndef FIPS_MODULE
50/* No BIO_snprintf in FIPS_MODULE */
51/* Must 'OPENSSL_free' the returned data */
52char *BN_bn2dec(const BIGNUM *a)
53{
54 int i = 0, num, ok = 0, n, tbytes;
55 char *buf = NULL((void*)0);
56 char *p;
57 BIGNUM *t = NULL((void*)0);
58 BN_ULONGunsigned long *bn_data = NULL((void*)0), *lp;
59 int bn_data_num;
60
61 /*-
62 * get an upper bound for the length of the decimal integer
63 * num <= (BN_num_bits(a) + 1) * log(2)
64 * <= 3 * BN_num_bits(a) * 0.101 + log(2) + 1 (rounding error)
65 * <= 3 * BN_num_bits(a) / 10 + 3 * BN_num_bits / 1000 + 1 + 1
66 */
67 i = BN_num_bits(a) * 3;
68 num = (i / 10 + i / 1000 + 1) + 1;
69 tbytes = num + 3; /* negative and terminator and one spare? */
70 bn_data_num = num / BN_DEC_NUM19 + 1;
71 bn_data = OPENSSL_malloc(bn_data_num * sizeof(BN_ULONG))CRYPTO_malloc(bn_data_num * sizeof(unsigned long), "../deps/openssl/openssl/crypto/bn/bn_conv.c"
, 71)
;
72 buf = OPENSSL_malloc(tbytes)CRYPTO_malloc(tbytes, "../deps/openssl/openssl/crypto/bn/bn_conv.c"
, 72)
;
73 if (buf == NULL((void*)0) || bn_data == NULL((void*)0)) {
74 ERR_raise(ERR_LIB_BN, ERR_R_MALLOC_FAILURE)(ERR_new(), ERR_set_debug("../deps/openssl/openssl/crypto/bn/bn_conv.c"
,74,__func__), ERR_set_error)((3),((256|((0x1 << 18L)|(
0x2 << 18L)))),((void*)0))
;
75 goto err;
76 }
77 if ((t = BN_dup(a)) == NULL((void*)0))
78 goto err;
79
80 p = buf;
81 lp = bn_data;
82 if (BN_is_zero(t)) {
83 *p++ = '0';
84 *p++ = '\0';
85 } else {
86 if (BN_is_negative(t))
87 *p++ = '-';
88
89 while (!BN_is_zero(t)) {
90 if (lp - bn_data >= bn_data_num)
91 goto err;
92 *lp = BN_div_word(t, BN_DEC_CONV(10000000000000000000UL));
93 if (*lp == (BN_ULONGunsigned long)-1)
94 goto err;
95 lp++;
96 }
97 lp--;
98 /*
99 * We now have a series of blocks, BN_DEC_NUM chars in length, where
100 * the last one needs truncation. The blocks need to be reversed in
101 * order.
102 */
103 n = BIO_snprintf(p, tbytes - (size_t)(p - buf), BN_DEC_FMT1"%lu", *lp);
104 if (n < 0)
105 goto err;
106 p += n;
107 while (lp != bn_data) {
108 lp--;
109 n = BIO_snprintf(p, tbytes - (size_t)(p - buf), BN_DEC_FMT2"%019lu", *lp);
110 if (n < 0)
111 goto err;
112 p += n;
113 }
114 }
115 ok = 1;
116 err:
117 OPENSSL_free(bn_data)CRYPTO_free(bn_data, "../deps/openssl/openssl/crypto/bn/bn_conv.c"
, 117)
;
118 BN_free(t);
119 if (ok)
120 return buf;
121 OPENSSL_free(buf)CRYPTO_free(buf, "../deps/openssl/openssl/crypto/bn/bn_conv.c"
, 121)
;
122 return NULL((void*)0);
123}
124#endif
125
126int BN_hex2bn(BIGNUM **bn, const char *a)
127{
128 BIGNUM *ret = NULL((void*)0);
129 BN_ULONGunsigned long l = 0;
130 int neg = 0, h, m, i, j, k, c;
131 int num;
132
133 if (a == NULL((void*)0) || *a == '\0')
134 return 0;
135
136 if (*a == '-') {
137 neg = 1;
138 a++;
139 }
140
141 for (i = 0; i <= INT_MAX2147483647 / 4 && ossl_isxdigit(a[i])(ossl_ctype_check((a[i]), 0x10)); i++)
142 continue;
143
144 if (i == 0 || i > INT_MAX2147483647 / 4)
145 return 0;
146
147 num = i + neg;
148 if (bn == NULL((void*)0))
149 return num;
150
151 /* a is the start of the hex digits, and it is 'i' long */
152 if (*bn == NULL((void*)0)) {
153 if ((ret = BN_new()) == NULL((void*)0))
154 return 0;
155 } else {
156 ret = *bn;
157 if (BN_get_flags(ret, BN_FLG_STATIC_DATA0x02)) {
158 ERR_raise(ERR_LIB_BN, ERR_R_PASSED_INVALID_ARGUMENT)(ERR_new(), ERR_set_debug("../deps/openssl/openssl/crypto/bn/bn_conv.c"
,158,__func__), ERR_set_error)((3),((262|(0x2 << 18L)))
,((void*)0))
;
159 return 0;
160 }
161 BN_zero(ret)BN_zero_ex(ret);
162 }
163
164 /* i is the number of hex digits */
165 if (bn_expand(ret, i * 4) == NULL((void*)0))
166 goto err;
167
168 j = i; /* least significant 'hex' */
169 m = 0;
Value stored to 'm' is never read
170 h = 0;
171 while (j > 0) {
172 m = (BN_BYTES8 * 2 <= j) ? BN_BYTES8 * 2 : j;
173 l = 0;
174 for (;;) {
175 c = a[j - m];
176 k = OPENSSL_hexchar2int(c);
177 if (k < 0)
178 k = 0; /* paranoia */
179 l = (l << 4) | k;
180
181 if (--m <= 0) {
182 ret->d[h++] = l;
183 break;
184 }
185 }
186 j -= BN_BYTES8 * 2;
187 }
188 ret->top = h;
189 bn_correct_top(ret);
190
191 *bn = ret;
192 bn_check_top(ret);
193 /* Don't set the negative flag if it's zero. */
194 if (ret->top != 0)
195 ret->neg = neg;
196 return num;
197 err:
198 if (*bn == NULL((void*)0))
199 BN_free(ret);
200 return 0;
201}
202
203int BN_dec2bn(BIGNUM **bn, const char *a)
204{
205 BIGNUM *ret = NULL((void*)0);
206 BN_ULONGunsigned long l = 0;
207 int neg = 0, i, j;
208 int num;
209
210 if (a == NULL((void*)0) || *a == '\0')
211 return 0;
212 if (*a == '-') {
213 neg = 1;
214 a++;
215 }
216
217 for (i = 0; i <= INT_MAX2147483647 / 4 && ossl_isdigit(a[i]); i++)
218 continue;
219
220 if (i == 0 || i > INT_MAX2147483647 / 4)
221 goto err;
222
223 num = i + neg;
224 if (bn == NULL((void*)0))
225 return num;
226
227 /*
228 * a is the start of the digits, and it is 'i' long. We chop it into
229 * BN_DEC_NUM digits at a time
230 */
231 if (*bn == NULL((void*)0)) {
232 if ((ret = BN_new()) == NULL((void*)0))
233 return 0;
234 } else {
235 ret = *bn;
236 BN_zero(ret)BN_zero_ex(ret);
237 }
238
239 /* i is the number of digits, a bit of an over expand */
240 if (bn_expand(ret, i * 4) == NULL((void*)0))
241 goto err;
242
243 j = BN_DEC_NUM19 - i % BN_DEC_NUM19;
244 if (j == BN_DEC_NUM19)
245 j = 0;
246 l = 0;
247 while (--i >= 0) {
248 l *= 10;
249 l += *a - '0';
250 a++;
251 if (++j == BN_DEC_NUM19) {
252 if (!BN_mul_word(ret, BN_DEC_CONV(10000000000000000000UL))
253 || !BN_add_word(ret, l))
254 goto err;
255 l = 0;
256 j = 0;
257 }
258 }
259
260 bn_correct_top(ret);
261 *bn = ret;
262 bn_check_top(ret);
263 /* Don't set the negative flag if it's zero. */
264 if (ret->top != 0)
265 ret->neg = neg;
266 return num;
267 err:
268 if (*bn == NULL((void*)0))
269 BN_free(ret);
270 return 0;
271}
272
273int BN_asc2bn(BIGNUM **bn, const char *a)
274{
275 const char *p = a;
276
277 if (*p == '-')
278 p++;
279
280 if (p[0] == '0' && (p[1] == 'X' || p[1] == 'x')) {
281 if (!BN_hex2bn(bn, p + 2))
282 return 0;
283 } else {
284 if (!BN_dec2bn(bn, p))
285 return 0;
286 }
287 /* Don't set the negative flag if it's zero. */
288 if (*a == '-' && (*bn)->top != 0)
289 (*bn)->neg = 1;
290 return 1;
291}