Bug Summary

File:out/../deps/openssl/openssl/crypto/des/cfb64ede.c
Warning:line 194, column 10
Although the value stored to 'v1' is used in the enclosing expression, the value is never actually read from 'v1'

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 cfb64ede.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/des/cfb64ede.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/*
11 * DES low level APIs are deprecated for public use, but still ok for internal
12 * use.
13 */
14#include "internal/deprecated.h"
15
16#include "des_local.h"
17
18/*
19 * The input and output encrypted as though 64bit cfb mode is being used.
20 * The extra state information to record how much of the 64bit block we have
21 * used is contained in *num;
22 */
23
24void DES_ede3_cfb64_encrypt(const unsigned char *in, unsigned char *out,
25 long length, DES_key_schedule *ks1,
26 DES_key_schedule *ks2, DES_key_schedule *ks3,
27 DES_cblock *ivec, int *num, int enc)
28{
29 register DES_LONG v0, v1;
30 register long l = length;
31 register int n = *num;
32 DES_LONG ti[2];
33 unsigned char *iv, c, cc;
34
35 iv = &(*ivec)[0];
36 if (enc) {
37 while (l--) {
38 if (n == 0) {
39 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
40 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
41
42 ti[0] = v0;
43 ti[1] = v1;
44 DES_encrypt3(ti, ks1, ks2, ks3);
45 v0 = ti[0];
46 v1 = ti[1];
47
48 iv = &(*ivec)[0];
49 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
50 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
51 iv = &(*ivec)[0];
52 }
53 c = *(in++) ^ iv[n];
54 *(out++) = c;
55 iv[n] = c;
56 n = (n + 1) & 0x07;
57 }
58 } else {
59 while (l--) {
60 if (n == 0) {
61 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
62 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
63
64 ti[0] = v0;
65 ti[1] = v1;
66 DES_encrypt3(ti, ks1, ks2, ks3);
67 v0 = ti[0];
68 v1 = ti[1];
69
70 iv = &(*ivec)[0];
71 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
72 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
73 iv = &(*ivec)[0];
74 }
75 cc = *(in++);
76 c = iv[n];
77 iv[n] = cc;
78 *(out++) = c ^ cc;
79 n = (n + 1) & 0x07;
80 }
81 }
82 v0 = v1 = ti[0] = ti[1] = c = cc = 0;
83 *num = n;
84}
85
86/*
87 * This is compatible with the single key CFB-r for DES, even thought that's
88 * not what EVP needs.
89 */
90
91void DES_ede3_cfb_encrypt(const unsigned char *in, unsigned char *out,
92 int numbits, long length, DES_key_schedule *ks1,
93 DES_key_schedule *ks2, DES_key_schedule *ks3,
94 DES_cblock *ivec, int enc)
95{
96 register DES_LONG d0, d1, v0, v1;
97 register unsigned long l = length, n = ((unsigned int)numbits + 7) / 8;
98 register int num = numbits, i;
99 DES_LONG ti[2];
100 unsigned char *iv;
101 unsigned char ovec[16];
102
103 if (num > 64)
104 return;
105 iv = &(*ivec)[0];
106 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
107 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
108 if (enc) {
109 while (l >= n) {
110 l -= n;
111 ti[0] = v0;
112 ti[1] = v1;
113 DES_encrypt3(ti, ks1, ks2, ks3);
114 c2ln(in, d0, d1, n){ in+=n; d0=d1=0; switch (n) { case 8: d1 =((DES_LONG)(*(--(in
))))<<24L; case 7: d1|=((DES_LONG)(*(--(in))))<<16L
; case 6: d1|=((DES_LONG)(*(--(in))))<< 8L; case 5: d1|=
((DES_LONG)(*(--(in)))); case 4: d0 =((DES_LONG)(*(--(in))))<<
24L; case 3: d0|=((DES_LONG)(*(--(in))))<<16L; case 2: d0
|=((DES_LONG)(*(--(in))))<< 8L; case 1: d0|=((DES_LONG)
(*(--(in)))); } };
115 in += n;
116 d0 ^= ti[0];
117 d1 ^= ti[1];
118 l2cn(d0, d1, out, n){ out+=n; switch (n) { case 8: *(--(out))=(unsigned char)(((d1
)>>24L)&0xff); case 7: *(--(out))=(unsigned char)((
(d1)>>16L)&0xff); case 6: *(--(out))=(unsigned char
)(((d1)>> 8L)&0xff); case 5: *(--(out))=(unsigned char
)(((d1) )&0xff); case 4: *(--(out))=(unsigned char)(((d0)
>>24L)&0xff); case 3: *(--(out))=(unsigned char)(((
d0)>>16L)&0xff); case 2: *(--(out))=(unsigned char)
(((d0)>> 8L)&0xff); case 1: *(--(out))=(unsigned char
)(((d0) )&0xff); } };
119 out += n;
120 /*
121 * 30-08-94 - eay - changed because l>>32 and l<<32 are bad under
122 * gcc :-(
123 */
124 if (num == 32) {
125 v0 = v1;
126 v1 = d0;
127 } else if (num == 64) {
128 v0 = d0;
129 v1 = d1;
130 } else {
131 iv = &ovec[0];
132 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
133 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
134 l2c(d0, iv)(*((iv)++)=(unsigned char)(((d0) )&0xff), *((iv)++)=(unsigned
char)(((d0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((d0)>>16L)&0xff), *((iv)++)=(unsigned char)(((d0)
>>24L)&0xff));
135 l2c(d1, iv)(*((iv)++)=(unsigned char)(((d1) )&0xff), *((iv)++)=(unsigned
char)(((d1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((d1)>>16L)&0xff), *((iv)++)=(unsigned char)(((d1)
>>24L)&0xff));
136 /* shift ovec left most of the bits... */
137 memmove(ovec, ovec + num / 8, 8 + (num % 8 ? 1 : 0));
138 /* now the remaining bits */
139 if (num % 8 != 0)
140 for (i = 0; i < 8; ++i) {
141 ovec[i] <<= num % 8;
142 ovec[i] |= ovec[i + 1] >> (8 - num % 8);
143 }
144 iv = &ovec[0];
145 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
146 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
147 }
148 }
149 } else {
150 while (l >= n) {
151 l -= n;
152 ti[0] = v0;
153 ti[1] = v1;
154 DES_encrypt3(ti, ks1, ks2, ks3);
155 c2ln(in, d0, d1, n){ in+=n; d0=d1=0; switch (n) { case 8: d1 =((DES_LONG)(*(--(in
))))<<24L; case 7: d1|=((DES_LONG)(*(--(in))))<<16L
; case 6: d1|=((DES_LONG)(*(--(in))))<< 8L; case 5: d1|=
((DES_LONG)(*(--(in)))); case 4: d0 =((DES_LONG)(*(--(in))))<<
24L; case 3: d0|=((DES_LONG)(*(--(in))))<<16L; case 2: d0
|=((DES_LONG)(*(--(in))))<< 8L; case 1: d0|=((DES_LONG)
(*(--(in)))); } };
156 in += n;
157 /*
158 * 30-08-94 - eay - changed because l>>32 and l<<32 are bad under
159 * gcc :-(
160 */
161 if (num == 32) {
162 v0 = v1;
163 v1 = d0;
164 } else if (num == 64) {
165 v0 = d0;
166 v1 = d1;
167 } else {
168 iv = &ovec[0];
169 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
170 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
171 l2c(d0, iv)(*((iv)++)=(unsigned char)(((d0) )&0xff), *((iv)++)=(unsigned
char)(((d0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((d0)>>16L)&0xff), *((iv)++)=(unsigned char)(((d0)
>>24L)&0xff));
172 l2c(d1, iv)(*((iv)++)=(unsigned char)(((d1) )&0xff), *((iv)++)=(unsigned
char)(((d1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((d1)>>16L)&0xff), *((iv)++)=(unsigned char)(((d1)
>>24L)&0xff));
173 /* shift ovec left most of the bits... */
174 memmove(ovec, ovec + num / 8, 8 + (num % 8 ? 1 : 0));
175 /* now the remaining bits */
176 if (num % 8 != 0)
177 for (i = 0; i < 8; ++i) {
178 ovec[i] <<= num % 8;
179 ovec[i] |= ovec[i + 1] >> (8 - num % 8);
180 }
181 iv = &ovec[0];
182 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
183 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
184 }
185 d0 ^= ti[0];
186 d1 ^= ti[1];
187 l2cn(d0, d1, out, n){ out+=n; switch (n) { case 8: *(--(out))=(unsigned char)(((d1
)>>24L)&0xff); case 7: *(--(out))=(unsigned char)((
(d1)>>16L)&0xff); case 6: *(--(out))=(unsigned char
)(((d1)>> 8L)&0xff); case 5: *(--(out))=(unsigned char
)(((d1) )&0xff); case 4: *(--(out))=(unsigned char)(((d0)
>>24L)&0xff); case 3: *(--(out))=(unsigned char)(((
d0)>>16L)&0xff); case 2: *(--(out))=(unsigned char)
(((d0)>> 8L)&0xff); case 1: *(--(out))=(unsigned char
)(((d0) )&0xff); } };
188 out += n;
189 }
190 }
191 iv = &(*ivec)[0];
192 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
193 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
194 v0 = v1 = d0 = d1 = ti[0] = ti[1] = 0;
Although the value stored to 'v1' is used in the enclosing expression, the value is never actually read from 'v1'
195}