OpenCoverage

set_key.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/des/set_key.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 int DES_check_key = 0; -

3 -

4 static const unsigned char odd_parity[256]={ -

5 1, 1, 2, 2, 4, 4, 7, 7, 8, 8, 11, 11, 13, 13, 14, 14, -

6 16, 16, 19, 19, 21, 21, 22, 22, 25, 25, 26, 26, 28, 28, 31, 31, -

7 32, 32, 35, 35, 37, 37, 38, 38, 41, 41, 42, 42, 44, 44, 47, 47, -

8 49, 49, 50, 50, 52, 52, 55, 55, 56, 56, 59, 59, 61, 61, 62, 62, -

9 64, 64, 67, 67, 69, 69, 70, 70, 73, 73, 74, 74, 76, 76, 79, 79, -

10 81, 81, 82, 82, 84, 84, 87, 87, 88, 88, 91, 91, 93, 93, 94, 94, -

11 97, 97, 98, 98,100,100,103,103,104,104,107,107,109,109,110,110, -

12 112,112,115,115,117,117,118,118,121,121,122,122,124,124,127,127, -

13 128,128,131,131,133,133,134,134,137,137,138,138,140,140,143,143, -

14 145,145,146,146,148,148,151,151,152,152,155,155,157,157,158,158, -

15 161,161,162,162,164,164,167,167,168,168,171,171,173,173,174,174, -

16 176,176,179,179,181,181,182,182,185,185,186,186,188,188,191,191, -

17 193,193,194,194,196,196,199,199,200,200,203,203,205,205,206,206, -

18 208,208,211,211,213,213,214,214,217,217,218,218,220,220,223,223, -

19 224,224,227,227,229,229,230,230,233,233,234,234,236,236,239,239, -

20 241,241,242,242,244,244,247,247,248,248,251,251,253,253,254,254}; -

21 -

22 void DES_set_odd_parity(DES_cblock *key) -

23 { -

24 unsigned int i; -

25 -

for (i=0; i<(sizeof(DES_cblock))

i<(sizeof(DES_cblock))	Description
TRUE	never evaluated
FALSE	never evaluated

; i++)

0

(*

never executed: (*key)[i]=odd_parity[(*key)[i]];

key)[i]=odd_parity[(*key)[i]];

never executed: (*key)[i]=odd_parity[(*key)[i]];

0

}

never executed: end of block

0

29 -

30 int DES_check_key_parity(const_DES_cblock *key) -

31 { -

32 unsigned int i; -

33 -

for (i=0; i<(sizeof(DES_cblock))

i<(sizeof(DES_cblock))	Description
TRUE	evaluated 160 times by 1 test Evaluated by: destest
FALSE	evaluated 20 times by 1 test Evaluated by: destest

; i++)

20-160

35 { -

if ((*

(key)[i] != o...ity[(key)[i]]	Description
TRUE	never evaluated
FALSE	evaluated 160 times by 1 test Evaluated by: destest

key)[i] != odd_parity[(*key)[i]]

(key)[i] != o...ity[(key)[i]]	Description
TRUE	never evaluated
FALSE	evaluated 160 times by 1 test Evaluated by: destest

)

0-160

return

never executed: return(0);

(0);

never executed: return(0);

0

}

executed 160 times by 1 test: end of block

Executed by:

destest

160

return

executed 20 times by 1 test: return(1);

Executed by:

destest

(1);

executed 20 times by 1 test: return(1);

Executed by:

destest

20

40 } -

