OpenCoverage

d1_pkt.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/ssl/d1_pkt.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 -

7 -

8 -

9 static int do_dtls1_write(SSL *s, int type, const unsigned char *buf, -

10 unsigned int len); -

11 -

12 -

13 -

14 static int -

15 satsub64be(const unsigned char *v1, const unsigned char *v2) -

16 { -

17 int ret, sat, brw, i; -

18 -

if (sizeof(long) == 8

sizeof(long) == 8	Description
TRUE	evaluated 306 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

)

0-306

20 do { -

21 long l; -

22 -

23 if ( -

1234

1234 == 1234	Description
TRUE	evaluated 306 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

0-306

1234 == 1234	Description
TRUE	evaluated 306 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

0-306

1234

1234 == 1234	Description
TRUE	evaluated 306 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

0-306

27 ) -

break;

executed 306 times by 1 test: break;

Executed by:

ssltest

306

29 -

30 -

31 -

if (((

((size_t)v1 \| ...ze_t)v2) & 0x7	Description
TRUE	never evaluated
FALSE	never evaluated

size_t)v1 | (size_t)v2) & 0x7

((size_t)v1 \| ...ze_t)v2) & 0x7	Description
TRUE	never evaluated
FALSE	never evaluated

)

break;

never executed: break;

34 -

35 l = *((long *)v1); -

36 l -= *((long *)v2); -

if (l > 128

l > 128	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return 128;

128;

never executed: return 128;

else if (l<-128

l<-128	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return -128;

-128;

never executed: return -128;

41 else -

return

never executed: return (int)l;

(int)l;

never executed: return (int)l;

}

never executed: end of block

while (0);

44 -

45 ret = (int)v1[7] - (int)v2[7]; -

46 sat = 0; -

47 brw = ret >> 8; -

if (ret & 0x80

ret & 0x80	Description
TRUE	never evaluated
FALSE	evaluated 306 times by 1 test Evaluated by: ssltest

) {

0-306

for (i = 6; i >= 0

i >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

; i--) {

50 brw += (int)v1[i]-(int)v2[i]; -

51 sat |= ~brw; -

52 brw >>= 8; -

}

never executed: end of block

}

never executed: end of block

else {

for (i = 6; i >= 0

i >= 0	Description
TRUE	evaluated 2142 times by 1 test Evaluated by: ssltest
FALSE	evaluated 306 times by 1 test Evaluated by: ssltest

; i--) {

306-2142

56 brw += (int)v1[i]-(int)v2[i]; -

57 sat |= brw; -

58 brw >>= 8; -

}

executed 2142 times by 1 test: end of block

Executed by:

ssltest

2142

}

executed 306 times by 1 test: end of block

Executed by:

ssltest

306

61 brw <<= 8; -

62 -

if (sat & 0xff

sat & 0xff	Description
TRUE	never evaluated
FALSE	evaluated 306 times by 1 test Evaluated by: ssltest

)

0-306

return

never executed: return brw | 0x80;

brw | 0x80;

never executed: return brw | 0x80;

65 else -

return

executed 306 times by 1 test: return brw + (ret & 0xFF);

Executed by:

ssltest

brw + (ret & 0xFF);

executed 306 times by 1 test: return brw + (ret & 0xFF);

Executed by:

ssltest

306

67 } -

68 -

69 static int have_handshake_fragment(SSL *s, int type, unsigned char *buf, -

70 int len, int peek); -

71 static int dtls1_record_replay_check(SSL *s, DTLS1_BITMAP *bitmap); -

72 static void dtls1_record_bitmap_update(SSL *s, DTLS1_BITMAP *bitmap); -

73 static DTLS1_BITMAP *dtls1_get_bitmap(SSL *s, SSL3_RECORD *rr, -

74 unsigned int *is_next_epoch); -

75 static int dtls1_buffer_record(SSL *s, record_pqueue *q, -

76 unsigned char *priority); -

77 static int dtls1_process_record(SSL *s); -

78 -

79 -

80 static int -

81 dtls1_copy_record(SSL *s, pitem *item) -

82 { -

83 DTLS1_RECORD_DATA *rdata; -

84 -

85 rdata = (DTLS1_RECORD_DATA *)item->data; -

86 -

87 free(s->s3->rbuf.buf); -

88 -

89 s->internal->packet = rdata->packet; -

90 s->internal->packet_length = rdata->packet_length; -

91 memcpy(&(s->s3->rbuf), &(rdata->rbuf), sizeof(SSL3_BUFFER)); -

92 memcpy(&((s->s3->internal)->rrec), &(rdata->rrec), sizeof(SSL3_RECORD)); -

93 -

94 -

95 memcpy(&((s->s3->internal)->read_sequence[2]), &(rdata->packet[5]), 6); -

96 -

return

never executed: return (1);

(1);

never executed: return (1);

98 } -

99 -

100 -

101 static int -

102 dtls1_buffer_record(SSL *s, record_pqueue *queue, unsigned char *priority) -

