OpenCoverage

rsa_pss.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/openssl/src/crypto/rsa/rsa_pss.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 static const unsigned char zeroes[] = { 0, 0, 0, 0, 0, 0, 0, 0 }; -

3 -

4 -

5 -

6 -

7 -

8 int RSA_verify_PKCS1_PSS(RSA *rsa, const unsigned char *mHash, -

9 const EVP_MD *Hash, const unsigned char *EM, -

10 int sLen) -

11 { -

return

never executed: return RSA_verify_PKCS1_PSS_mgf1(rsa, mHash, Hash, ((void *)0) , EM, sLen);

RSA_verify_PKCS1_PSS_mgf1(rsa, mHash, Hash,

never executed: return RSA_verify_PKCS1_PSS_mgf1(rsa, mHash, Hash, ((void *)0) , EM, sLen);

((void *)0)

never executed: return RSA_verify_PKCS1_PSS_mgf1(rsa, mHash, Hash, ((void *)0) , EM, sLen);

, EM, sLen);

never executed: return RSA_verify_PKCS1_PSS_mgf1(rsa, mHash, Hash, ((void *)0) , EM, sLen);

15 } -

16 -

17 int RSA_verify_PKCS1_PSS_mgf1(RSA *rsa, const unsigned char *mHash, -

18 const EVP_MD *Hash, const EVP_MD *mgf1Hash, -

19 const unsigned char *EM, int sLen) -