41 static const DES_cblock weak_keys[16]={ -

42 -

43 {0x01,0x01,0x01,0x01,0x01,0x01,0x01,0x01}, -

44 {0xFE,0xFE,0xFE,0xFE,0xFE,0xFE,0xFE,0xFE}, -

45 {0x1F,0x1F,0x1F,0x1F,0x0E,0x0E,0x0E,0x0E}, -

46 {0xE0,0xE0,0xE0,0xE0,0xF1,0xF1,0xF1,0xF1}, -

47 -

48 {0x01,0xFE,0x01,0xFE,0x01,0xFE,0x01,0xFE}, -

49 {0xFE,0x01,0xFE,0x01,0xFE,0x01,0xFE,0x01}, -

50 {0x1F,0xE0,0x1F,0xE0,0x0E,0xF1,0x0E,0xF1}, -

51 {0xE0,0x1F,0xE0,0x1F,0xF1,0x0E,0xF1,0x0E}, -

52 {0x01,0xE0,0x01,0xE0,0x01,0xF1,0x01,0xF1}, -

53 {0xE0,0x01,0xE0,0x01,0xF1,0x01,0xF1,0x01}, -

54 {0x1F,0xFE,0x1F,0xFE,0x0E,0xFE,0x0E,0xFE}, -

55 {0xFE,0x1F,0xFE,0x1F,0xFE,0x0E,0xFE,0x0E}, -

56 {0x01,0x1F,0x01,0x1F,0x01,0x0E,0x01,0x0E}, -

57 {0x1F,0x01,0x1F,0x01,0x0E,0x01,0x0E,0x01}, -

58 {0xE0,0xFE,0xE0,0xFE,0xF1,0xFE,0xF1,0xFE}, -

59 {0xFE,0xE0,0xFE,0xE0,0xFE,0xF1,0xFE,0xF1}}; -

60 -

61 int -

62 DES_is_weak_key(const_DES_cblock *key) -

63 { -

64 unsigned int i; -

65 -

for (i = 0; i < 16

i < 16	Description
TRUE	evaluated 320 times by 1 test Evaluated by: destest
FALSE	evaluated 20 times by 1 test Evaluated by: destest

; i++)

20-320

if (memcmp(weak_keys[i], key, sizeof(DES_cblock)) == 0

memcmp(weak_ke..._cblock)) == 0	Description
TRUE	never evaluated
FALSE	evaluated 320 times by 1 test Evaluated by: destest

)

0-320

return

never executed: return 1;

1;

never executed: return 1;

0

return

executed 20 times by 1 test: return 0;

Executed by:

destest

0;

executed 20 times by 1 test: return 0;

Executed by:

destest

20

70 } -

