OpenCoverage

bn_mul.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/bn/bn_mul.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 unsigned long -

4 bn_sub_part_words(unsigned long *r, const unsigned long *a, const unsigned long *b, int cl, -

5 int dl) -

6 { -

7 unsigned long c, t; -

8 -

9 -

10 ((void) (0)) -

11 ; -

12 c = bn_sub_words(r, a, b, cl); -

13 -

if (dl == 0

dl == 0	Description
TRUE	evaluated 4734 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 850 times by 2 tests Evaluated by: bntest servertest

)

850-4734

return

executed 4734 times by 7 tests: return c;

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 4734 times by 7 tests: return c;

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

4734

16 -

17 r += cl; -

18 a += cl; -

19 b += cl; -

20 -

if (dl < 0

dl < 0	Description
TRUE	never evaluated
FALSE	evaluated 850 times by 2 tests Evaluated by: bntest servertest

) {

0-850

22 -

23 -

24 -

25 -

26 -

27 for (;;) { -

28 t = b[0]; -

29 r[0] = (0 - t - c) & (0xffffffffffffffffL); -

if (t != 0

t != 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

c = 1;

never executed: c = 1;

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

break;

never executed: break;

34 -

35 t = b[1]; -

36 r[1] = (0 - t - c) & (0xffffffffffffffffL); -

if (t != 0

t != 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

c = 1;

never executed: c = 1;

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

break;

never executed: break;

41 -

42 t = b[2]; -

43 r[2] = (0 - t - c) & (0xffffffffffffffffL); -

if (t != 0

t != 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

c = 1;

never executed: c = 1;

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

break;

never executed: break;

48 -

49 t = b[3]; -

50 r[3] = (0 - t - c) & (0xffffffffffffffffL); -

if (t != 0

t != 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

c = 1;

never executed: c = 1;

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

break;

never executed: break;

55 -

56 b += 4; -

57 r += 4; -

}

never executed: end of block

}

never executed: end of block

else {

60 int save_dl = dl; -

61 -

62 -

63 -

64 -

65 -

while (c

c	Description
TRUE	evaluated 370 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 548 times by 2 tests Evaluated by: bntest servertest

) {

370-548

67 t = a[0]; -

68 r[0] = (t - c) & (0xffffffffffffffffL); -

if (t != 0

t != 0	Description
TRUE	evaluated 370 times by 2 tests Evaluated by: bntest servertest
FALSE	never evaluated

)

0-370

c = 0;

executed 370 times by 2 tests: c = 0;

Executed by:

bntest
servertest

370

if (--

--dl <= 0	Description
TRUE	evaluated 302 times by 1 test Evaluated by: servertest
FALSE	evaluated 68 times by 1 test Evaluated by: bntest

dl <= 0

--dl <= 0	Description
TRUE	evaluated 302 times by 1 test Evaluated by: servertest
FALSE	evaluated 68 times by 1 test Evaluated by: bntest

)

68-302

break;

executed 302 times by 1 test: break;

Executed by:

servertest

302

73 -

74 t = a[1]; -

75 r[1] = (t - c) & (0xffffffffffffffffL); -

if (t != 0

t != 0	Description
TRUE	evaluated 68 times by 1 test Evaluated by: bntest
FALSE	never evaluated

)

0-68

c = 0;

executed 68 times by 1 test: c = 0;

Executed by:

bntest

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	evaluated 68 times by 1 test Evaluated by: bntest

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	evaluated 68 times by 1 test Evaluated by: bntest

)

0-68

break;

never executed: break;

80 -

81 t = a[2]; -

82 r[2] = (t - c) & (0xffffffffffffffffL); -

if (t != 0

t != 0	Description
TRUE	evaluated 68 times by 1 test Evaluated by: bntest
FALSE	never evaluated

)

0-68

c = 0;

executed 68 times by 1 test: c = 0;

Executed by:

bntest

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	evaluated 68 times by 1 test Evaluated by: bntest

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	evaluated 68 times by 1 test Evaluated by: bntest

)

0-68

break;

never executed: break;

87 -

88 t = a[3]; -

89 r[3] = (t - c) & (0xffffffffffffffffL); -

if (t != 0

t != 0	Description
TRUE	evaluated 66 times by 1 test Evaluated by: bntest
FALSE	evaluated 2 times by 1 test Evaluated by: bntest

)

2-66

c = 0;

executed 66 times by 1 test: c = 0;

Executed by:

bntest

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	evaluated 68 times by 1 test Evaluated by: bntest

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	evaluated 68 times by 1 test Evaluated by: bntest

)

0-68

break;

never executed: break;

94 -

95 save_dl = dl; -

96 a += 4; -

97 r += 4; -

}

executed 68 times by 1 test: end of block

Executed by:

bntest

if (dl > 0

dl > 0	Description
TRUE	evaluated 548 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 302 times by 1 test Evaluated by: servertest

) {

302-548

100 -

101 -

102 -

103 -

104 -

105

if (save_dl > dl

save_dl > dl	Description
TRUE	never evaluated
FALSE	evaluated 548 times by 2 tests Evaluated by: bntest servertest

) {

0-548

106 switch (save_dl - dl) { -

107

case

never executed: case 1:

108 r[1] = a[1]; -

109

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

110

break;

never executed: break;

111

case

never executed: case 2:

code before this statement never executed: case 2:

112 r[2] = a[2]; -

113

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

114

break;

never executed: break;

115

case

never executed: case 3:

code before this statement never executed: case 3:

116 r[3] = a[3]; -

117

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

118

break;

never executed: break;

119

}

never executed: end of block

120 a += 4; -

121 r += 4; -

122

}

never executed: end of block

123

}

executed 548 times by 2 tests: end of block

Executed by:

bntest
servertest

548

124

if (dl > 0

dl > 0	Description
TRUE	evaluated 548 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 302 times by 1 test Evaluated by: servertest

) {

302-548

125 -

126 -

127 -

128 -

129 -

130 for (;;) { -

131 r[0] = a[0]; -

132

if (--

--dl <= 0	Description
TRUE	evaluated 152 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 1606 times by 1 test Evaluated by: bntest

dl <= 0

--dl <= 0	Description
TRUE	evaluated 152 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 1606 times by 1 test Evaluated by: bntest

)

152-1606

133

break;

executed 152 times by 2 tests: break;

Executed by:

bntest
servertest

152

134 r[1] = a[1]; -

135

if (--

--dl <= 0	Description
TRUE	evaluated 150 times by 1 test Evaluated by: bntest
FALSE	evaluated 1456 times by 1 test Evaluated by: bntest

dl <= 0

--dl <= 0	Description
TRUE	evaluated 150 times by 1 test Evaluated by: bntest
FALSE	evaluated 1456 times by 1 test Evaluated by: bntest

)

150-1456

136

break;

executed 150 times by 1 test: break;

Executed by:

bntest

150

137 r[2] = a[2]; -

138

if (--

--dl <= 0	Description
TRUE	evaluated 150 times by 1 test Evaluated by: bntest
FALSE	evaluated 1306 times by 1 test Evaluated by: bntest

dl <= 0

--dl <= 0	Description
TRUE	evaluated 150 times by 1 test Evaluated by: bntest
FALSE	evaluated 1306 times by 1 test Evaluated by: bntest

)

150-1306

139

break;

executed 150 times by 1 test: break;

Executed by:

bntest

150

140 r[3] = a[3]; -

141

if (--

--dl <= 0	Description
TRUE	evaluated 96 times by 1 test Evaluated by: bntest
FALSE	evaluated 1210 times by 1 test Evaluated by: bntest

dl <= 0

--dl <= 0	Description
TRUE	evaluated 96 times by 1 test Evaluated by: bntest
FALSE	evaluated 1210 times by 1 test Evaluated by: bntest

)

96-1210

142

break;

executed 96 times by 1 test: break;

Executed by:

bntest

143 -

144 a += 4; -

145 r += 4; -

146

}

executed 1210 times by 1 test: end of block

Executed by:

bntest

1210

147

}

executed 548 times by 2 tests: end of block

Executed by:

bntest
servertest

548

148

}

executed 850 times by 2 tests: end of block

Executed by:

bntest
servertest

850

149

return

executed 850 times by 2 tests: return c;

Executed by:

bntest
servertest

executed 850 times by 2 tests: return c;

Executed by:

bntest
servertest

850

150 } -

151 -

152 -

153 unsigned long -

154 bn_add_part_words(unsigned long *r, const unsigned long *a, const unsigned long *b, int cl, -

155 int dl) -

156 { -

157 unsigned long c, l, t; -

158 -

159 -

160 ((void) (0)) -

161 ; -

162 c = bn_add_words(r, a, b, cl); -

163 -

164

if (dl == 0

dl == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

165

return

never executed: return c;

166 -

167 r += cl; -

168 a += cl; -

169 b += cl; -

170 -

171

if (dl < 0

dl < 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

172 int save_dl = dl; -

173 -

174 -

175 -

176 -

177 -

178

while (c

c	Description
TRUE	never evaluated
FALSE	never evaluated

) {

179 l = (c + b[0]) & (0xffffffffffffffffL); -

180 c = (l < c); -

181 r[0] = l; -

182

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

183

break;

never executed: break;

184 -

185 l = (c + b[1]) & (0xffffffffffffffffL); -

186 c = (l < c); -

187 r[1] = l; -

188

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

189

break;

never executed: break;

190 -

191 l = (c + b[2]) & (0xffffffffffffffffL); -

192 c = (l < c); -

193 r[2] = l; -

194

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

195

break;

never executed: break;

196 -

197 l = (c + b[3]) & (0xffffffffffffffffL); -

198 c = (l < c); -

199 r[3] = l; -

200

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

201

break;

never executed: break;

202 -

203 save_dl = dl; -

204 b += 4; -

205 r += 4; -

206

}

never executed: end of block

207

if (dl < 0

dl < 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

208 -

209 -

210 -

211 -

212 -

213

if (save_dl < dl

save_dl < dl	Description
TRUE	never evaluated
FALSE	never evaluated

) {

214 switch (dl - save_dl) { -

215

case

never executed: case 1:

216 r[1] = b[1]; -

217

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

218

break;

never executed: break;

219

case

never executed: case 2:

code before this statement never executed: case 2:

220 r[2] = b[2]; -

221

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

222

break;

never executed: break;

223

case

never executed: case 3:

code before this statement never executed: case 3:

224 r[3] = b[3]; -

225

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

226

break;

never executed: break;

227

}

never executed: end of block

228 b += 4; -

229 r += 4; -

230

}

never executed: end of block

231

}

never executed: end of block

232

if (dl < 0

dl < 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

233 -

234 -

235 -

236 -

237 -

238 for (;;) { -

239 r[0] = b[0]; -

240

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

241

break;

never executed: break;

242 r[1] = b[1]; -

243

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

244

break;

never executed: break;

245 r[2] = b[2]; -

246

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

247

break;

never executed: break;

248 r[3] = b[3]; -

249

if (++

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl >= 0

++dl >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

250

break;

never executed: break;

251 -

252 b += 4; -

253 r += 4; -

254

}

never executed: end of block

255

}

never executed: end of block

256

}

never executed: end of block

else {

257 int save_dl = dl; -

258 -

259 -

260 -

261 -

262

while (c

c	Description
TRUE	never evaluated
FALSE	never evaluated

) {

263 t = (a[0] + c) & (0xffffffffffffffffL); -

264 c = (t < c); -

265 r[0] = t; -

266

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

267

break;

never executed: break;

268 -

269 t = (a[1] + c) & (0xffffffffffffffffL); -

270 c = (t < c); -

271 r[1] = t; -

272

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

273

break;

never executed: break;

274 -

275 t = (a[2] + c) & (0xffffffffffffffffL); -

276 c = (t < c); -

277 r[2] = t; -

278

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

279

break;

never executed: break;

280 -

281 t = (a[3] + c) & (0xffffffffffffffffL); -

282 c = (t < c); -

283 r[3] = t; -

284

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

285

break;

never executed: break;

286 -

287 save_dl = dl; -

288 a += 4; -

289 r += 4; -

290

}

never executed: end of block

291 -

292 -

293 -

294 -

295

if (dl > 0

dl > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

296

if (save_dl > dl

save_dl > dl	Description
TRUE	never evaluated
FALSE	never evaluated

) {

297 switch (save_dl - dl) { -

298

case

never executed: case 1:

299 r[1] = a[1]; -

300

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

301

break;

never executed: break;

302

case

never executed: case 2:

code before this statement never executed: case 2:

303 r[2] = a[2]; -

304

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

305

break;

never executed: break;

306

case

never executed: case 3:

code before this statement never executed: case 3:

307 r[3] = a[3]; -

308

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

309

break;

never executed: break;

310

}

never executed: end of block

311 a += 4; -

312 r += 4; -

313

}

never executed: end of block

314

}

never executed: end of block

315

if (dl > 0

dl > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

316 -

317 -

318 -

319 -

320 -

321 for (;;) { -

322 r[0] = a[0]; -

323

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

324

break;

never executed: break;

325 r[1] = a[1]; -

326

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

327

break;

never executed: break;

328 r[2] = a[2]; -

329

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

330

break;

never executed: break;

331 r[3] = a[3]; -

332

if (--

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

dl <= 0

--dl <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

333

break;

never executed: break;

334 -

335 a += 4; -

336 r += 4; -

337

}

never executed: end of block

338

}

never executed: end of block

339

}

never executed: end of block

340

return

never executed: return c;

341 } -

342 void -

343 bn_mul_recursive(unsigned long *r, unsigned long *a, unsigned long *b, int n2, int dna, -

344 int dnb, unsigned long *t) -

345 { -

346 int n = n2 / 2, c1, c2; -

347 int tna = n + dna, tnb = n + dnb; -

348 unsigned int neg, zero; -

349 unsigned long ln, lo, *p; -

350

if (n2 == 8

n2 == 8	Description
TRUE	evaluated 477 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 2518 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

&& dna == 0

dna == 0	Description
TRUE	evaluated 333 times by 1 test Evaluated by: servertest
FALSE	evaluated 144 times by 2 tests Evaluated by: bntest servertest

&& dnb == 0

dnb == 0	Description
TRUE	evaluated 302 times by 1 test Evaluated by: servertest
FALSE	evaluated 31 times by 1 test Evaluated by: servertest

) {

31-2518

351 bn_mul_comba8(r, a, b); -

352

return;

executed 302 times by 1 test: return;

Executed by:

servertest

302

353 } -

354 -

355 -

356

if (n2 < (16)

n2 < (16)	Description
TRUE	evaluated 175 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 2518 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

175-2518

357 bn_mul_normal(r, a, n2 + dna, b, n2 + dnb); -

358

if ((

(dna + dnb) < 0	Description
TRUE	evaluated 175 times by 2 tests Evaluated by: bntest servertest
FALSE	never evaluated

dna + dnb) < 0

(dna + dnb) < 0	Description
TRUE	evaluated 175 times by 2 tests Evaluated by: bntest servertest
FALSE	never evaluated

)

0-175

359

memset(&r[2*n2 + dna + dnb], 0,

executed 175 times by 2 tests: memset(&r[2*n2 + dna + dnb], 0, sizeof(unsigned long) * -(dna + dnb));

Executed by:

bntest
servertest

175

360

sizeof(unsigned long) * -(dna + dnb));

executed 175 times by 2 tests: memset(&r[2*n2 + dna + dnb], 0, sizeof(unsigned long) * -(dna + dnb));

Executed by:

bntest
servertest

175

361

return;

executed 175 times by 2 tests: return;

Executed by:

bntest
servertest

175

362 } -

363 -

364 c1 = bn_cmp_part_words(a, &(a[n]), tna, n - tna); -

365 c2 = bn_cmp_part_words(&(b[n]), b,tnb, tnb - n); -

366 zero = neg = 0; -

367 switch (c1 * 3 + c2) { -

368

case

executed 543 times by 7 tests: case -4:

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

-4:

executed 543 times by 7 tests: case -4:

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

543

369 bn_sub_part_words(t, &(a[n]), a, tna, tna - n); -

370 bn_sub_part_words(&(t[n]), b, &(b[n]), tnb, n - tnb); -

371

break;

executed 543 times by 7 tests: break;

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

543

372

case

never executed: case -3:

-3:

never executed: case -3:

373 zero = 1; -

374

break;

never executed: break;

375

case

executed 379 times by 7 tests: case -2:

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

-2:

executed 379 times by 7 tests: case -2:

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

379

376 bn_sub_part_words(t, &(a[n]), a, tna, tna - n); -

377 bn_sub_part_words(&(t[n]), &(b[n]), b, tnb, tnb - n); -

378 neg = 1; -

379

break;

executed 379 times by 7 tests: break;

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

379

380

case

never executed: case -1:

-1:

never executed: case -1:

381

case

never executed: case 0:

382

case

never executed: case 1:

383 zero = 1; -

384

break;

never executed: break;

385

case

executed 1065 times by 7 tests: case 2:

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 1065 times by 7 tests: case 2:

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1065

386 bn_sub_part_words(t, a, &(a[n]), tna, n - tna); -

387 bn_sub_part_words(&(t[n]), b, &(b[n]), tnb, n - tnb); -

388 neg = 1; -

389

break;

executed 1065 times by 7 tests: break;

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1065

390

case

never executed: case 3:

391 zero = 1; -

392

break;

never executed: break;

393

case

executed 531 times by 7 tests: case 4:

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 531 times by 7 tests: case 4:

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

531

394 bn_sub_part_words(t, a, &(a[n]), tna, n - tna); -

395 bn_sub_part_words(&(t[n]), &(b[n]), b, tnb, tnb - n); -

396

break;

executed 531 times by 7 tests: break;

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

531

397 } -

398 -

399 -

400

if (n == 4

n == 4	Description
TRUE	never evaluated
FALSE	evaluated 2518 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

&& dna == 0

dna == 0	Description
TRUE	never evaluated
FALSE	never evaluated

&& dnb == 0

dnb == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

0-2518

401 -

402 { -

403

if (!zero

!zero	Description
TRUE	never evaluated
FALSE	never evaluated

)

404

bn_mul_comba4(&(t[n2]), t, &(t[n]));

never executed: bn_mul_comba4(&(t[n2]), t, &(t[n]));

405 else -

406

memset(&(t[n2]), 0, 8 * sizeof(unsigned long));

never executed: memset(&(t[n2]), 0, 8 * sizeof(unsigned long));

407 -

408 bn_mul_comba4(r, a, b); -

409 bn_mul_comba4(&(r[n2]), &(a[n]), &(b[n])); -

410

}

never executed: end of block

else if (n == 8

n == 8	Description
TRUE	evaluated 2235 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 283 times by 5 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

&& dna == 0

dna == 0	Description
TRUE	evaluated 2115 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 120 times by 1 test Evaluated by: servertest

&& dnb == 0

dnb == 0	Description
TRUE	evaluated 2084 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 31 times by 1 test Evaluated by: servertest

)

0-2235

411 -

412 -

413 { -

414

if (!zero

!zero	Description
TRUE	evaluated 2084 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

)

0-2084

415

bn_mul_comba8(&(t[n2]), t, &(t[n]));

executed 2084 times by 7 tests: bn_mul_comba8(&(t[n2]), t, &(t[n]));

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

2084

416 else -

417

memset(&(t[n2]), 0, 16 * sizeof(unsigned long));

never executed: memset(&(t[n2]), 0, 16 * sizeof(unsigned long));

418 -

419 bn_mul_comba8(r, a, b); -

420 bn_mul_comba8(&(r[n2]), &(a[n]), &(b[n])); -

421

}

executed 2084 times by 7 tests: end of block

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

else

2084

422 -

423 { -

424 p = &(t[n2 * 2]); -

425

if (!zero

!zero	Description
TRUE	evaluated 434 times by 5 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	never evaluated

)

0-434

426

bn_mul_recursive(&(t[n2]), t, &(t[n]), n, 0, 0, p);

executed 434 times by 5 tests: bn_mul_recursive(&(t[n2]), t, &(t[n]), n, 0, 0, p);

Executed by:

libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

434

427 else -

428

memset(&(t[n2]), 0, n2 * sizeof(unsigned long));

never executed: memset(&(t[n2]), 0, n2 * sizeof(unsigned long));

429 bn_mul_recursive(r, a, b, n, 0, 0, p); -

430 bn_mul_recursive(&(r[n2]), &(a[n]), &(b[n]), n, dna, dnb, p); -

431

}

executed 434 times by 5 tests: end of block

Executed by:

libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

434

432 -

433 -

434 -

435 -

436 -

437 -

438 c1 = (int)(bn_add_words(t, r, &(r[n2]), n2)); -

439 -

440

if (neg

neg	Description
TRUE	evaluated 1444 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1074 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

1074-1444

441 { -

442 c1 -= (int)(bn_sub_words(&(t[n2]), t, &(t[n2]), n2)); -

443

}

executed 1444 times by 7 tests: end of block

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

else {

1444

444 -

445 c1 += (int)(bn_add_words(&(t[n2]), &(t[n2]), t, n2)); -

446

}

executed 1074 times by 7 tests: end of block

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1074

447 -

448 -

449 -

450 -

451 -

452 -

453 c1 += (int)(bn_add_words(&(r[n]), &(r[n]), &(t[n2]), n2)); -

454

if (c1

c1	Description
TRUE	evaluated 1023 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1495 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

1023-1495

455 p = &(r[n + n2]); -

456 lo= *p; -

457 ln = (lo + c1) & (0xffffffffffffffffL); -

458 *p = ln; -

459 -

460 -

461 -

462

if (ln < (unsigned long)c1

ln < (unsigned long)c1	Description
TRUE	never evaluated
FALSE	evaluated 1023 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

0-1023

463 do { -

464 p++; -

465 lo= *p; -

466 ln = (lo + 1) & (0xffffffffffffffffL); -

467 *p = ln; -

468

}

never executed: end of block

while (ln == 0

ln == 0	Description
TRUE	never evaluated
FALSE	never evaluated

);

469

}

never executed: end of block

470

}

executed 1023 times by 7 tests: end of block

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1023

471

}

executed 2518 times by 7 tests: end of block

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

2518

472 -

473 -

474 -

475 -

476 void -

477 bn_mul_part_recursive(unsigned long *r, unsigned long *a, unsigned long *b, int n, int tna, -

478 int tnb, unsigned long *t) -

479 { -

480 int i, j, n2 = n * 2; -

481 int c1, c2, neg; -

482 unsigned long ln, lo, *p; -

483 -

484 -

485 -

486 -

487 -

488

if (n < 8

n < 8	Description
TRUE	never evaluated
FALSE	evaluated 274 times by 2 tests Evaluated by: bntest servertest

) {

0-274

489 bn_mul_normal(r, a, n + tna, b, n + tnb); -

490

return;

never executed: return;

491 } -

492 -

493 -

494 c1 = bn_cmp_part_words(a, &(a[n]), tna, n - tna); -

495 c2 = bn_cmp_part_words(&(b[n]), b, tnb, tnb - n); -

496 neg = 0; -

497 switch (c1 * 3 + c2) { -

498

case

never executed: case -4:

-4:

never executed: case -4:

499 bn_sub_part_words(t, &(a[n]), a, tna, tna - n); -

500 bn_sub_part_words(&(t[n]), b, &(b[n]), tnb, n - tnb); -

501

break;

never executed: break;

502

case

never executed: case -3:

-3:

never executed: case -3:

503 -

504

case

never executed: case -2:

-2:

never executed: case -2:

505 bn_sub_part_words(t, &(a[n]), a, tna, tna - n); -

506 bn_sub_part_words(&(t[n]), &(b[n]), b, tnb, tnb - n); -

507 neg = 1; -

508

break;

never executed: break;

509

case

never executed: case -1:

-1:

never executed: case -1:

510

case

never executed: case 0:

511

case

never executed: case 1:

512 -

513

case

executed 274 times by 2 tests: case 2:

Executed by:

bntest
servertest

executed 274 times by 2 tests: case 2:

Executed by:

bntest
servertest

274

514 bn_sub_part_words(t, a, &(a[n]), tna, n - tna); -

515 bn_sub_part_words(&(t[n]), b, &(b[n]), tnb, n - tnb); -

516 neg = 1; -

517

break;

executed 274 times by 2 tests: break;

Executed by:

bntest
servertest

274

518

case

never executed: case 3:

519 -

520

case

never executed: case 4:

521 bn_sub_part_words(t, a, &(a[n]), tna, n - tna); -

522 bn_sub_part_words(&(t[n]), &(b[n]), b, tnb, tnb - n); -

523

break;

never executed: break;

524 } -

525

if (n == 8

n == 8	Description
TRUE	evaluated 2 times by 1 test Evaluated by: servertest
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

) {

2-272

526 bn_mul_comba8(&(t[n2]), t, &(t[n])); -

527 bn_mul_comba8(r, a, b); -

528 bn_mul_normal(&(r[n2]), &(a[n]), tna, &(b[n]), tnb); -

529 memset(&(r[n2 + tna + tnb]), 0, -

530 sizeof(unsigned long) * (n2 - tna - tnb)); -

531

}

executed 2 times by 1 test: end of block

Executed by:

servertest

else {

532 p = &(t[n2*2]); -

533 bn_mul_recursive(&(t[n2]), t, &(t[n]), n, 0, 0, p); -

534 bn_mul_recursive(r, a, b, n, 0, 0, p); -

535 i = n / 2; -

536 -

537 -

538

if (tna > tnb

tna > tnb	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

)

0-272

539

j = tna - i;

never executed: j = tna - i;

540 else -

541

j = tnb - i;

executed 272 times by 2 tests: j = tnb - i;

Executed by:

bntest
servertest

272

542

if (j == 0

j == 0	Description
TRUE	evaluated 24 times by 1 test Evaluated by: bntest
FALSE	evaluated 248 times by 2 tests Evaluated by: bntest servertest

) {

24-248

543 bn_mul_recursive(&(r[n2]), &(a[n]), &(b[n]), -

544 i, tna - i, tnb - i, p); -

545 memset(&(r[n2 + i * 2]), 0, -

546 sizeof(unsigned long) * (n2 - i * 2)); -

547

}

executed 24 times by 1 test: end of block

Executed by:

bntest

548

else if (j > 0

j > 0	Description
TRUE	evaluated 2 times by 1 test Evaluated by: servertest
FALSE	evaluated 246 times by 1 test Evaluated by: bntest

)

2-246

549 { -

550 bn_mul_part_recursive(&(r[n2]), &(a[n]), &(b[n]), -

551 i, tna - i, tnb - i, p); -

552 memset(&(r[n2 + tna + tnb]), 0, -

553 sizeof(unsigned long) * (n2 - tna - tnb)); -

554

}

executed 2 times by 1 test: end of block

Executed by:

servertest

555 else -

556 { -

557 memset(&(r[n2]), 0, sizeof(unsigned long) * n2); -

558

if (tna < (16)

tna < (16)	Description
TRUE	evaluated 246 times by 1 test Evaluated by: bntest
FALSE	never evaluated

0-246

559

tnb < (16)

tnb < (16)	Description
TRUE	evaluated 246 times by 1 test Evaluated by: bntest
FALSE	never evaluated

) {

0-246

560 bn_mul_normal(&(r[n2]), &(a[n]), tna, -

561 &(b[n]), tnb); -

562

}

executed 246 times by 1 test: end of block

Executed by:

bntest

else {

246

563 for (;;) { -

564 i /= 2; -

565 -

566 -

567 -

568

if (i < tna

i < tna	Description
TRUE	never evaluated
FALSE	never evaluated

|| i < tnb

i < tnb	Description
TRUE	never evaluated
FALSE	never evaluated

) {

569 bn_mul_part_recursive(&(r[n2]), -

570 &(a[n]), &(b[n]), i, -

571 tna - i, tnb - i, p); -

572

break;

never executed: break;

573

} else if (i == tna

i == tna	Description
TRUE	never evaluated
FALSE	never evaluated

|| i == tnb

i == tnb	Description
TRUE	never evaluated
FALSE	never evaluated

) {

574 bn_mul_recursive(&(r[n2]), -

575 &(a[n]), &(b[n]), i, -

576 tna - i, tnb - i, p); -

577

break;

never executed: break;

578 } -

579

}

never executed: end of block

580

}

never executed: end of block

581 } -

582 } -

583 -

584 -

585 -

586 -

587 -

588 -

589 c1 = (int)(bn_add_words(t, r,&(r[n2]), n2)); -

590 -

591

if (neg

neg	Description
TRUE	evaluated 274 times by 2 tests Evaluated by: bntest servertest
FALSE	never evaluated

)

0-274

592 { -

593 c1 -= (int)(bn_sub_words(&(t[n2]), t,&(t[n2]), n2)); -

594

}

executed 274 times by 2 tests: end of block

Executed by:

bntest
servertest

else {

274

595 -

596 c1 += (int)(bn_add_words(&(t[n2]), &(t[n2]), t, n2)); -

597

}

never executed: end of block

598 -

599 -

600 -

601 -

602 -

603 -

604 c1 += (int)(bn_add_words(&(r[n]), &(r[n]), &(t[n2]), n2)); -

605

if (c1

c1	Description
TRUE	never evaluated
FALSE	evaluated 274 times by 2 tests Evaluated by: bntest servertest

) {

0-274

606 p = &(r[n + n2]); -

607 lo= *p; -

608 ln = (lo + c1)&(0xffffffffffffffffL); -

609 *p = ln; -

610 -

611 -

612 -

613

if (ln < (unsigned long)c1

ln < (unsigned long)c1	Description
TRUE	never evaluated
FALSE	never evaluated

) {

614 do { -

615 p++; -

616 lo= *p; -

617 ln = (lo + 1) & (0xffffffffffffffffL); -

618 *p = ln; -

619

}

never executed: end of block

while (ln == 0

ln == 0	Description
TRUE	never evaluated
FALSE	never evaluated

);

620

}

never executed: end of block

621

}

never executed: end of block

622

}

executed 274 times by 2 tests: end of block

Executed by:

bntest
servertest

274

623 -

624 -

625 -

626 -

627 void -

628 bn_mul_low_recursive(unsigned long *r, unsigned long *a, unsigned long *b, int n2, unsigned long *t) -

629 { -

630 int n = n2 / 2; -

631 -

632 -

633 -

634 -

635 -

636 bn_mul_recursive(r, a, b, n, 0, 0, &(t[0])); -

637

if (n >= (32)

n >= (32)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

638 bn_mul_low_recursive(&(t[0]), &(a[0]), &(b[n]), n, &(t[n2])); -

639 bn_add_words(&(r[n]), &(r[n]), &(t[0]), n); -

640 bn_mul_low_recursive(&(t[0]), &(a[n]), &(b[0]), n, &(t[n2])); -

641 bn_add_words(&(r[n]), &(r[n]), &(t[0]), n); -

642

}

never executed: end of block

else {

643 bn_mul_low_normal(&(t[0]), &(a[0]), &(b[n]), n); -

644 bn_mul_low_normal(&(t[n]), &(a[n]), &(b[0]), n); -

645 bn_add_words(&(r[n]), &(r[n]), &(t[0]), n); -

646 bn_add_words(&(r[n]), &(r[n]), &(t[n]), n); -

647

}

never executed: end of block

648 } -

649 -

650 -

651 -

652 -

653 -

654 -

655 void -

656 bn_mul_high(unsigned long *r, unsigned long *a, unsigned long *b, unsigned long *l, int n2, -

657 unsigned long *t) -

658 { -

659 int i, n; -

660 int c1, c2; -

661 int neg, oneg, zero; -

662 unsigned long ll, lc, *lp, *mp; -

663 -

664 -

665 -

666 -

667 n = n2 / 2; -

668 -

669 -

670 neg = zero = 0; -

671 c1 = bn_cmp_words(&(a[0]), &(a[n]), n); -

672 c2 = bn_cmp_words(&(b[n]), &(b[0]), n); -

673 switch (c1 * 3 + c2) { -

674

case

never executed: case -4:

-4:

never executed: case -4:

675 bn_sub_words(&(r[0]), &(a[n]), &(a[0]), n); -

676 bn_sub_words(&(r[n]), &(b[0]), &(b[n]), n); -

677

break;

never executed: break;

678

case

never executed: case -3:

-3:

never executed: case -3:

679 zero = 1; -

680

break;

never executed: break;

681

case

never executed: case -2:

-2:

never executed: case -2:

682 bn_sub_words(&(r[0]), &(a[n]), &(a[0]), n); -

683 bn_sub_words(&(r[n]), &(b[n]), &(b[0]), n); -

684 neg = 1; -

685

break;

never executed: break;

686

case

never executed: case -1:

-1:

never executed: case -1:

687

case

never executed: case 0:

688

case

never executed: case 1:

689 zero = 1; -

690

break;

never executed: break;

691

case

never executed: case 2:

692 bn_sub_words(&(r[0]), &(a[0]), &(a[n]), n); -

693 bn_sub_words(&(r[n]), &(b[0]), &(b[n]), n); -

694 neg = 1; -

695

break;

never executed: break;

696

case

never executed: case 3:

697 zero = 1; -

698

break;

never executed: break;

699

case

never executed: case 4:

700 bn_sub_words(&(r[0]), &(a[0]), &(a[n]), n); -

701 bn_sub_words(&(r[n]), &(b[n]), &(b[0]), n); -

702

break;

never executed: break;

703 } -

704 -

705 oneg = neg; -

706 -

707 -

708 -

709

if (n == 8

n == 8	Description
TRUE	never evaluated
FALSE	never evaluated

) {

710 bn_mul_comba8(&(t[0]), &(r[0]), &(r[n])); -

711 bn_mul_comba8(r, &(a[n]), &(b[n])); -

712

}

never executed: end of block

else

713 -

714 { -

715 bn_mul_recursive(&(t[0]), &(r[0]), &(r[n]), n, 0, 0, &(t[n2])); -

716 bn_mul_recursive(r, &(a[n]), &(b[n]), n, 0, 0, &(t[n2])); -

717

}

never executed: end of block

718 -

719 -

720 -

721 -

722 -

723 -

724 -

725

if (l !=

l != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

726

((void *)0)

l != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

727 ) { -

728 lp = &(t[n2 + n]); -

729 c1 = (int)(bn_add_words(lp, &(r[0]), &(l[0]), n)); -

730

}

never executed: end of block

else {

731 c1 = 0; -

732 lp = &(r[0]); -

733

}

never executed: end of block

734 -

735

if (neg

neg	Description
TRUE	never evaluated
FALSE	never evaluated

)

736

neg = (int)(bn_sub_words(&(t[n2]), lp, &(t[0]), n));

never executed: neg = (int)(bn_sub_words(&(t[n2]), lp, &(t[0]), n));

737 else { -

738 bn_add_words(&(t[n2]), lp, &(t[0]), n); -

739 neg = 0; -

740

}

never executed: end of block

741 -

742

if (l !=

l != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

743

((void *)0)

l != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

744 ) { -

745 bn_sub_words(&(t[n2 + n]), &(l[n]), &(t[n2]), n); -

746

}

never executed: end of block

else {

747 lp = &(t[n2 + n]); -

748 mp = &(t[n2]); -

749

for (i = 0; i < n

i < n	Description
TRUE	never evaluated
FALSE	never evaluated

; i++)

750

lp[i] = ((~mp[i]) + 1) & (0xffffffffffffffffL);

never executed: lp[i] = ((~mp[i]) + 1) & (0xffffffffffffffffL);

751

}

never executed: end of block

752

if (l !=

l != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

753

((void *)0)

l != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

754 ) { -

755 lp = &(t[n2]); -

756 c1 = (int)(bn_add_words(lp, &(t[n2 + n]), &(l[0]), n)); -

757

}

never executed: end of block

else {

758 lp = &(t[n2 + n]); -

759 c1 = 0; -

760

}

never executed: end of block

761 c1 += (int)(bn_add_words(&(t[n2]), lp, &(r[0]), n)); -

762

if (oneg

oneg	Description
TRUE	never evaluated
FALSE	never evaluated

)

763

c1 -= (int)(bn_sub_words(&(t[n2]), &(t[n2]), &(t[0]), n));

never executed: c1 -= (int)(bn_sub_words(&(t[n2]), &(t[n2]), &(t[0]), n));

764 else -

765

c1 += (int)(bn_add_words(&(t[n2]), &(t[n2]), &(t[0]), n));

never executed: c1 += (int)(bn_add_words(&(t[n2]), &(t[n2]), &(t[0]), n));

766 -

767 c2 = (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n2 + n]), n)); -

768 c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(r[n]), n)); -

769

if (oneg

oneg	Description
TRUE	never evaluated
FALSE	never evaluated

)

770

c2 -= (int)(bn_sub_words(&(r[0]), &(r[0]), &(t[n]), n));

never executed: c2 -= (int)(bn_sub_words(&(r[0]), &(r[0]), &(t[n]), n));

771 else -

772

c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n]), n));

