Bug Summary

File:src/lib/libcrypto/des/ede_cbcm_enc.c
Warning:line 196, column 5
Value stored to 'tin0' is never read

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 ede_cbcm_enc.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 -pic-is-pie -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 -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/ede_cbcm_enc.c
1/* $OpenBSD: ede_cbcm_enc.c,v 1.6 2014/10/28 07:35:58 jsg Exp $ */
2/* Written by Ben Laurie <ben@algroup.co.uk> for the OpenSSL
3 * project 13 Feb 1999.
4 */
5/* ====================================================================
6 * Copyright (c) 1999 The OpenSSL Project. All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 *
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 *
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in
17 * the documentation and/or other materials provided with the
18 * distribution.
19 *
20 * 3. All advertising materials mentioning features or use of this
21 * software must display the following acknowledgment:
22 * "This product includes software developed by the OpenSSL Project
23 * for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
24 *
25 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26 * endorse or promote products derived from this software without
27 * prior written permission. For written permission, please contact
28 * licensing@OpenSSL.org.
29 *
30 * 5. Products derived from this software may not be called "OpenSSL"
31 * nor may "OpenSSL" appear in their names without prior written
32 * permission of the OpenSSL Project.
33 *
34 * 6. Redistributions of any form whatsoever must retain the following
35 * acknowledgment:
36 * "This product includes software developed by the OpenSSL Project
37 * for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
38 *
39 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
43 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50 * OF THE POSSIBILITY OF SUCH DAMAGE.
51 * ====================================================================
52 *
53 * This product includes cryptographic software written by Eric Young
54 * (eay@cryptsoft.com). This product includes software written by Tim
55 * Hudson (tjh@cryptsoft.com).
56 *
57 */
58
59/*
60
61This is an implementation of Triple DES Cipher Block Chaining with Output
62Feedback Masking, by Coppersmith, Johnson and Matyas, (IBM and Certicom).
63
64Note that there is a known attack on this by Biham and Knudsen but it takes
65a lot of work:
66
67http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-get.cgi/1998/CS/CS0928.ps.gz
68
69*/
70
71#include <openssl/opensslconf.h> /* To see if OPENSSL_NO_DESCBCM is defined */
72
73#ifndef OPENSSL_NO_DESCBCM
74#include "des_locl.h"
75
76void DES_ede3_cbcm_encrypt(const unsigned char *in, unsigned char *out,
77 long length, DES_key_schedule *ks1, DES_key_schedule *ks2,
78 DES_key_schedule *ks3, DES_cblock *ivec1, DES_cblock *ivec2,
79 int enc)
80 {
81 DES_LONGunsigned int tin0,tin1;
82 DES_LONGunsigned int tout0,tout1,xor0,xor1,m0,m1;
83 long l=length;
84 DES_LONGunsigned int tin[2];
85 unsigned char *iv1,*iv2;
86
87 iv1 = &(*ivec1)[0];
88 iv2 = &(*ivec2)[0];
89
90 if (enc)
91 {
92 c2l(iv1,m0)(m0 =((unsigned int)(*((iv1)++))) , m0|=((unsigned int)(*((iv1
)++)))<< 8L, m0|=((unsigned int)(*((iv1)++)))<<16L
, m0|=((unsigned int)(*((iv1)++)))<<24L);
93 c2l(iv1,m1)(m1 =((unsigned int)(*((iv1)++))) , m1|=((unsigned int)(*((iv1
)++)))<< 8L, m1|=((unsigned int)(*((iv1)++)))<<16L
, m1|=((unsigned int)(*((iv1)++)))<<24L);
94 c2l(iv2,tout0)(tout0 =((unsigned int)(*((iv2)++))) , tout0|=((unsigned int)
(*((iv2)++)))<< 8L, tout0|=((unsigned int)(*((iv2)++)))
<<16L, tout0|=((unsigned int)(*((iv2)++)))<<24L);
95 c2l(iv2,tout1)(tout1 =((unsigned int)(*((iv2)++))) , tout1|=((unsigned int)
(*((iv2)++)))<< 8L, tout1|=((unsigned int)(*((iv2)++)))
<<16L, tout1|=((unsigned int)(*((iv2)++)))<<24L);
96 for (l-=8; l>=-7; l-=8)
97 {
98 tin[0]=m0;
99 tin[1]=m1;
100 DES_encrypt1(tin,ks3,1);
101 m0=tin[0];
102 m1=tin[1];
103
104 if(l < 0)
105 {
106 c2ln(in,tin0,tin1,l+8){ in+=l+8; tin0=tin1=0; switch (l+8) { case 8: tin1 =((unsigned
int)(*(--(in))))<<24L; case 7: tin1|=((unsigned int)(*
(--(in))))<<16L; case 6: tin1|=((unsigned int)(*(--(in)
)))<< 8L; case 5: tin1|=((unsigned int)(*(--(in)))); case
4: tin0 =((unsigned int)(*(--(in))))<<24L; case 3: tin0
|=((unsigned int)(*(--(in))))<<16L; case 2: tin0|=((unsigned
int)(*(--(in))))<< 8L; case 1: tin0|=((unsigned int)(*
(--(in)))); } };
107 }
108 else
109 {
110 c2l(in,tin0)(tin0 =((unsigned int)(*((in)++))) , tin0|=((unsigned int)(*(
(in)++)))<< 8L, tin0|=((unsigned int)(*((in)++)))<<
16L, tin0|=((unsigned int)(*((in)++)))<<24L);
111 c2l(in,tin1)(tin1 =((unsigned int)(*((in)++))) , tin1|=((unsigned int)(*(
(in)++)))<< 8L, tin1|=((unsigned int)(*((in)++)))<<
16L, tin1|=((unsigned int)(*((in)++)))<<24L);
112 }
113 tin0^=tout0;
114 tin1^=tout1;
115
116 tin[0]=tin0;
117 tin[1]=tin1;
118 DES_encrypt1(tin,ks1,1);
119 tin[0]^=m0;
120 tin[1]^=m1;
121 DES_encrypt1(tin,ks2,0);
122 tin[0]^=m0;
123 tin[1]^=m1;
124 DES_encrypt1(tin,ks1,1);
125 tout0=tin[0];
126 tout1=tin[1];
127
128 l2c(tout0,out)(*((out)++)=(unsigned char)(((tout0) )&0xff), *((out)++)=
(unsigned char)(((tout0)>> 8L)&0xff), *((out)++)=(unsigned
char)(((tout0)>>16L)&0xff), *((out)++)=(unsigned char
)(((tout0)>>24L)&0xff));
129 l2c(tout1,out)(*((out)++)=(unsigned char)(((tout1) )&0xff), *((out)++)=
(unsigned char)(((tout1)>> 8L)&0xff), *((out)++)=(unsigned
char)(((tout1)>>16L)&0xff), *((out)++)=(unsigned char
)(((tout1)>>24L)&0xff));
130 }
131 iv1=&(*ivec1)[0];
132 l2c(m0,iv1)(*((iv1)++)=(unsigned char)(((m0) )&0xff), *((iv1)++)=(unsigned
char)(((m0)>> 8L)&0xff), *((iv1)++)=(unsigned char
)(((m0)>>16L)&0xff), *((iv1)++)=(unsigned char)(((m0
)>>24L)&0xff));
133 l2c(m1,iv1)(*((iv1)++)=(unsigned char)(((m1) )&0xff), *((iv1)++)=(unsigned
char)(((m1)>> 8L)&0xff), *((iv1)++)=(unsigned char
)(((m1)>>16L)&0xff), *((iv1)++)=(unsigned char)(((m1
)>>24L)&0xff));
134
135 iv2=&(*ivec2)[0];
136 l2c(tout0,iv2)(*((iv2)++)=(unsigned char)(((tout0) )&0xff), *((iv2)++)=
(unsigned char)(((tout0)>> 8L)&0xff), *((iv2)++)=(unsigned
char)(((tout0)>>16L)&0xff), *((iv2)++)=(unsigned char
)(((tout0)>>24L)&0xff));
137 l2c(tout1,iv2)(*((iv2)++)=(unsigned char)(((tout1) )&0xff), *((iv2)++)=
(unsigned char)(((tout1)>> 8L)&0xff), *((iv2)++)=(unsigned
char)(((tout1)>>16L)&0xff), *((iv2)++)=(unsigned char
)(((tout1)>>24L)&0xff));
138 }
139 else
140 {
141 DES_LONGunsigned int t0,t1;
142
143 c2l(iv1,m0)(m0 =((unsigned int)(*((iv1)++))) , m0|=((unsigned int)(*((iv1
)++)))<< 8L, m0|=((unsigned int)(*((iv1)++)))<<16L
, m0|=((unsigned int)(*((iv1)++)))<<24L);
144 c2l(iv1,m1)(m1 =((unsigned int)(*((iv1)++))) , m1|=((unsigned int)(*((iv1
)++)))<< 8L, m1|=((unsigned int)(*((iv1)++)))<<16L
, m1|=((unsigned int)(*((iv1)++)))<<24L);
145 c2l(iv2,xor0)(xor0 =((unsigned int)(*((iv2)++))) , xor0|=((unsigned int)(*
((iv2)++)))<< 8L, xor0|=((unsigned int)(*((iv2)++)))<<
16L, xor0|=((unsigned int)(*((iv2)++)))<<24L);
146 c2l(iv2,xor1)(xor1 =((unsigned int)(*((iv2)++))) , xor1|=((unsigned int)(*
((iv2)++)))<< 8L, xor1|=((unsigned int)(*((iv2)++)))<<
16L, xor1|=((unsigned int)(*((iv2)++)))<<24L);
147 for (l-=8; l>=-7; l-=8)
148 {
149 tin[0]=m0;
150 tin[1]=m1;
151 DES_encrypt1(tin,ks3,1);
152 m0=tin[0];
153 m1=tin[1];
154
155 c2l(in,tin0)(tin0 =((unsigned int)(*((in)++))) , tin0|=((unsigned int)(*(
(in)++)))<< 8L, tin0|=((unsigned int)(*((in)++)))<<
16L, tin0|=((unsigned int)(*((in)++)))<<24L);
156 c2l(in,tin1)(tin1 =((unsigned int)(*((in)++))) , tin1|=((unsigned int)(*(
(in)++)))<< 8L, tin1|=((unsigned int)(*((in)++)))<<
16L, tin1|=((unsigned int)(*((in)++)))<<24L);
157
158 t0=tin0;
159 t1=tin1;
160
161 tin[0]=tin0;
162 tin[1]=tin1;
163 DES_encrypt1(tin,ks1,0);
164 tin[0]^=m0;
165 tin[1]^=m1;
166 DES_encrypt1(tin,ks2,1);
167 tin[0]^=m0;
168 tin[1]^=m1;
169 DES_encrypt1(tin,ks1,0);
170 tout0=tin[0];
171 tout1=tin[1];
172
173 tout0^=xor0;
174 tout1^=xor1;
175 if(l < 0)
176 {
177 l2cn(tout0,tout1,out,l+8){ out+=l+8; switch (l+8) { case 8: *(--(out))=(unsigned char)
(((tout1)>>24L)&0xff); case 7: *(--(out))=(unsigned
char)(((tout1)>>16L)&0xff); case 6: *(--(out))=(unsigned
char)(((tout1)>> 8L)&0xff); case 5: *(--(out))=(unsigned
char)(((tout1) )&0xff); case 4: *(--(out))=(unsigned char
)(((tout0)>>24L)&0xff); case 3: *(--(out))=(unsigned
char)(((tout0)>>16L)&0xff); case 2: *(--(out))=(unsigned
char)(((tout0)>> 8L)&0xff); case 1: *(--(out))=(unsigned
char)(((tout0) )&0xff); } };
178 }
179 else
180 {
181 l2c(tout0,out)(*((out)++)=(unsigned char)(((tout0) )&0xff), *((out)++)=
(unsigned char)(((tout0)>> 8L)&0xff), *((out)++)=(unsigned
char)(((tout0)>>16L)&0xff), *((out)++)=(unsigned char
)(((tout0)>>24L)&0xff));
182 l2c(tout1,out)(*((out)++)=(unsigned char)(((tout1) )&0xff), *((out)++)=
(unsigned char)(((tout1)>> 8L)&0xff), *((out)++)=(unsigned
char)(((tout1)>>16L)&0xff), *((out)++)=(unsigned char
)(((tout1)>>24L)&0xff));
183 }
184 xor0=t0;
185 xor1=t1;
186 }
187
188 iv1=&(*ivec1)[0];
189 l2c(m0,iv1)(*((iv1)++)=(unsigned char)(((m0) )&0xff), *((iv1)++)=(unsigned
char)(((m0)>> 8L)&0xff), *((iv1)++)=(unsigned char
)(((m0)>>16L)&0xff), *((iv1)++)=(unsigned char)(((m0
)>>24L)&0xff));
190 l2c(m1,iv1)(*((iv1)++)=(unsigned char)(((m1) )&0xff), *((iv1)++)=(unsigned
char)(((m1)>> 8L)&0xff), *((iv1)++)=(unsigned char
)(((m1)>>16L)&0xff), *((iv1)++)=(unsigned char)(((m1
)>>24L)&0xff));
191
192 iv2=&(*ivec2)[0];
193 l2c(xor0,iv2)(*((iv2)++)=(unsigned char)(((xor0) )&0xff), *((iv2)++)=(
unsigned char)(((xor0)>> 8L)&0xff), *((iv2)++)=(unsigned
char)(((xor0)>>16L)&0xff), *((iv2)++)=(unsigned char
)(((xor0)>>24L)&0xff));
194 l2c(xor1,iv2)(*((iv2)++)=(unsigned char)(((xor1) )&0xff), *((iv2)++)=(
unsigned char)(((xor1)>> 8L)&0xff), *((iv2)++)=(unsigned
char)(((xor1)>>16L)&0xff), *((iv2)++)=(unsigned char
)(((xor1)>>24L)&0xff));
195 }
196 tin0=tin1=tout0=tout1=xor0=xor1=0;
Value stored to 'tin0' is never read
197 tin[0]=tin[1]=0;
198 }
199#endif