103 { -

104 DTLS1_RECORD_DATA *rdata; -

105 pitem *item; -

106 -

107 -

108

if (pqueue_size(queue->q) >= 100

pqueue_size(queue->q) >= 100	Description
TRUE	never evaluated
FALSE	never evaluated

)

109

return

never executed: return 0;

110 -

111 rdata = malloc(sizeof(DTLS1_RECORD_DATA)); -

112 item = pitem_new(priority, rdata); -

113

if (rdata ==

rdata == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

114

((void *)0)

rdata == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

115

|| item ==

item == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

116

((void *)0)

item == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

117 ) -

118

goto

never executed: goto init_err;

init_err;

never executed: goto init_err;

119 -

120 rdata->packet = s->internal->packet; -

121 rdata->packet_length = s->internal->packet_length; -

122 memcpy(&(rdata->rbuf), &(s->s3->rbuf), sizeof(SSL3_BUFFER)); -

123 memcpy(&(rdata->rrec), &((s->s3->internal)->rrec), sizeof(SSL3_RECORD)); -

124 -

125 item->data = rdata; -

126 -

127 -

128 s->internal->packet = -

129 ((void *)0) -

130 ; -

131 s->internal->packet_length = 0; -

132 memset(&(s->s3->rbuf), 0, sizeof(SSL3_BUFFER)); -

133 memset(&((s->s3->internal)->rrec), 0, sizeof(SSL3_RECORD)); -

134 -

135

if (!ssl3_setup_buffers(s)

!ssl3_setup_buffers(s)	Description
TRUE	never evaluated
FALSE	never evaluated

)

136

goto

never executed: goto err;

err;

never executed: goto err;

137 -

138 -

139

if (pqueue_insert(queue->q, item) ==

pqueue_insert(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

140

((void *)0)

pqueue_insert(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

141 ) -

142

goto

never executed: goto err;

err;

never executed: goto err;

143 -

144

return

never executed: return (1);

(1);

never executed: return (1);

145 -

146 err: -

147 free(rdata->rbuf.buf); -

148 -

149

init_err:

code before this statement never executed: init_err:

150 SSL_error_internal(s, (4|64), __FILE__, 258); -

151 free(rdata); -

152 pitem_free(item); -

153

return

never executed: return (-1);

(-1);

never executed: return (-1);

154 } -

155 -

156 -

157 static int -

158 dtls1_retrieve_buffered_record(SSL *s, record_pqueue *queue) -

159 { -

160 pitem *item; -

161 -

162 item = pqueue_pop(queue->q); -

163

if (item

item	Description
TRUE	never evaluated
FALSE	evaluated 198 times by 2 tests Evaluated by: clienttest ssltest

) {

0-198

164 dtls1_copy_record(s, item); -

165 -

166 free(item->data); -

167 pitem_free(item); -

168 -

169

return

never executed: return (1);

(1);

never executed: return (1);

170 } -

171 -

172

return

executed 198 times by 2 tests: return (0);

Executed by:

clienttest
ssltest

(0);

executed 198 times by 2 tests: return (0);

Executed by:

clienttest
ssltest

198

173 } -

174 static int -

175 dtls1_process_buffered_records(SSL *s) -

176 { -

177 pitem *item; -

178 -

179 item = pqueue_peek((s->d1->internal)->unprocessed_rcds.q); -

180

if (item

item	Description
TRUE	never evaluated
FALSE	evaluated 198 times by 2 tests Evaluated by: clienttest ssltest

) {

0-198

181 -

182

if ((

(s->d1->intern...rnal)->r_epoch	Description
TRUE	never evaluated
FALSE	never evaluated

s->d1->internal)->unprocessed_rcds.epoch != (s->d1->internal)->r_epoch

(s->d1->intern...rnal)->r_epoch	Description
TRUE	never evaluated
FALSE	never evaluated

)

183

return

never executed: return (1);

(1);

never executed: return (1);

184 -

185 -

186 -

187

while (pqueue_peek((s->d1->internal)->unprocessed_rcds.q)

pqueue_peek((s...cessed_rcds.q)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

188 dtls1_retrieve_buffered_record((s), &(((s->d1->internal))->unprocessed_rcds)); -

189

if (! dtls1_process_record(s)

! dtls1_process_record(s)	Description
TRUE	never evaluated
FALSE	never evaluated

)

190

return

never executed: return (0);

(0);

never executed: return (0);

191

if (dtls1_buffer_record(s, &((s->d1->internal)->processed_rcds),

dtls1_buffer_r...c.seq_num) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

192

(s->s3->internal)->rrec.seq_num) < 0

dtls1_buffer_r...c.seq_num) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

193

return

never executed: return (-1);

(-1);

never executed: return (-1);

194

}

never executed: end of block

195

}

never executed: end of block

196 -

197 -

198 -

199 (s->d1->internal)->processed_rcds.epoch = (s->d1->internal)->r_epoch; -

200 (s->d1->internal)->unprocessed_rcds.epoch = (s->d1->internal)->r_epoch + 1; -

201 -

202

return

executed 198 times by 2 tests: return (1);

Executed by:

clienttest
ssltest

(1);

executed 198 times by 2 tests: return (1);

Executed by:

clienttest
ssltest

198

203 } -

204 -

205 static int -

206 dtls1_process_record(SSL *s) -

207 { -

208 int i, al; -

209 int enc_err; -

210 SSL_SESSION *sess; -

211 SSL3_RECORD *rr; -

212 unsigned int mac_size, orig_len; -

213 unsigned char md[64]; -

214 -

215 rr = &((s->s3->internal)->rrec); -

216 sess = s->session; -

217 -

218 -

219 -

220 -

221 rr->input = &(s->internal->packet[13]); -

222

if (rr->length > ((256 + 64)+16384)

rr->length > (...6 + 64)+16384)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

) {

0-153

223 al = 22; -

224 SSL_error_internal(s, 150, __FILE__, 357); -

225

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

226 } -

227 -

228 -

229 rr->data = rr->input; -

230 -

231 enc_err = s->method->internal->ssl3_enc->enc(s, 0); -

232 -

233 -

234 -

235 -

236

if (enc_err == 0

enc_err == 0	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

) {

0-153

237 -

238 rr->length = 0; -

239 s->internal->packet_length = 0; -

240

goto

never executed: goto err;

err;

never executed: goto err;

241 } -

242 -

243 -

244 -

245

if ((

(sess != ((void *)0) )	Description
TRUE	evaluated 142 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

sess !=

(sess != ((void *)0) )	Description
TRUE	evaluated 142 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

11-142

246

((void *)0)

(sess != ((void *)0) )	Description
TRUE	evaluated 142 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

11-142

247

)

(sess != ((void *)0) )	Description
TRUE	evaluated 142 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

&& (

(s->enc_read_c... ((void *)0) )	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

s->enc_read_ctx !=

(s->enc_read_c... ((void *)0) )	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

11-142

248

((void *)0)

(s->enc_read_c... ((void *)0) )	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

44-98

249

)

(s->enc_read_c... ((void *)0) )	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

44-98

250

(

(EVP_MD_CTX_md... ((void *)0) )	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

EVP_MD_CTX_md(s->read_hash) !=

(EVP_MD_CTX_md... ((void *)0) )	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

0-44

251

((void *)0)

(EVP_MD_CTX_md... ((void *)0) )	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

0-44

252

)

(EVP_MD_CTX_md... ((void *)0) )	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

) {

0-44

253 -

254 unsigned char *mac = -

255 ((void *)0) -

256 ; -

257 unsigned char mac_tmp[64]; -

258 mac_size = EVP_MD_size(EVP_MD_CTX_md(s->read_hash)); -

259 (void)((mac_size <= 64) ? 0 : (OpenSSLDie(__FILE__, 384, "mac_size <= EVP_MAX_MD_SIZE"),1)); -

260 -

261 -

262 orig_len = rr->length + ((unsigned int)rr->type >> 8); -

263 -

264 -

265 -

266 -

267 -

268 -

269

if (orig_len < mac_size

orig_len < mac_size	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

0-44

270 -

271

((

(EVP_CIPHER_CT...xF0007) == 0x2	Description
TRUE	evaluated 36 times by 1 test Evaluated by: ssltest
FALSE	evaluated 8 times by 1 test Evaluated by: ssltest

EVP_CIPHER_CTX_flags(s->enc_read_ctx) & 0xF0007) == 0x2

(EVP_CIPHER_CT...xF0007) == 0x2	Description
TRUE	evaluated 36 times by 1 test Evaluated by: ssltest
FALSE	evaluated 8 times by 1 test Evaluated by: ssltest

8-36

272

orig_len < mac_size + 1

orig_len < mac_size + 1	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: ssltest

)) {

0-36

273 al = 50; -

274 SSL_error_internal(s, 160, __FILE__, 399); -

275

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

276 } -

277 -

278

if ((

(EVP_CIPHER_CT...xF0007) == 0x2	Description
TRUE	evaluated 36 times by 1 test Evaluated by: ssltest
FALSE	evaluated 8 times by 1 test Evaluated by: ssltest

EVP_CIPHER_CTX_flags(s->enc_read_ctx) & 0xF0007) == 0x2

(EVP_CIPHER_CT...xF0007) == 0x2	Description
TRUE	evaluated 36 times by 1 test Evaluated by: ssltest
FALSE	evaluated 8 times by 1 test Evaluated by: ssltest

) {

8-36

279 -

280 -

281 -

282 -

283 -

284 mac = mac_tmp; -

285 ssl3_cbc_copy_mac(mac_tmp, rr, mac_size, orig_len); -

286 rr->length -= mac_size; -

287

}

executed 36 times by 1 test: end of block

Executed by:

ssltest

else {

288 -

289 -

290 -

291 rr->length -= mac_size; -

292 mac = &rr->data[rr->length]; -

293

}

executed 8 times by 1 test: end of block

Executed by:

ssltest

294 -

295 i = tls1_mac(s, md, 0 ); -

296

if (i < 0

i < 0	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

|| mac ==

mac == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

0-44

297

((void *)0)

mac == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

0-44

298

|| timingsafe_memcmp(md, mac, (size_t)mac_size) != 0

timingsafe_mem...mac_size) != 0	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

)

0-44

299

enc_err = -1;

never executed: enc_err = -1;

300

if (rr->length > 16384 + mac_size

rr->length > 16384 + mac_size	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

)

0-44

301

enc_err = -1;

never executed: enc_err = -1;

302

}

executed 44 times by 1 test: end of block

Executed by:

ssltest

303 -

304

if (enc_err < 0

enc_err < 0	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

) {

0-153

305 -

306 rr->length = 0; -

307 s->internal->packet_length = 0; -

308

goto

never executed: goto err;

err;

never executed: goto err;

309 } -

310 -

311

if (rr->length > 16384

rr->length > 16384	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

) {

0-153

312 al = 22; -

313 SSL_error_internal(s, 146, __FILE__, 436); -

314

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

315 } -

316 -

317 rr->off = 0; -

318 s->internal->packet_length = 0; -

319

return

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

Executed by:

ssltest

(1);

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

Executed by:

ssltest

153

320 -

321 f_err: -

322 ssl3_send_alert(s, 2, al); -

323

err:

code before this statement never executed: err:

324

return

never executed: return (0);

(0);

never executed: return (0);

325 } -

326 int -

327 dtls1_get_record(SSL *s) -

328 { -

329 SSL3_RECORD *rr; -

330 unsigned char *p = -

331 ((void *)0) -

332 ; -

333 DTLS1_BITMAP *bitmap; -

334 unsigned int is_next_epoch; -

335 int n; -

336 -

337 rr = &((s->s3->internal)->rrec); -

338 -

339 -

340 -

341

if (dtls1_process_buffered_records(s) < 0

dtls1_process_...records(s) < 0	Description
TRUE	never evaluated
FALSE	evaluated 198 times by 2 tests Evaluated by: clienttest ssltest

)

0-198

342

return

never executed: return (-1);

(-1);

never executed: return (-1);

343 -

344 -

345

if (dtls1_retrieve_buffered_record((s), &(((s->d1->internal))->processed_rcds))

dtls1_retrieve...ocessed_rcds))	Description
TRUE	never evaluated
FALSE	evaluated 198 times by 2 tests Evaluated by: clienttest ssltest

)

0-198

346

return

never executed: return 1;

347 -

348 -

349 if (0) { -

350 again: -

351 -

352 rr->length = 0; -

353 s->internal->packet_length = 0; -

354

}

executed 1 time by 1 test: end of block

Executed by:

clienttest

355 -

356 -

357