never executed: c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n]), n));

773 -

774

if (c1 != 0

c1 != 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

775 { -

776 i = 0; -

777

if (c1 > 0

c1 > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

778 lc = c1; -

779 do { -

780 ll = (r[i] + lc) & (0xffffffffffffffffL); -

781 r[i++] = ll; -

782 lc = (lc > ll); -

783

}

never executed: end of block

while (lc

lc	Description
TRUE	never evaluated
FALSE	never evaluated

);

784

}

never executed: end of block

else {

785 lc = -c1; -

786 do { -

787 ll = r[i]; -

788 r[i++] = (ll - lc) & (0xffffffffffffffffL); -

789 lc = (lc > ll); -

790

}

never executed: end of block

while (lc

lc	Description
TRUE	never evaluated
FALSE	never evaluated

);

791

}

never executed: end of block

792 } -

793

if (c2 != 0

c2 != 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

794 { -

795 i = n; -

796

if (c2 > 0

c2 > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

797 lc = c2; -

798 do { -

799 ll = (r[i] + lc) & (0xffffffffffffffffL); -

800 r[i++] = ll; -

801 lc = (lc > ll); -

802

}

never executed: end of block

while (lc

lc	Description
TRUE	never evaluated
FALSE	never evaluated

);

803

}

never executed: end of block

else {

804 lc = -c2; -

805 do { -

806 ll = r[i]; -

807 r[i++] = (ll - lc) & (0xffffffffffffffffL); -

808 lc = (lc > ll); -

809

}

never executed: end of block

while (lc

lc	Description
TRUE	never evaluated
FALSE	never evaluated

);

810

}

never executed: end of block

811 } -

812

}

never executed: end of block

813 -

814 -

815 int -

816 BN_mul(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx) -

817 { -

818 int ret = 0; -

819 int top, al, bl; -

820 BIGNUM *rr; -

821 -

822 int i; -

823 -

824 -

825 BIGNUM *t = -

826 ((void *)0) -

827 ; -

828 int j = 0, k; -

829 -

830 -

831 -

832 -

833 -

834 -

835 ; -

836 ; -

837 ; -

838 -

839 al = a->top; -

840 bl = b->top; -

841 -

842

if ((

(al == 0)	Description
TRUE	evaluated 585 times by 4 tests Evaluated by: bntest ecdsatest ectest rsa_test
FALSE	evaluated 731685 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

al == 0)

(al == 0)	Description
TRUE	evaluated 585 times by 4 tests Evaluated by: bntest ecdsatest ectest rsa_test
FALSE	evaluated 731685 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

|| (

(bl == 0)	Description
TRUE	evaluated 10978 times by 3 tests Evaluated by: bntest ecdsatest ectest
FALSE	evaluated 720707 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

bl == 0)

(bl == 0)	Description
TRUE	evaluated 10978 times by 3 tests Evaluated by: bntest ecdsatest ectest
FALSE	evaluated 720707 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

585-731685

843 (BN_set_word((r),0)); -

844

return

executed 11563 times by 4 tests: return (1);

Executed by:

bntest
ecdsatest
ectest
rsa_test

(1);

executed 11563 times by 4 tests: return (1);

Executed by:

bntest
ecdsatest
ectest
rsa_test

11563

845 } -

846 top = al + bl; -

847 -

848 BN_CTX_start(ctx); -

849

if ((

(r == a)	Description
TRUE	evaluated 219 times by 1 test Evaluated by: bntest
FALSE	evaluated 720488 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

r == a)

(r == a)	Description
TRUE	evaluated 219 times by 1 test Evaluated by: bntest
FALSE	evaluated 720488 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

|| (

(r == b)	Description
TRUE	evaluated 16 times by 1 test Evaluated by: ectest
FALSE	evaluated 720472 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

r == b)

(r == b)	Description
TRUE	evaluated 16 times by 1 test Evaluated by: ectest
FALSE	evaluated 720472 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

16-720488

850

if ((

(rr = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 235 times by 2 tests Evaluated by: bntest ectest

rr = BN_CTX_get(ctx)) ==

(rr = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 235 times by 2 tests Evaluated by: bntest ectest

0-235

851

((void *)0)

(rr = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 235 times by 2 tests Evaluated by: bntest ectest

0-235

852 ) -

853

goto

never executed: goto err;

err;

never executed: goto err;

854

}

executed 235 times by 2 tests: end of block

Executed by:

bntest
ectest

else

235

855

rr = r;

executed 720472 times by 14 tests: rr = r;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

720472

856 rr->neg = a->neg ^ b->neg; -

857 -

858 -

859 i = al - bl; -

860 -

861 -

862

if (i == 0

i == 0	Description
TRUE	evaluated 430591 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 290116 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

290116-430591

863

if (al == 8

al == 8	Description
TRUE	evaluated 160145 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test
FALSE	evaluated 270446 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

160145-270446

864

if ((((

((16) <= (rr)->dmax)	Description
TRUE	evaluated 160108 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test
FALSE	evaluated 37 times by 2 tests Evaluated by: ecdsatest exptest

(((16) <= (rr)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 160145 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test

((16) <= (rr)->dmax)	Description
TRUE	evaluated 160108 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test
FALSE	evaluated 37 times by 2 tests Evaluated by: ecdsatest exptest

16) <= (rr)->dmax)

(((16) <= (rr)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 160145 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test

((16) <= (rr)->dmax)	Description
TRUE	evaluated 160108 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test
FALSE	evaluated 37 times by 2 tests Evaluated by: ecdsatest exptest

?(rr):bn_expand2((rr),(16))) ==

(((16) <= (rr)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 160145 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test

0-160145

865

((void *)0)

(((16) <= (rr)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 160145 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test

0-160145

866 ) -

867

goto

never executed: goto err;

err;

never executed: goto err;

868 rr->top = 16; -

869 bn_mul_comba8(rr->d, a->d, b->d); -

870

goto

executed 160145 times by 6 tests: goto end;

Executed by:

bntest
ecdhtest
ecdsatest
ectest
exptest
rsa_test

end;

executed 160145 times by 6 tests: goto end;

Executed by:

bntest
ecdhtest
ecdsatest
ectest
exptest
rsa_test

160145

871 } -

872

}

executed 270446 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

270446

873 -

874 -

875

if ((

(al >= (16))	Description
TRUE	evaluated 1433 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 559129 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

al >= (16))

(al >= (16))	Description
TRUE	evaluated 1433 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 559129 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

&& (

(bl >= (16))	Description
TRUE	evaluated 1398 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 35 times by 2 tests Evaluated by: bntest libcrypto.so.44.0.1

bl >= (16))

(bl >= (16))	Description
TRUE	evaluated 1398 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 35 times by 2 tests Evaluated by: bntest libcrypto.so.44.0.1

) {

35-559129

876

if (i >= -1

i >= -1	Description
TRUE	evaluated 1397 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1 time by 1 test Evaluated by: bntest

&& i <= 1

i <= 1	Description
TRUE	evaluated 1397 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

) {

0-1397

877 -

878 -

879

if (i >= 0

i >= 0	Description
TRUE	evaluated 1163 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 234 times by 2 tests Evaluated by: bntest servertest

) {

234-1163

880 j = BN_num_bits_word((unsigned long)al); -

881

}

executed 1163 times by 7 tests: end of block

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1163

882

if (i == -1

i == -1	Description
TRUE	evaluated 234 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 1163 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

234-1163

883 j = BN_num_bits_word((unsigned long)bl); -

884

}

executed 234 times by 2 tests: end of block

Executed by:

bntest
servertest

234

885 j = 1 << (j - 1); -

886 -

887 ((void) (0)) -

888 ; -

889 k = j + j; -

890

if ((

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1397 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

t = BN_CTX_get(ctx)) ==

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1397 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-1397

891

((void *)0)

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1397 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-1397

892 ) -

893

goto

never executed: goto err;

err;

never executed: goto err;

894

if (al > j

al > j	Description
TRUE	evaluated 272 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

|| bl > j

bl > j	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

0-1125

895

if ((((

((k * 4) <= (t)->dmax)	Description
TRUE	evaluated 269 times by 1 test Evaluated by: bntest
FALSE	evaluated 3 times by 2 tests Evaluated by: bntest servertest

(((k * 4) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

((k * 4) <= (t)->dmax)	Description
TRUE	evaluated 269 times by 1 test Evaluated by: bntest
FALSE	evaluated 3 times by 2 tests Evaluated by: bntest servertest

k * 4) <= (t)->dmax)

(((k * 4) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

((k * 4) <= (t)->dmax)	Description
TRUE	evaluated 269 times by 1 test Evaluated by: bntest
FALSE	evaluated 3 times by 2 tests Evaluated by: bntest servertest

?(t):bn_expand2((t),(k * 4))) ==

(((k * 4) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

0-272

896

((void *)0)

(((k * 4) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

0-272

897 ) -

898

goto

never executed: goto err;

err;

never executed: goto err;

899

if ((((

((k * 4) <= (rr)->dmax)	Description
TRUE	evaluated 268 times by 1 test Evaluated by: bntest
FALSE	evaluated 4 times by 2 tests Evaluated by: bntest servertest

(((k * 4) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

((k * 4) <= (rr)->dmax)	Description
TRUE	evaluated 268 times by 1 test Evaluated by: bntest
FALSE	evaluated 4 times by 2 tests Evaluated by: bntest servertest

k * 4) <= (rr)->dmax)

(((k * 4) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

((k * 4) <= (rr)->dmax)	Description
TRUE	evaluated 268 times by 1 test Evaluated by: bntest
FALSE	evaluated 4 times by 2 tests Evaluated by: bntest servertest

?(rr):bn_expand2((rr),(k * 4))) ==

(((k * 4) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

0-272

900

((void *)0)

(((k * 4) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 272 times by 2 tests Evaluated by: bntest servertest

0-272

901 ) -

902

goto

never executed: goto err;

err;

never executed: goto err;

903 bn_mul_part_recursive(rr->d, a->d, b->d, -

904 j, al - j, bl - j, t->d); -

905

}

executed 272 times by 2 tests: end of block

Executed by:

bntest
servertest

272

906 else -

907 { -

908

if ((((

((k * 2) <= (t)->dmax)	Description
TRUE	evaluated 954 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 171 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

(((k * 2) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

((k * 2) <= (t)->dmax)	Description
TRUE	evaluated 954 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 171 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

k * 2) <= (t)->dmax)

(((k * 2) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

((k * 2) <= (t)->dmax)	Description
TRUE	evaluated 954 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 171 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?(t):bn_expand2((t),(k * 2))) ==

(((k * 2) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-1125

909

((void *)0)

(((k * 2) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-1125

910 ) -

911

goto

never executed: goto err;

err;

never executed: goto err;

912

if ((((

((k * 2) <= (rr)->dmax)	Description
TRUE	evaluated 798 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 327 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

(((k * 2) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

((k * 2) <= (rr)->dmax)	Description
TRUE	evaluated 798 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 327 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

k * 2) <= (rr)->dmax)

(((k * 2) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

((k * 2) <= (rr)->dmax)	Description
TRUE	evaluated 798 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 327 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?(rr):bn_expand2((rr),(k * 2))) ==

(((k * 2) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-1125

913

((void *)0)

(((k * 2) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1125 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-1125

914 ) -

915

goto

never executed: goto err;

err;

never executed: goto err;

916 bn_mul_recursive(rr->d, a->d, b->d, -

917 j, al - j, bl - j, t->d); -

918

}

executed 1125 times by 7 tests: end of block

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1125

919 rr->top = top; -

920

goto

executed 1397 times by 7 tests: goto end;

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

end;

executed 1397 times by 7 tests: goto end;

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1397

921 } -

922

}

executed 1 time by 1 test: end of block

Executed by:

bntest

923 -

924

if ((((

((top) <= (rr)->dmax)	Description
TRUE	evaluated 553648 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 5517 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

(((top) <= (rr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 559165 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((top) <= (rr)->dmax)	Description
TRUE	evaluated 553648 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 5517 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

top) <= (rr)->dmax)

(((top) <= (rr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 559165 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((top) <= (rr)->dmax)	Description
TRUE	evaluated 553648 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 5517 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?(rr):bn_expand2((rr),(top))) ==

(((top) <= (rr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 559165 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-559165

925

((void *)0)

(((top) <= (rr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 559165 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-559165

926 ) -

927

goto

never executed: goto err;

err;

never executed: goto err;

928 rr->top = top; -

929 bn_mul_normal(rr->d, a->d, al, b->d, bl); -

930 -

931 -

932

end:

code before this statement executed 559165 times by 14 tests: end:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

559165

933 -

934

{ unsigned long *ftl; int tmp_top = (rr)->top; if (tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 720707 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

) { for (ftl= &((rr)->d[tmp_top-1]); tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 1268039 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 720707 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 547332 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

ftl--)

*(ftl--)	Description
TRUE	evaluated 720707 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 547332 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) break;

executed 720707 times by 14 tests: break;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(rr)->top = tmp_top; }

executed 720707 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

; };

0-1268039

935

if (r != rr

r != rr	Description
TRUE	evaluated 235 times by 2 tests Evaluated by: bntest ectest
FALSE	evaluated 720472 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

235-720472

936

BN_copy(r, rr);

executed 235 times by 2 tests: BN_copy(r, rr);

Executed by:

bntest
ectest

235

937 ret = 1; -

938

err:

code before this statement executed 720707 times by 14 tests: err:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

720707

939 ; -

940 BN_CTX_end(ctx); -

941

return

executed 720707 times by 14 tests: return (ret);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(ret);

executed 720707 times by 14 tests: return (ret);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

720707

942 } -

943 -

944 void -

945 bn_mul_normal(unsigned long *r, unsigned long *a, int na, unsigned long *b, int nb) -

946 { -

947 unsigned long *rr; -

948 -

949 -

950 -

951 -

952 -

953

if (na < nb

na < nb	Description
TRUE	evaluated 283913 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 275675 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

275675-283913

954 int itmp; -

955 unsigned long *ltmp; -

956 -

957 itmp = na; -

958 na = nb; -

959 nb = itmp; -

960 ltmp = a; -

961 a = b; -

962 b = ltmp; -

963 -

964

}

executed 283913 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

283913

965 rr = &(r[na]); -

966

if (nb <= 0

nb <= 0	Description
TRUE	never evaluated
FALSE	evaluated 559588 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

0-559588

967 (void)bn_mul_words(r, a, na, 0); -

968

return;

never executed: return;

969 } else -

970

rr[0] = bn_mul_words(r, a, na, b[0]);

executed 559588 times by 14 tests: rr[0] = bn_mul_words(r, a, na, b[0]);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

559588

971 -

972 for (;;) { -

973

if (--

--nb <= 0	Description
TRUE	evaluated 483208 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 226332 times by 10 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest ssltest

nb <= 0

--nb <= 0	Description
TRUE	evaluated 483208 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 226332 times by 10 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest ssltest

)

226332-483208

974

return;

executed 483208 times by 14 tests: return;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

483208

975 rr[1] = bn_mul_add_words(&(r[1]), a, na, b[1]); -

976

if (--

--nb <= 0	Description
TRUE	evaluated 1167 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test
FALSE	evaluated 225165 times by 10 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest ssltest

nb <= 0

--nb <= 0	Description
TRUE	evaluated 1167 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test
FALSE	evaluated 225165 times by 10 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest ssltest

)

1167-225165

977

return;

executed 1167 times by 6 tests: return;

Executed by:

bntest
ecdhtest
ecdsatest
ectest
exptest
rsa_test

1167

978 rr[2] = bn_mul_add_words(&(r[2]), a, na, b[2]); -

979

if (--

--nb <= 0	Description
TRUE	evaluated 6164 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest
FALSE	evaluated 219001 times by 8 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test servertest ssltest

nb <= 0

--nb <= 0	Description
TRUE	evaluated 6164 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest
FALSE	evaluated 219001 times by 8 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test servertest ssltest

)

6164-219001

980

return;

executed 6164 times by 9 tests: return;

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
rsa_test
servertest

6164

981 rr[3] = bn_mul_add_words(&(r[3]), a, na, b[3]); -

982

if (--

--nb <= 0	Description
TRUE	evaluated 69049 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test ssltest
FALSE	evaluated 149952 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test servertest

nb <= 0

--nb <= 0	Description
TRUE	evaluated 69049 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test ssltest
FALSE	evaluated 149952 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test servertest