Bug Summary

File:src/lib/libcrypto/des/cfb64ede.c
Warning:line 242, column 11
Although the value stored to 'd1' is used in the enclosing expression, the value is never actually read from 'd1'

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name cfb64ede.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -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 1 -fhalf-no-semantic-interposition -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/lib/libcrypto/obj -resource-dir /usr/local/lib/clang/13.0.0 -D LIBRESSL_INTERNAL -D LIBRESSL_CRYPTO_INTERNAL -D DSO_DLFCN -D HAVE_DLFCN_H -D HAVE_FUNOPEN -D OPENSSL_NO_HW_PADLOCK -I /usr/src/lib/libcrypto -I /usr/src/lib/libcrypto/asn1 -I /usr/src/lib/libcrypto/bio -I /usr/src/lib/libcrypto/bn -I /usr/src/lib/libcrypto/bytestring -I /usr/src/lib/libcrypto/dh -I /usr/src/lib/libcrypto/dsa -I /usr/src/lib/libcrypto/ec -I /usr/src/lib/libcrypto/ecdh -I /usr/src/lib/libcrypto/ecdsa -I /usr/src/lib/libcrypto/evp -I /usr/src/lib/libcrypto/hmac -I /usr/src/lib/libcrypto/modes -I /usr/src/lib/libcrypto/ocsp -I /usr/src/lib/libcrypto/rsa -I /usr/src/lib/libcrypto/x509 -I /usr/src/lib/libcrypto/obj -D AES_ASM -D BSAES_ASM -D VPAES_ASM -D OPENSSL_IA32_SSE2 -D RSA_ASM -D OPENSSL_BN_ASM_MONT -D OPENSSL_BN_ASM_MONT5 -D OPENSSL_BN_ASM_GF2m -D MD5_ASM -D GHASH_ASM -D RC4_MD5_ASM -D SHA1_ASM -D SHA256_ASM -D SHA512_ASM -D WHIRLPOOL_ASM -D OPENSSL_CPUID_OBJ -D PIC -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/lib/libcrypto/obj -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c /usr/src/lib/libcrypto/des/cfb64ede.c
1/* $OpenBSD: cfb64ede.c,v 1.9 2015/02/07 13:19:15 doug Exp $ */
2/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3 * All rights reserved.
4 *
5 * This package is an SSL implementation written
6 * by Eric Young (eay@cryptsoft.com).
7 * The implementation was written so as to conform with Netscapes SSL.
8 *
9 * This library is free for commercial and non-commercial use as long as
10 * the following conditions are aheared to. The following conditions
11 * apply to all code found in this distribution, be it the RC4, RSA,
12 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
13 * included with this distribution is covered by the same copyright terms
14 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
15 *
16 * Copyright remains Eric Young's, and as such any Copyright notices in
17 * the code are not to be removed.
18 * If this package is used in a product, Eric Young should be given attribution
19 * as the author of the parts of the library used.
20 * This can be in the form of a textual message at program startup or
21 * in documentation (online or textual) provided with the package.
22 *
23 * Redistribution and use in source and binary forms, with or without
24 * modification, are permitted provided that the following conditions
25 * are met:
26 * 1. Redistributions of source code must retain the copyright
27 * notice, this list of conditions and the following disclaimer.
28 * 2. Redistributions in binary form must reproduce the above copyright
29 * notice, this list of conditions and the following disclaimer in the
30 * documentation and/or other materials provided with the distribution.
31 * 3. All advertising materials mentioning features or use of this software
32 * must display the following acknowledgement:
33 * "This product includes cryptographic software written by
34 * Eric Young (eay@cryptsoft.com)"
35 * The word 'cryptographic' can be left out if the rouines from the library
36 * being used are not cryptographic related :-).
37 * 4. If you include any Windows specific code (or a derivative thereof) from
38 * the apps directory (application code) you must include an acknowledgement:
39 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
40 *
41 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
42 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
43 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
44 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
45 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
46 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
47 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
49 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
50 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
51 * SUCH DAMAGE.
52 *
53 * The licence and distribution terms for any publically available version or
54 * derivative of this code cannot be changed. i.e. this code cannot simply be
55 * copied and put under another distribution licence
56 * [including the GNU Public Licence.]
57 */
58
59#include "des_locl.h"
60
61/* The input and output encrypted as though 64bit cfb mode is being
62 * used. The extra state information to record how much of the
63 * 64bit block we have used is contained in *num;
64 */
65
66void DES_ede3_cfb64_encrypt(const unsigned char *in, unsigned char *out,
67 long length, DES_key_schedule *ks1,
68 DES_key_schedule *ks2, DES_key_schedule *ks3,
69 DES_cblock *ivec, int *num, int enc)
70 {
71 DES_LONGunsigned int v0,v1;
72 long l=length;
73 int n= *num;
74 DES_LONGunsigned int ti[2];
75 unsigned char *iv,c,cc;
76
77 iv=&(*ivec)[0];
78 if (enc)
79 {
80 while (l--)
81 {
82 if (n == 0)
83 {
84 c2l(iv,v0)(v0 =((unsigned int)(*((iv)++))) , v0|=((unsigned int)(*((iv)
++)))<< 8L, v0|=((unsigned int)(*((iv)++)))<<16L,
v0|=((unsigned int)(*((iv)++)))<<24L);
85 c2l(iv,v1)(v1 =((unsigned int)(*((iv)++))) , v1|=((unsigned int)(*((iv)
++)))<< 8L, v1|=((unsigned int)(*((iv)++)))<<16L,
v1|=((unsigned int)(*((iv)++)))<<24L);
86
87 ti[0]=v0;
88 ti[1]=v1;
89 DES_encrypt3(ti,ks1,ks2,ks3);
90 v0=ti[0];
91 v1=ti[1];
92
93 iv = &(*ivec)[0];
94 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));
95 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));
96 iv = &(*ivec)[0];
97 }
98 c= *(in++)^iv[n];
99 *(out++)=c;
100 iv[n]=c;
101 n=(n+1)&0x07;
102 }
103 }
104 else
105 {
106 while (l--)
107 {
108 if (n == 0)
109 {
110 c2l(iv,v0)(v0 =((unsigned int)(*((iv)++))) , v0|=((unsigned int)(*((iv)
++)))<< 8L, v0|=((unsigned int)(*((iv)++)))<<16L,
v0|=((unsigned int)(*((iv)++)))<<24L);
111 c2l(iv,v1)(v1 =((unsigned int)(*((iv)++))) , v1|=((unsigned int)(*((iv)
++)))<< 8L, v1|=((unsigned int)(*((iv)++)))<<16L,
v1|=((unsigned int)(*((iv)++)))<<24L);
112
113 ti[0]=v0;
114 ti[1]=v1;
115 DES_encrypt3(ti,ks1,ks2,ks3);
116 v0=ti[0];
117 v1=ti[1];
118
119 iv = &(*ivec)[0];
120 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));
121 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));
122 iv = &(*ivec)[0];
123 }
124 cc= *(in++);
125 c=iv[n];
126 iv[n]=cc;
127 *(out++)=c^cc;
128 n=(n+1)&0x07;
129 }
130 }
131 v0=v1=ti[0]=ti[1]=c=cc=0;
132 *num=n;
133 }
134
135/* This is compatible with the single key CFB-r for DES, even thought that's
136 * not what EVP needs.
137 */
138
139void DES_ede3_cfb_encrypt(const unsigned char *in,unsigned char *out,
140 int numbits,long length,DES_key_schedule *ks1,
141 DES_key_schedule *ks2,DES_key_schedule *ks3,
142 DES_cblock *ivec,int enc)
143 {
144 DES_LONGunsigned int d0,d1,v0,v1;
145 unsigned long l=length,n=((unsigned int)numbits+7)/8;
146 int num=numbits,i;
147 DES_LONGunsigned int ti[2];
148 unsigned char *iv;
149 unsigned char ovec[16];
150
151 if (num > 64) return;
152 iv = &(*ivec)[0];
153 c2l(iv,v0)(v0 =((unsigned int)(*((iv)++))) , v0|=((unsigned int)(*((iv)
++)))<< 8L, v0|=((unsigned int)(*((iv)++)))<<16L,
v0|=((unsigned int)(*((iv)++)))<<24L);
154 c2l(iv,v1)(v1 =((unsigned int)(*((iv)++))) , v1|=((unsigned int)(*((iv)
++)))<< 8L, v1|=((unsigned int)(*((iv)++)))<<16L,
v1|=((unsigned int)(*((iv)++)))<<24L);
155 if (enc)
156 {
157 while (l >= n)
158 {
159 l-=n;
160 ti[0]=v0;
161 ti[1]=v1;
162 DES_encrypt3(ti,ks1,ks2,ks3);
163 c2ln(in,d0,d1,n){ in+=n; d0=d1=0; switch (n) { case 8: d1 =((unsigned int)(*(
--(in))))<<24L; case 7: d1|=((unsigned int)(*(--(in))))
<<16L; case 6: d1|=((unsigned int)(*(--(in))))<< 8L
; case 5: d1|=((unsigned int)(*(--(in)))); case 4: d0 =((unsigned
int)(*(--(in))))<<24L; case 3: d0|=((unsigned int)(*(--
(in))))<<16L; case 2: d0|=((unsigned int)(*(--(in))))<<
8L; case 1: d0|=((unsigned int)(*(--(in)))); } };
164 in+=n;
165 d0^=ti[0];
166 d1^=ti[1];
167 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); } };
168 out+=n;
169 /* 30-08-94 - eay - changed because l>>32 and
170 * l<<32 are bad under gcc :-( */
171 if (num == 32)
172 { v0=v1; v1=d0; }
173 else if (num == 64)
174 { v0=d0; v1=d1; }
175 else
176 {
177 iv=&ovec[0];
178 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));
179 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));
180 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));
181 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));
182 /* shift ovec left most of the bits... */
183 memmove(ovec,ovec+num/8,8+(num%8 ? 1 : 0));
184 /* now the remaining bits */
185 if(num%8 != 0)
186 for(i=0 ; i < 8 ; ++i)
187 {
188 ovec[i]<<=num%8;
189 ovec[i]|=ovec[i+1]>>(8-num%8);
190 }
191 iv=&ovec[0];
192 c2l(iv,v0)(v0 =((unsigned int)(*((iv)++))) , v0|=((unsigned int)(*((iv)
++)))<< 8L, v0|=((unsigned int)(*((iv)++)))<<16L,
v0|=((unsigned int)(*((iv)++)))<<24L);
193 c2l(iv,v1)(v1 =((unsigned int)(*((iv)++))) , v1|=((unsigned int)(*((iv)
++)))<< 8L, v1|=((unsigned int)(*((iv)++)))<<16L,
v1|=((unsigned int)(*((iv)++)))<<24L);
194 }
195 }
196 }
197 else
198 {
199 while (l >= n)
200 {
201 l-=n;
202 ti[0]=v0;
203 ti[1]=v1;
204 DES_encrypt3(ti,ks1,ks2,ks3);
205 c2ln(in,d0,d1,n){ in+=n; d0=d1=0; switch (n) { case 8: d1 =((unsigned int)(*(
--(in))))<<24L; case 7: d1|=((unsigned int)(*(--(in))))
<<16L; case 6: d1|=((unsigned int)(*(--(in))))<< 8L
; case 5: d1|=((unsigned int)(*(--(in)))); case 4: d0 =((unsigned
int)(*(--(in))))<<24L; case 3: d0|=((unsigned int)(*(--
(in))))<<16L; case 2: d0|=((unsigned int)(*(--(in))))<<
8L; case 1: d0|=((unsigned int)(*(--(in)))); } };
206 in+=n;
207 /* 30-08-94 - eay - changed because l>>32 and
208 * l<<32 are bad under gcc :-( */
209 if (num == 32)
210 { v0=v1; v1=d0; }
211 else if (num == 64)
212 { v0=d0; v1=d1; }
213 else
214 {
215 iv=&ovec[0];
216 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));
217 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));
218 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));
219 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));
220 /* shift ovec left most of the bits... */
221 memmove(ovec,ovec+num/8,8+(num%8 ? 1 : 0));
222 /* now the remaining bits */
223 if(num%8 != 0)
224 for(i=0 ; i < 8 ; ++i)
225 {
226 ovec[i]<<=num%8;
227 ovec[i]|=ovec[i+1]>>(8-num%8);
228 }
229 iv=&ovec[0];
230 c2l(iv,v0)(v0 =((unsigned int)(*((iv)++))) , v0|=((unsigned int)(*((iv)
++)))<< 8L, v0|=((unsigned int)(*((iv)++)))<<16L,
v0|=((unsigned int)(*((iv)++)))<<24L);
231 c2l(iv,v1)(v1 =((unsigned int)(*((iv)++))) , v1|=((unsigned int)(*((iv)
++)))<< 8L, v1|=((unsigned int)(*((iv)++)))<<16L,
v1|=((unsigned int)(*((iv)++)))<<24L);
232 }
233 d0^=ti[0];
234 d1^=ti[1];
235 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); } };
236 out+=n;
237 }
238 }
239 iv = &(*ivec)[0];
240 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));
241 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));
242 v0=v1=d0=d1=ti[0]=ti[1]=0;
Although the value stored to 'd1' is used in the enclosing expression, the value is never actually read from 'd1'
243 }
244