if ((

(s->internal->rstate != 0xF1)	Description
TRUE	evaluated 199 times by 2 tests Evaluated by: clienttest ssltest
FALSE	never evaluated

s->internal->rstate != 0xF1)

(s->internal->rstate != 0xF1)	Description
TRUE	evaluated 199 times by 2 tests Evaluated by: clienttest ssltest
FALSE	never evaluated

0-199

358

(

(s->internal->...t_length < 13)	Description
TRUE	never evaluated
FALSE	never evaluated

s->internal->packet_length < 13)

(s->internal->...t_length < 13)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

359 CBS header, seq_no; -

360 uint16_t epoch, len, ssl_version; -

361 uint8_t type; -

362 -

363 n = ssl3_packet_read(s, 13); -

364

if (n <= 0

n <= 0	Description
TRUE	evaluated 45 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 154 times by 2 tests Evaluated by: clienttest ssltest

)

45-154

365

return

executed 45 times by 2 tests: return (n);

Executed by:

clienttest
ssltest

(n);

executed 45 times by 2 tests: return (n);

Executed by:

clienttest
ssltest

366 -

367 -

368

if (n != 13

n != 13	Description
TRUE	evaluated 1 time by 1 test Evaluated by: clienttest
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

1-153

369

goto

executed 1 time by 1 test: goto again;

Executed by:

clienttest

again;

executed 1 time by 1 test: goto again;

Executed by:

clienttest

370 -

371 s->internal->rstate = 0xF1; -

372 -

373 CBS_init(&header, s->internal->packet, s->internal->packet_length); -

374 -

375 -

376

if (!CBS_get_u8(&header, &type)

!CBS_get_u8(&header, &type)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

377

goto

never executed: goto again;

again;

never executed: goto again;

378

if (!CBS_get_u16(&header, &ssl_version)

!CBS_get_u16(&... &ssl_version)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

379

goto

never executed: goto again;

again;

never executed: goto again;

380 -

381 -

382

if (!CBS_get_u16(&header, &epoch)

!CBS_get_u16(&header, &epoch)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

0-153

383

!CBS_get_bytes(&header, &seq_no, 6)

!CBS_get_bytes...r, &seq_no, 6)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

384

goto

never executed: goto again;

again;

never executed: goto again;

385 -

386

if (!CBS_write_bytes(&seq_no, &((s->s3->internal)->read_sequence[2]),

!CBS_write_byt... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

0-153

387

sizeof((s->s3->internal)->read_sequence) - 2,

!CBS_write_byt... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

0-153

388

((void *)0)

!CBS_write_byt... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

0-153

389

)

!CBS_write_byt... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

390

goto

never executed: goto again;

again;

never executed: goto again;

391

if (!CBS_get_u16(&header, &len)

!CBS_get_u16(&header, &len)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

392

goto

never executed: goto again;

again;

never executed: goto again;

393 -

394 rr->type = type; -

395 rr->epoch = epoch; -

396 rr->length = len; -

397 -

398 -

399

if (!s->internal->first_packet

!s->internal->first_packet	Description
TRUE	evaluated 131 times by 1 test Evaluated by: ssltest
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

&& ssl_version != s->version

ssl_version != s->version	Description
TRUE	never evaluated
FALSE	evaluated 131 times by 1 test Evaluated by: ssltest

)

0-131

400

goto

never executed: goto again;

again;

never executed: goto again;

401 -

402 -

403

if ((

(ssl_version &...sion & 0xff00)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

ssl_version & 0xff00) != (s->version & 0xff00)

(ssl_version &...sion & 0xff00)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

404

goto

never executed: goto again;

again;

never executed: goto again;

405 -

406 -

407

if (rr->length > ((256 + 64)+16384)

rr->length > (...6 + 64)+16384)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

408

goto

never executed: goto again;

again;

never executed: goto again;

409 -

410 -

411 p = (unsigned char *)CBS_data(&header); -

412

}

executed 153 times by 1 test: end of block

Executed by:

ssltest

153

413 -

414 -

415 -

416 n = ssl3_packet_extend(s, 13 + rr->length); -

417

if (n <= 0

n <= 0	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

418

return

never executed: return (n);

(n);

never executed: return (n);

419 -

420 -

421

if (n != 13 + rr->length

n != 13 + rr->length	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

422

goto

never executed: goto again;

again;

never executed: goto again;

423 -

424 s->internal->rstate = 0xF0; -

425 -

426 -

427 bitmap = dtls1_get_bitmap(s, rr, &is_next_epoch); -

428

if (bitmap ==

bitmap == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

0-153

429

((void *)0)

bitmap == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

0-153

430 ) -

431

goto

never executed: goto again;

again;

never executed: goto again;

432

if (!((

(s->d1->internal)->listen	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

s->d1->internal)->listen

(s->d1->internal)->listen	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

&& rr->type == 22

rr->type == 22	Description
TRUE	never evaluated
FALSE	never evaluated

0-153

433

p !=

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

434

((void *)0)

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

435

&& *

*p == 1	Description
TRUE	never evaluated
FALSE	never evaluated

p == 1

*p == 1	Description
TRUE	never evaluated
FALSE	never evaluated

) &&

436

!dtls1_record_replay_check(s, bitmap)

!dtls1_record_...eck(s, bitmap)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

437

goto

never executed: goto again;

again;

never executed: goto again;

438 -

439 -

440

if (rr->length == 0

rr->length == 0	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

441

goto

never executed: goto again;

again;

never executed: goto again;

442 -

443 -

444 -

445 -

446 -

447 -

448

if (is_next_epoch

is_next_epoch	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

) {

0-153

449

if (((

(SSL_state((s)...x1000\|0x2000))	Description
TRUE	never evaluated
FALSE	never evaluated

SSL_state((s))&(0x1000|0x2000))

(SSL_state((s)...x1000\|0x2000))	Description
TRUE	never evaluated
FALSE	never evaluated

|| s->internal->in_handshake

s->internal->in_handshake	Description
TRUE	never evaluated
FALSE	never evaluated

) && !(s->d1->internal)->listen

!(s->d1->internal)->listen	Description
TRUE	never evaluated
FALSE	never evaluated

) {

450

if (dtls1_buffer_record(s, &((s->d1->internal)->unprocessed_rcds),

dtls1_buffer_r...->seq_num) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

451

rr->seq_num) < 0

dtls1_buffer_r...->seq_num) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

452

return

never executed: return (-1);

(-1);

never executed: return (-1);

453 -

454 dtls1_record_bitmap_update(s, bitmap); -

455

}

never executed: end of block

456

goto

never executed: goto again;

again;

never executed: goto again;

457 } -

458 -

459

if (!dtls1_process_record(s)

!dtls1_process_record(s)	Description
TRUE	never evaluated
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

)

0-153

460

goto

never executed: goto again;

again;

never executed: goto again;

461 -

462 -

463 dtls1_record_bitmap_update(s, bitmap); -

464 -

465

return

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

Executed by:

ssltest

(1);

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

Executed by:

ssltest

153

466 } -

467 int -

468 dtls1_read_bytes(SSL *s, int type, unsigned char *buf, int len, int peek) -

469 { -

470 int al, i, j, ret; -

471 unsigned int n; -

472 SSL3_RECORD *rr; -

473 void (*cb)(const SSL *ssl, int type2, int val) = -

474 ((void *)0) -

475 ; -

476 -

477

if (s->s3->rbuf.buf ==

s->s3->rbuf.buf == ((void *)0)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 274 times by 2 tests Evaluated by: clienttest ssltest

11-274

478

((void *)0)

s->s3->rbuf.buf == ((void *)0)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 274 times by 2 tests Evaluated by: clienttest ssltest

11-274

479 ) -

480

if (!ssl3_setup_buffers(s)

!ssl3_setup_buffers(s)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

)

0-11

481

return

never executed: return (-1);

(-1);

never executed: return (-1);

482 -

483

if ((type

type	Description
TRUE	evaluated 285 times by 2 tests Evaluated by: clienttest ssltest
FALSE	never evaluated

0-285

484

type != 23

type != 23	Description
TRUE	evaluated 241 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

&& type != 22

type != 22	Description
TRUE	never evaluated
FALSE	evaluated 241 times by 2 tests Evaluated by: clienttest ssltest

) ||

0-241

485

(peek

peek	Description
TRUE	never evaluated
FALSE	evaluated 285 times by 2 tests Evaluated by: clienttest ssltest

&& (

(type != 23)	Description
TRUE	never evaluated
FALSE	never evaluated

type != 23)

(type != 23)	Description
TRUE	never evaluated
FALSE	never evaluated

)) {

0-285

486 SSL_error_internal(s, (4|64), __FILE__, 653); -

487

return

never executed: return -1;

-1;

never executed: return -1;

488 } -

489 -

490 -

491

if ((

(ret = have_ha...f, len, peek))	Description
TRUE	never evaluated
FALSE	evaluated 285 times by 2 tests Evaluated by: clienttest ssltest

ret = have_handshake_fragment(s, type, buf, len, peek))

(ret = have_ha...f, len, peek))	Description
TRUE	never evaluated
FALSE	evaluated 285 times by 2 tests Evaluated by: clienttest ssltest

)

0-285

492

return

never executed: return ret;

ret;

never executed: return ret;

493 -

494 -

495 -

496

if (!s->internal->in_handshake

!s->internal->in_handshake	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	evaluated 241 times by 2 tests Evaluated by: clienttest ssltest

&& (

(SSL_state((s)...x1000\|0x2000))	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

SSL_state((s))&(0x1000|0x2000))

(SSL_state((s)...x1000\|0x2000))	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

)

22-241

497 { -

498 -

499 i = s->internal->handshake_func(s); -

500

if (i < 0

i < 0	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

)

501

return

executed 11 times by 1 test: return (i);

Executed by:

ssltest

(i);

executed 11 times by 1 test: return (i);

Executed by:

ssltest

502

if (i == 0

i == 0	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

) {

0-11

503 SSL_error_internal(s, 229, __FILE__, 670); -

504

return

never executed: return (-1);

(-1);

never executed: return (-1);

505 } -

506

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

507 -

508

start:

code before this statement executed 274 times by 2 tests: start:

Executed by:

clienttest
ssltest

274

509 s->internal->rwstate = 1; -

510 -

511 -

512 -

513 -

514 -

515 rr = &((s->s3->internal)->rrec); -

516 -

517 -

518 -

519 -

520 -

521

if ((

(s->s3->intern....state == 0x03	Description
TRUE	evaluated 33 times by 1 test Evaluated by: ssltest
FALSE	evaluated 263 times by 2 tests Evaluated by: clienttest ssltest

s->s3->internal)->hs.state == 0x03

(s->s3->intern....state == 0x03	Description
TRUE	evaluated 33 times by 1 test Evaluated by: ssltest
FALSE	evaluated 263 times by 2 tests Evaluated by: clienttest ssltest

&& rr->length == 0

rr->length == 0	Description
TRUE	evaluated 33 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

) {

0-263

522 pitem *item; -

523 item = pqueue_pop((s->d1->internal)->buffered_app_data.q); -

524

if (item

item	Description
TRUE	never evaluated
FALSE	evaluated 33 times by 1 test Evaluated by: ssltest

) {

0-33

525 -

526 dtls1_copy_record(s, item); -

527 -

528 free(item->data); -

529 pitem_free(item); -

530

}

never executed: end of block

531

}

executed 33 times by 1 test: end of block

Executed by:

ssltest

532 -

533 -

534

if (dtls1_handle_timeout(s) > 0

dtls1_handle_timeout(s) > 0	Description
TRUE	never evaluated
FALSE	evaluated 296 times by 2 tests Evaluated by: clienttest ssltest

)

0-296

535

goto

never executed: goto start;

start;

never executed: goto start;

536 -

537 -

538

if ((

(rr->length == 0)	Description
TRUE	evaluated 198 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

rr->length == 0)

(rr->length == 0)	Description
TRUE	evaluated 198 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

|| (

(s->internal->rstate == 0xF1)	Description
TRUE	never evaluated
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

s->internal->rstate == 0xF1)

(s->internal->rstate == 0xF1)	Description
TRUE	never evaluated
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

) {

0-198

539 ret = dtls1_get_record(s); -

540

if (ret <= 0

ret <= 0	Description
TRUE	evaluated 45 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 153 times by 1 test Evaluated by: ssltest

) {

45-153

541 ret = dtls1_read_failed(s, ret); -

542 -

543

if (ret <= 0

ret <= 0	Description
TRUE	evaluated 45 times by 2 tests Evaluated by: clienttest ssltest
FALSE	never evaluated

)

0-45

544

return

executed 45 times by 2 tests: return (ret);

Executed by:

clienttest
ssltest

(ret);

executed 45 times by 2 tests: return (ret);

Executed by:

clienttest
ssltest

545 else -

546

goto

never executed: goto start;

start;

never executed: goto start;

547 } -

548

}

executed 153 times by 1 test: end of block

Executed by:

ssltest

153

549 -

550

if ((

(s->d1->internal)->listen	Description
TRUE	never evaluated
FALSE	evaluated 251 times by 1 test Evaluated by: ssltest

s->d1->internal)->listen

(s->d1->internal)->listen	Description
TRUE	never evaluated
FALSE	evaluated 251 times by 1 test Evaluated by: ssltest

&& rr->type != 22

rr->type != 22	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-251

551 rr->length = 0; -

552

goto

never executed: goto start;

start;

never executed: goto start;

553 } -

554 -

555 -

556 -

557

if ((

(s->s3->intern...ge_cipher_spec	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	evaluated 207 times by 1 test Evaluated by: ssltest

s->s3->internal)->change_cipher_spec

(s->s3->intern...ge_cipher_spec	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	evaluated 207 times by 1 test Evaluated by: ssltest

44-207

558 -

559

&& (

(rr->type != 22)	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

rr->type != 22)

(rr->type != 22)	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

) {

0-44

560 -

561 -

562 -

563 -

564 -

565

if (dtls1_buffer_record(s, &((s->d1->internal)->buffered_app_data),

dtls1_buffer_r...->seq_num) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

566

rr->seq_num) < 0

dtls1_buffer_r...->seq_num) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

567 SSL_error_internal(s, (4|64), __FILE__, 734); -

568

return

never executed: return (-1);

(-1);

never executed: return (-1);

569 } -

570 rr->length = 0; -

571

goto

never executed: goto start;

start;

never executed: goto start;

572 } -

573 -

574 -

575 -

576

if (s->internal->shutdown & 2

s->internal->shutdown & 2	Description
TRUE	never evaluated
FALSE	evaluated 251 times by 1 test Evaluated by: ssltest

) {

0-251

577 rr->length = 0; -

578 s->internal->rwstate = 1; -

579

return

never executed: return (0);

(0);

never executed: return (0);

580 } -

581 -

582 -

583

if (type == rr->type

type == rr->type	Description
TRUE	evaluated 229 times by 1 test Evaluated by: ssltest
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

)

22-229

584 { -

585 -

586 -

587

if ((

(SSL_state((s)...x1000\|0x2000))	Description
TRUE	evaluated 207 times by 1 test Evaluated by: ssltest
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

SSL_state((s))&(0x1000|0x2000))

(SSL_state((s)...x1000\|0x2000))	Description
TRUE	evaluated 207 times by 1 test Evaluated by: ssltest
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

&& (

(type == 23)	Description
TRUE	never evaluated
FALSE	evaluated 207 times by 1 test Evaluated by: ssltest

type == 23)

(type == 23)	Description
TRUE	never evaluated
FALSE	evaluated 207 times by 1 test Evaluated by: ssltest

0-207

588

(

(s->enc_read_c... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

s->enc_read_ctx ==

(s->enc_read_c... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

589

((void *)0)

(s->enc_read_c... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

590

)

(s->enc_read_c... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

) {

591 al = 10; -

592 SSL_error_internal(s, 100, __FILE__, 757); -

593

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

594 } -

595 -

596

if (len <= 0

len <= 0	Description
TRUE	never evaluated
FALSE	evaluated 229 times by 1 test Evaluated by: ssltest

)

0-229

597

return

never executed: return (len);

(len);

never executed: return (len);

598 -

599

if ((

(unsigned int)len > rr->length	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 207 times by 1 test Evaluated by: ssltest

unsigned int)len > rr->length

(unsigned int)len > rr->length	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 207 times by 1 test Evaluated by: ssltest

)

22-207

600

n = rr->length;

executed 22 times by 1 test: n = rr->length;

Executed by:

ssltest

601 else -

602

n = (unsigned int)len;

executed 207 times by 1 test: n = (unsigned int)len;

Executed by:

ssltest

207

603 -

604 memcpy(buf, &(rr->data[rr->off]), n); -

605

if (!peek

!peek	Description
TRUE	evaluated 229 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

) {

0-229

606 rr->length -= n; -

607 rr->off += n; -

608

if (rr->length == 0

rr->length == 0	Description
TRUE	evaluated 131 times by 1 test Evaluated by: ssltest
FALSE	evaluated 98 times by 1 test Evaluated by: ssltest

) {

98-131

609 s->internal->rstate = 0xF0; -

610 rr->off = 0; -

611

}

executed 131 times by 1 test: end of block

Executed by:

ssltest

131

612

}

executed 229 times by 1 test: end of block

Executed by:

ssltest

229

613 -

614

return

executed 229 times by 1 test: return (n);

Executed by:

ssltest

(n);

executed 229 times by 1 test: return (n);

Executed by:

ssltest

229

615 } -

616 { -

617 unsigned int k, dest_maxlen = 0; -

618 unsigned char *dest = -

619 ((void *)0) -

620 ; -

621 unsigned int *dest_len = -

622 ((void *)0) -

623 ; -

624 -

625

if (rr->type == 22

rr->type == 22	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

0-22

626 dest_maxlen = sizeof (s->d1->internal)->handshake_fragment; -

627 dest = (s->d1->internal)->handshake_fragment; -

628 dest_len = &(s->d1->internal)->handshake_fragment_len; -

629

}

never executed: end of block

else if (rr->type == 21

rr->type == 21	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

0-22

630 dest_maxlen = sizeof((s->d1->internal)->alert_fragment); -

631 dest = (s->d1->internal)->alert_fragment; -

632 dest_len = &(s->d1->internal)->alert_fragment_len; -

633

}

never executed: end of block

634 -

635

else if (rr->type != 20

rr->type != 20	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

0-22

636 -

637 -

638 -

639

if (rr->type == 23

rr->type == 23	Description
TRUE	never evaluated
FALSE	never evaluated

) {

640 BIO *bio; -

641 (s->s3->internal)->in_read_app_data = 2; -

642 bio = SSL_get_rbio(s); -

643 s->internal->rwstate = 3; -

644 BIO_clear_flags(bio, ((0x01|0x02|0x04)|0x08)); -

645 BIO_set_flags(bio, (0x01|0x08)); -

646

return

never executed: return (-1);

(-1);

never executed: return (-1);

647 } -

648 -

649 -

650 al = 10; -

651 SSL_error_internal(s, 245, __FILE__, 820); -

652

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

653 } -

654 -

655

if (dest_maxlen > 0

dest_maxlen > 0	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

0-22

656 -

657 -

658

if (rr->length < dest_maxlen

rr->length < dest_maxlen	Description
TRUE	never evaluated
FALSE	never evaluated

) {

659 s->internal->rstate = 0xF0; -

660 rr->length = 0; -

661

goto

never executed: goto start;

start;

never executed: goto start;

662 } -

663 -

664 -

665

for ( k = 0; k < dest_maxlen

k < dest_maxlen	Description
TRUE	never evaluated
FALSE	never evaluated

; k++) {

666 dest[k] = rr->data[rr->off++]; -

667 rr->length--; -

668

}

never executed: end of block

669 *dest_len = dest_maxlen; -

670

}

never executed: end of block

671 } -

672 -

673 -

674 -

675 -

676 -

677 -

678

if ((

(!s->server)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

!s->server)

(!s->server)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

679

((

((s->d1->inter...ent_len >= 12)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

s->d1->internal)->handshake_fragment_len >= 12)

((s->d1->inter...ent_len >= 12)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

0-11

680

((

((s->d1->inter...gment[0] == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

s->d1->internal)->handshake_fragment[0] == 0)

((s->d1->inter...gment[0] == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

681

(

(s->session != ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

s->session !=

(s->session != ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

682

((void *)0)

(s->session != ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

683

)

(s->session != ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

&& (

(s->session->c... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

s->session->cipher !=

(s->session->c... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

684

((void *)0)

(s->session->c... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

685

)

(s->session->c... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

) {

686 (s->d1->internal)->handshake_fragment_len = 0; -

687 -

688

if (((

((s->d1->inter...gment[1] != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

s->d1->internal)->handshake_fragment[1] != 0)

((s->d1->inter...gment[1] != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

689

((

((s->d1->inter...gment[2] != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

s->d1->internal)->handshake_fragment[2] != 0)

((s->d1->inter...gment[2] != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

690

((

((s->d1->inter...gment[3] != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

s->d1->internal)->handshake_fragment[3] != 0)

((s->d1->inter...gment[3] != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

691 al = 50; -

692 SSL_error_internal(s, 105, __FILE__, 857); -

693

goto

never executed: goto err;

err;

never executed: goto err;

694 } -

695 -

696 -

697 -

698

if (s->internal->msg_callback

s->internal->msg_callback	Description
TRUE	never evaluated
FALSE	never evaluated

)

699

s->internal->msg_callback(0, s->version, 22,

never executed:

s->internal->msg_callback(0, s->version, 22, (s->d1->internal)->handshake_fragment, 4, s, s->internal->msg_callback_arg);

700

(s->d1->internal)->handshake_fragment, 4, s, s->internal->msg_callback_arg);

never executed:

s->internal->msg_callback(0, s->version, 22, (s->d1->internal)->handshake_fragment, 4, s, s->internal->msg_callback_arg);

701 -

702

if ((

(SSL_state((s)) == 0x03)	Description
TRUE	never evaluated
FALSE	never evaluated

SSL_state((s)) == 0x03)

(SSL_state((s)) == 0x03)	Description
TRUE	never evaluated
FALSE	never evaluated

703

!(s->s3->flags & 0x0001)

!(s->s3->flags & 0x0001)	Description
TRUE	never evaluated
FALSE	never evaluated

704

!(s->s3->internal)->renegotiate

!(s->s3->inter...)->renegotiate	Description
TRUE	never evaluated
FALSE	never evaluated

) {

705 (s->d1->internal)->handshake_read_seq++; -

706 s->internal->new_session = 1; -

707 ssl3_renegotiate(s); -

708

if (ssl3_renegotiate_check(s)

ssl3_renegotiate_check(s)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

709 i = s->internal->handshake_func(s); -

710

if (i < 0

i < 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

711

return

never executed: return (i);

(i);

never executed: return (i);

712

if (i == 0

i == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

713 SSL_error_internal(s, 229, __FILE__, 878); -

714

return

never executed: return (-1);

(-1);

never executed: return (-1);

715 } -

716 -

717

if (!(s->internal->mode & 0x00000004L)

!(s->internal-...& 0x00000004L)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

718

if (s->s3->rbuf.left == 0

s->s3->rbuf.left == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

719 { -

720 BIO *bio; -

721 -

722 -

723 -

724 -

725 s->internal->rwstate = 3; -

726 bio = SSL_get_rbio(s); -

727 BIO_clear_flags(bio, ((0x01|0x02|0x04)|0x08)); -

728 BIO_set_flags(bio, (0x01|0x08)); -

729

return

never executed: return (-1);

(-1);

never executed: return (-1);

730 } -

731

}

never executed: end of block

732

}

never executed: end of block

733

}

never executed: end of block

734 -

735 -

736

goto

never executed: goto start;

start;

never executed: goto start;

737 } -

738 -

739

if ((

(s->d1->intern...gment_len >= 2	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

s->d1->internal)->alert_fragment_len >= 2

(s->d1->intern...gment_len >= 2	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

0-22

740 int alert_level = (s->d1->internal)->alert_fragment[0]; -

741 int alert_descr = (s->d1->internal)->alert_fragment[1]; -

742 -

743 (s->d1->internal)->alert_fragment_len = 0; -

744 -

745

if (s->internal->msg_callback

s->internal->msg_callback	Description
TRUE	never evaluated
FALSE	never evaluated

)

746

s->internal->msg_callback(0, s->version, 21,

never executed: s->internal->msg_callback(0, s->version, 21, (s->d1->internal)->alert_fragment, 2, s, s->internal->msg_callback_arg);

747

(s->d1->internal)->alert_fragment, 2, s, s->internal->msg_callback_arg);

never executed: s->internal->msg_callback(0, s->version, 21, (s->d1->internal)->alert_fragment, 2, s, s->internal->msg_callback_arg);

748 -

749

if (s->internal->info_callback !=

s->internal->i...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

750

((void *)0)

s->internal->i...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

751 ) -

752

cb = s->internal->info_callback;

never executed: cb = s->internal->info_callback;

753

else if (s->ctx->internal->info_callback !=

s->ctx->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

754

((void *)0)

s->ctx->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

755 ) -

756

cb = s->ctx->internal->info_callback;

never executed: cb = s->ctx->internal->info_callback;

757 -

758

if (cb !=

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

759

((void *)0)

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

760 ) { -

761 j = (alert_level << 8) | alert_descr; -

762 cb(s, (0x4000|0x04), j); -

763

}

never executed: end of block

764 -

765

if (alert_level == 1

alert_level == 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

766 { -

767 (s->s3->internal)->warn_alert = alert_descr; -

768

if (alert_descr == 0

alert_descr == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

769 s->internal->shutdown |= 2; -

770

return

never executed: return (0);

(0);

never executed: return (0);

771 } -

772

}

never executed: end of block

else if (alert_level == 2

alert_level == 2	Description
TRUE	never evaluated
FALSE	never evaluated

)

773 { -

774 s->internal->rwstate = 1; -

775 (s->s3->internal)->fatal_alert = alert_descr; -

776 SSL_error_internal(s, 1000 + alert_descr, __FILE__, 935); -

777 ERR_asprintf_error_data("SSL alert number %d", -

778 alert_descr); -

779 s->internal->shutdown|=2; -

780 SSL_CTX_remove_session(s->ctx, s->session); -

781

return

never executed: return (0);

(0);

never executed: return (0);

782 } else { -

783 al = 47; -

784 SSL_error_internal(s, 246, __FILE__, 943); -

785

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

786 } -

787 -

788

goto

never executed: goto start;

start;

never executed: goto start;

789 } -

790 -

791

if (s->internal->shutdown & 1

s->internal->shutdown & 1	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

)

0-22

792 { -

793 s->internal->rwstate = 1; -

794 rr->length = 0; -

795

return

never executed: return (0);

(0);

never executed: return (0);

796 } -

797 -

798

if (rr->type == 20

rr->type == 20	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

) {

0-22

799 struct ccs_header_st ccs_hdr; -

800 unsigned int ccs_hdr_len = 1; -

801 -

802 dtls1_get_ccs_header(rr->data, &ccs_hdr); -

803 -

804 -

805 -

806 -

807

if ((

(rr->length != ccs_hdr_len)	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

rr->length != ccs_hdr_len)

(rr->length != ccs_hdr_len)	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

0-22

808

(

(rr->off != 0)	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

rr->off != 0)

(rr->off != 0)	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

|| (

(rr->data[0] != 1)	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

rr->data[0] != 1)

(rr->data[0] != 1)	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

0-22

809 i = 47; -

810 SSL_error_internal(s, 103, __FILE__, 969); -

811

goto

never executed: goto err;

err;

never executed: goto err;

812 } -

813 -

814 rr->length = 0; -

815 -

816

if (s->internal->msg_callback

s->internal->msg_callback	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

)

0-22

817

s->internal->msg_callback(0, s->version, 20,

never executed: s->internal->msg_callback(0, s->version, 20, rr->data, 1, s, s->internal->msg_callback_arg);

818

rr->data, 1, s, s->internal->msg_callback_arg);

never executed: s->internal->msg_callback(0, s->version, 20, rr->data, 1, s, s->internal->msg_callback_arg);

819 -

820 -

821 -

822 -

823

if (!(s->d1->internal)->change_cipher_spec_ok

!(s->d1->inter...cipher_spec_ok	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

0-22

824

goto

never executed: goto start;

start;

never executed: goto start;

825 } -

826 -

827 (s->d1->internal)->change_cipher_spec_ok = 0; -

828 -

829 (s->s3->internal)->change_cipher_spec = 1; -

830

if (!ssl3_do_change_cipher_spec(s)

!ssl3_do_change_cipher_spec(s)	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

)

0-22

831

goto

never executed: goto err;

err;

never executed: goto err;

832 -

833 -

834 dtls1_reset_seq_numbers(s, 0x01); -

835 -

836

goto

executed 22 times by 1 test: goto start;

Executed by:

ssltest

start;

executed 22 times by 1 test: goto start;

Executed by:

ssltest

837 } -

838 -

839 -

840

if (((

((s->d1->inter...ent_len >= 12)	Description
TRUE	never evaluated
FALSE	never evaluated

s->d1->internal)->handshake_fragment_len >= 12)

((s->d1->inter...ent_len >= 12)	Description
TRUE	never evaluated
FALSE	never evaluated

841

!s->internal->in_handshake

!s->internal->in_handshake	Description
TRUE	never evaluated
FALSE	never evaluated

) {

842 struct hm_header_st msg_hdr; -

843 -

844 -

845

if (!dtls1_get_message_header(rr->data, &msg_hdr)

!dtls1_get_mes...ata, &msg_hdr)	Description
TRUE	never evaluated
FALSE	never evaluated

)

846

return

never executed: return -1;

-1;

never executed: return -1;

847

if (rr->epoch != (s->d1->internal)->r_epoch

rr->epoch != (...rnal)->r_epoch	Description
TRUE	never evaluated
FALSE	never evaluated

) {

848 rr->length = 0; -

849

goto

never executed: goto start;

start;

never executed: goto start;

850 } -

851 -

852 -

853 -

854 -

855

if (msg_hdr.type == 20

msg_hdr.type == 20	Description
TRUE	never evaluated
FALSE	never evaluated

) {

856

if (dtls1_check_timeout_num(s) < 0

dtls1_check_timeout_num(s) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

857

return

never executed: return -1;

-1;

never executed: return -1;

858 -

859 dtls1_retransmit_buffered_messages(s); -

860 rr->length = 0; -

861

goto

never executed: goto start;

start;

never executed: goto start;

862 } -

863 -

864

if ((((

(((s->s3->inte...0FFF) == 0x03)	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->hs.state&0x0FFF) == 0x03)

(((s->s3->inte...0FFF) == 0x03)	Description
TRUE	never evaluated
FALSE	never evaluated

865

!(s->s3->flags & 0x0001)

!(s->s3->flags & 0x0001)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

866

(s->s3->internal)->hs.state = s->server

s->server	Description
TRUE	never evaluated
FALSE	never evaluated

? 0x2000 : 0x1000;

867 s->internal->renegotiate = 1; -

868 s->internal->new_session = 1; -

869

}

never executed: end of block

870 i = s->internal->handshake_func(s); -

871

if (i < 0

i < 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

872

return

never executed: return (i);

(i);

never executed: return (i);

873

if (i == 0

i == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

874 SSL_error_internal(s, 229, __FILE__, 1033); -

875

return

never executed: return (-1);

(-1);

never executed: return (-1);

876 } -

877 -

878

if (!(s->internal->mode & 0x00000004L)

!(s->internal-...& 0x00000004L)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

879

if (s->s3->rbuf.left == 0

s->s3->rbuf.left == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

880 { -

881 BIO *bio; -

882 -

883 -

884 -

885 -

886 s->internal->rwstate = 3; -

887 bio = SSL_get_rbio(s); -

888 BIO_clear_flags(bio, ((0x01|0x02|0x04)|0x08)); -

889 BIO_set_flags(bio, (0x01|0x08)); -

890

return

never executed: return (-1);

(-1);

never executed: return (-1);

891 } -

892

}

never executed: end of block

893

goto

never executed: goto start;

start;

never executed: goto start;

894 } -

895 -

896 switch (rr->type) { -

897

default

never executed: default:

898 -

899

if (s->version == 0x0301

s->version == 0x0301	Description
TRUE	never evaluated
FALSE	never evaluated

) {

900 rr->length = 0; -

901

goto

never executed: goto start;

start;

never executed: goto start;

902 } -

903 al = 10; -

904 SSL_error_internal(s, 245, __FILE__, 1063); -

905

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

906

case

never executed: case 20:

20:

never executed: case 20:

907

case

never executed: case 21:

21:

never executed: case 21:

908

case

never executed: case 22:

22:

never executed: case 22:

909 -

910 -

911 -

912 al = 10; -

913 SSL_error_internal(s, (4|64), __FILE__, 1072); -

914

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

915

case

never executed: case 23:

23:

never executed: case 23:

916 -

917 -

918 -

919 -

920 -

921 -

922 -

923

if ((

(s->s3->intern..._read_app_data	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->in_read_app_data

(s->s3->intern..._read_app_data	Description
TRUE	never evaluated
FALSE	never evaluated

924

((

((s->s3->inter...tiations != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->total_renegotiations != 0)

((s->s3->inter...tiations != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

925

((((

((s->s3->inter...tate & 0x1000)	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->hs.state & 0x1000)

((s->s3->inter...tate & 0x1000)	Description
TRUE	never evaluated
FALSE	never evaluated

926

((

((s->s3->inter...0x110\|0x1000))	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->hs.state >= (0x110|0x1000))

((s->s3->inter...0x110\|0x1000))	Description
TRUE	never evaluated
FALSE	never evaluated

927

((

((s->s3->inter...0x120\|0x1000))	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->hs.state <= (0x120|0x1000))

((s->s3->inter...0x120\|0x1000))	Description
TRUE	never evaluated
FALSE	never evaluated

) || (

928

((

((s->s3->inter...tate & 0x2000)	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->hs.state & 0x2000)

((s->s3->inter...tate & 0x2000)	Description
TRUE	never evaluated
FALSE	never evaluated

929

((

((s->s3->inter...0x120\|0x2000))	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->hs.state <= (0x120|0x2000))

((s->s3->inter...0x120\|0x2000))	Description
TRUE	never evaluated
FALSE	never evaluated

930

((

((s->s3->inter...0x110\|0x2000))	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->hs.state >= (0x110|0x2000))

((s->s3->inter...0x110\|0x2000))	Description
TRUE	never evaluated
FALSE	never evaluated

))) {

931 (s->s3->internal)->in_read_app_data = 2; -

932

return

never executed: return (-1);

(-1);

never executed: return (-1);

933 } else { -

934 al = 10; -

935 SSL_error_internal(s, 245, __FILE__, 1094); -

936

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

937 } -

938 } -

939 -

940 -

941

f_err:

code before this statement never executed: f_err:

942 ssl3_send_alert(s, 2, al); -

943

err:

code before this statement never executed: err:

944

return

never executed: return (-1);

(-1);

never executed: return (-1);

945 } -

946 -

947 int -

948 dtls1_write_app_data_bytes(SSL *s, int type, const void *buf_, int len) -

949 { -

950 int i; -

951 -

952

if ((

(SSL_state((s)...x1000\|0x2000))	Description
TRUE	evaluated 33 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

SSL_state((s))&(0x1000|0x2000))

(SSL_state((s)...x1000\|0x2000))	Description
TRUE	evaluated 33 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

&& !s->internal->in_handshake

!s->internal->in_handshake	Description
TRUE	evaluated 33 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

)

0-33

953 { -

954 i = s->internal->handshake_func(s); -

955

if (i < 0

i < 0	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

)

11-22

956

return

executed 22 times by 1 test: return (i);

Executed by:

ssltest

(i);

executed 22 times by 1 test: return (i);

Executed by:

ssltest

957

if (i == 0

i == 0	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

) {

0-11

958 SSL_error_internal(s, 229, __FILE__, 1117); -

959

return

never executed: return -1;

-1;

never executed: return -1;

960 } -

961

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

962 -

963

if (len > 16384

len > 16384	Description
TRUE	never evaluated
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

0-22

964 SSL_error_internal(s, 334, __FILE__, 1123); -

965

return

never executed: return -1;

-1;

never executed: return -1;

966 } -

967 -

968 i = dtls1_write_bytes(s, type, buf_, len); -

969

return

executed 22 times by 1 test: return i;

Executed by:

ssltest

executed 22 times by 1 test: return i;

Executed by:

ssltest

970 } -

971 -

972 -

973 -

974 -

975 static int -

976 have_handshake_fragment(SSL *s, int type, unsigned char *buf, -

977 int len, int peek) -

978 { -

979 -

980

if ((

(type == 22)	Description
TRUE	evaluated 241 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

type == 22)

(type == 22)	Description
TRUE	evaluated 241 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

&& ((

((s->d1->inter...gment_len > 0)	Description
TRUE	never evaluated
FALSE	evaluated 241 times by 2 tests Evaluated by: clienttest ssltest

s->d1->internal)->handshake_fragment_len > 0)

((s->d1->inter...gment_len > 0)	Description
TRUE	never evaluated
FALSE	evaluated 241 times by 2 tests Evaluated by: clienttest ssltest

)

0-241

981 -

982 { -

983 unsigned char *src = (s->d1->internal)->handshake_fragment; -

984 unsigned char *dst = buf; -

985 unsigned int k, n; -

986 -

987 -

988 n = 0; -

989

while ((

(len > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

len > 0)

(len > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

&& ((

((s->d1->inter...gment_len > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

s->d1->internal)->handshake_fragment_len > 0)

((s->d1->inter...gment_len > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

990 *dst++ = *src++; -

991 len--; -

992 (s->d1->internal)->handshake_fragment_len--; -

993 n++; -

994

}

never executed: end of block

995 -

996

for (k = 0; k < (s->d1->internal)->handshake_fragment_len

k < (s->d1->in...e_fragment_len	Description
TRUE	never evaluated
FALSE	never evaluated

; k++)

997

(

never executed: (s->d1->internal)->handshake_fragment[k] = *src++;

s->d1->internal)->handshake_fragment[k] = *src++;

never executed: (s->d1->internal)->handshake_fragment[k] = *src++;

998

return

never executed: return n;

999 } -

1000 -

1001

return

executed 285 times by 2 tests: return 0;

Executed by:

clienttest
ssltest

executed 285 times by 2 tests: return 0;

Executed by:

clienttest
ssltest

285

1002 } -

1003 -

1004 -

1005 -

1006 -

1007 -

1008 int -

1009 dtls1_write_bytes(SSL *s, int type, const void *buf, int len) -

1010 { -

1011 int i; -

1012 -

1013 (void)((len <= 16384) ? 0 : (OpenSSLDie(__FILE__, 1172, "len <= SSL3_RT_MAX_PLAIN_LENGTH"),1)); -

1014 s->internal->rwstate = 1; -

1015 i = do_dtls1_write(s, type, buf, len); -

1016

return

executed 154 times by 2 tests: return i;

Executed by:

clienttest
ssltest

executed 154 times by 2 tests: return i;

Executed by:

clienttest
ssltest

154

1017 } -

1018 -

1019 int -

1020 do_dtls1_write(SSL *s, int type, const unsigned char *buf, unsigned int len) -

1021 { -

1022 unsigned char *p, *pseq; -

1023 int i, mac_size, clear = 0; -

1024 int prefix_len = 0; -

1025 SSL3_RECORD *wr; -

1026 SSL3_BUFFER *wb; -

1027 SSL_SESSION *sess; -

1028 int bs; -

1029 -

1030 -

1031 -

1032

if (s->s3->wbuf.left != 0

s->s3->wbuf.left != 0	Description
TRUE	never evaluated
FALSE	evaluated 176 times by 2 tests Evaluated by: clienttest ssltest

) {

0-176

1033 (void)((0) ? 0 : (OpenSSLDie(__FILE__, 1192, "0"),1)); -

1034

return

never executed: return (ssl3_write_pending(s, type, buf, len));

(ssl3_write_pending(s, type, buf, len));

never executed: return (ssl3_write_pending(s, type, buf, len));

1035 } -

1036 -

1037 -

1038

if (s->s3->alert_dispatch

s->s3->alert_dispatch	Description
TRUE	never evaluated
FALSE	evaluated 176 times by 2 tests Evaluated by: clienttest ssltest

) {

0-176

1039 i = s->method->ssl_dispatch_alert(s); -

1040

if (i <= 0

i <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

1041

return

never executed: return (i);

(i);

never executed: return (i);

1042 -

1043

}

never executed: end of block

1044 -

1045

if (len == 0

len == 0	Description
TRUE	never evaluated
FALSE	evaluated 176 times by 2 tests Evaluated by: clienttest ssltest

)

0-176

1046

return

never executed: return 0;

1047 -

1048 wr = &((s->s3->internal)->wrec); -

1049 wb = &(s->s3->wbuf); -

1050 sess = s->session; -

1051 -

1052

if ((

(sess == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 176 times by 2 tests Evaluated by: clienttest ssltest

sess ==

(sess == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 176 times by 2 tests Evaluated by: clienttest ssltest

0-176

1053

((void *)0)

(sess == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 176 times by 2 tests Evaluated by: clienttest ssltest

0-176

1054

)

(sess == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 176 times by 2 tests Evaluated by: clienttest ssltest

|| (

(s->internal->... ((void *)0) )	Description
TRUE	evaluated 110 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

s->internal->enc_write_ctx ==

(s->internal->... ((void *)0) )	Description
TRUE	evaluated 110 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

0-176

1055

((void *)0)

(s->internal->... ((void *)0) )	Description
TRUE	evaluated 110 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

66-110

1056

)

(s->internal->... ((void *)0) )	Description
TRUE	evaluated 110 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

66-110

1057

(

(EVP_MD_CTX_md... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

EVP_MD_CTX_md(s->internal->write_hash) ==

(EVP_MD_CTX_md... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

0-66

1058

((void *)0)

(EVP_MD_CTX_md... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

0-66

1059

)

(EVP_MD_CTX_md... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

)

0-66

1060

clear = 1;

executed 110 times by 2 tests: clear = 1;

Executed by:

clienttest
ssltest

110

1061 -

1062

if (clear

clear	Description
TRUE	evaluated 110 times by 2 tests Evaluated by: clienttest ssltest
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

)

66-110

1063

mac_size = 0;

executed 110 times by 2 tests: mac_size = 0;

Executed by:

clienttest
ssltest

110

1064 else { -

1065 mac_size = EVP_MD_size(EVP_MD_CTX_md(s->internal->write_hash)); -

1066

if (mac_size < 0

mac_size < 0	Description
TRUE	never evaluated
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

)

0-66

1067

goto

never executed: goto err;

err;

never executed: goto err;

1068

}

executed 66 times by 1 test: end of block

Executed by:

ssltest

1069 -

1070 -

1071 -

1072 p = wb->buf + prefix_len; -

1073 -

1074 -

1075 -

1076 *(p++) = type&0xff; -

1077 wr->type = type; -

1078 -

1079 *(p++) = (s->version >> 8); -

1080 *(p++) = s->version&0xff; -

1081 -

1082 -

1083 pseq = p; -

1084 -

1085 p += 10; -

1086 -

1087 -

1088 -

1089 -

1090 -

1091 -

1092

if (s->internal->enc_write_ctx

s->internal->enc_write_ctx	Description
TRUE	evaluated 66 times by 1 test Evaluated by: ssltest
FALSE	evaluated 110 times by 2 tests Evaluated by: clienttest ssltest

66-110

1093

((

((EVP_CIPHER_f...xF0007) & 0x2)	Description
TRUE	evaluated 54 times by 1 test Evaluated by: ssltest
FALSE	evaluated 12 times by 1 test Evaluated by: ssltest

EVP_CIPHER_flags(s->internal->enc_write_ctx->cipher) & 0xF0007) & 0x2)

((EVP_CIPHER_f...xF0007) & 0x2)	Description
TRUE	evaluated 54 times by 1 test Evaluated by: ssltest
FALSE	evaluated 12 times by 1 test Evaluated by: ssltest

)

12-54

1094

bs = EVP_CIPHER_block_size(s->internal->enc_write_ctx->cipher);

executed 54 times by 1 test: bs = EVP_CIPHER_block_size(s->internal->enc_write_ctx->cipher);

Executed by:

ssltest

1095 else -

1096

bs = 0;

executed 122 times by 2 tests: bs = 0;

Executed by:

clienttest
ssltest

122

1097 -

1098 wr->data = p + bs; -

1099 -

1100 wr->length = (int)len; -

1101 wr->input = (unsigned char *)buf; -

1102 -

1103 -

1104 -

1105 -

1106 memcpy(wr->data, wr->input, wr->length); -

1107 wr->input = wr->data; -

1108 -

1109 -

1110 -

1111 -

1112 -

1113

if (mac_size != 0

mac_size != 0	Description
TRUE	evaluated 66 times by 1 test Evaluated by: ssltest
FALSE	evaluated 110 times by 2 tests Evaluated by: clienttest ssltest

) {

66-110

1114

if (tls1_mac(s, &(p[wr->length + bs]), 1) < 0

tls1_mac(s, &(...+ bs]), 1) < 0	Description
TRUE	never evaluated
FALSE	evaluated 66 times by 1 test Evaluated by: ssltest

)

0-66

1115

goto

never executed: goto err;

err;

never executed: goto err;

1116 wr->length += mac_size; -

1117

}

executed 66 times by 1 test: end of block

Executed by:

ssltest

1118 -

1119 -

1120 wr->input = p; -

1121 wr->data = p; -

1122 -

1123 -

1124 -

1125

if (bs

bs	Description
TRUE	evaluated 54 times by 1 test Evaluated by: ssltest
FALSE	evaluated 122 times by 2 tests Evaluated by: clienttest ssltest

)

54-122

1126 { -

1127 arc4random_buf(p, bs); -

1128 -

1129 -

1130 wr->length += bs; -

1131

}

executed 54 times by 1 test: end of block

Executed by:

ssltest

1132 -

1133 s->method->internal->ssl3_enc->enc(s, 1); -

1134 -

1135 -

1136 -

1137 -

1138 -

1139 -

1140 -

1141 ((pseq[0]=(unsigned char)((((s->d1->internal)->w_epoch)>> 8)&0xff), pseq[1]=(unsigned char)((((s->d1->internal)->w_epoch) )&0xff)),pseq+=2); -

1142 -

1143 -

1144 -

1145 -

1146 -

1147 -

1148 memcpy(pseq, &((s->s3->internal)->write_sequence[2]), 6); -

1149 pseq += 6; -

1150 ((pseq[0]=(unsigned char)(((wr->length)>> 8)&0xff), pseq[1]=(unsigned char)(((wr->length) )&0xff)),pseq+=2); -

1151 -

1152 -

1153 -

1154 -

1155 wr->type=type; -

1156 wr->length += 13; -

1157 -

1158 tls1_record_sequence_increment((s->s3->internal)->write_sequence); -

1159 -

1160 -

1161 wb->left = prefix_len + wr->length; -

1162 wb->offset = 0; -

1163 -

1164 -

1165 (s->s3->internal)->wpend_tot = len; -

1166 (s->s3->internal)->wpend_buf = buf; -

1167 (s->s3->internal)->wpend_type = type; -

1168 (s->s3->internal)->wpend_ret = len; -

1169 -

1170 -

1171

return

executed 176 times by 2 tests: return ssl3_write_pending(s, type, buf, len);

Executed by:

clienttest
ssltest

ssl3_write_pending(s, type, buf, len);

executed 176 times by 2 tests: return ssl3_write_pending(s, type, buf, len);

Executed by:

clienttest
ssltest

176

1172 err: -

1173

return

never executed: return -1;

-1;

never executed: return -1;

1174 } -

1175 -

1176 -

1177 -

1178 static int -

1179 dtls1_record_replay_check(SSL *s, DTLS1_BITMAP *bitmap) -

1180 { -

1181 int cmp; -

1182 unsigned int shift; -

1183 const unsigned char *seq = (s->s3->internal)->read_sequence; -

1184 -

1185 cmp = satsub64be(seq, bitmap->max_seq_num); -

1186

if (cmp > 0

cmp > 0	Description
TRUE	evaluated 109 times by 1 test Evaluated by: ssltest
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

) {

44-109

1187 memcpy ((s->s3->internal)->rrec.seq_num, seq, 8); -

1188

return

executed 109 times by 1 test: return 1;

Executed by:

ssltest

executed 109 times by 1 test: return 1;

Executed by:

ssltest

109

1189 } -

1190 shift = -cmp; -

1191

if (shift >= sizeof(bitmap->map)*8

shift >= sizeof(bitmap->map)*8	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

)

0-44

1192

return

never executed: return 0;

1193

else if (bitmap->map & (1UL << shift)

bitmap->map & (1UL << shift)	Description
TRUE	never evaluated
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

)

0-44

1194

return

never executed: return 0;

1195 -

1196 memcpy((s->s3->internal)->rrec.seq_num, seq, 8); -

1197

return

executed 44 times by 1 test: return 1;

Executed by:

ssltest

executed 44 times by 1 test: return 1;

Executed by:

ssltest

1198 } -

1199 -

1200 -

1201 static void -

1202 dtls1_record_bitmap_update(SSL *s, DTLS1_BITMAP *bitmap) -

1203 { -

1204 int cmp; -

1205 unsigned int shift; -

1206 const unsigned char *seq = (s->s3->internal)->read_sequence; -

1207 -

1208 cmp = satsub64be(seq, bitmap->max_seq_num); -

1209

if (cmp > 0

cmp > 0	Description
TRUE	evaluated 109 times by 1 test Evaluated by: ssltest
FALSE	evaluated 44 times by 1 test Evaluated by: ssltest

) {

44-109

1210 shift = cmp; -

1211

if (shift < sizeof(bitmap->map)*8

shift < sizeof(bitmap->map)*8	Description
TRUE	evaluated 109 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

)

0-109

1212

bitmap->map <<= shift, bitmap->map |= 1UL;

executed 109 times by 1 test: bitmap->map <<= shift, bitmap->map |= 1UL;

Executed by:

ssltest

109

1213 else -

1214

bitmap->map = 1UL;

never executed: bitmap->map = 1UL;

1215 memcpy(bitmap->max_seq_num, seq, 8); -

1216

}

executed 109 times by 1 test: end of block

Executed by:

ssltest

else {

109

1217 shift = -cmp; -

1218

if (shift < sizeof(bitmap->map) * 8

shift < sizeof...tmap->map) * 8	Description
TRUE	evaluated 44 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

)

0-44

1219

bitmap->map |= 1UL << shift;

executed 44 times by 1 test: bitmap->map |= 1UL << shift;

Executed by:

ssltest

1220

}

executed 44 times by 1 test: end of block

Executed by:

ssltest

1221 } -

1222 -

1223 -

1224 int -

1225 dtls1_dispatch_alert(SSL *s) -

1226 { -

1227 int i, j; -

1228 void (*cb)(const SSL *ssl, int type, int val) = -

1229 ((void *)0) -

1230 ; -

1231 unsigned char buf[2]; -

1232 unsigned char *ptr = &buf[0]; -

1233 -

1234 s->s3->alert_dispatch = 0; -

1235 -

1236 memset(buf, 0x00, sizeof(buf)); -

1237 *ptr++ = s->s3->send_alert[0]; -

1238 *ptr++ = s->s3->send_alert[1]; -

1239 -

1240 i = do_dtls1_write(s, 21, &buf[0], sizeof(buf)); -

1241

if (i <= 0

i <= 0	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

) {

0-22

1242 s->s3->alert_dispatch = 1; -

1243 -

1244

}

executed 22 times by 1 test: end of block

Executed by:

ssltest

else {

1245

if (s->s3->send_alert[0] == 2

s->s3->send_alert[0] == 2	Description
TRUE	never evaluated
FALSE	never evaluated

)

1246

(

never executed: (void)(int)BIO_ctrl(s->wbio,11,0, ((void *)0) );

void)(int)BIO_ctrl(s->wbio,11,0,

never executed: (void)(int)BIO_ctrl(s->wbio,11,0, ((void *)0) );

1247

((void *)0)

never executed: (void)(int)BIO_ctrl(s->wbio,11,0, ((void *)0) );

1248

);

never executed: (void)(int)BIO_ctrl(s->wbio,11,0, ((void *)0) );

1249 -

1250

if (s->internal->msg_callback

s->internal->msg_callback	Description
TRUE	never evaluated
FALSE	never evaluated

)

1251

s->internal->msg_callback(1, s->version, 21,

never executed: s->internal->msg_callback(1, s->version, 21, s->s3->send_alert, 2, s, s->internal->msg_callback_arg);

1252

s->s3->send_alert, 2, s, s->internal->msg_callback_arg);

never executed: s->internal->msg_callback(1, s->version, 21, s->s3->send_alert, 2, s, s->internal->msg_callback_arg);

1253 -

1254

if (s->internal->info_callback !=

s->internal->i...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

1255

((void *)0)

s->internal->i...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

1256 ) -

1257

cb = s->internal->info_callback;

never executed: cb = s->internal->info_callback;

1258

else if (s->ctx->internal->info_callback !=

s->ctx->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

1259

((void *)0)

s->ctx->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

1260 ) -

1261

cb = s->ctx->internal->info_callback;

never executed: cb = s->ctx->internal->info_callback;

1262 -

1263

if (cb !=

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

1264

((void *)0)

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

1265 ) { -

1266 j = (s->s3->send_alert[0]<<8)|s->s3->send_alert[1]; -

1267 cb(s, (0x4000|0x08), j); -

1268

}

never executed: end of block

1269

}

never executed: end of block

1270

return

executed 22 times by 1 test: return (i);

Executed by:

ssltest

(i);

executed 22 times by 1 test: return (i);

Executed by:

ssltest

1271 } -

1272 -

1273 -

1274 static DTLS1_BITMAP * -

1275 dtls1_get_bitmap(SSL *s, SSL3_RECORD *rr, unsigned int *is_next_epoch) -

1276 { -

1277 -

1278 *is_next_epoch = 0; -

1279 -

1280 -

1281

if (rr->epoch == (s->d1->internal)->r_epoch

rr->epoch == (...rnal)->r_epoch	Description
TRUE	evaluated 153 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

)

0-153

1282

return

executed 153 times by 1 test: return &(s->d1->internal)->bitmap;

Executed by:

ssltest

&(s->d1->internal)->bitmap;

executed 153 times by 1 test: return &(s->d1->internal)->bitmap;

Executed by:

ssltest

153

1283 -

1284 -

1285

else if (rr->epoch == (unsigned long)((s->d1->internal)->r_epoch + 1)

rr->epoch == (...->r_epoch + 1)	Description
TRUE	never evaluated
FALSE	never evaluated

1286

(rr->type == 22

rr->type == 22	Description
TRUE	never evaluated
FALSE	never evaluated

|| rr->type == 21

rr->type == 21	Description
TRUE	never evaluated
FALSE	never evaluated

)) {

1287 *is_next_epoch = 1; -

1288

return

never executed: return &(s->d1->internal)->next_bitmap;

&(s->d1->internal)->next_bitmap;

never executed: return &(s->d1->internal)->next_bitmap;

1289 } -

1290 -

1291

return

never executed: return ((void *)0) ;

1292

((void *)0)

never executed: return ((void *)0) ;

1293

;

never executed: return ((void *)0) ;

1294 } -

1295 -

1296 void -

1297 dtls1_reset_seq_numbers(SSL *s, int rw) -

1298 { -

1299 unsigned char *seq; -

1300 unsigned int seq_bytes = sizeof((s->s3->internal)->read_sequence); -

1301 -

1302

if (rw & 0x01

rw & 0x01	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 22 times by 1 test Evaluated by: ssltest

) {

1303 seq = (s->s3->internal)->read_sequence; -

1304 (s->d1->internal)->r_epoch++; -

1305 memcpy(&((s->d1->internal)->bitmap), &((s->d1->internal)->next_bitmap), sizeof(DTLS1_BITMAP)); -

1306 memset(&((s->d1->internal)->next_bitmap), 0x00, sizeof(DTLS1_BITMAP)); -

1307

}

executed 22 times by 1 test: end of block

Executed by:

ssltest

else {

1308 seq = (s->s3->internal)->write_sequence; -

1309 memcpy((s->d1->internal)->last_write_sequence, seq, sizeof((s->s3->internal)->write_sequence)); -

1310 (s->d1->internal)->w_epoch++; -

1311

}

executed 22 times by 1 test: end of block

Executed by:

ssltest

1312 -

1313 memset(seq, 0x00, seq_bytes); -

1314

}

executed 44 times by 1 test: end of block

Executed by:

ssltest

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2