71 static const unsigned int des_skb[8][64]={ -

72 { -

73 -

74 0x00000000L,0x00000010L,0x20000000L,0x20000010L, -

75 0x00010000L,0x00010010L,0x20010000L,0x20010010L, -

76 0x00000800L,0x00000810L,0x20000800L,0x20000810L, -

77 0x00010800L,0x00010810L,0x20010800L,0x20010810L, -

78 0x00000020L,0x00000030L,0x20000020L,0x20000030L, -

79 0x00010020L,0x00010030L,0x20010020L,0x20010030L, -

80 0x00000820L,0x00000830L,0x20000820L,0x20000830L, -

81 0x00010820L,0x00010830L,0x20010820L,0x20010830L, -

82 0x00080000L,0x00080010L,0x20080000L,0x20080010L, -

83 0x00090000L,0x00090010L,0x20090000L,0x20090010L, -

84 0x00080800L,0x00080810L,0x20080800L,0x20080810L, -

85 0x00090800L,0x00090810L,0x20090800L,0x20090810L, -

86 0x00080020L,0x00080030L,0x20080020L,0x20080030L, -

87 0x00090020L,0x00090030L,0x20090020L,0x20090030L, -

88 0x00080820L,0x00080830L,0x20080820L,0x20080830L, -

89 0x00090820L,0x00090830L,0x20090820L,0x20090830L, -

90 },{ -

91 -

92 0x00000000L,0x02000000L,0x00002000L,0x02002000L, -

93 0x00200000L,0x02200000L,0x00202000L,0x02202000L, -

94 0x00000004L,0x02000004L,0x00002004L,0x02002004L, -

95 0x00200004L,0x02200004L,0x00202004L,0x02202004L, -

96 0x00000400L,0x02000400L,0x00002400L,0x02002400L, -

97 0x00200400L,0x02200400L,0x00202400L,0x02202400L, -

98 0x00000404L,0x02000404L,0x00002404L,0x02002404L, -

99 0x00200404L,0x02200404L,0x00202404L,0x02202404L, -

100 0x10000000L,0x12000000L,0x10002000L,0x12002000L, -

101 0x10200000L,0x12200000L,0x10202000L,0x12202000L, -

102 0x10000004L,0x12000004L,0x10002004L,0x12002004L, -

103 0x10200004L,0x12200004L,0x10202004L,0x12202004L, -

104 0x10000400L,0x12000400L,0x10002400L,0x12002400L, -

105 0x10200400L,0x12200400L,0x10202400L,0x12202400L, -

106 0x10000404L,0x12000404L,0x10002404L,0x12002404L, -

107 0x10200404L,0x12200404L,0x10202404L,0x12202404L, -

108 },{ -

109 -

110 0x00000000L,0x00000001L,0x00040000L,0x00040001L, -

111 0x01000000L,0x01000001L,0x01040000L,0x01040001L, -

112 0x00000002L,0x00000003L,0x00040002L,0x00040003L, -

113 0x01000002L,0x01000003L,0x01040002L,0x01040003L, -

114 0x00000200L,0x00000201L,0x00040200L,0x00040201L, -

115 0x01000200L,0x01000201L,0x01040200L,0x01040201L, -

116 0x00000202L,0x00000203L,0x00040202L,0x00040203L, -

117 0x01000202L,0x01000203L,0x01040202L,0x01040203L, -

118 0x08000000L,0x08000001L,0x08040000L,0x08040001L, -

119 0x09000000L,0x09000001L,0x09040000L,0x09040001L, -

120 0x08000002L,0x08000003L,0x08040002L,0x08040003L, -

121 0x09000002L,0x09000003L,0x09040002L,0x09040003L, -

122 0x08000200L,0x08000201L,0x08040200L,0x08040201L, -

123 0x09000200L,0x09000201L,0x09040200L,0x09040201L, -

124 0x08000202L,0x08000203L,0x08040202L,0x08040203L, -

125 0x09000202L,0x09000203L,0x09040202L,0x09040203L, -

126 },{ -

127 -

128 0x00000000L,0x00100000L,0x00000100L,0x00100100L, -

129 0x00000008L,0x00100008L,0x00000108L,0x00100108L, -

130 0x00001000L,0x00101000L,0x00001100L,0x00101100L, -

131 0x00001008L,0x00101008L,0x00001108L,0x00101108L, -

132 0x04000000L,0x04100000L,0x04000100L,0x04100100L, -

133 0x04000008L,0x04100008L,0x04000108L,0x04100108L, -

134 0x04001000L,0x04101000L,0x04001100L,0x04101100L, -

135 0x04001008L,0x04101008L,0x04001108L,0x04101108L, -

136 0x00020000L,0x00120000L,0x00020100L,0x00120100L, -

137 0x00020008L,0x00120008L,0x00020108L,0x00120108L, -

138 0x00021000L,0x00121000L,0x00021100L,0x00121100L, -

139 0x00021008L,0x00121008L,0x00021108L,0x00121108L, -

140 0x04020000L,0x04120000L,0x04020100L,0x04120100L, -

141 0x04020008L,0x04120008L,0x04020108L,0x04120108L, -

142 0x04021000L,0x04121000L,0x04021100L,0x04121100L, -

143 0x04021008L,0x04121008L,0x04021108L,0x04121108L, -

144 },{ -

145 -

146 0x00000000L,0x10000000L,0x00010000L,0x10010000L, -

147 0x00000004L,0x10000004L,0x00010004L,0x10010004L, -

148 0x20000000L,0x30000000L,0x20010000L,0x30010000L, -

149 0x20000004L,0x30000004L,0x20010004L,0x30010004L, -

150 0x00100000L,0x10100000L,0x00110000L,0x10110000L, -

151 0x00100004L,0x10100004L,0x00110004L,0x10110004L, -

152 0x20100000L,0x30100000L,0x20110000L,0x30110000L, -

153 0x20100004L,0x30100004L,0x20110004L,0x30110004L, -

154 0x00001000L,0x10001000L,0x00011000L,0x10011000L, -

155 0x00001004L,0x10001004L,0x00011004L,0x10011004L, -

156 0x20001000L,0x30001000L,0x20011000L,0x30011000L, -

157 0x20001004L,0x30001004L,0x20011004L,0x30011004L, -

158 0x00101000L,0x10101000L,0x00111000L,0x10111000L, -

159 0x00101004L,0x10101004L,0x00111004L,0x10111004L, -

160 0x20101000L,0x30101000L,0x20111000L,0x30111000L, -

161 0x20101004L,0x30101004L,0x20111004L,0x30111004L, -

162 },{ -

163 -

164 0x00000000L,0x08000000L,0x00000008L,0x08000008L, -

165 0x00000400L,0x08000400L,0x00000408L,0x08000408L, -

166 0x00020000L,0x08020000L,0x00020008L,0x08020008L, -

167 0x00020400L,0x08020400L,0x00020408L,0x08020408L, -

168 0x00000001L,0x08000001L,0x00000009L,0x08000009L, -

169 0x00000401L,0x08000401L,0x00000409L,0x08000409L, -

170 0x00020001L,0x08020001L,0x00020009L,0x08020009L, -

171 0x00020401L,0x08020401L,0x00020409L,0x08020409L, -

172 0x02000000L,0x0A000000L,0x02000008L,0x0A000008L, -

173 0x02000400L,0x0A000400L,0x02000408L,0x0A000408L, -

174 0x02020000L,0x0A020000L,0x02020008L,0x0A020008L, -

175 0x02020400L,0x0A020400L,0x02020408L,0x0A020408L, -

176 0x02000001L,0x0A000001L,0x02000009L,0x0A000009L, -

177 0x02000401L,0x0A000401L,0x02000409L,0x0A000409L, -

178 0x02020001L,0x0A020001L,0x02020009L,0x0A020009L, -

179 0x02020401L,0x0A020401L,0x02020409L,0x0A020409L, -

180 },{ -

181 -

182 0x00000000L,0x00000100L,0x00080000L,0x00080100L, -

183 0x01000000L,0x01000100L,0x01080000L,0x01080100L, -

184 0x00000010L,0x00000110L,0x00080010L,0x00080110L, -

185 0x01000010L,0x01000110L,0x01080010L,0x01080110L, -

186 0x00200000L,0x00200100L,0x00280000L,0x00280100L, -

187 0x01200000L,0x01200100L,0x01280000L,0x01280100L, -

188 0x00200010L,0x00200110L,0x00280010L,0x00280110L, -

189 0x01200010L,0x01200110L,0x01280010L,0x01280110L, -

190 0x00000200L,0x00000300L,0x00080200L,0x00080300L, -

191 0x01000200L,0x01000300L,0x01080200L,0x01080300L, -

192 0x00000210L,0x00000310L,0x00080210L,0x00080310L, -

193 0x01000210L,0x01000310L,0x01080210L,0x01080310L, -

194 0x00200200L,0x00200300L,0x00280200L,0x00280300L, -

195 0x01200200L,0x01200300L,0x01280200L,0x01280300L, -

196 0x00200210L,0x00200310L,0x00280210L,0x00280310L, -

197 0x01200210L,0x01200310L,0x01280210L,0x01280310L, -

198 },{ -

199 -

200 0x00000000L,0x04000000L,0x00040000L,0x04040000L, -

201 0x00000002L,0x04000002L,0x00040002L,0x04040002L, -

202 0x00002000L,0x04002000L,0x00042000L,0x04042000L, -

203 0x00002002L,0x04002002L,0x00042002L,0x04042002L, -

204 0x00000020L,0x04000020L,0x00040020L,0x04040020L, -

205 0x00000022L,0x04000022L,0x00040022L,0x04040022L, -

206 0x00002020L,0x04002020L,0x00042020L,0x04042020L, -

207 0x00002022L,0x04002022L,0x00042022L,0x04042022L, -

208 0x00000800L,0x04000800L,0x00040800L,0x04040800L, -

209 0x00000802L,0x04000802L,0x00040802L,0x04040802L, -

210 0x00002800L,0x04002800L,0x00042800L,0x04042800L, -

211 0x00002802L,0x04002802L,0x00042802L,0x04042802L, -

212 0x00000820L,0x04000820L,0x00040820L,0x04040820L, -

213 0x00000822L,0x04000822L,0x00040822L,0x04040822L, -

214 0x00002820L,0x04002820L,0x00042820L,0x04042820L, -

215 0x00002822L,0x04002822L,0x00042822L,0x04042822L, -

216 }}; -