20 { -

21 int i; -

22 int ret = 0; -

23 int hLen, maskedDBLen, MSBits, emLen; -

24 const unsigned char *H; -

25 unsigned char *DB = -

26 ((void *)0) -

27 ; -

28 EVP_MD_CTX *ctx = EVP_MD_CTX_new(); -

29 unsigned char H_[64]; -

30 -

if (ctx ==

ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1009 times by 1 test Evaluated by: libcrypto.so.1.1

0-1009

((void *)0)

ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1009 times by 1 test Evaluated by: libcrypto.so.1.1

0-1009

33 ) -

goto

never executed: goto err;

err;

never executed: goto err;

35 -

if (mgf1Hash ==

mgf1Hash == ((void *)0)	Description
TRUE	evaluated 934 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 75 times by 1 test Evaluated by: libcrypto.so.1.1

75-934

((void *)0)

mgf1Hash == ((void *)0)	Description
TRUE	evaluated 934 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 75 times by 1 test Evaluated by: libcrypto.so.1.1

75-934

38 ) -

mgf1Hash = Hash;

executed 934 times by 1 test: mgf1Hash = Hash;

Executed by:

libcrypto.so.1.1

934

40 -

41 hLen = EVP_MD_size(Hash); -

if (hLen < 0

hLen < 0	Description
TRUE	never evaluated
FALSE	evaluated 1009 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1009

goto

never executed: goto err;

err;

never executed: goto err;

44 -

45 -

46 -

47 -

48 -

49 -

50 -

if (sLen == -1

sLen == -1	Description
TRUE	evaluated 932 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 77 times by 1 test Evaluated by: libcrypto.so.1.1

) {

77-932

52 sLen = hLen; -

}

executed 932 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else if (sLen < -3

sLen < -3	Description
TRUE	never evaluated
FALSE	evaluated 77 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-932

54 ERR_put_error(4,(126),(136),__FILE__,63); -

goto

never executed: goto err;

err;

never executed: goto err;

56 } -

57 -

58 MSBits = (BN_num_bits(rsa->n) - 1) & 0x7; -

59 emLen = RSA_size(rsa); -

if (EM[0] & (0xFF << MSBits)

EM[0] & (0xFF << MSBits)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1008 times by 1 test Evaluated by: libcrypto.so.1.1

) {

1-1008

61 ERR_put_error(4,(126),(133),__FILE__,70); -

goto

executed 1 time by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 1 time by 1 test: goto err;

Executed by:

libcrypto.so.1.1

63 } -

if (MSBits == 0

MSBits == 0	Description
TRUE	evaluated 7 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1001 times by 1 test Evaluated by: libcrypto.so.1.1

) {

7-1001

65 EM++; -

66 emLen--; -

}

executed 7 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

if (emLen < hLen + 2

emLen < hLen + 2	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1007 times by 1 test Evaluated by: libcrypto.so.1.1

) {

1-1007

69 ERR_put_error(4,(126),(109),__FILE__,78); -

goto

executed 1 time by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 1 time by 1 test: goto err;

Executed by:

libcrypto.so.1.1

71 } -

if (sLen == -3

sLen == -3	Description
TRUE	evaluated 2 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1005 times by 1 test Evaluated by: libcrypto.so.1.1

) {

2-1005

73 sLen = emLen - hLen - 2; -

}

executed 2 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else if (sLen > emLen - hLen - 2

sLen > emLen - hLen - 2	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1004 times by 1 test Evaluated by: libcrypto.so.1.1

) {

1-1004

75 ERR_put_error(4,(126),(109),__FILE__,84); -

goto

executed 1 time by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 1 time by 1 test: goto err;

Executed by:

libcrypto.so.1.1

77 } -

if (EM[emLen - 1] != 0xbc

EM[emLen - 1] != 0xbc	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1000 times by 1 test Evaluated by: libcrypto.so.1.1

) {

6-1000

79 ERR_put_error(4,(126),(134),__FILE__,88); -

goto

executed 6 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 6 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

81 } -

82 maskedDBLen = emLen - hLen - 1; -

83 H = EM + maskedDBLen; -

84 DB = CRYPTO_malloc(maskedDBLen, __FILE__, 93); -

if (DB ==

DB == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1000 times by 1 test Evaluated by: libcrypto.so.1.1

0-1000

((void *)0)

DB == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1000 times by 1 test Evaluated by: libcrypto.so.1.1

0-1000

87 ) { -

88 ERR_put_error(4,(126),((1|64)),__FILE__,95); -

goto

never executed: goto err;

err;

never executed: goto err;

90 } -

if (PKCS1_MGF1(DB, maskedDBLen, H, hLen, mgf1Hash) < 0

PKCS1_MGF1(DB,... mgf1Hash) < 0	Description
TRUE	never evaluated
FALSE	evaluated 1000 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1000

goto

never executed: goto err;

err;

never executed: goto err;

for (i = 0; i < maskedDBLen

i < maskedDBLen	Description
TRUE	evaluated 215712 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1000 times by 1 test Evaluated by: libcrypto.so.1.1

; i++)

1000-215712

DB[i] ^= EM[i];

executed 215712 times by 1 test: DB[i] ^= EM[i];

Executed by:

libcrypto.so.1.1

215712

if (MSBits

MSBits	Description
TRUE	evaluated 993 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 7 times by 1 test Evaluated by: libcrypto.so.1.1

)

7-993

DB[0] &= 0xFF >> (8 - MSBits);

executed 993 times by 1 test: DB[0] &= 0xFF >> (8 - MSBits);

Executed by:

libcrypto.so.1.1

993

for (i = 0; DB[i] == 0

DB[i] == 0	Description
TRUE	evaluated 181936 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1000 times by 1 test Evaluated by: libcrypto.so.1.1

&& i < (maskedDBLen - 1)

i < (maskedDBLen - 1)	Description
TRUE	evaluated 181936 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

; i++) ;

executed 181936 times by 1 test: ;

Executed by:

libcrypto.so.1.1

0-181936

if (DB[i++] != 0x1

DB[i++] != 0x1	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 994 times by 1 test Evaluated by: libcrypto.so.1.1

) {

6-994

99 ERR_put_error(4,(126),(135),__FILE__,106); -

100

goto

executed 6 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 6 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

101 } -

102

if (sLen != -2

sLen != -2	Description
TRUE	evaluated 933 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 61 times by 1 test Evaluated by: libcrypto.so.1.1

&& (

(maskedDBLen - i) != sLen	Description
TRUE	evaluated 3 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 930 times by 1 test Evaluated by: libcrypto.so.1.1

maskedDBLen - i) != sLen

(maskedDBLen - i) != sLen	Description
TRUE	evaluated 3 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 930 times by 1 test Evaluated by: libcrypto.so.1.1

) {

3-933

103 ERR_put_error(4,(126),(136),__FILE__,110); -

104

goto

executed 3 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 3 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

105 } -

106

if (!EVP_DigestInit_ex(ctx, Hash,

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 991 times by 1 test Evaluated by: libcrypto.so.1.1

0-991

107

((void *)0)

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 991 times by 1 test Evaluated by: libcrypto.so.1.1

0-991

108

)

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 991 times by 1 test Evaluated by: libcrypto.so.1.1

0-991

109

|| !EVP_DigestUpdate(ctx, zeroes, sizeof(zeroes))

!EVP_DigestUpd...izeof(zeroes))	Description
TRUE	never evaluated
FALSE	evaluated 991 times by 1 test Evaluated by: libcrypto.so.1.1

0-991

110

|| !EVP_DigestUpdate(ctx, mHash, hLen)

!EVP_DigestUpd..., mHash, hLen)	Description
TRUE	never evaluated
FALSE	evaluated 991 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-991

111

goto

never executed: goto err;

err;

never executed: goto err;

112

if (maskedDBLen - i

maskedDBLen - i	Description
TRUE	evaluated 990 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.1.1

) {

1-990

113

if (!EVP_DigestUpdate(ctx, DB + i, maskedDBLen - i)

!EVP_DigestUpd...skedDBLen - i)	Description
TRUE	never evaluated
FALSE	evaluated 990 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-990

114

goto

never executed: goto err;

err;

never executed: goto err;

115

}

executed 990 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

990

116

if (!EVP_DigestFinal_ex(ctx, H_,

!EVP_DigestFin... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 991 times by 1 test Evaluated by: libcrypto.so.1.1

0-991

117

((void *)0)

!EVP_DigestFin... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 991 times by 1 test Evaluated by: libcrypto.so.1.1

0-991

118

)

!EVP_DigestFin... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 991 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-991

119

goto

never executed: goto err;

err;

never executed: goto err;

120

if (memcmp(H_, H, hLen)

memcmp(H_, H, hLen)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 989 times by 1 test Evaluated by: libcrypto.so.1.1

) {

2-989

121 ERR_put_error(4,(126),(104),__FILE__,124); -

122 ret = 0; -

123

}

executed 2 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else {

124 ret = 1; -

125

}

executed 989 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

989

126 -

127

err:

code before this statement executed 991 times by 1 test: err:

Executed by:

libcrypto.so.1.1

991

128 CRYPTO_free(DB, __FILE__, 131); -

129 EVP_MD_CTX_free(ctx); -

130 -

131

return

executed 1009 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

ret;

executed 1009 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

1009

132 -

133 } -

134 -

135 int RSA_padding_add_PKCS1_PSS(RSA *rsa, unsigned char *EM, -

136 const unsigned char *mHash, -

137 const EVP_MD *Hash, int sLen) -

138 { -

139

return

never executed: return RSA_padding_add_PKCS1_PSS_mgf1(rsa, EM, mHash, Hash, ((void *)0) , sLen);

RSA_padding_add_PKCS1_PSS_mgf1(rsa, EM, mHash, Hash,

never executed: return RSA_padding_add_PKCS1_PSS_mgf1(rsa, EM, mHash, Hash, ((void *)0) , sLen);

140

((void *)0)

never executed: return RSA_padding_add_PKCS1_PSS_mgf1(rsa, EM, mHash, Hash, ((void *)0) , sLen);

141

, sLen);

never executed: return RSA_padding_add_PKCS1_PSS_mgf1(rsa, EM, mHash, Hash, ((void *)0) , sLen);

142 } -

143 -

144 int RSA_padding_add_PKCS1_PSS_mgf1(RSA *rsa, unsigned char *EM, -

145 const unsigned char *mHash, -

146 const EVP_MD *Hash, const EVP_MD *mgf1Hash, -

147 int sLen) -

148 { -

149 int i; -

150 int ret = 0; -

151 int hLen, maskedDBLen, MSBits, emLen; -

152 unsigned char *H, *salt = -

153 ((void *)0) -

154 , *p; -

155 EVP_MD_CTX *ctx = -

156 ((void *)0) -

157 ; -

158 -

159

if (mgf1Hash ==

mgf1Hash == ((void *)0)	Description
TRUE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 4 times by 1 test Evaluated by: libcrypto.so.1.1

4-1090

160

((void *)0)

mgf1Hash == ((void *)0)	Description
TRUE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 4 times by 1 test Evaluated by: libcrypto.so.1.1

4-1090

161 ) -

162

mgf1Hash = Hash;

executed 1090 times by 1 test: mgf1Hash = Hash;

Executed by:

libcrypto.so.1.1

1090

163 -

164 hLen = EVP_MD_size(Hash); -

165

if (hLen < 0

hLen < 0	Description
TRUE	never evaluated
FALSE	evaluated 1094 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1094

166

goto

never executed: goto err;

err;

never executed: goto err;

167 -

168 -

169 -

170 -

171 -

172 -

173 -

174

if (sLen == -1

sLen == -1	Description
TRUE	evaluated 1086 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 8 times by 1 test Evaluated by: libcrypto.so.1.1

) {

8-1086

175 sLen = hLen; -

176

}

executed 1086 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else if (sLen == -2

sLen == -2	Description
TRUE	evaluated 3 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 5 times by 1 test Evaluated by: libcrypto.so.1.1

) {

3-1086

177 sLen = -3; -

178

}

executed 3 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else if (sLen < -3

sLen < -3	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-5

179 ERR_put_error(4,(152),(136),__FILE__,174); -

180

goto

never executed: goto err;

err;

never executed: goto err;

181 } -

182 -

183 MSBits = (BN_num_bits(rsa->n) - 1) & 0x7; -

184 emLen = RSA_size(rsa); -

185

if (MSBits == 0

MSBits == 0	Description
TRUE	never evaluated
FALSE	evaluated 1094 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-1094

186 *EM++ = 0; -

187 emLen--; -

188

}

never executed: end of block

189

if (emLen < hLen + 2

emLen < hLen + 2	Description
TRUE	evaluated 2 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

) {

2-1092

190 ERR_put_error(4,(152),(110),__FILE__,186) -

191 ; -

192

goto

executed 2 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 2 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

193 } -

194

if (sLen == -3

sLen == -3	Description
TRUE	evaluated 4 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1088 times by 1 test Evaluated by: libcrypto.so.1.1

) {

4-1088

195 sLen = emLen - hLen - 2; -

196

}

executed 4 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else if (sLen > emLen - hLen - 2

sLen > emLen - hLen - 2	Description
TRUE	never evaluated
FALSE	evaluated 1088 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-1088

197 ERR_put_error(4,(152),(110),__FILE__,193) -

198 ; -

199

goto

never executed: goto err;

err;

never executed: goto err;

200 } -

201

if (sLen > 0

sLen > 0	Description
TRUE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 2 times by 1 test Evaluated by: libcrypto.so.1.1

) {

2-1090

202 salt = CRYPTO_malloc(sLen, __FILE__, 197); -

203

if (salt ==

salt == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1

0-1090

204

((void *)0)

salt == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1

0-1090

205 ) { -

206 ERR_put_error(4,(152),((1|64)),__FILE__,200) -

207 ; -

208

goto

never executed: goto err;

err;

never executed: goto err;

209 } -

210

if (RAND_bytes(salt, sLen) <= 0

RAND_bytes(salt, sLen) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1090

211

goto

never executed: goto err;

err;

never executed: goto err;

212

}

executed 1090 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

1090

213 maskedDBLen = emLen - hLen - 1; -

214 H = EM + maskedDBLen; -

215 ctx = EVP_MD_CTX_new(); -

216

if (ctx ==

ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

0-1092

217

((void *)0)

ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

0-1092

218 ) -

219

goto

never executed: goto err;

err;

never executed: goto err;

220

if (!EVP_DigestInit_ex(ctx, Hash,

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

0-1092

221

((void *)0)

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

0-1092

222

)

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

0-1092

223

|| !EVP_DigestUpdate(ctx, zeroes, sizeof(zeroes))

!EVP_DigestUpd...izeof(zeroes))	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

0-1092

224

|| !EVP_DigestUpdate(ctx, mHash, hLen)

!EVP_DigestUpd..., mHash, hLen)	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1092

225

goto

never executed: goto err;

err;

never executed: goto err;

226

if (sLen

sLen	Description
TRUE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 2 times by 1 test Evaluated by: libcrypto.so.1.1

&& !EVP_DigestUpdate(ctx, salt, sLen)

!EVP_DigestUpd...x, salt, sLen)	Description
TRUE	never evaluated
FALSE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1090

227

goto

never executed: goto err;

err;

never executed: goto err;

228

if (!EVP_DigestFinal_ex(ctx, H,

!EVP_DigestFin... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

0-1092

229

((void *)0)

!EVP_DigestFin... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

0-1092

230

)

!EVP_DigestFin... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1092

231

goto

never executed: goto err;

err;

never executed: goto err;

232 -

233 -

234

if (PKCS1_MGF1(EM, maskedDBLen, H, hLen, mgf1Hash)

PKCS1_MGF1(EM,...Len, mgf1Hash)	Description
TRUE	never evaluated
FALSE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1092

235

goto

never executed: goto err;

err;

never executed: goto err;

236 -

237 p = EM; -

238 -

239 -

240 -

241 -

242 -

243 p += emLen - sLen - hLen - 2; -

244 *p++ ^= 0x1; -

245

if (sLen > 0

sLen > 0	Description
TRUE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 2 times by 1 test Evaluated by: libcrypto.so.1.1

) {

2-1090

246

for (i = 0; i < sLen

i < sLen	Description
TRUE	evaluated 35780 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1090 times by 1 test Evaluated by: libcrypto.so.1.1

; i++)

1090-35780

247

executed 35780 times by 1 test: *p++ ^= salt[i];

Executed by:

libcrypto.so.1.1

p++ ^= salt[i];

executed 35780 times by 1 test: *p++ ^= salt[i];

Executed by:

libcrypto.so.1.1

35780

248

}

executed 1090 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

1090

249

if (MSBits

MSBits	Description
TRUE	evaluated 1092 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

)

0-1092

250

EM[0] &= 0xFF >> (8 - MSBits);

executed 1092 times by 1 test: EM[0] &= 0xFF >> (8 - MSBits);

Executed by:

libcrypto.so.1.1

1092

251 -

252 -

253 -

254 EM[emLen - 1] = 0xbc; -

255 -

256 ret = 1; -

257 -

258

err:

code before this statement executed 1092 times by 1 test: err:

Executed by:

libcrypto.so.1.1

1092

259 EVP_MD_CTX_free(ctx); -

260 CRYPTO_clear_free(salt, (size_t)sLen, __FILE__, 247); -

261 -

262

return

executed 1094 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

ret;

executed 1094 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

1094

263 -

264 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2