217 -

218 int DES_set_key(const_DES_cblock *key, DES_key_schedule *schedule) -

219 { -

if (DES_check_key

DES_check_key	Description
TRUE	never evaluated
FALSE	never evaluated

)

0

221 { -

return

never executed: return DES_set_key_checked(key, schedule);

DES_set_key_checked(key, schedule);

never executed: return DES_set_key_checked(key, schedule);

0

223 } -

224 else -

225 { -

226 DES_set_key_unchecked(key, schedule); -

return

never executed: return 0;

0;

never executed: return 0;

0

228 } -

229 } -

230 -

231 -

232 -

233 -

234 -

235 int DES_set_key_checked(const_DES_cblock *key, DES_key_schedule *schedule) -

236 { -

if (!DES_check_key_parity(key)

!DES_check_key_parity(key)	Description
TRUE	never evaluated
FALSE	evaluated 20 times by 1 test Evaluated by: destest

)

0-20

return

never executed: return(-1);

(-1);

never executed: return(-1);

0

if (DES_is_weak_key(key)

DES_is_weak_key(key)	Description
TRUE	never evaluated
FALSE	evaluated 20 times by 1 test Evaluated by: destest

)

0-20

return

never executed: return(-2);

(-2);

never executed: return(-2);

0

241 DES_set_key_unchecked(key, schedule); -

return

executed 20 times by 1 test: return 0;

Executed by:

destest

0;

executed 20 times by 1 test: return 0;

Executed by:

destest

20

243 } -

244 -

245 void DES_set_key_unchecked(const_DES_cblock *key, DES_key_schedule *schedule) -

246 { -

247 static const int shifts2[16]={0,0,1,1,1,1,1,1,0,1,1,1,1,1,1,0}; -

248 unsigned int c,d,t,s,t2; -

249 const unsigned char *in; -

250 unsigned int *k; -

251 int i; -

252 -

253 k = &schedule->ks->deslong[0]; -

254 in = &(*key)[0]; -

255 -

256 (c =((unsigned int)(*((in)++))) , c|=((unsigned int)(*((in)++)))<< 8L, c|=((unsigned int)(*((in)++)))<<16L, c|=((unsigned int)(*((in)++)))<<24L); -

257 (d =((unsigned int)(*((in)++))) , d|=((unsigned int)(*((in)++)))<< 8L, d|=((unsigned int)(*((in)++)))<<16L, d|=((unsigned int)(*((in)++)))<<24L); -

258 -

259 -

260 -

261 -

262 ((t)=((((d)>>(4))^(c))&(0x0f0f0f0fL)), (c)^=(t), (d)^=((t)<<(4))); -

263 ((t)=((((c)<<(16-(-2)))^(c))&(0xcccc0000L)), (c)=(c)^(t)^(t>>(16-(-2)))); -

264 ((t)=((((d)<<(16-(-2)))^(d))&(0xcccc0000L)), (d)=(d)^(t)^(t>>(16-(-2)))); -

265 ((t)=((((d)>>(1))^(c))&(0x55555555L)), (c)^=(t), (d)^=((t)<<(1))); -

266 ((t)=((((c)>>(8))^(d))&(0x00ff00ffL)), (d)^=(t), (c)^=((t)<<(8))); -

267 ((t)=((((d)>>(1))^(c))&(0x55555555L)), (c)^=(t), (d)^=((t)<<(1))); -

268 d= (((d&0x000000ffL)<<16L)| (d&0x0000ff00L) | -

269 ((d&0x00ff0000L)>>16L)|((c&0xf0000000L)>>4L)); -

270 c&=0x0fffffffL; -

271 -

for (i=0; i<16

i<16	Description
TRUE	evaluated 4640 times by 4 tests Evaluated by: destest evptest libcrypto.so.44.0.1 ssltest
FALSE	evaluated 290 times by 4 tests Evaluated by: destest evptest libcrypto.so.44.0.1 ssltest

; i++)

290-4640

273 { -

if (shifts2[i]

shifts2[i]	Description
TRUE	evaluated 3480 times by 4 tests Evaluated by: destest evptest libcrypto.so.44.0.1 ssltest
FALSE	evaluated 1160 times by 4 tests Evaluated by: destest evptest libcrypto.so.44.0.1 ssltest

)

1160-3480

{ c=((c>>2L)|(c<<26L)); d=((d>>2L)|(d<<26L)); }

executed 3480 times by 4 tests: end of block

Executed by:

destest
evptest
libcrypto.so.44.0.1
ssltest

3480

276 else -

{ c=((c>>1L)|(c<<27L)); d=((d>>1L)|(d<<27L)); }

executed 1160 times by 4 tests: end of block

Executed by:

destest
evptest
libcrypto.so.44.0.1
ssltest

1160

278 c&=0x0fffffffL; -

279 d&=0x0fffffffL; -

280 -

281 -

282 s= des_skb[0][ (c )&0x3f ]| -

283 des_skb[1][((c>> 6L)&0x03)|((c>> 7L)&0x3c)]| -

284 des_skb[2][((c>>13L)&0x0f)|((c>>14L)&0x30)]| -

285 des_skb[3][((c>>20L)&0x01)|((c>>21L)&0x06) | -

286 ((c>>22L)&0x38)]; -

287 t= des_skb[4][ (d )&0x3f ]| -

288 des_skb[5][((d>> 7L)&0x03)|((d>> 8L)&0x3c)]| -

289 des_skb[6][ (d>>15L)&0x3f ]| -

290 des_skb[7][((d>>21L)&0x0f)|((d>>22L)&0x30)]; -

291 -

292 -

293 t2=((t<<16L)|(s&0x0000ffffL))&0xffffffffL; -

294 *(k++)=ROTATE(t2,30)&0xffffffffL; -

295 -

296 t2=((s>>16L)|(t&0xffff0000L)); -

297 *(k++)=ROTATE(t2,26)&0xffffffffL; -

}

executed 4640 times by 4 tests: end of block

Executed by:

destest
evptest
libcrypto.so.44.0.1
ssltest

4640

}

executed 290 times by 4 tests: end of block

Executed by:

destest
evptest
libcrypto.so.44.0.1
ssltest

290

300 -

301 int DES_key_sched(const_DES_cblock *key, DES_key_schedule *schedule) -

302 { -

return

never executed: return(DES_set_key(key,schedule));

(DES_set_key(key,schedule));

never executed: return(DES_set_key(key,schedule));

0

304 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2