OpenCoverage

ssl_srvr.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 -

7 -

8 -

9 -

10 -

11 -

12 -

13 -

14 -

15 int -

16 ssl3_accept(SSL *s) -

17 { -

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

19 ((void *)0) -

20 ; -

21 unsigned long alg_k; -

22 int ret = -1; -

23 int new_state, state, skip = 0; -

24 int listen = 0; -

25 -

26 ERR_clear_error(); -

27 -

28 (*__errno_location ()) -

29 = 0; -

30 -

if (s->internal->info_callback !=

s->internal->i...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

0-1236

((void *)0)

s->internal->i...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

0-1236

33 ) -

cb = s->internal->info_callback;

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

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

s->ctx->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

0-1236

((void *)0)

s->ctx->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

0-1236

37 ) -

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

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

39 -

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 1214 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 1214 times by 3 tests Evaluated by: servertest ssltest tlstest

)

22-1214

listen = (s->d1->internal)->listen;

executed 22 times by 1 test: listen = (s->d1->internal)->listen;

Executed by:

ssltest

42 -

43 -

44 s->internal->in_handshake++; -

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

!(SSL_state((s...x1000\|0x2000))	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

|| (

(SSL_state((s))&0x4000)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 1171 times by 2 tests Evaluated by: ssltest tlstest

SSL_state((s))&0x4000)

(SSL_state((s))&0x4000)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 1171 times by 2 tests Evaluated by: ssltest tlstest

)

0-1236

SSL_clear(s);

executed 65 times by 3 tests: SSL_clear(s);

Executed by:

servertest
ssltest
tlstest

47 -

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 1214 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 1214 times by 3 tests Evaluated by: servertest ssltest tlstest

)

22-1214

(

executed 22 times by 1 test: (s->d1->internal)->listen = listen;

Executed by:

ssltest

s->d1->internal)->listen = listen;

executed 22 times by 1 test: (s->d1->internal)->listen = listen;

Executed by:

ssltest

50 -

if (s->cert ==

s->cert == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

0-1236

((void *)0)

s->cert == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

0-1236

53 ) { -

54 SSL_error_internal(s, 179, __FILE__, 200); -

55 ret = -1; -

goto

never executed: goto end;

end;

never executed: goto end;

57 } -

58 -

59 for (;;) { -

60 state = (s->s3->internal)->hs.state; -

61 -

62 switch ((s->s3->internal)->hs.state) { -

case

never executed: case (0x04|(0x1000|0x2000)):

(0x04|(0x1000|0x2000)):

never executed: case (0x04|(0x1000|0x2000)):

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

65 -

66 -

case

never executed: case 0x4000:

0x4000:

never executed: case 0x4000:

code before this statement never executed: case 0x4000:

case

never executed: case 0x2000:

0x2000:

never executed: case 0x2000:

case

executed 65 times by 3 tests: case 0x4000|0x2000:

Executed by:

servertest
ssltest
tlstest

0x4000|0x2000:

executed 65 times by 3 tests: case 0x4000|0x2000:

Executed by:

servertest
ssltest
tlstest

case

never executed: case 0x03|0x2000:

0x03|0x2000:

never executed: case 0x03|0x2000:

71 s->server = 1; -

if (cb !=

cb != ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

((void *)0)

cb != ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

74 ) -

cb(s, 0x10, 1);

never executed: cb(s, 0x10, 1);

76 -

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

11-54

if ((

(s->version & ...FEFF & 0xff00)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

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

(s->version & ...FEFF & 0xff00)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

) {

0-11

79 SSL_error_internal(s, (4|64), __FILE__, 223); -

80 ret = -1; -

goto

never executed: goto end;

end;

never executed: goto end;

82 } -

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

else {

if ((

(s->version >> 8) != 3	Description
TRUE	never evaluated
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

s->version >> 8) != 3

(s->version >> 8) != 3	Description
TRUE	never evaluated
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-54

85 SSL_error_internal(s, (4|64), __FILE__, 229); -

86 ret = -1; -

goto

never executed: goto end;

end;

never executed: goto end;

88 } -

}

executed 54 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

90 s->internal->type = 0x2000; -

91 -

if (!ssl3_setup_init_buffer(s)

!ssl3_setup_init_buffer(s)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

93 ret = -1; -

goto

never executed: goto end;

end;

never executed: goto end;

95 } -

if (!ssl3_setup_buffers(s)

!ssl3_setup_buffers(s)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

97 ret = -1; -

goto

never executed: goto end;

end;

never executed: goto end;

99 } -

100 -

101 s->internal->init_num = 0; -

102 -

103

if ((

(s->s3->intern...x1000\|0x2000))	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

s->s3->internal)->hs.state != (0x04|(0x1000|0x2000))

(s->s3->intern...x1000\|0x2000))	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

) {

0-65

104 -

105 -

106 -

107 -

108 -

109

if (!ssl_init_wbio_buffer(s, 1)

!ssl_init_wbio_buffer(s, 1)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

110 ret = -1; -

111

goto

never executed: goto end;

end;

never executed: goto end;

112 } -

113

if (!tls1_init_finished_mac(s)

!tls1_init_finished_mac(s)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

114 ret = -1; -

115

goto

never executed: goto end;

end;

never executed: goto end;

116 } -

117 -

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

119 s->ctx->internal->stats.sess_accept++; -

120

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

else if (!(s->method->internal->version == 0xFEFF)

!(s->method->i...ion == 0xFEFF)	Description
TRUE	never evaluated
FALSE	never evaluated

&& !(s->s3->internal)->send_connection_binding

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

) {

0-65

121 -

122 -

123 -

124 -

125 -

126 SSL_error_internal(s, 338, __FILE__, 270); -

127 ssl3_send_alert(s, 2, -

128 40); -

129 ret = -1; -

130

goto

never executed: goto end;

end;

never executed: goto end;

131 } else { -

132 -

133 -

134 -

135 -

136 s->ctx->internal->stats.sess_accept_renegotiate++; -

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

138

}

never executed: end of block

139

break;

executed 65 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

140 -

141

case

never executed: case (0x120|0x2000):

(0x120|0x2000):

never executed: case (0x120|0x2000):

142

case

never executed: case (0x121|0x2000):

(0x121|0x2000):

never executed: case (0x121|0x2000):

143 s->internal->shutdown = 0; -

144

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	never evaluated
FALSE	never evaluated

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

145 dtls1_clear_record_buffer(s); -

146 dtls1_start_timer(s); -

147

}

never executed: end of block

148 ret = ssl3_send_hello_request(s); -

149

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

150

goto

never executed: goto end;

end;

never executed: goto end;

151

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	never evaluated
FALSE	never evaluated

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	never evaluated
FALSE	never evaluated

)

152

(

never executed: (s->s3->internal)->hs.next_state = (0x110|0x2000);

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

never executed: (s->s3->internal)->hs.next_state = (0x110|0x2000);

153 else -

154

(

never executed: (s->s3->internal)->hs.next_state = (0x122|0x2000);

s->s3->internal)->hs.next_state = (0x122|0x2000);

never executed: (s->s3->internal)->hs.next_state = (0x122|0x2000);

155 (s->s3->internal)->hs.state = (0x100|0x2000); -

156 s->internal->init_num = 0; -

157 -

158

if (!tls1_init_finished_mac(s)

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

) {

159 ret = -1; -

160

goto

never executed: goto end;

end;

never executed: goto end;

161 } -

162

break;

never executed: break;

163 -

164

case

never executed: case (0x122|0x2000):

(0x122|0x2000):

never executed: case (0x122|0x2000):

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

166

break;

never executed: break;

167 -

168

case

executed 65 times by 3 tests: case (0x110|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x110|0x2000):

executed 65 times by 3 tests: case (0x110|0x2000):

Executed by:

servertest
ssltest
tlstest

169

case

executed 192 times by 1 test: case (0x111|0x2000):

Executed by:

ssltest

(0x111|0x2000):

executed 192 times by 1 test: case (0x111|0x2000):

Executed by:

ssltest

192

170

case

never executed: case (0x112|0x2000):

(0x112|0x2000):

never executed: case (0x112|0x2000):

171 s->internal->shutdown = 0; -

172

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 246 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 246 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

11-246

173 ret = ssl3_get_client_hello(s); -

174

if (ret <= 0

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

)

0-11

175

goto

never executed: goto end;

end;

never executed: goto end;

176 dtls1_stop_timer(s); -

177 -

178

if (ret == 1

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

0-11

179

(

(SSL_ctrl((s),...& 0x00002000L)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

SSL_ctrl((s),32,0,

(SSL_ctrl((s),...& 0x00002000L)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

0-11

180

((void *)0)

(SSL_ctrl((s),...& 0x00002000L)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

0-11

181

) & 0x00002000L)

(SSL_ctrl((s),...& 0x00002000L)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

)

0-11

182

(

never executed: (s->s3->internal)->hs.state = (0x113|0x2000);

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

never executed: (s->s3->internal)->hs.state = (0x113|0x2000);

183 else -

184

(

executed 11 times by 1 test: (s->s3->internal)->hs.state = (0x130|0x2000);

Executed by:

ssltest

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

executed 11 times by 1 test: (s->s3->internal)->hs.state = (0x130|0x2000);

Executed by:

ssltest

185 -

186 s->internal->init_num = 0; -

187 -

188 -

189 -

190 -

191 -

192

if (listen

listen	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

) {

0-11

193 memcpy((s->s3->internal)->write_sequence, -

194 (s->s3->internal)->read_sequence, -

195 sizeof((s->s3->internal)->write_sequence)); -

196

}

never executed: end of block

197 -

198 -

199

if (listen

listen	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

&& (

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

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

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

) {

0-11

200 ret = 2; -

201 (s->d1->internal)->listen = 0; -

202 -

203 -

204 -

205 -

206 (s->d1->internal)->handshake_read_seq = 2; -

207 (s->d1->internal)->handshake_write_seq = 1; -

208 (s->d1->internal)->next_handshake_write_seq = 1; -

209

goto

never executed: goto end;

end;

never executed: goto end;

210 } -

211

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

else {

212

if (s->internal->rwstate != 4

s->internal->rwstate != 4	Description
TRUE	evaluated 246 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

) {

0-246

213 ret = ssl3_get_client_hello(s); -

214

if (ret <= 0

ret <= 0	Description
TRUE	evaluated 192 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

)

54-192

215

goto

executed 192 times by 1 test: goto end;

Executed by:

ssltest

end;

executed 192 times by 1 test: goto end;

Executed by:

ssltest

192

216

}

executed 54 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

217 -

218 s->internal->renegotiate = 2; -

219 (s->s3->internal)->hs.state = (0x130|0x2000); -

220 s->internal->init_num = 0; -

221

}

executed 54 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

222

break;

executed 65 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

223 -

224

case

never executed: case (0x113|0x2000):

(0x113|0x2000):

never executed: case (0x113|0x2000):

225

case

never executed: case (0x114|0x2000):

(0x114|0x2000):

never executed: case (0x114|0x2000):

226 ret = dtls1_send_hello_verify_request(s); -

227

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

228

goto

never executed: goto end;

end;

never executed: goto end;

229 (s->s3->internal)->hs.state = (0x100|0x2000); -

230 (s->s3->internal)->hs.next_state = (0x110|0x2000); -

231 -

232 -

233

if (!tls1_init_finished_mac(s)

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

) {

234 ret = -1; -

235

goto

never executed: goto end;

end;

never executed: goto end;

236 } -

237

break;

never executed: break;

238 -

239

case

executed 65 times by 3 tests: case (0x130|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x130|0x2000):

executed 65 times by 3 tests: case (0x130|0x2000):

Executed by:

servertest
ssltest
tlstest

240

case

never executed: case (0x131|0x2000):

(0x131|0x2000):

never executed: case (0x131|0x2000):

241

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

11-54

242 s->internal->renegotiate = 2; -

243 dtls1_start_timer(s); -

244

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

245 ret = ssl3_send_server_hello(s); -

246

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

247

goto

never executed: goto end;

end;

never executed: goto end;

248

if (s->internal->hit

s->internal->hit	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

249

if (s->internal->tlsext_ticket_expected

s->internal->t...icket_expected	Description
TRUE	never evaluated
FALSE	never evaluated

)

250

(

never executed: (s->s3->internal)->hs.state = (0x1F0|0x2000);

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

never executed: (s->s3->internal)->hs.state = (0x1F0|0x2000);

251 else -

252

(

never executed: (s->s3->internal)->hs.state = (0x1D0|0x2000);

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

never executed: (s->s3->internal)->hs.state = (0x1D0|0x2000);

253 } else { -

254 (s->s3->internal)->hs.state = (0x140|0x2000); -

255

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

256 s->internal->init_num = 0; -

257

break;

executed 65 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

258 -

259

case

executed 65 times by 3 tests: case (0x140|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x140|0x2000):

executed 65 times by 3 tests: case (0x140|0x2000):

Executed by:

servertest
ssltest
tlstest

260

case

never executed: case (0x141|0x2000):

(0x141|0x2000):

never executed: case (0x141|0x2000):

261 -

262

if (!((s->s3->internal)->hs.new_cipher->algorithm_auth &

!((s->s3->inte...& 0x00000004L)	Description
TRUE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 10 times by 1 test Evaluated by: ssltest

10-55

263

0x00000004L)

!((s->s3->inte...& 0x00000004L)	Description
TRUE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 10 times by 1 test Evaluated by: ssltest

) {

10-55

264

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 44 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 44 times by 3 tests Evaluated by: servertest ssltest tlstest

)

11-44

265

dtls1_start_timer(s);

executed 11 times by 1 test: dtls1_start_timer(s);

Executed by:

ssltest

266 ret = ssl3_send_server_certificate(s); -

267

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-55

268

goto

never executed: goto end;

end;

never executed: goto end;

269

if (s->internal->tlsext_status_expected

s->internal->t...tatus_expected	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-55

270

(

never executed: (s->s3->internal)->hs.state = (0x200|0x2000);

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

never executed: (s->s3->internal)->hs.state = (0x200|0x2000);

271 else -

272

(

executed 55 times by 3 tests: (s->s3->internal)->hs.state = (0x150|0x2000);

Executed by:

servertest
ssltest
tlstest

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

executed 55 times by 3 tests: (s->s3->internal)->hs.state = (0x150|0x2000);

Executed by:

servertest
ssltest
tlstest

273 } else { -

274 skip = 1; -

275 (s->s3->internal)->hs.state = (0x150|0x2000); -

276

}

executed 10 times by 1 test: end of block

Executed by:

ssltest

277 s->internal->init_num = 0; -

278

break;

executed 65 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

279 -

280

case

executed 65 times by 3 tests: case (0x150|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x150|0x2000):

executed 65 times by 3 tests: case (0x150|0x2000):

Executed by:

servertest
ssltest
tlstest

281

case

never executed: case (0x151|0x2000):

(0x151|0x2000):

never executed: case (0x151|0x2000):

282 alg_k = (s->s3->internal)->hs.new_cipher->algorithm_mkey; -

283

if (alg_k & (0x00000008L|0x00000080L)

alg_k & (0x000...L\|0x00000080L)	Description
TRUE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

) {

14-51

284

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 4 times by 1 test Evaluated by: ssltest
FALSE	evaluated 47 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 4 times by 1 test Evaluated by: ssltest
FALSE	evaluated 47 times by 3 tests Evaluated by: servertest ssltest tlstest

)

4-47

285

dtls1_start_timer(s);

executed 4 times by 1 test: dtls1_start_timer(s);

Executed by:

ssltest

286 ret = ssl3_send_server_key_exchange(s); -

287

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-51

288

goto

never executed: goto end;

end;

never executed: goto end;

289

}

executed 51 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

else

290

skip = 1;

executed 14 times by 1 test: skip = 1;

Executed by:

ssltest

291 -

292 (s->s3->internal)->hs.state = (0x160|0x2000); -

293 s->internal->init_num = 0; -

294

break;

executed 65 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

295 -

296

case

executed 65 times by 3 tests: case (0x160|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x160|0x2000):

executed 65 times by 3 tests: case (0x160|0x2000):

Executed by:

servertest
ssltest
tlstest

297

case

never executed: case (0x161|0x2000):

(0x161|0x2000):

never executed: case (0x161|0x2000):

298

if (!(s->verify_mode & 0x01)

!(s->verify_mode & 0x01)	Description
TRUE	evaluated 58 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

7-58

299

((

(s->session->p... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

s->session->peer !=

(s->session->p... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

300

((void *)0)

(s->session->p... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

301

)

(s->session->p... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

302

(

(s->verify_mode & 0x04)	Description
TRUE	never evaluated
FALSE	never evaluated

s->verify_mode & 0x04)

(s->verify_mode & 0x04)	Description
TRUE	never evaluated
FALSE	never evaluated

) ||

303

(((

((s->s3->inter...& 0x00000004L)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

s->s3->internal)->hs.new_cipher->algorithm_auth &

((s->s3->inter...& 0x00000004L)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

304

0x00000004L)

((s->s3->inter...& 0x00000004L)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

&& !(s->verify_mode &

!(s->verify_mode & 0x02)	Description
TRUE	never evaluated
FALSE	never evaluated

0-7

305

0x02)

!(s->verify_mode & 0x02)	Description
TRUE	never evaluated
FALSE	never evaluated

)) {

306 -

307 skip = 1; -

308 (s->s3->internal)->tmp.cert_request = 0; -

309 (s->s3->internal)->hs.state = (0x170|0x2000); -

310

if (!(s->method->internal->version == 0xFEFF)

!(s->method->i...ion == 0xFEFF)	Description
TRUE	evaluated 49 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 9 times by 1 test Evaluated by: ssltest

&& (

(s->s3->intern...ndshake_buffer	Description
TRUE	never evaluated
FALSE	evaluated 49 times by 3 tests Evaluated by: servertest ssltest tlstest

s->s3->internal)->handshake_buffer

(s->s3->intern...ndshake_buffer	Description
TRUE	never evaluated
FALSE	evaluated 49 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-49

311

if (!tls1_digest_cached_records(s)

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

) {

312 ret = -1; -

313

goto

never executed: goto end;

end;

never executed: goto end;

314 } -

315

}

never executed: end of block

316

}

executed 58 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

else {

317 (s->s3->internal)->tmp.cert_request = 1; -

318

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: ssltest
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: ssltest
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

)

2-5

319

dtls1_start_timer(s);

executed 2 times by 1 test: dtls1_start_timer(s);

Executed by:

ssltest

320 ret = ssl3_send_certificate_request(s); -

321

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

322

goto

never executed: goto end;

end;

never executed: goto end;

323 (s->s3->internal)->hs.state = (0x170|0x2000); -

324 s->internal->init_num = 0; -

325

}

executed 7 times by 1 test: end of block

Executed by:

ssltest

326

break;

executed 65 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

327 -

328

case

executed 65 times by 3 tests: case (0x170|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x170|0x2000):

executed 65 times by 3 tests: case (0x170|0x2000):

Executed by:

servertest
ssltest
tlstest

329

case

never executed: case (0x171|0x2000):

(0x171|0x2000):

never executed: case (0x171|0x2000):

330

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

)

11-54

331

dtls1_start_timer(s);

executed 11 times by 1 test: dtls1_start_timer(s);

Executed by:

ssltest

332 ret = ssl3_send_server_done(s); -

333

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

334

goto

never executed: goto end;

end;

never executed: goto end;

335 (s->s3->internal)->hs.next_state = (0x180|0x2000); -

336 (s->s3->internal)->hs.state = (0x100|0x2000); -

337 s->internal->init_num = 0; -

338

break;

executed 65 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

339 -

340

case

executed 372 times by 3 tests: case (0x100|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x100|0x2000):

executed 372 times by 3 tests: case (0x100|0x2000):

Executed by:

servertest
ssltest
tlstest

372

341 s->internal->rwstate = 2; -

342

if ((

(int)BIO_ctrl(...id *)0) ) <= 0	Description
TRUE	evaluated 244 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 128 times by 3 tests Evaluated by: servertest ssltest tlstest

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

(int)BIO_ctrl(...id *)0) ) <= 0	Description
TRUE	evaluated 244 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 128 times by 3 tests Evaluated by: servertest ssltest tlstest

128-244

343

((void *)0)

(int)BIO_ctrl(...id *)0) ) <= 0	Description
TRUE	evaluated 244 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 128 times by 3 tests Evaluated by: servertest ssltest tlstest

128-244

344

) <= 0

(int)BIO_ctrl(...id *)0) ) <= 0	Description
TRUE	evaluated 244 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 128 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

128-244

345

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	never evaluated
FALSE	evaluated 244 times by 2 tests Evaluated by: ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	never evaluated
FALSE	evaluated 244 times by 2 tests Evaluated by: ssltest tlstest

) {

0-244

346 -

347

if (!BIO_test_flags(s->wbio, 0x08)

!BIO_test_flags(s->wbio, 0x08)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

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

349 (s->s3->internal)->hs.state = (s->s3->internal)->hs.next_state; -

350

}

never executed: end of block

351

}

never executed: end of block

352 ret = -1; -

353

goto

executed 244 times by 2 tests: goto end;

Executed by:

ssltest
tlstest

end;

executed 244 times by 2 tests: goto end;

Executed by:

ssltest
tlstest

244

354 } -

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

356 (s->s3->internal)->hs.state = (s->s3->internal)->hs.next_state; -

357

break;

executed 128 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

128

358 -

359

case

executed 165 times by 3 tests: case (0x180|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x180|0x2000):

executed 165 times by 3 tests: case (0x180|0x2000):

Executed by:

servertest
ssltest
tlstest

165

360

case

never executed: case (0x181|0x2000):

(0x181|0x2000):

never executed: case (0x181|0x2000):

361

if ((

(s->s3->intern...p.cert_request	Description
TRUE	evaluated 107 times by 1 test Evaluated by: ssltest
FALSE	evaluated 58 times by 3 tests Evaluated by: servertest ssltest tlstest

s->s3->internal)->tmp.cert_request

(s->s3->intern...p.cert_request	Description
TRUE	evaluated 107 times by 1 test Evaluated by: ssltest
FALSE	evaluated 58 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

58-107

362 ret = ssl3_get_client_certificate(s); -

363

if (ret <= 0

ret <= 0	Description
TRUE	evaluated 100 times by 1 test Evaluated by: ssltest
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

7-100

364

goto

executed 100 times by 1 test: goto end;

Executed by:

ssltest

end;

executed 100 times by 1 test: goto end;

Executed by:

ssltest

100

365

}

executed 7 times by 1 test: end of block

Executed by:

ssltest

366 s->internal->init_num = 0; -

367 (s->s3->internal)->hs.state = (0x190|0x2000); -

368

break;

executed 65 times by 3 tests: break;

Executed by:

servertest
ssltest
tlstest

369 -

370

case

executed 334 times by 3 tests: case (0x190|0x2000):

Executed by:

servertest
ssltest
tlstest

(0x190|0x2000):

executed 334 times by 3 tests: case (0x190|0x2000):

Executed by:

servertest
ssltest
tlstest

334

371

case

never executed: case (0x191|0x2000):

(0x191|0x2000):

never executed: case (0x191|0x2000):

372 ret = ssl3_get_client_key_exchange(s); -

373

if (ret <= 0

ret <= 0	Description
TRUE	evaluated 271 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

63-271

374

goto

executed 271 times by 3 tests: goto end;

Executed by:

servertest
ssltest
tlstest

end;

executed 271 times by 3 tests: goto end;

Executed by:

servertest
ssltest
tlstest

271

375 -

376

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest

) {

11-52

377 (s->s3->internal)->hs.state = (0x1A0|0x2000); -

378 s->internal->init_num = 0; -

379

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

380 -

381 alg_k = (s->s3->internal)->hs.new_cipher->algorithm_mkey; -

382

if (ret == 2

ret == 2	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

) {

0-63

383 (s->s3->internal)->hs.state = (0x1C0|0x2000); -

384 s->internal->init_num = 0; -

385

}

never executed: end of block

else if ((

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 34 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 29 times by 1 test Evaluated by: ssltest

s->method->internal->ssl3_enc->enc_flags & (1 << 1))

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 34 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 29 times by 1 test Evaluated by: ssltest

|| (

(alg_k & 0x00000200L)	Description
TRUE	never evaluated
FALSE	evaluated 29 times by 1 test Evaluated by: ssltest

alg_k & 0x00000200L)

(alg_k & 0x00000200L)	Description
TRUE	never evaluated
FALSE	evaluated 29 times by 1 test Evaluated by: ssltest

) {

0-34

386 (s->s3->internal)->hs.state = (0x1A0|0x2000); -

387 s->internal->init_num = 0; -

388

if (!s->session->peer

!s->session->peer	Description
TRUE	evaluated 29 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

)

5-29

389

break;

executed 29 times by 2 tests: break;

Executed by:

ssltest
tlstest

390 -

391 -

392 -

393 -

394

if (!(s->s3->internal)->handshake_buffer

!(s->s3->inter...ndshake_buffer	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

) {

0-5

395 SSL_error_internal(s, (4|64), __FILE__, 578); -

396 ret = -1; -

397

goto

never executed: goto end;

end;

never executed: goto end;

398 } -

399 s->s3->flags |= 0x0020; -

400

if (!tls1_digest_cached_records(s)

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

) {

0-5

401 ret = -1; -

402

goto

never executed: goto end;

end;

never executed: goto end;

403 } -

404

}

executed 5 times by 1 test: end of block

Executed by:

ssltest

else {

405 (s->s3->internal)->hs.state = (0x1A0|0x2000); -

406 s->internal->init_num = 0; -

407 -

408 -

409 -

410 -

411 -

412

if ((

(s->s3->intern...ndshake_buffer	Description
TRUE	never evaluated
FALSE	evaluated 29 times by 1 test Evaluated by: ssltest

s->s3->internal)->handshake_buffer

(s->s3->intern...ndshake_buffer	Description
TRUE	never evaluated
FALSE	evaluated 29 times by 1 test Evaluated by: ssltest

) {

0-29

413

if (!tls1_digest_cached_records(s)

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

) {

414 ret = -1; -

415

goto

never executed: goto end;

end;

never executed: goto end;

416 } -

417

}

never executed: end of block

418

if (!tls1_handshake_hash_value(s,

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

0-29

419

(s->s3->internal)->tmp.cert_verify_md,

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

0-29

420

sizeof((s->s3->internal)->tmp.cert_verify_md),

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

0-29

421

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

0-29

422

((void *)0)

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

0-29

423

)

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

) {

0-29

424 ret = -1; -

425

goto

never executed: goto end;

end;

never executed: goto end;

426 } -

427

}

executed 29 times by 1 test: end of block

Executed by:

ssltest

428

break;

executed 34 times by 1 test: break;

Executed by:

ssltest

429 -

430

case

executed 387 times by 2 tests: case (0x1A0|0x2000):

Executed by:

ssltest
tlstest

(0x1A0|0x2000):

executed 387 times by 2 tests: case (0x1A0|0x2000):

Executed by:

ssltest
tlstest

387

431

case

never executed: case (0x1A1|0x2000):

(0x1A1|0x2000):

never executed: case (0x1A1|0x2000):

432

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 376 times by 2 tests Evaluated by: ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 376 times by 2 tests Evaluated by: ssltest tlstest

)

11-376

433

(

executed 11 times by 1 test: (s->d1->internal)->change_cipher_spec_ok = 1;

Executed by:

ssltest

s->d1->internal)->change_cipher_spec_ok = 1;

executed 11 times by 1 test: (s->d1->internal)->change_cipher_spec_ok = 1;

Executed by:

ssltest

434 else -

435

s->s3->flags |= 0x0080;

executed 376 times by 2 tests: s->s3->flags |= 0x0080;

Executed by:

ssltest
tlstest

376

436 -

437 -

438 ret = ssl3_get_cert_verify(s); -

439

if (ret <= 0

ret <= 0	Description
TRUE	evaluated 324 times by 1 test Evaluated by: ssltest
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

63-324

440

goto

executed 324 times by 1 test: goto end;

Executed by:

ssltest

end;

executed 324 times by 1 test: goto end;

Executed by:

ssltest

324

441 (s->s3->internal)->hs.state = (0x1C0|0x2000); -

442 s->internal->init_num = 0; -

443

break;

executed 63 times by 2 tests: break;

Executed by:

ssltest
tlstest

444 -

445

case

executed 105 times by 2 tests: case (0x1C0|0x2000):

Executed by:

ssltest
tlstest

(0x1C0|0x2000):

executed 105 times by 2 tests: case (0x1C0|0x2000):

Executed by:

ssltest
tlstest

105

446

case

never executed: case (0x1C1|0x2000):

(0x1C1|0x2000):

never executed: case (0x1C1|0x2000):

447

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 94 times by 2 tests Evaluated by: ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 94 times by 2 tests Evaluated by: ssltest tlstest

)

11-94

448

(

executed 11 times by 1 test: (s->d1->internal)->change_cipher_spec_ok = 1;

Executed by:

ssltest

s->d1->internal)->change_cipher_spec_ok = 1;

executed 11 times by 1 test: (s->d1->internal)->change_cipher_spec_ok = 1;

Executed by:

ssltest

449 else -

450

s->s3->flags |= 0x0080;

executed 94 times by 2 tests: s->s3->flags |= 0x0080;

Executed by:

ssltest
tlstest

451 ret = ssl3_get_finished(s, (0x1C0|0x2000), -

452 (0x1C1|0x2000)); -

453

if (ret <= 0

ret <= 0	Description
TRUE	evaluated 42 times by 1 test Evaluated by: ssltest
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

42-63

454

goto

executed 42 times by 1 test: goto end;

Executed by:

ssltest

end;

executed 42 times by 1 test: goto end;

Executed by:

ssltest

455

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest

)

11-52

456

dtls1_stop_timer(s);

executed 11 times by 1 test: dtls1_stop_timer(s);

Executed by:

ssltest

457

if (s->internal->hit

s->internal->hit	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

0-63

458

(

never executed: (s->s3->internal)->hs.state = 0x03;

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

never executed: (s->s3->internal)->hs.state = 0x03;

459

else if (s->internal->tlsext_ticket_expected

s->internal->t...icket_expected	Description
TRUE	evaluated 59 times by 1 test Evaluated by: ssltest
FALSE	evaluated 4 times by 1 test Evaluated by: tlstest

)

4-59

460

(

executed 59 times by 1 test: (s->s3->internal)->hs.state = (0x1F0|0x2000);

Executed by:

ssltest

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

executed 59 times by 1 test: (s->s3->internal)->hs.state = (0x1F0|0x2000);

Executed by:

ssltest

461 else -

462

(

executed 4 times by 1 test: (s->s3->internal)->hs.state = (0x1D0|0x2000);

Executed by:

tlstest

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

executed 4 times by 1 test: (s->s3->internal)->hs.state = (0x1D0|0x2000);

Executed by:

tlstest

463 s->internal->init_num = 0; -

464

break;

executed 63 times by 2 tests: break;

Executed by:

ssltest
tlstest

465 -

466

case

executed 59 times by 1 test: case (0x1F0|0x2000):

Executed by:

ssltest

(0x1F0|0x2000):

executed 59 times by 1 test: case (0x1F0|0x2000):

Executed by:

ssltest

467

case

never executed: case (0x1F1|0x2000):

(0x1F1|0x2000):

never executed: case (0x1F1|0x2000):

468 ret = ssl3_send_newsession_ticket(s); -

469

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

470

goto

never executed: goto end;

end;

never executed: goto end;

471 (s->s3->internal)->hs.state = (0x1D0|0x2000); -

472 s->internal->init_num = 0; -

473

break;

executed 59 times by 1 test: break;

Executed by:

ssltest

474 -

475

case

never executed: case (0x200|0x2000):

(0x200|0x2000):

never executed: case (0x200|0x2000):

476

case

never executed: case (0x201|0x2000):

(0x201|0x2000):

never executed: case (0x201|0x2000):

477 ret = ssl3_send_cert_status(s); -

478

if (ret <= 0

ret <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

479

goto

never executed: goto end;

end;

never executed: goto end;

480 (s->s3->internal)->hs.state = (0x150|0x2000); -

481 s->internal->init_num = 0; -

482

break;

never executed: break;

483 -

484

case

executed 63 times by 2 tests: case (0x1D0|0x2000):

Executed by:

ssltest
tlstest

(0x1D0|0x2000):

executed 63 times by 2 tests: case (0x1D0|0x2000):

Executed by:

ssltest
tlstest

485

case

never executed: case (0x1D1|0x2000):

(0x1D1|0x2000):

never executed: case (0x1D1|0x2000):

486 s->session->cipher = (s->s3->internal)->hs.new_cipher; -

487

if (!tls1_setup_key_block(s)

!tls1_setup_key_block(s)	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

) {

0-63

488 ret = -1; -

489

goto

never executed: goto end;

end;

never executed: goto end;

490 } -

491 -

492 ret = ssl3_send_change_cipher_spec(s, -

493 (0x1D0|0x2000), (0x1D1|0x2000)); -

494

if (ret <= 0

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

)

0-63

495

goto

never executed: goto end;

end;

never executed: goto end;

496 (s->s3->internal)->hs.state = (0x1E0|0x2000); -

497 s->internal->init_num = 0; -

498 -

499

if (!tls1_change_cipher_state(s,

!tls1_change_c..., (0x20\|0x02))	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

0-63

500

(0x20|0x02))

!tls1_change_c..., (0x20\|0x02))	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

) {

0-63

501 ret = -1; -

502

goto

never executed: goto end;

end;

never executed: goto end;

503 } -

504 -

505

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest

)

11-52

506

dtls1_reset_seq_numbers(s, 0x02);

executed 11 times by 1 test: dtls1_reset_seq_numbers(s, 0x02);

Executed by:

ssltest

507

break;

executed 63 times by 2 tests: break;

Executed by:

ssltest
tlstest

508 -

509

case

executed 63 times by 2 tests: case (0x1E0|0x2000):

Executed by:

ssltest
tlstest

(0x1E0|0x2000):

executed 63 times by 2 tests: case (0x1E0|0x2000):

Executed by:

ssltest
tlstest

510

case

never executed: case (0x1E1|0x2000):

(0x1E1|0x2000):

never executed: case (0x1E1|0x2000):

511 ret = ssl3_send_finished(s, -

512 (0x1E0|0x2000), (0x1E1|0x2000), -

513 "server finished", -

514 15); -

515

if (ret <= 0

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

)

0-63

516

goto

never executed: goto end;

end;

never executed: goto end;

517 (s->s3->internal)->hs.state = (0x100|0x2000); -

518

if (s->internal->hit

s->internal->hit	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

0-63

519

(

never executed: (s->s3->internal)->hs.next_state = (0x1C0|0x2000);

s->s3->internal)->hs.next_state = (0x1C0|0x2000);

never executed: (s->s3->internal)->hs.next_state = (0x1C0|0x2000);

520 else -

521

(

executed 63 times by 2 tests: (s->s3->internal)->hs.next_state = 0x03;

Executed by:

ssltest
tlstest

s->s3->internal)->hs.next_state = 0x03;

executed 63 times by 2 tests: (s->s3->internal)->hs.next_state = 0x03;

Executed by:

ssltest
tlstest

522 s->internal->init_num = 0; -

523

break;

executed 63 times by 2 tests: break;

Executed by:

ssltest
tlstest

524 -

525

case

executed 63 times by 2 tests: case 0x03:

Executed by:

ssltest
tlstest

0x03:

executed 63 times by 2 tests: case 0x03:

Executed by:

ssltest
tlstest

526 -

527 tls1_cleanup_key_block(s); -

528 -

529

if (!(s->method->internal->version == 0xFEFF)

!(s->method->i...ion == 0xFEFF)	Description
TRUE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

) {

11-52

530 BUF_MEM_free(s->internal->init_buf); -

531 s->internal->init_buf = -

532 ((void *)0) -

533 ; -

534

}

executed 52 times by 2 tests: end of block

Executed by:

ssltest
tlstest

535 -

536 -

537 ssl_free_wbio_buffer(s); -

538 -

539 s->internal->init_num = 0; -

540 -

541 -

542

if (s->internal->renegotiate == 2

s->internal->renegotiate == 2	Description
TRUE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest
FALSE	never evaluated

) {

0-63

543 s->internal->renegotiate = 0; -

544 s->internal->new_session = 0; -

545 -

546 ssl_update_cache(s, 0x0002); -

547 -

548 s->ctx->internal->stats.sess_accept_good++; -

549 -

550 s->internal->handshake_func = ssl3_accept; -

551 -

552

if (cb !=

cb != ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

0-63

553

((void *)0)

cb != ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

0-63

554 ) -

555

cb(s, 0x20, 1);

never executed: cb(s, 0x20, 1);

556

}

executed 63 times by 2 tests: end of block

Executed by:

ssltest
tlstest

557 -

558 ret = 1; -

559 -

560

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 52 times by 2 tests Evaluated by: ssltest tlstest

) {

11-52

561 -

562 (s->d1->internal)->handshake_read_seq = 0; -

563 -

564 (s->d1->internal)->handshake_write_seq = 0; -

565 (s->d1->internal)->next_handshake_write_seq = 0; -

566

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

567

goto

executed 63 times by 2 tests: goto end;

Executed by:

ssltest
tlstest

end;

executed 63 times by 2 tests: goto end;

Executed by:

ssltest
tlstest

568 -

569 -

570

default

never executed: default:

571 SSL_error_internal(s, 255, __FILE__, 748); -

572 ret = -1; -

573

goto

never executed: goto end;

end;

never executed: goto end;

574 -

575 } -

576 -

577

if (!(s->s3->internal)->tmp.reuse_message

!(s->s3->inter....reuse_message	Description
TRUE	evaluated 966 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 56 times by 2 tests Evaluated by: ssltest tlstest

&& !skip

!skip	Description
TRUE	evaluated 884 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 82 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

56-966

578

if (s->internal->debug

s->internal->debug	Description
TRUE	never evaluated
FALSE	evaluated 884 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-884

579

if ((

(ret = (int)BI...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

ret = (int)BIO_ctrl(s->wbio,11,0,

(ret = (int)BI...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

580

((void *)0)

(ret = (int)BI...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

581

)) <= 0

(ret = (int)BI...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

582

goto

never executed: goto end;

end;

never executed: goto end;

583

}

never executed: end of block

584 -

585 -

586

if ((

(cb != ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 884 times by 3 tests Evaluated by: servertest ssltest tlstest

cb !=

(cb != ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 884 times by 3 tests Evaluated by: servertest ssltest tlstest

0-884

587

((void *)0)

(cb != ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 884 times by 3 tests Evaluated by: servertest ssltest tlstest

0-884

588

)

(cb != ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 884 times by 3 tests Evaluated by: servertest ssltest tlstest

&& ((

((s->s3->inter...tate != state)	Description
TRUE	never evaluated
FALSE	never evaluated

s->s3->internal)->hs.state != state)

((s->s3->inter...tate != state)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-884

589 new_state = (s->s3->internal)->hs.state; -

590 (s->s3->internal)->hs.state = state; -

591 cb(s, (0x2000|0x01), 1); -

592 (s->s3->internal)->hs.state = new_state; -

593

}

never executed: end of block

594

}

executed 884 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

884

595 skip = 0; -

596

}

executed 1022 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

1022

597

end:

code before this statement never executed: end:

598 -

599 s->internal->in_handshake--; -

600

if (cb !=

cb != ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

0-1236

601

((void *)0)

cb != ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1236 times by 3 tests Evaluated by: servertest ssltest tlstest

0-1236

602 ) -

603

cb(s, (0x2000|0x02), ret);

never executed: cb(s, (0x2000|0x02), ret);

604 -

605

return

executed 1236 times by 3 tests: return (ret);

Executed by:

servertest
ssltest
tlstest

(ret);

executed 1236 times by 3 tests: return (ret);

Executed by:

servertest
ssltest
tlstest

1236

606 } -

607 -

608 int -

609 ssl3_send_hello_request(SSL *s) -

610 { -

611 CBB cbb, hello; -

612 -

613 memset(&cbb, 0, sizeof(cbb)); -

614 -

615

if ((

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

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

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

) {

616

if (!ssl3_handshake_msg_start(s, &cbb, &hello,

!ssl3_handshak...bb, &hello, 0)	Description
TRUE	never evaluated
FALSE	never evaluated

617

!ssl3_handshak...bb, &hello, 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

618

goto

never executed: goto err;

err;

never executed: goto err;

619

if (!ssl3_handshake_msg_finish(s, &cbb)

!ssl3_handshak...inish(s, &cbb)	Description
TRUE	never evaluated
FALSE	never evaluated

)

620

goto

never executed: goto err;

err;

never executed: goto err;

621 -

622 (s->s3->internal)->hs.state = (0x121|0x2000); -

623

}

never executed: end of block

624 -

625 -

626

return

never executed: return (ssl3_handshake_write(s));

(ssl3_handshake_write(s));

never executed: return (ssl3_handshake_write(s));

627 -

628 err: -

629 CBB_cleanup(&cbb); -

630 -

631

return

never executed: return (-1);

(-1);

never executed: return (-1);

632 } -

633 -

634 int -

635 ssl3_get_client_hello(SSL *s) -

636 { -

637 CBS cbs, client_random, session_id, cookie, cipher_suites; -

638 CBS compression_methods; -

639 uint16_t client_version; -

640 uint8_t comp_method; -

641 int comp_null; -

642 int i, j, ok, al, ret = -1, cookie_valid = 0; -

643 long n; -

644 unsigned long id; -

645 SSL_CIPHER *c; -

646 struct stack_st_SSL_CIPHER *ciphers = -

647 ((void *)0) -

648 ; -

649 unsigned long alg_k; -

650 const SSL_METHOD *method; -

651 uint16_t shared_version; -

652

if ((

(s->s3->intern...(0x110\|0x2000)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 192 times by 1 test Evaluated by: ssltest

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

(s->s3->intern...(0x110\|0x2000)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 192 times by 1 test Evaluated by: ssltest

) {

65-192

653 (s->s3->internal)->hs.state = (0x111|0x2000); -

654

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

655 -

656 s->internal->first_packet = 1; -

657 n = s->method->internal->ssl_get_message(s, (0x111|0x2000), -

658 (0x112|0x2000), 1, -

659 16384, &ok); -

660

if (!ok

!ok	Description
TRUE	evaluated 192 times by 1 test Evaluated by: ssltest
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

65-192

661

return

executed 192 times by 1 test: return ((int)n);

Executed by:

ssltest

((int)n);

executed 192 times by 1 test: return ((int)n);

Executed by:

ssltest

192

662 s->internal->first_packet = 0; -

663 -

664

if (n < 0

n < 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

665

goto

never executed: goto err;

err;

never executed: goto err;

666 -

667 CBS_init(&cbs, s->internal->init_msg, n); -

668 -

669 -

670

if (!CBS_get_u16(&cbs, &client_version)

!CBS_get_u16(&...lient_version)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

671

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

672

if (!CBS_get_bytes(&cbs, &client_random, 32)

!CBS_get_bytes...nt_random, 32)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

673

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

674

if (!CBS_get_u8_length_prefixed(&cbs, &session_id)

!CBS_get_u8_le..., &session_id)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

675

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

676

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

11-54

677

if (!CBS_get_u8_length_prefixed(&cbs, &cookie)

!CBS_get_u8_le...&cbs, &cookie)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

)

0-11

678

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

679

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

680

if (!CBS_get_u16_length_prefixed(&cbs, &cipher_suites)

!CBS_get_u16_l...cipher_suites)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

681

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

682

if (!CBS_get_u8_length_prefixed(&cbs, &compression_methods)

!CBS_get_u8_le...ssion_methods)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

683

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

684 -

685 -

686 -

687 -

688 -

689

if (ssl_max_shared_version(s, client_version, &shared_version) != 1

ssl_max_shared..._version) != 1	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

690 SSL_error_internal(s, 267, __FILE__, 867); -

691

if ((

(s->client_ver... >> 8) == 0x03	Description
TRUE	never evaluated
FALSE	never evaluated

s->client_version >> 8) == 0x03

(s->client_ver... >> 8) == 0x03	Description
TRUE	never evaluated
FALSE	never evaluated

692

!s->internal->enc_write_ctx

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

&& !s->internal->write_hash

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

) {

693 -

694 -

695 -

696 -

697 s->version = s->client_version; -

698

}

never executed: end of block

699 al = 70; -

700

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

701 } -

702 s->client_version = client_version; -

703 s->version = shared_version; -

704 -

705

if ((

(method = tls1...== ((void *)0)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

method = tls1_get_server_method(shared_version)) ==

(method = tls1...== ((void *)0)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

11-54

706

((void *)0)

(method = tls1...== ((void *)0)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

11-54

707 ) -

708

method = dtls1_get_server_method(shared_version);

executed 11 times by 1 test: method = dtls1_get_server_method(shared_version);

Executed by:

ssltest

709

if (method ==

method == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

710

((void *)0)

method == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

711 ) { -

712 SSL_error_internal(s, (4|64), __FILE__, 885); -

713

goto

never executed: goto err;

err;

never executed: goto err;

714 } -

715 s->method = method; -

716 -

717 -

718 -

719 -

720 -

721 -

722

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

11-54

723

if (SSL_ctrl((s),32,0,

SSL_ctrl((s),3... & 0x00002000L	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

0-11

724

((void *)0)

SSL_ctrl((s),3... & 0x00002000L	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

0-11

725

) & 0x00002000L

SSL_ctrl((s),3... & 0x00002000L	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

) {

0-11

726

if (CBS_len(&cookie) == 0

CBS_len(&cookie) == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

727

return

never executed: return (1);

(1);

never executed: return (1);

728

}

never executed: end of block

729

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

730 -

731

if (!CBS_write_bytes(&client_random, s->s3->client_random,

!CBS_write_byt... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

732

sizeof(s->s3->client_random),

!CBS_write_byt... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

733

((void *)0)

!CBS_write_byt... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

734

)

!CBS_write_byt... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

735

goto

never executed: goto err;

err;

never executed: goto err;

736 -

737 s->internal->hit = 0; -

738

if ((s->internal->new_session

s->internal->new_session	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

&& (

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

s->internal->options &

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

0-65

739

0x00010000L)

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

)) {

740

if (!ssl_get_new_session(s, 1)

!ssl_get_new_session(s, 1)	Description
TRUE	never evaluated
FALSE	never evaluated

)

741

goto

never executed: goto err;

err;

never executed: goto err;

742

}

never executed: end of block

else {

743 CBS ext_block; -

744 -

745 CBS_dup(&cbs, &ext_block); -

746 -

747 i = ssl_get_prev_session(s, CBS_data(&session_id), -

748 CBS_len(&session_id), &ext_block); -

749

if (i == 1

i == 1	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

750 s->internal->hit = 1; -

751

}

never executed: end of block

else if (i == -1

i == -1	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

752

goto

never executed: goto err;

err;

never executed: goto err;

753 else { -

754 -

755

if (!ssl_get_new_session(s, 1)

!ssl_get_new_session(s, 1)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

756

goto

never executed: goto err;

err;

never executed: goto err;

757

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

758 } -

759 -

760

if ((

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

s->method->internal->version == 0xFEFF)

(s->method->in...ion == 0xFEFF)	Description
TRUE	evaluated 11 times by 1 test Evaluated by: ssltest
FALSE	evaluated 54 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

11-54

761 -

762 -

763 -

764 -

765 -

766

if (CBS_len(&cookie) > sizeof((s->d1->internal)->rcvd_cookie)

CBS_len(&cooki...->rcvd_cookie)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

) {

0-11

767 al = 50; -

768 SSL_error_internal(s, 308, __FILE__, 953); -

769

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

770 } -

771 -

772 -

773

if ((

(SSL_ctrl((s),...& 0x00002000L)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

SSL_ctrl((s),32,0,

(SSL_ctrl((s),...& 0x00002000L)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

0-11

774

((void *)0)

(SSL_ctrl((s),...& 0x00002000L)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

0-11

775

) & 0x00002000L)

(SSL_ctrl((s),...& 0x00002000L)	Description
TRUE	never evaluated
FALSE	evaluated 11 times by 1 test Evaluated by: ssltest

0-11

776

CBS_len(&cookie) > 0

CBS_len(&cookie) > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

777 size_t cookie_len; -

778 -

779 -

780

if (!CBS_write_bytes(&cookie, (s->d1->internal)->rcvd_cookie,

!CBS_write_byt..., &cookie_len)	Description
TRUE	never evaluated
FALSE	never evaluated

781

sizeof((s->d1->internal)->rcvd_cookie), &cookie_len)

!CBS_write_byt..., &cookie_len)	Description
TRUE	never evaluated
FALSE	never evaluated

)

782

goto

never executed: goto err;

err;

never executed: goto err;

783 -

784

if (s->ctx->internal->app_verify_cookie_cb !=

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

785

((void *)0)

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

786 ) { -

787

if (s->ctx->internal->app_verify_cookie_cb(s,

s->ctx->intern...okie_len) == 0	Description
TRUE	never evaluated
FALSE	never evaluated

788

(s->d1->internal)->rcvd_cookie, cookie_len) == 0

s->ctx->intern...okie_len) == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

789 al = 40; -

790 SSL_error_internal(s, 308, __FILE__, 971); -

791

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

792 } -

793 -

794 -

795

}

never executed: end of block

else if (timingsafe_memcmp((s->d1->internal)->rcvd_cookie,

timingsafe_mem...okie_len) != 0	Description
TRUE	never evaluated
FALSE	never evaluated

796

(s->d1->internal)->cookie, (s->d1->internal)->cookie_len) != 0

timingsafe_mem...okie_len) != 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

797 -

798 al = 40; -

799 SSL_error_internal(s, 308, __FILE__, 980); -

800

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

801 } -

802 cookie_valid = 1; -

803

}

never executed: end of block

804

}

executed 11 times by 1 test: end of block

Executed by:

ssltest

805 -

806 -

807

if (CBS_len(&cipher_suites) == 0

CBS_len(&cipher_suites) == 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

&& CBS_len(&session_id) != 0

CBS_len(&session_id) != 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-65

808 -

809 al = 47; -

810 SSL_error_internal(s, 183, __FILE__, 991); -

811

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

812 } -

813 -

814

if (CBS_len(&cipher_suites) > 0

CBS_len(&cipher_suites) > 0	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

) {

0-65

815

if ((

(ciphers = ssl...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

ciphers = ssl_bytes_to_cipher_list(s,

(ciphers = ssl...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

816

&cipher_suites)) ==

(ciphers = ssl...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

817

((void *)0)

(ciphers = ssl...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

818 ) -

819

goto

never executed: goto err;

err;

never executed: goto err;

820

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

821 -

822 -

823 -

824

if (s->internal->hit

s->internal->hit	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

&& CBS_len(&cipher_suites) > 0

CBS_len(&cipher_suites) > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-65

825 j = 0; -

826 id = s->session->cipher->id; -

827 -

828

for (i = 0; i < sk_num(((_STACK*) (1 ? (ciphers) : (struct stack_st_SSL_CIPHER*)0)))

i < sk_num(((_...L_CIPHER*)0)))	Description
TRUE	never evaluated
FALSE	never evaluated

; i++) {

829 c = ((SSL_CIPHER *)sk_value(((_STACK*) (1 ? (ciphers) : (struct stack_st_SSL_CIPHER*)0)), (i))); -

830

if (c->id == id

c->id == id	Description
TRUE	never evaluated
FALSE	never evaluated

) {

831 j = 1; -

832

break;

never executed: break;

833 } -

834

}

never executed: end of block

835

if (j == 0

j == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

836 -

837 -

838 -

839 -

840 al = 47; -

841 SSL_error_internal(s, 215, __FILE__, 1020); -

842

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

843 } -

844

}

never executed: end of block

845 -

846 comp_null = 0; -

847

while (CBS_len(&compression_methods) > 0

CBS_len(&compr...n_methods) > 0	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

848

if (!CBS_get_u8(&compression_methods, &comp_method)

!CBS_get_u8(&c... &comp_method)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

849

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

850

if (comp_method == 0

comp_method == 0	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

)

0-65

851

comp_null = 1;

executed 65 times by 3 tests: comp_null = 1;

Executed by:

servertest
ssltest
tlstest

852

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

853

if (comp_null == 0

comp_null == 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

854 al = 50; -

855 SSL_error_internal(s, 187, __FILE__, 1034); -

856

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

857 } -

858 -

859

if (!tlsext_clienthello_parse(s, &cbs, &al)

!tlsext_client...(s, &cbs, &al)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

860 SSL_error_internal(s, 227, __FILE__, 1039); -

861

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

862 } -

863 -

864

if (!(s->s3->internal)->renegotiate_seen

!(s->s3->inter...negotiate_seen	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

&& s->internal->renegotiate

s->internal->renegotiate	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

865 al = 40; -

866 SSL_error_internal(s, 338, __FILE__, 1045); -

867

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

868 } -

869 -

870

if (ssl_check_clienthello_tlsext_early(s) <= 0

ssl_check_clie..._early(s) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

871 SSL_error_internal(s, 226, __FILE__, 1050); -

872

goto

never executed: goto err;

err;

never executed: goto err;

873 } -

874 -

875 -

876 -

877 -

878 -

879 -

880 -

881 arc4random_buf(s->s3->server_random, 32); -

882 -

883

if (!s->internal->hit

!s->internal->hit	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

&& s->internal->tls_session_secret_cb

s->internal->t...sion_secret_cb	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

884 SSL_CIPHER *pref_cipher = -

885 ((void *)0) -

886 ; -

887 -

888 s->session->master_key_length = sizeof(s->session->master_key); -

889

if (s->internal->tls_session_secret_cb(s, s->session->master_key,

s->internal->t...secret_cb_arg)	Description
TRUE	never evaluated
FALSE	never evaluated

890

&s->session->master_key_length, ciphers, &pref_cipher,

s->internal->t...secret_cb_arg)	Description
TRUE	never evaluated
FALSE	never evaluated

891

s->internal->tls_session_secret_cb_arg)

s->internal->t...secret_cb_arg)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

892 s->internal->hit = 1; -

893 s->session->ciphers = ciphers; -

894 s->session->verify_result = 0; -

895 -

896 ciphers = -

897 ((void *)0) -

898 ; -

899 -

900 -

901

pref_cipher = pref_cipher

pref_cipher	Description
TRUE	never evaluated
FALSE	never evaluated

? pref_cipher :

902 ssl3_choose_cipher(s, s->session->ciphers, -

903 SSL_get_ciphers(s)); -

904

if (pref_cipher ==

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

905

((void *)0)

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

906 ) { -

907 al = 40; -

908 SSL_error_internal(s, 193, __FILE__, 1081); -

909

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

910 } -

911 -

912 s->session->cipher = pref_cipher; -

913 -

914 sk_free(((_STACK*) (1 ? (s->cipher_list) : (struct stack_st_SSL_CIPHER*)0))); -

915 sk_free(((_STACK*) (1 ? (s->internal->cipher_list_by_id) : (struct stack_st_SSL_CIPHER*)0))); -

916 -

917 s->cipher_list = (struct stack_st_SSL_CIPHER *)sk_dup(((_STACK*) (1 ? s->session->ciphers : (struct stack_st_SSL_CIPHER*)0))); -

918 s->internal->cipher_list_by_id = -

919 (struct stack_st_SSL_CIPHER *)sk_dup(((_STACK*) (1 ? s->session->ciphers : (struct stack_st_SSL_CIPHER*)0))); -

920

}

never executed: end of block

921

}

never executed: end of block

922 -

923 -

924 -

925 -

926 -

927 -

928

if (!s->internal->hit

!s->internal->hit	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

) {

0-65

929 sk_free(((_STACK*) (1 ? (s->session->ciphers) : (struct stack_st_SSL_CIPHER*)0))); -

930 s->session->ciphers = ciphers; -

931

if (ciphers ==

ciphers == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

932

((void *)0)

ciphers == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

933 ) { -

934 al = 47; -

935 SSL_error_internal(s, 182, __FILE__, 1106); -

936

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

937 } -

938 ciphers = -

939 ((void *)0) -

940 ; -

941 c = ssl3_choose_cipher(s, s->session->ciphers, -

942 SSL_get_ciphers(s)); -

943 -

944

if (c ==

c == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

945

((void *)0)

c == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

946 ) { -

947 al = 40; -

948 SSL_error_internal(s, 193, __FILE__, 1115); -

949

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

950 } -

951 (s->s3->internal)->hs.new_cipher = c; -

952

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

else {

953 (s->s3->internal)->hs.new_cipher = s->session->cipher; -

954

}

never executed: end of block

955 -

956

if (!tls1_handshake_hash_init(s)

!tls1_handshake_hash_init(s)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

957

goto

never executed: goto err;

err;

never executed: goto err;

958 -

959 alg_k = (s->s3->internal)->hs.new_cipher->algorithm_mkey; -

960

if (!((

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 35 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 30 times by 2 tests Evaluated by: servertest ssltest

s->method->internal->ssl3_enc->enc_flags & (1 << 1))

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 35 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 30 times by 2 tests Evaluated by: servertest ssltest

|| (

(alg_k & 0x00000200L)	Description
TRUE	never evaluated
FALSE	evaluated 30 times by 2 tests Evaluated by: servertest ssltest

alg_k & 0x00000200L)

(alg_k & 0x00000200L)	Description
TRUE	never evaluated
FALSE	evaluated 30 times by 2 tests Evaluated by: servertest ssltest

) ||

0-35

961

!(s->verify_mode & 0x01)

!(s->verify_mode & 0x01)	Description
TRUE	evaluated 30 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

) {

5-30

962

if (!tls1_digest_cached_records(s)

!tls1_digest_cached_records(s)	Description
TRUE	never evaluated
FALSE	evaluated 60 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-60

963 al = 80; -

964

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

965 } -

966

}

executed 60 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

967

if (ssl_check_clienthello_tlsext_late(s) <= 0

ssl_check_clie...t_late(s) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

968 SSL_error_internal(s, 226, __FILE__, 1149); -

969

goto

never executed: goto err;

err;

never executed: goto err;

970 } -

971 -

972

ret = cookie_valid

cookie_valid	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

? 2 : 1;

0-65

973 -

974 if (0) { -

975 truncated: -

976 al = 50; -

977 SSL_error_internal(s, 115, __FILE__, 1158); -

978

f_err:

code before this statement never executed: f_err:

979 ssl3_send_alert(s, 2, al); -

980

}

never executed: end of block

981

err:

code before this statement executed 65 times by 3 tests: err:

Executed by:

servertest
ssltest
tlstest

982 sk_free(((_STACK*) (1 ? (ciphers) : (struct stack_st_SSL_CIPHER*)0))); -

983 -

984

return

executed 65 times by 3 tests: return (ret);

Executed by:

servertest
ssltest
tlstest

(ret);

executed 65 times by 3 tests: return (ret);

Executed by:

servertest
ssltest
tlstest

985 } -

986 -

987 int -

988 ssl3_send_server_hello(SSL *s) -

989 { -

990 CBB cbb, server_hello, session_id; -

991 size_t sl; -

992 -

993 memset(&cbb, 0, sizeof(cbb)); -

994 -

995

if ((

(s->s3->intern...(0x130\|0x2000)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

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

(s->s3->intern...(0x130\|0x2000)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

) {

0-65

996

if (!ssl3_handshake_msg_start(s, &cbb, &server_hello,

!ssl3_handshak...rver_hello, 2)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

997

!ssl3_handshak...rver_hello, 2)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

998

goto

never executed: goto err;

err;

never executed: goto err;

999 -

1000

if (!CBB_add_u16(&server_hello, s->version)

!CBB_add_u16(&...o, s->version)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1001

goto

never executed: goto err;

err;

never executed: goto err;

1002

if (!CBB_add_bytes(&server_hello, s->s3->server_random,

!CBB_add_bytes...erver_random))	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

1003

sizeof(s->s3->server_random))

!CBB_add_bytes...erver_random))	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1004

goto

never executed: goto err;

err;

never executed: goto err;

1005

if (!(s->ctx->internal->session_cache_mode & 0x0002)

!(s->ctx->inte...mode & 0x0002)	Description
TRUE	evaluated 4 times by 1 test Evaluated by: tlstest
FALSE	evaluated 61 times by 2 tests Evaluated by: servertest ssltest

4-61

1006

&& !s->internal->hit

!s->internal->hit	Description
TRUE	evaluated 4 times by 1 test Evaluated by: tlstest
FALSE	never evaluated

)

0-4

1007

s->session->session_id_length = 0;

executed 4 times by 1 test: s->session->session_id_length = 0;

Executed by:

tlstest

1008 -

1009 sl = s->session->session_id_length; -

1010

if (sl > sizeof(s->session->session_id)

sl > sizeof(s-...n->session_id)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

1011 SSL_error_internal(s, (4|64), __FILE__, 1211); -

1012

goto

never executed: goto err;

err;

never executed: goto err;

1013 } -

1014

if (!CBB_add_u8_length_prefixed(&server_hello, &session_id)

!CBB_add_u8_le..., &session_id)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1015

goto

never executed: goto err;

err;

never executed: goto err;

1016

if (!CBB_add_bytes(&session_id, s->session->session_id, sl)

!CBB_add_bytes...ession_id, sl)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1017

goto

never executed: goto err;

err;

never executed: goto err;

1018 -

1019 -

1020

if (!CBB_add_u16(&server_hello,

!CBB_add_u16(&...s.new_cipher))	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

1021

ssl3_cipher_get_value((s->s3->internal)->hs.new_cipher))

!CBB_add_u16(&...s.new_cipher))	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1022

goto

never executed: goto err;

err;

never executed: goto err;

1023 -

1024 -

1025

if (!CBB_add_u8(&server_hello, 0)

!CBB_add_u8(&server_hello, 0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1026

goto

never executed: goto err;

err;

never executed: goto err;

1027 -

1028 -

1029

if (!tlsext_serverhello_build(s, &server_hello)

!tlsext_server...&server_hello)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-65

1030 SSL_error_internal(s, (4|64), __FILE__, 1230); -

1031

goto

never executed: goto err;

err;

never executed: goto err;

1032 } -

1033 -

1034

if (!ssl3_handshake_msg_finish(s, &cbb)

!ssl3_handshak...inish(s, &cbb)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1035

goto

never executed: goto err;

err;

never executed: goto err;

1036

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

1037 -

1038 -

1039

return

executed 65 times by 3 tests: return (ssl3_handshake_write(s));

Executed by:

servertest
ssltest
tlstest

(ssl3_handshake_write(s));

executed 65 times by 3 tests: return (ssl3_handshake_write(s));

Executed by:

servertest
ssltest
tlstest

1040 -

1041 err: -

1042 CBB_cleanup(&cbb); -

1043 -

1044

return

never executed: return (-1);

(-1);

never executed: return (-1);

1045 } -

1046 -

1047 int -

1048 ssl3_send_server_done(SSL *s) -

1049 { -

1050 CBB cbb, done; -

1051 -

1052 memset(&cbb, 0, sizeof(cbb)); -

1053 -

1054

if ((

(s->s3->intern...(0x170\|0x2000)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

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

(s->s3->intern...(0x170\|0x2000)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

) {

0-65

1055

if (!ssl3_handshake_msg_start(s, &cbb, &done,

!ssl3_handshak...bb, &done, 14)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

0-65

1056

14)

!ssl3_handshak...bb, &done, 14)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1057

goto

never executed: goto err;

err;

never executed: goto err;

1058

if (!ssl3_handshake_msg_finish(s, &cbb)

!ssl3_handshak...inish(s, &cbb)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-65

1059

goto

never executed: goto err;

err;

never executed: goto err;

1060 -

1061 (s->s3->internal)->hs.state = (0x171|0x2000); -

1062

}

executed 65 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

1063 -

1064 -

1065

return

executed 65 times by 3 tests: return (ssl3_handshake_write(s));

Executed by:

servertest
ssltest
tlstest

(ssl3_handshake_write(s));

executed 65 times by 3 tests: return (ssl3_handshake_write(s));

Executed by:

servertest
ssltest
tlstest

1066 -

1067 err: -

1068 CBB_cleanup(&cbb); -

1069 -

1070

return

never executed: return (-1);

(-1);

never executed: return (-1);

1071 } -

1072 -

1073 static int -

1074 ssl3_send_server_kex_dhe(SSL *s, CBB *cbb) -

1075 { -

1076 CBB dh_p, dh_g, dh_Ys; -

1077 DH *dh = -

1078 ((void *)0) -

1079 , *dhp; -

1080 unsigned char *data; -

1081 int al; -

1082 -

1083

if (s->cert->dh_tmp_auto != 0

s->cert->dh_tmp_auto != 0	Description
TRUE	evaluated 2 times by 1 test Evaluated by: servertest
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

) {

2-21

1084

if ((

(dhp = ssl_get...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2 times by 1 test Evaluated by: servertest

dhp = ssl_get_auto_dh(s)) ==

(dhp = ssl_get...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2 times by 1 test Evaluated by: servertest

0-2

1085

((void *)0)

(dhp = ssl_get...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2 times by 1 test Evaluated by: servertest

0-2

1086 ) { -

1087 al = 80; -

1088 SSL_error_internal(s, (4|64), __FILE__, 1284); -

1089

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1090 } -

1091

}

executed 2 times by 1 test: end of block

Executed by:

servertest

else

1092

dhp = s->cert->dh_tmp;

executed 21 times by 1 test: dhp = s->cert->dh_tmp;

Executed by:

ssltest

1093 -

1094

if (dhp ==

dhp == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

0-23

1095

((void *)0)

dhp == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

0-23

1096

&& s->cert->dh_tmp_cb !=

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

1097

((void *)0)

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

1098 ) -

1099

dhp = s->cert->dh_tmp_cb(s, 0,

never executed: dhp = s->cert->dh_tmp_cb(s, 0, 1024);

1100

1024);

never executed: dhp = s->cert->dh_tmp_cb(s, 0, 1024);

1101 -

1102

if (dhp ==

dhp == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

0-23

1103

((void *)0)

dhp == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

0-23

1104 ) { -

1105 al = 40; -

1106 SSL_error_internal(s, 171, __FILE__, 1296); -

1107

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1108 } -

1109 -

1110

if ((

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

s->s3->internal)->tmp.dh !=

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

0-23

1111

((void *)0)

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

0-23

1112 ) { -

1113 SSL_error_internal(s, (4|64), __FILE__, 1301); -

1114

goto

never executed: goto err;

err;

never executed: goto err;

1115 } -

1116 -

1117

if (s->cert->dh_tmp_auto != 0

s->cert->dh_tmp_auto != 0	Description
TRUE	evaluated 2 times by 1 test Evaluated by: servertest
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

) {

2-21

1118 dh = dhp; -

1119

}

executed 2 times by 1 test: end of block

Executed by:

servertest

else if ((

(dh = DHparams...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

dh = DHparams_dup(dhp)) ==

(dh = DHparams...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1120

((void *)0)

(dh = DHparams...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1121 ) { -

1122 SSL_error_internal(s, 5, __FILE__, 1308); -

1123

goto

never executed: goto err;

err;

never executed: goto err;

1124 } -

1125 (s->s3->internal)->tmp.dh = dh; -

1126

if (!DH_generate_key(dh)

!DH_generate_key(dh)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

) {

0-23

1127 SSL_error_internal(s, 5, __FILE__, 1313); -

1128

goto

never executed: goto err;

err;

never executed: goto err;

1129 } -

1130 -

1131 -

1132 -

1133 -

1134

if (!CBB_add_u16_length_prefixed(cbb, &dh_p)

!CBB_add_u16_l...ed(cbb, &dh_p)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

)

0-23

1135

goto

never executed: goto err;

err;

never executed: goto err;

1136

if (!CBB_add_space(&dh_p, &data, ((BN_num_bits(dh->p)+7)/8))

!CBB_add_space...(dh->p)+7)/8))	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

)

0-23

1137

goto

never executed: goto err;

err;

never executed: goto err;

1138 BN_bn2bin(dh->p, data); -

1139 -

1140

if (!CBB_add_u16_length_prefixed(cbb, &dh_g)

!CBB_add_u16_l...ed(cbb, &dh_g)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

)

0-23

1141

goto

never executed: goto err;

err;

never executed: goto err;

1142

if (!CBB_add_space(&dh_g, &data, ((BN_num_bits(dh->g)+7)/8))

!CBB_add_space...(dh->g)+7)/8))	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

)

0-23

1143

goto

never executed: goto err;

err;

never executed: goto err;

1144 BN_bn2bin(dh->g, data); -

1145 -

1146

if (!CBB_add_u16_length_prefixed(cbb, &dh_Ys)

!CBB_add_u16_l...d(cbb, &dh_Ys)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

)

0-23

1147

goto

never executed: goto err;

err;

never executed: goto err;

1148

if (!CBB_add_space(&dh_Ys, &data, ((BN_num_bits(dh->pub_key)+7)/8))

!CBB_add_space...ub_key)+7)/8))	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

)

0-23

1149

goto

never executed: goto err;

err;

never executed: goto err;

1150 BN_bn2bin(dh->pub_key, data); -

1151 -

1152

if (!CBB_flush(cbb)

!CBB_flush(cbb)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

)

0-23

1153

goto

never executed: goto err;

err;

never executed: goto err;

1154 -

1155

return

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

Executed by:

servertest
ssltest

(1);

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

Executed by:

servertest
ssltest

1156 -

1157 f_err: -

1158 ssl3_send_alert(s, 2, al); -

1159

err:

code before this statement never executed: err:

1160

return

never executed: return (-1);

(-1);

never executed: return (-1);

1161 } -

1162 -

1163 static int -

1164 ssl3_send_server_kex_ecdhe_ecp(SSL *s, int nid, CBB *cbb) -

1165 { -

1166 const EC_GROUP *group; -

1167 const EC_POINT *pubkey; -

1168 unsigned char *data; -

1169 int encoded_len = 0; -

1170 int curve_id = 0; -

1171 BN_CTX *bn_ctx = -

1172 ((void *)0) -

1173 ; -

1174 EC_KEY *ecdh; -

1175 CBB ecpoint; -

1176 int al; -

1177 -

1178 -

1179 -

1180 -

1181 -

1182

if ((

(curve_id = tl..._id(nid)) == 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

curve_id = tls1_ec_nid2curve_id(nid)) == 0

(curve_id = tl..._id(nid)) == 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

) {

0-23

1183 SSL_error_internal(s, 315, __FILE__, 1367); -

1184

goto

never executed: goto err;

err;

never executed: goto err;

1185 } -

1186 -

1187

if ((

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

s->s3->internal)->tmp.ecdh !=

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1188

((void *)0)

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1189 ) { -

1190 SSL_error_internal(s, (4|64), __FILE__, 1372); -

1191

goto

never executed: goto err;

err;

never executed: goto err;

1192 } -

1193 -

1194

if (((

((s->s3->inter...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

s->s3->internal)->tmp.ecdh = EC_KEY_new_by_curve_name(nid)) ==

((s->s3->inter...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1195

((void *)0)

((s->s3->inter...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1196 ) { -

1197 al = 40; -

1198 SSL_error_internal(s, 311, __FILE__, 1378); -

1199

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1200 } -

1201 ecdh = (s->s3->internal)->tmp.ecdh; -

1202 -

1203

if (!EC_KEY_generate_key(ecdh)

!EC_KEY_generate_key(ecdh)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

) {

0-23

1204 SSL_error_internal(s, 43, __FILE__, 1384); -

1205

goto

never executed: goto err;

err;

never executed: goto err;

1206 } -

1207

if ((

(group = EC_KE...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

group = EC_KEY_get0_group(ecdh)) ==

(group = EC_KE...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1208

((void *)0)

(group = EC_KE...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1209 || -

1210

(

(pubkey = EC_K...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

pubkey = EC_KEY_get0_public_key(ecdh)) ==

(pubkey = EC_K...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1211

((void *)0)

(pubkey = EC_K...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1212 || -

1213

EC_KEY_get0_private_key(ecdh) ==

EC_KEY_get0_pr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1214

((void *)0)

EC_KEY_get0_pr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1215 ) { -

1216 SSL_error_internal(s, 43, __FILE__, 1390); -

1217

goto

never executed: goto err;

err;

never executed: goto err;

1218 } -

1219 -

1220 -

1221 -

1222 -

1223 encoded_len = EC_POINT_point2oct(group, pubkey, -

1224 POINT_CONVERSION_UNCOMPRESSED, -

1225 ((void *)0) -

1226 , 0, -

1227 ((void *)0) -

1228 ); -

1229

if (encoded_len == 0

encoded_len == 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

) {

0-23

1230 SSL_error_internal(s, 43, __FILE__, 1400); -

1231

goto

never executed: goto err;

err;

never executed: goto err;

1232 } -

1233

if ((

(bn_ctx = BN_C...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

bn_ctx = BN_CTX_new()) ==

(bn_ctx = BN_C...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1234

((void *)0)

(bn_ctx = BN_C...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1235 ) { -

1236 SSL_error_internal(s, (1|64), __FILE__, 1404); -

1237

goto

never executed: goto err;

err;

never executed: goto err;

1238 } -

1239

if (!CBB_add_u8(cbb, 3)

!CBB_add_u8(cbb, 3)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

)

0-23

1240

goto

never executed: goto err;

err;

never executed: goto err;

1241

if (!CBB_add_u16(cbb, curve_id)

!CBB_add_u16(cbb, curve_id)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

)

0-23

1242

goto

never executed: goto err;

err;

never executed: goto err;

1243

if (!CBB_add_u8_length_prefixed(cbb, &ecpoint)

!CBB_add_u8_le...cbb, &ecpoint)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

)

0-23

1244

goto

never executed: goto err;

err;

never executed: goto err;

1245

if (!CBB_add_space(&ecpoint, &data, encoded_len)

!CBB_add_space..., encoded_len)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

)

0-23

1246

goto

never executed: goto err;

err;

never executed: goto err;

1247

if (EC_POINT_point2oct(group, pubkey, POINT_CONVERSION_UNCOMPRESSED,

EC_POINT_point..., bn_ctx) == 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1248

data, encoded_len, bn_ctx) == 0

EC_POINT_point..., bn_ctx) == 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

) {

0-23

1249 SSL_error_internal(s, 43, __FILE__, 1425); -

1250

goto

never executed: goto err;

err;

never executed: goto err;

1251 } -

1252

if (!CBB_flush(cbb)

!CBB_flush(cbb)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

)

0-23

1253

goto

never executed: goto err;

err;

never executed: goto err;

1254 -

1255 BN_CTX_free(bn_ctx); -

1256 -

1257

return

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

Executed by:

ssltest

(1);

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

Executed by:

ssltest

1258 -

1259 f_err: -

1260 ssl3_send_alert(s, 2, al); -

1261

err:

code before this statement never executed: err:

1262 BN_CTX_free(bn_ctx); -

1263 -

1264

return

never executed: return (-1);

(-1);

never executed: return (-1);

1265 } -

1266 -

1267 static int -

1268 ssl3_send_server_kex_ecdhe_ecx(SSL *s, int nid, CBB *cbb) -

1269 { -

1270 uint8_t *public_key = -

1271 ((void *)0) -

1272 ; -

1273 int curve_id; -

1274 CBB ecpoint; -

1275 int ret = -1; -

1276 -

1277 -

1278

if ((

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

s->s3->internal)->tmp.x25519 !=

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

0-5

1279

((void *)0)

(s->s3->intern...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

0-5

1280 ) { -

1281 SSL_error_internal(s, (4|64), __FILE__, 1453); -

1282

goto

never executed: goto err;

err;

never executed: goto err;

1283 } -

1284

if (((

((s->s3->inter...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

s->s3->internal)->tmp.x25519 = malloc(32)) ==

((s->s3->inter...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

0-5

1285

((void *)0)

((s->s3->inter...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

0-5

1286 ) -

1287

goto

never executed: goto err;

err;

never executed: goto err;

1288

if ((

(public_key = ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

public_key = malloc(32)) ==

(public_key = ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

0-5

1289

((void *)0)

(public_key = ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

0-5

1290 ) -

1291

goto

never executed: goto err;

err;

never executed: goto err;

1292 X25519_keypair(public_key, (s->s3->internal)->tmp.x25519); -

1293 -

1294 -

1295

if ((

(curve_id = tl..._id(nid)) == 0	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

curve_id = tls1_ec_nid2curve_id(nid)) == 0

(curve_id = tl..._id(nid)) == 0	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

) {

0-5

1296 SSL_error_internal(s, 315, __FILE__, 1464); -

1297

goto

never executed: goto err;

err;

never executed: goto err;

1298 } -

1299 -

1300

if (!CBB_add_u8(cbb, 3)

!CBB_add_u8(cbb, 3)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1301

goto

never executed: goto err;

err;

never executed: goto err;

1302

if (!CBB_add_u16(cbb, curve_id)

!CBB_add_u16(cbb, curve_id)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1303

goto

never executed: goto err;

err;

never executed: goto err;

1304

if (!CBB_add_u8_length_prefixed(cbb, &ecpoint)

!CBB_add_u8_le...cbb, &ecpoint)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1305

goto

never executed: goto err;

err;

never executed: goto err;

1306

if (!CBB_add_bytes(&ecpoint, public_key, 32)

!CBB_add_bytes...ublic_key, 32)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1307

goto

never executed: goto err;

err;

never executed: goto err;

1308

if (!CBB_flush(cbb)

!CBB_flush(cbb)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1309

goto

never executed: goto err;

err;

never executed: goto err;

1310 -

1311 ret = 1; -

1312 -

1313

err:

code before this statement executed 5 times by 2 tests: err:

Executed by:

ssltest
tlstest

1314 free(public_key); -

1315 -

1316

return

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

Executed by:

ssltest
tlstest

(ret);

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

Executed by:

ssltest
tlstest

1317 } -

1318 -

1319 static int -

1320 ssl3_send_server_kex_ecdhe(SSL *s, CBB *cbb) -

1321 { -

1322 int nid; -

1323 -

1324 nid = tls1_get_shared_curve(s); -

1325 -

1326

if (nid == 950

nid == 950	Description
TRUE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

)

5-23

1327

return

executed 5 times by 2 tests: return ssl3_send_server_kex_ecdhe_ecx(s, nid, cbb);

Executed by:

ssltest
tlstest

ssl3_send_server_kex_ecdhe_ecx(s, nid, cbb);

executed 5 times by 2 tests: return ssl3_send_server_kex_ecdhe_ecx(s, nid, cbb);

Executed by:

ssltest
tlstest

1328 -

1329

return

executed 23 times by 1 test: return ssl3_send_server_kex_ecdhe_ecp(s, nid, cbb);

Executed by:

ssltest

ssl3_send_server_kex_ecdhe_ecp(s, nid, cbb);

executed 23 times by 1 test: return ssl3_send_server_kex_ecdhe_ecp(s, nid, cbb);

Executed by:

ssltest

1330 } -

1331 -

1332 int -

1333 ssl3_send_server_key_exchange(SSL *s) -

1334 { -

1335 CBB cbb, cbb_params, cbb_signature, server_kex; -

1336 unsigned char *signature = -

1337 ((void *)0) -

1338 ; -

1339 unsigned int signature_len; -

1340 unsigned char *params = -

1341 ((void *)0) -

1342 ; -

1343 size_t params_len; -

1344 const EVP_MD *md = -

1345 ((void *)0) -

1346 ; -

1347 unsigned long type; -

1348 EVP_MD_CTX md_ctx; -

1349 EVP_PKEY *pkey; -

1350 int al; -

1351 -

1352 memset(&cbb, 0, sizeof(cbb)); -

1353 memset(&cbb_params, 0, sizeof(cbb_params)); -

1354 -

1355 EVP_MD_CTX_init(&md_ctx); -

1356 -

1357

if ((

(s->s3->intern...(0x150\|0x2000)	Description
TRUE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

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

(s->s3->intern...(0x150\|0x2000)	Description
TRUE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

) {

0-51

1358 -

1359

if (!ssl3_handshake_msg_start(s, &cbb, &server_kex,

!ssl3_handshak...erver_kex, 12)	Description
TRUE	never evaluated
FALSE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest

0-51

1360

12)

!ssl3_handshak...erver_kex, 12)	Description
TRUE	never evaluated
FALSE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-51

1361

goto

never executed: goto err;

err;

never executed: goto err;

1362 -

1363

if (!CBB_init(&cbb_params, 0)

!CBB_init(&cbb_params, 0)	Description
TRUE	never evaluated
FALSE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-51

1364

goto

never executed: goto err;

err;

never executed: goto err;

1365 -

1366 type = (s->s3->internal)->hs.new_cipher->algorithm_mkey; -

1367

if (type & 0x00000008L

type & 0x00000008L	Description
TRUE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest
FALSE	evaluated 28 times by 2 tests Evaluated by: ssltest tlstest

) {

23-28

1368

if (ssl3_send_server_kex_dhe(s, &cbb_params) != 1

ssl3_send_serv...b_params) != 1	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 2 tests Evaluated by: servertest ssltest

)

0-23

1369

goto

never executed: goto err;

err;

never executed: goto err;

1370

}

executed 23 times by 2 tests: end of block

Executed by:

servertest
ssltest

else if (type & 0x00000080L

type & 0x00000080L	Description
TRUE	evaluated 28 times by 2 tests Evaluated by: ssltest tlstest
FALSE	never evaluated

) {

0-28

1371

if (ssl3_send_server_kex_ecdhe(s, &cbb_params) != 1

ssl3_send_serv...b_params) != 1	Description
TRUE	never evaluated
FALSE	evaluated 28 times by 2 tests Evaluated by: ssltest tlstest

)

0-28

1372

goto

never executed: goto err;

err;

never executed: goto err;

1373

}

executed 28 times by 2 tests: end of block

Executed by:

ssltest
tlstest

else {

1374 al = 40; -

1375 SSL_error_internal(s, 250, __FILE__, 1537); -

1376

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1377 } -

1378 -

1379

if (!CBB_finish(&cbb_params, &params, &params_len)

!CBB_finish(&c..., &params_len)	Description
TRUE	never evaluated
FALSE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-51

1380

goto

never executed: goto err;

err;

never executed: goto err;

1381 -

1382

if (!CBB_add_bytes(&server_kex, params, params_len)

!CBB_add_bytes...s, params_len)	Description
TRUE	never evaluated
FALSE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-51

1383

goto

never executed: goto err;

err;

never executed: goto err;

1384 -

1385 -

1386

if (!((s->s3->internal)->hs.new_cipher->algorithm_auth & 0x00000004L)

!((s->s3->inte...& 0x00000004L)	Description
TRUE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 10 times by 1 test Evaluated by: ssltest

) {

10-41

1387

if ((

(pkey = ssl_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

pkey = ssl_get_sign_pkey(s, (s->s3->internal)->hs.new_cipher,

(pkey = ssl_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1388

&md)) ==

(pkey = ssl_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1389

((void *)0)

(pkey = ssl_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1390 ) { -

1391 al = 50; -

1392

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1393 } -

1394 -

1395

if (pkey->type == 6

pkey->type == 6	Description
TRUE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

&& !(s->method->internal->ssl3_enc->enc_flags & (1 << 1))

!(s->method->i...gs & (1 << 1))	Description
TRUE	evaluated 13 times by 2 tests Evaluated by: servertest ssltest
FALSE	evaluated 28 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-41

1396

md = EVP_md5_sha1();

executed 13 times by 2 tests: md = EVP_md5_sha1();

Executed by:

servertest
ssltest

1397 -

1398

if (md ==

md == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1399

((void *)0)

md == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1400 ) { -

1401 -

1402 al = 40; -

1403 SSL_error_internal(s, 251, __FILE__, 1561); -

1404

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1405 } -

1406 -

1407 -

1408

if ((

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 28 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 13 times by 2 tests Evaluated by: servertest ssltest

s->method->internal->ssl3_enc->enc_flags & (1 << 1))

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 28 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 13 times by 2 tests Evaluated by: servertest ssltest

) {

13-28

1409

if (!tls12_get_hashandsig(&server_kex, pkey, md)

!tls12_get_has...kex, pkey, md)	Description
TRUE	never evaluated
FALSE	evaluated 28 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-28

1410 -

1411 al = 80; -

1412 SSL_error_internal(s, (4|64), __FILE__, 1570); -

1413

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1414 } -

1415

}

executed 28 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

1416 -

1417

if ((

(signature = c...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

signature = calloc(1, EVP_PKEY_size(pkey))) ==

(signature = c...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1418

((void *)0)

(signature = c...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1419 ) -

1420

goto

never executed: goto err;

err;

never executed: goto err;

1421 -

1422

if (!EVP_DigestInit_ex(&md_ctx,md,

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1423

((void *)0)

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1424

)

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-41

1425

goto

never executed: goto err;

err;

never executed: goto err;

1426

if (!EVP_DigestUpdate(&md_ctx,s->s3->client_random,32)

!EVP_DigestUpd...ent_random,32)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1427 ) -

1428

goto

never executed: goto err;

err;

never executed: goto err;

1429

if (!EVP_DigestUpdate(&md_ctx,s->s3->server_random,32)

!EVP_DigestUpd...ver_random,32)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1430 ) -

1431

goto

never executed: goto err;

err;

never executed: goto err;

1432

if (!EVP_DigestUpdate(&md_ctx,params,params_len)

!EVP_DigestUpd...ms,params_len)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-41

1433

goto

never executed: goto err;

err;

never executed: goto err;

1434

if (!EVP_SignFinal(&md_ctx, signature, &signature_len,

!EVP_SignFinal...ure_len, pkey)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1435

pkey)

!EVP_SignFinal...ure_len, pkey)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

) {

0-41

1436 SSL_error_internal(s, 6, __FILE__, 1590); -

1437

goto

never executed: goto err;

err;

never executed: goto err;

1438 } -

1439 -

1440

if (!CBB_add_u16_length_prefixed(&server_kex,

!CBB_add_u16_l...cbb_signature)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1441

&cbb_signature)

!CBB_add_u16_l...cbb_signature)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-41

1442

goto

never executed: goto err;

err;

never executed: goto err;

1443

if (!CBB_add_bytes(&cbb_signature, signature,

!CBB_add_bytes...signature_len)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

0-41

1444

signature_len)

!CBB_add_bytes...signature_len)	Description
TRUE	never evaluated
FALSE	evaluated 41 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-41

1445

goto

never executed: goto err;

err;

never executed: goto err;

1446

}

executed 41 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

1447 -

1448

if (!ssl3_handshake_msg_finish(s, &cbb)

!ssl3_handshak...inish(s, &cbb)	Description
TRUE	never evaluated
FALSE	evaluated 51 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-51

1449

goto

never executed: goto err;

err;

never executed: goto err;

1450 -

1451 (s->s3->internal)->hs.state = (0x151|0x2000); -

1452

}

executed 51 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

1453 -

1454 EVP_MD_CTX_cleanup(&md_ctx); -

1455 free(params); -

1456 free(signature); -

1457 -

1458

return

executed 51 times by 3 tests: return (ssl3_handshake_write(s));

Executed by:

servertest
ssltest
tlstest

(ssl3_handshake_write(s));

executed 51 times by 3 tests: return (ssl3_handshake_write(s));

Executed by:

servertest
ssltest
tlstest

1459 -

1460 f_err: -

1461 ssl3_send_alert(s, 2, al); -

1462

err:

code before this statement never executed: err:

1463 CBB_cleanup(&cbb_params); -

1464 CBB_cleanup(&cbb); -

1465 EVP_MD_CTX_cleanup(&md_ctx); -

1466 free(params); -

1467 free(signature); -

1468 -

1469

return

never executed: return (-1);

(-1);

never executed: return (-1);

1470 } -

1471 -

1472 int -

1473 ssl3_send_certificate_request(SSL *s) -

1474 { -

1475 CBB cbb, cert_request, cert_types, sigalgs, cert_auth, dn; -

1476 struct stack_st_X509_NAME *sk = -

1477 ((void *)0) -

1478 ; -

1479 X509_NAME *name; -

1480 int i; -

1481 -

1482 -

1483 -

1484 -

1485 -

1486 memset(&cbb, 0, sizeof(cbb)); -

1487 -

1488

if ((

(s->s3->intern...(0x160\|0x2000)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

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

(s->s3->intern...(0x160\|0x2000)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

) {

0-7

1489

if (!ssl3_handshake_msg_start(s, &cbb, &cert_request,

!ssl3_handshak...t_request, 13)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

1490

13)

!ssl3_handshak...t_request, 13)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

1491

goto

never executed: goto err;

err;

never executed: goto err;

1492 -

1493

if (!CBB_add_u8_length_prefixed(&cert_request, &cert_types)

!CBB_add_u8_le..., &cert_types)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

1494

goto

never executed: goto err;

err;

never executed: goto err;

1495

if (!ssl3_get_req_cert_types(s, &cert_types)

!ssl3_get_req_..., &cert_types)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

1496

goto

never executed: goto err;

err;

never executed: goto err;

1497 -

1498

if ((

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 5 times by 1 test Evaluated by: ssltest
FALSE	evaluated 2 times by 1 test Evaluated by: ssltest

s->method->internal->ssl3_enc->enc_flags & (1 << 1))

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 5 times by 1 test Evaluated by: ssltest
FALSE	evaluated 2 times by 1 test Evaluated by: ssltest

) {

2-5

1499 unsigned char *sigalgs_data; -

1500 size_t sigalgs_len; -

1501 -

1502 tls12_get_req_sig_algs(s, &sigalgs_data, &sigalgs_len); -

1503 -

1504

if (!CBB_add_u16_length_prefixed(&cert_request, &sigalgs)

!CBB_add_u16_l...est, &sigalgs)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

)

0-5

1505

goto

never executed: goto err;

err;

never executed: goto err;

1506

if (!CBB_add_bytes(&sigalgs, sigalgs_data, sigalgs_len)

!CBB_add_bytes..., sigalgs_len)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

)

0-5

1507

goto

never executed: goto err;

err;

never executed: goto err;

1508

}

executed 5 times by 1 test: end of block

Executed by:

ssltest

1509 -

1510

if (!CBB_add_u16_length_prefixed(&cert_request, &cert_auth)

!CBB_add_u16_l...t, &cert_auth)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

1511

goto

never executed: goto err;

err;

never executed: goto err;

1512 -

1513 sk = SSL_get_client_CA_list(s); -

1514

for (i = 0; i < sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_X509_NAME*)0)))

i < sk_num(((_...509_NAME*)0)))	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

; i++) {

0-7

1515 unsigned char *name_data; -

1516 size_t name_len; -

1517 -

1518 name = ((X509_NAME *)sk_value(((_STACK*) (1 ? (sk) : (struct stack_st_X509_NAME*)0)), (i))); -

1519 name_len = i2d_X509_NAME(name, -

1520 ((void *)0) -

1521 ); -

1522 -

1523

if (!CBB_add_u16_length_prefixed(&cert_auth, &dn)

!CBB_add_u16_l...ert_auth, &dn)	Description
TRUE	never evaluated
FALSE	never evaluated

)

1524

goto

never executed: goto err;

err;

never executed: goto err;

1525

if (!CBB_add_space(&dn, &name_data, name_len)

!CBB_add_space...ata, name_len)	Description
TRUE	never evaluated
FALSE	never evaluated

)

1526

goto

never executed: goto err;

err;

never executed: goto err;

1527

if (i2d_X509_NAME(name, &name_data) != name_len

i2d_X509_NAME(...a) != name_len	Description
TRUE	never evaluated
FALSE	never evaluated

)

1528

goto

never executed: goto err;

err;

never executed: goto err;

1529

}

never executed: end of block

1530 -

1531

if (!ssl3_handshake_msg_finish(s, &cbb)

!ssl3_handshak...inish(s, &cbb)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

1532

goto

never executed: goto err;

err;

never executed: goto err;

1533 -

1534 (s->s3->internal)->hs.state = (0x161|0x2000); -

1535

}

executed 7 times by 1 test: end of block

Executed by:

ssltest

1536 -

1537 -

1538

return

executed 7 times by 1 test: return (ssl3_handshake_write(s));

Executed by:

ssltest

(ssl3_handshake_write(s));

executed 7 times by 1 test: return (ssl3_handshake_write(s));

Executed by:

ssltest

1539 -

1540 err: -

1541 CBB_cleanup(&cbb); -

1542 -

1543

return

never executed: return (-1);

(-1);

never executed: return (-1);

1544 } -

1545 -

1546 static int -

1547 ssl3_get_client_kex_rsa(SSL *s, CBS *cbs) -

1548 { -

1549 unsigned char fakekey[48]; -

1550 unsigned char *pms = -

1551 ((void *)0) -

1552 ; -

1553 unsigned char *p; -

1554 size_t pms_len = 0; -

1555 EVP_PKEY *pkey = -

1556 ((void *)0) -

1557 ; -

1558 RSA *rsa = -

1559 ((void *)0) -

1560 ; -

1561 CBS enc_pms; -

1562 int decrypt_len; -

1563 int al = -1; -

1564 -

1565 arc4random_buf(fakekey, sizeof(fakekey)); -

1566 fakekey[0] = s->client_version >> 8; -

1567 fakekey[1] = s->client_version & 0xff; -

1568 -

1569 pkey = s->cert->pkeys[0].privatekey; -

1570

if ((

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

pkey ==

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

0-14

1571

((void *)0)

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

0-14

1572

)

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

|| (

(pkey->type != 6)	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

pkey->type != 6)

(pkey->type != 6)	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

0-14

1573

(

(pkey->pkey.rs... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

pkey->pkey.rsa ==

(pkey->pkey.rs... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

0-14

1574

((void *)0)

(pkey->pkey.rs... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

0-14

1575

)

(pkey->pkey.rs... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

) {

0-14

1576 al = 40; -

1577 SSL_error_internal(s, 168, __FILE__, 1717); -

1578

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1579 } -

1580 rsa = pkey->pkey.rsa; -

1581 -

1582 pms_len = RSA_size(rsa); -

1583

if (pms_len < 48

pms_len < 48	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

)

0-14

1584

goto

never executed: goto err;

err;

never executed: goto err;

1585

if ((

(pms = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

pms = malloc(pms_len)) ==

(pms = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

0-14

1586

((void *)0)

(pms = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

0-14

1587 ) -

1588

goto

never executed: goto err;

err;

never executed: goto err;

1589 p = pms; -

1590 -

1591

if (!CBS_get_u16_length_prefixed(cbs, &enc_pms)

!CBS_get_u16_l...cbs, &enc_pms)	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

)

0-14

1592

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

1593

if (CBS_len(cbs) != 0

CBS_len(cbs) != 0	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

|| CBS_len(&enc_pms) != RSA_size(rsa)

CBS_len(&enc_p... RSA_size(rsa)	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

) {

0-14

1594 SSL_error_internal(s, 234, __FILE__, 1732); -

1595

goto

never executed: goto err;

err;

never executed: goto err;

1596 } -

1597 -

1598 decrypt_len = RSA_private_decrypt(CBS_len(&enc_pms), CBS_data(&enc_pms), -

1599 pms, rsa, 1); -

1600 -

1601 ERR_clear_error(); -

1602 -

1603

if (decrypt_len != 48

decrypt_len != 48	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

) {

0-14

1604 al = 50; -

1605 -

1606

}

never executed: end of block

1607 -

1608

if ((

(al == -1)	Description
TRUE	evaluated 14 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

al == -1)

(al == -1)	Description
TRUE	evaluated 14 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

&& !((

(pms[0] == (s-...version >> 8))	Description
TRUE	evaluated 14 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

pms[0] == (s->client_version >> 8))

(pms[0] == (s-...version >> 8))	Description
TRUE	evaluated 14 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

0-14

1609

(

(pms[1] == (s-...rsion & 0xff))	Description
TRUE	evaluated 14 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

pms[1] == (s->client_version & 0xff))

(pms[1] == (s-...rsion & 0xff))	Description
TRUE	evaluated 14 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

)) {

0-14

1610 al = 50; -

1611 -

1612

}

never executed: end of block

1613 -

1614

if (al != -1

al != -1	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

) {

0-14

1615 -

1616 -

1617 -

1618 -

1619 -

1620 -

1621 p = fakekey; -

1622

}

never executed: end of block

1623 -

1624 s->session->master_key_length = -

1625 tls1_generate_master_secret(s, -

1626 s->session->master_key, p, 48); -

1627 -

1628 freezero(pms, pms_len); -

1629 -

1630

return

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

Executed by:

ssltest

(1);

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

Executed by:

ssltest

1631 -

1632 truncated: -

1633 al = 50; -

1634 SSL_error_internal(s, 115, __FILE__, 1786); -

1635

f_err:

code before this statement never executed: f_err:

1636 ssl3_send_alert(s, 2, al); -

1637

err:

code before this statement never executed: err:

1638 freezero(pms, pms_len); -

1639 -

1640

return

never executed: return (-1);

(-1);

never executed: return (-1);

1641 } -

1642 -

1643 static int -

1644 ssl3_get_client_kex_dhe(SSL *s, CBS *cbs) -

1645 { -

1646 int key_size = 0, key_len, al; -

1647 unsigned char *key = -

1648 ((void *)0) -

1649 ; -

1650 BIGNUM *bn = -

1651 ((void *)0) -

1652 ; -

1653 CBS dh_Yc; -

1654 DH *dh; -

1655 -

1656

if (!CBS_get_u16_length_prefixed(cbs, &dh_Yc)

!CBS_get_u16_l...d(cbs, &dh_Yc)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

)

0-21

1657

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

1658

if (CBS_len(cbs) != 0

CBS_len(cbs) != 0	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

)

0-21

1659

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

1660 -

1661

if ((

(s->s3->intern...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

s->s3->internal)->tmp.dh ==

(s->s3->intern...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1662

((void *)0)

(s->s3->intern...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1663 ) { -

1664 al = 40; -

1665 SSL_error_internal(s, 171, __FILE__, 1811); -

1666

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1667 } -

1668 dh = (s->s3->internal)->tmp.dh; -

1669 -

1670

if ((

(bn = BN_bin2b...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

bn = BN_bin2bn(CBS_data(&dh_Yc), CBS_len(&dh_Yc),

(bn = BN_bin2b...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1671

((void *)0)

(bn = BN_bin2b...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1672

)) ==

(bn = BN_bin2b...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1673

((void *)0)

(bn = BN_bin2b...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1674 ) { -

1675 SSL_error_internal(s, 130, __FILE__, 1817); -

1676

goto

never executed: goto err;

err;

never executed: goto err;

1677 } -

1678 -

1679

if ((

(key_size = DH_size(dh)) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

key_size = DH_size(dh)) <= 0

(key_size = DH_size(dh)) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

) {

0-21

1680 SSL_error_internal(s, 5, __FILE__, 1822); -

1681

goto

never executed: goto err;

err;

never executed: goto err;

1682 } -

1683

if ((

(key = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

key = malloc(key_size)) ==

(key = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1684

((void *)0)

(key = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

0-21

1685 ) { -

1686 SSL_error_internal(s, (1|64), __FILE__, 1826); -

1687

goto

never executed: goto err;

err;

never executed: goto err;

1688 } -

1689

if ((

(key_len = DH_... bn, dh)) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

key_len = DH_compute_key(key, bn, dh)) <= 0

(key_len = DH_... bn, dh)) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

) {

0-21

1690 SSL_error_internal(s, 5, __FILE__, 1830); -

1691

goto

never executed: goto err;

err;

never executed: goto err;

1692 } -

1693 -

1694 s->session->master_key_length = tls1_generate_master_secret(s, -

1695 s->session->master_key, key, key_len); -

1696 -

1697 DH_free((s->s3->internal)->tmp.dh); -

1698 (s->s3->internal)->tmp.dh = -

1699 ((void *)0) -

1700 ; -

1701 -

1702 freezero(key, key_size); -

1703 BN_clear_free(bn); -

1704 -

1705

return

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

Executed by:

ssltest

(1);

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

Executed by:

ssltest

1706 -

1707 truncated: -

1708 al = 50; -

1709 SSL_error_internal(s, 115, __FILE__, 1847); -

1710

f_err:

code before this statement never executed: f_err:

1711 ssl3_send_alert(s, 2, al); -

1712

err:

code before this statement never executed: err:

1713 freezero(key, key_size); -

1714 BN_clear_free(bn); -

1715 -

1716

return

never executed: return (-1);

(-1);

never executed: return (-1);

1717 } -

1718 -

1719 static int -

1720 ssl3_get_client_kex_ecdhe_ecp(SSL *s, CBS *cbs) -

1721 { -

1722 unsigned char *key = -

1723 ((void *)0) -

1724 ; -

1725 int key_size = 0, key_len; -

1726 EC_POINT *point = -

1727 ((void *)0) -

1728 ; -

1729 BN_CTX *bn_ctx = -

1730 ((void *)0) -

1731 ; -

1732 const EC_GROUP *group; -

1733 EC_KEY *ecdh; -

1734 CBS public; -

1735 int ret = -1; -

1736 -

1737

if (!CBS_get_u8_length_prefixed(cbs, &public)

!CBS_get_u8_le...(cbs, &public)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

)

0-23

1738

goto

never executed: goto err;

err;

never executed: goto err;

1739

if (CBS_len(cbs) != 0

CBS_len(cbs) != 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

)

0-23

1740

goto

never executed: goto err;

err;

never executed: goto err;

1741 -

1742 -

1743 -

1744 -

1745 -

1746

if ((

(ecdh = (s->s3...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

ecdh = (s->s3->internal)->tmp.ecdh) ==

(ecdh = (s->s3...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1747

((void *)0)

(ecdh = (s->s3...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1748 ) { -

1749 SSL_error_internal(s, (4|64), __FILE__, 1879); -

1750

goto

never executed: goto err;

err;

never executed: goto err;

1751 } -

1752 group = EC_KEY_get0_group(ecdh); -

1753 -

1754 -

1755 -

1756 -

1757 -

1758

if ((

(bn_ctx = BN_C...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

bn_ctx = BN_CTX_new()) ==

(bn_ctx = BN_C...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1759

((void *)0)

(bn_ctx = BN_C...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1760 ) { -

1761 SSL_error_internal(s, (1|64), __FILE__, 1889); -

1762

goto

never executed: goto err;

err;

never executed: goto err;

1763 } -

1764

if ((

(point = EC_PO...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

point = EC_POINT_new(group)) ==

(point = EC_PO...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1765

((void *)0)

(point = EC_PO...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1766 ) { -

1767 SSL_error_internal(s, (1|64), __FILE__, 1893); -

1768

goto

never executed: goto err;

err;

never executed: goto err;

1769 } -

1770

if (EC_POINT_oct2point(group, point, CBS_data(&public),

EC_POINT_oct2p..., bn_ctx) == 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1771

CBS_len(&public), bn_ctx) == 0

EC_POINT_oct2p..., bn_ctx) == 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

) {

0-23

1772 SSL_error_internal(s, 16, __FILE__, 1898); -

1773

goto

never executed: goto err;

err;

never executed: goto err;

1774 } -

1775 -

1776 -

1777

if ((

(key_size = EC...ze(ecdh)) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

key_size = ECDH_size(ecdh)) <= 0

(key_size = EC...ze(ecdh)) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

) {

0-23

1778 SSL_error_internal(s, 43, __FILE__, 1904); -

1779

goto

never executed: goto err;

err;

never executed: goto err;

1780 } -

1781

if ((

(key = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

key = malloc(key_size)) ==

(key = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1782

((void *)0)

(key = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1783 ) { -

1784 SSL_error_internal(s, (1|64), __FILE__, 1908); -

1785

goto

never executed: goto err;

err;

never executed: goto err;

1786 } -

1787

if ((

(key_len = ECD...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

key_len = ECDH_compute_key(key, key_size, point, ecdh,

(key_len = ECD...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1788

(key_len = ECD...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1789

((void *)0)

(key_len = ECD...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

0-23

1790

)) <= 0

(key_len = ECD...d *)0) )) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

) {

0-23

1791 SSL_error_internal(s, 43, __FILE__, 1913); -

1792

goto

never executed: goto err;

err;

never executed: goto err;

1793 } -

1794 -

1795 -

1796 s->session->master_key_length = tls1_generate_master_secret(s, -

1797 s->session->master_key, key, key_len); -

1798 -

1799 EC_KEY_free((s->s3->internal)->tmp.ecdh); -

1800 (s->s3->internal)->tmp.ecdh = -

1801 ((void *)0) -

1802 ; -

1803 -

1804 ret = 1; -

1805 -

1806

err:

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

Executed by:

ssltest

1807 freezero(key, key_size); -

1808 EC_POINT_free(point); -

1809 BN_CTX_free(bn_ctx); -

1810 -

1811

return

executed 23 times by 1 test: return (ret);

Executed by:

ssltest

(ret);

executed 23 times by 1 test: return (ret);

Executed by:

ssltest

1812 } -

1813 -

1814 static int -

1815 ssl3_get_client_kex_ecdhe_ecx(SSL *s, CBS *cbs) -

1816 { -

1817 uint8_t *shared_key = -

1818 ((void *)0) -

1819 ; -

1820 CBS ecpoint; -

1821 int ret = -1; -

1822 -

1823

if (!CBS_get_u8_length_prefixed(cbs, &ecpoint)

!CBS_get_u8_le...cbs, &ecpoint)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1824

goto

never executed: goto err;

err;

never executed: goto err;

1825

if (CBS_len(cbs) != 0

CBS_len(cbs) != 0	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1826

goto

never executed: goto err;

err;

never executed: goto err;

1827

if (CBS_len(&ecpoint) != 32

CBS_len(&ecpoint) != 32	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1828

goto

never executed: goto err;

err;

never executed: goto err;

1829 -

1830

if ((

(shared_key = ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

shared_key = malloc(32)) ==

(shared_key = ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

0-5

1831

((void *)0)

(shared_key = ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

0-5

1832 ) -

1833

goto

never executed: goto err;

err;

never executed: goto err;

1834

if (!X25519(shared_key, (s->s3->internal)->tmp.x25519, CBS_data(&ecpoint))

!X25519(shared...ata(&ecpoint))	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest

)

0-5

1835

goto

never executed: goto err;

err;

never executed: goto err;

1836 -

1837 freezero((s->s3->internal)->tmp.x25519, 32); -

1838 (s->s3->internal)->tmp.x25519 = -

1839 ((void *)0) -

1840 ; -

1841 -

1842 s->session->master_key_length = -

1843 tls1_generate_master_secret( -

1844 s, s->session->master_key, shared_key, 32); -

1845 -

1846 ret = 1; -

1847 -

1848

err:

code before this statement executed 5 times by 2 tests: err:

Executed by:

ssltest
tlstest

1849 freezero(shared_key, 32); -

1850 -

1851

return

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

Executed by:

ssltest
tlstest

(ret);

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

Executed by:

ssltest
tlstest

1852 } -

1853 -

1854 static int -

1855 ssl3_get_client_kex_ecdhe(SSL *s, CBS *cbs) -

1856 { -

1857

if ((

(s->s3->intern...!= ((void *)0)	Description
TRUE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

s->s3->internal)->tmp.x25519 !=

(s->s3->intern...!= ((void *)0)	Description
TRUE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

5-23

1858

((void *)0)

(s->s3->intern...!= ((void *)0)	Description
TRUE	evaluated 5 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 23 times by 1 test Evaluated by: ssltest

5-23

1859 ) -

1860

return

executed 5 times by 2 tests: return ssl3_get_client_kex_ecdhe_ecx(s, cbs);

Executed by:

ssltest
tlstest

ssl3_get_client_kex_ecdhe_ecx(s, cbs);

executed 5 times by 2 tests: return ssl3_get_client_kex_ecdhe_ecx(s, cbs);

Executed by:

ssltest
tlstest

1861 -

1862

return

executed 23 times by 1 test: return ssl3_get_client_kex_ecdhe_ecp(s, cbs);

Executed by:

ssltest

ssl3_get_client_kex_ecdhe_ecp(s, cbs);

executed 23 times by 1 test: return ssl3_get_client_kex_ecdhe_ecp(s, cbs);

Executed by:

ssltest

1863 } -

1864 -

1865 static int -

1866 ssl3_get_client_kex_gost(SSL *s, CBS *cbs) -

1867 { -

1868 EVP_PKEY_CTX *pkey_ctx; -

1869 EVP_PKEY *client_pub_pkey = -

1870 ((void *)0) -

1871 , *pk = -

1872 ((void *)0) -

1873 ; -

1874 unsigned char premaster_secret[32]; -

1875 unsigned long alg_a; -

1876 size_t outlen = 32; -

1877 CBS gostblob; -

1878 int al; -

1879 int ret = 0; -

1880 -

1881 -

1882 alg_a = (s->s3->internal)->hs.new_cipher->algorithm_auth; -

1883

if (alg_a & 0x00000200L

alg_a & 0x00000200L	Description
TRUE	never evaluated
FALSE	never evaluated

)

1884

pk = s->cert->pkeys[4].privatekey;

never executed: pk = s->cert->pkeys[4].privatekey;

1885 -

1886

if ((

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

pkey_ctx = EVP_PKEY_CTX_new(pk,

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

1887

((void *)0)

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

1888

)) ==

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

1889

((void *)0)

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

1890 ) -

1891

goto

never executed: goto err;

err;

never executed: goto err;

1892

if (EVP_PKEY_decrypt_init(pkey_ctx) <= 0

EVP_PKEY_decry...pkey_ctx) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

1893

goto

never executed: goto gerr;

gerr;

never executed: goto gerr;

1894

if ((

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

client_pub_pkey = X509_get_pubkey(s->session->peer)) !=

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

1895

((void *)0)

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

1896 ) { -

1897

if (EVP_PKEY_derive_set_peer(pkey_ctx,

EVP_PKEY_deriv...pub_pkey) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

1898

client_pub_pkey) <= 0

EVP_PKEY_deriv...pub_pkey) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

1899

ERR_clear_error();

never executed: ERR_clear_error();

1900

}

never executed: end of block

1901 -

1902 -

1903

if (!CBS_get_asn1(cbs, &gostblob, (0x00 | 0x20 | 0x10))

!CBS_get_asn1(... 0x20 \| 0x10))	Description
TRUE	never evaluated
FALSE	never evaluated

)

1904

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

1905

if (CBS_len(cbs) != 0

CBS_len(cbs) != 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

1906

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

1907

if (EVP_PKEY_decrypt(pkey_ctx, premaster_secret, &outlen,

EVP_PKEY_decry...ostblob)) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

1908

CBS_data(&gostblob), CBS_len(&gostblob)) <= 0

EVP_PKEY_decry...ostblob)) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

1909 SSL_error_internal(s, 147, __FILE__, 2019); -

1910

goto

never executed: goto gerr;

gerr;

never executed: goto gerr;

1911 } -

1912 -

1913 -

1914 s->session->master_key_length = -

1915 tls1_generate_master_secret( -

1916 s, s->session->master_key, premaster_secret, 32); -

1917 -

1918 -

1919

if (EVP_PKEY_CTX_ctrl(pkey_ctx, -1, -1,

EVP_PKEY_CTX_c...oid *)0) ) > 0	Description
TRUE	never evaluated
FALSE	never evaluated

1920

2, 2,

EVP_PKEY_CTX_c...oid *)0) ) > 0	Description
TRUE	never evaluated
FALSE	never evaluated

1921

((void *)0)

EVP_PKEY_CTX_c...oid *)0) ) > 0	Description
TRUE	never evaluated
FALSE	never evaluated

1922

) > 0

EVP_PKEY_CTX_c...oid *)0) ) > 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

1923

ret = 2;

never executed: ret = 2;

1924 else -

1925

ret = 1;

never executed: ret = 1;

1926

gerr:

code before this statement never executed: gerr:

1927 EVP_PKEY_free(client_pub_pkey); -

1928 EVP_PKEY_CTX_free(pkey_ctx); -

1929

if (ret

ret	Description
TRUE	never evaluated
FALSE	never evaluated

)

1930

return

never executed: return (ret);

(ret);

never executed: return (ret);

1931 else -

1932

goto

never executed: goto err;

err;

never executed: goto err;

1933 -

1934 truncated: -

1935 al = 50; -

1936 SSL_error_internal(s, 115, __FILE__, 2044); -

1937 ssl3_send_alert(s, 2, al); -

1938

err:

code before this statement never executed: err:

1939

return

never executed: return (-1);

(-1);

never executed: return (-1);

1940 } -

1941 -

1942 int -

1943 ssl3_get_client_key_exchange(SSL *s) -

1944 { -

1945 unsigned long alg_k; -

1946 int al, ok; -

1947 CBS cbs; -

1948 long n; -

1949 -

1950 -

1951 n = s->method->internal->ssl_get_message(s, (0x190|0x2000), -

1952 (0x191|0x2000), 16, 2048, &ok); -

1953

if (!ok

!ok	Description
TRUE	evaluated 271 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

63-271

1954

return

executed 271 times by 3 tests: return ((int)n);

Executed by:

servertest
ssltest
tlstest

((int)n);

executed 271 times by 3 tests: return ((int)n);

Executed by:

servertest
ssltest
tlstest

271

1955 -

1956

if (n < 0

n < 0	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

0-63

1957

goto

never executed: goto err;

err;

never executed: goto err;

1958 -

1959 CBS_init(&cbs, s->internal->init_msg, n); -

1960 -

1961 alg_k = (s->s3->internal)->hs.new_cipher->algorithm_mkey; -

1962 -

1963

if (alg_k & 0x00000001L

alg_k & 0x00000001L	Description
TRUE	evaluated 14 times by 1 test Evaluated by: ssltest
FALSE	evaluated 49 times by 2 tests Evaluated by: ssltest tlstest

) {

14-49

1964

if (ssl3_get_client_kex_rsa(s, &cbs) != 1

ssl3_get_clien...(s, &cbs) != 1	Description
TRUE	never evaluated
FALSE	evaluated 14 times by 1 test Evaluated by: ssltest

)

0-14

1965

goto

never executed: goto err;

err;

never executed: goto err;

1966

}

executed 14 times by 1 test: end of block

Executed by:

ssltest

else if (alg_k & 0x00000008L

alg_k & 0x00000008L	Description
TRUE	evaluated 21 times by 1 test Evaluated by: ssltest
FALSE	evaluated 28 times by 2 tests Evaluated by: ssltest tlstest

) {

14-28

1967

if (ssl3_get_client_kex_dhe(s, &cbs) != 1

ssl3_get_clien...(s, &cbs) != 1	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

)

0-21

1968

goto

never executed: goto err;

err;

never executed: goto err;

1969

}

executed 21 times by 1 test: end of block

Executed by:

ssltest

else if (alg_k & 0x00000080L

alg_k & 0x00000080L	Description
TRUE	evaluated 28 times by 2 tests Evaluated by: ssltest tlstest
FALSE	never evaluated

) {

0-28

1970

if (ssl3_get_client_kex_ecdhe(s, &cbs) != 1

ssl3_get_clien...(s, &cbs) != 1	Description
TRUE	never evaluated
FALSE	evaluated 28 times by 2 tests Evaluated by: ssltest tlstest

)

0-28

1971

goto

never executed: goto err;

err;

never executed: goto err;

1972

}

executed 28 times by 2 tests: end of block

Executed by:

ssltest
tlstest

else if (alg_k & 0x00000200L

alg_k & 0x00000200L	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-28

1973

if (ssl3_get_client_kex_gost(s, &cbs) != 1

ssl3_get_clien...(s, &cbs) != 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

1974

goto

never executed: goto err;

err;

never executed: goto err;

1975

}

never executed: end of block

else {

1976 al = 40; -

1977 SSL_error_internal(s, 249, __FILE__, 2085); -

1978

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1979 } -

1980 -

1981

if (CBS_len(&cbs) != 0

CBS_len(&cbs) != 0	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

) {

0-63

1982 al = 50; -

1983 SSL_error_internal(s, 115, __FILE__, 2091); -

1984

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

1985 } -

1986 -

1987

return

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

Executed by:

ssltest
tlstest

(1);

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

Executed by:

ssltest
tlstest

1988 -

1989 f_err: -

1990 ssl3_send_alert(s, 2, al); -

1991

err:

code before this statement never executed: err:

1992

return

never executed: return (-1);

(-1);

never executed: return (-1);

1993 } -

1994 -

1995 int -

1996 ssl3_get_cert_verify(SSL *s) -

1997 { -

1998 CBS cbs, signature; -

1999 const EVP_MD *md = -

2000 ((void *)0) -

2001 ; -

2002 EVP_PKEY *pkey = -

2003 ((void *)0) -

2004 ; -

2005 X509 *peer = -

2006 ((void *)0) -

2007 ; -

2008 EVP_MD_CTX mctx; -

2009 uint8_t hash_id, sig_id; -

2010 int al, ok, sigalg, verify; -

2011 int type = 0; -

2012 int ret = 0; -

2013 long hdatalen; -

2014 void *hdata; -

2015 long n; -

2016 -

2017 EVP_MD_CTX_init(&mctx); -

2018 -

2019 n = s->method->internal->ssl_get_message(s, (0x1A0|0x2000), -

2020 (0x1A1|0x2000), -1, 16384, &ok); -

2021

if (!ok

!ok	Description
TRUE	evaluated 324 times by 1 test Evaluated by: ssltest
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

63-324

2022

return

executed 324 times by 1 test: return ((int)n);

Executed by:

ssltest

((int)n);

executed 324 times by 1 test: return ((int)n);

Executed by:

ssltest

324

2023 -

2024

if (n < 0

n < 0	Description
TRUE	never evaluated
FALSE	evaluated 63 times by 2 tests Evaluated by: ssltest tlstest

)

0-63

2025

goto

never executed: goto err;

err;

never executed: goto err;

2026 -

2027 CBS_init(&cbs, s->internal->init_msg, n); -

2028 -

2029

if (s->session->peer !=

s->session->pe...!= ((void *)0)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: ssltest
FALSE	evaluated 56 times by 2 tests Evaluated by: ssltest tlstest

7-56

2030

((void *)0)

s->session->pe...!= ((void *)0)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: ssltest
FALSE	evaluated 56 times by 2 tests Evaluated by: ssltest tlstest

7-56

2031 ) { -

2032 peer = s->session->peer; -

2033 pkey = X509_get_pubkey(peer); -

2034 type = X509_certificate_type(peer, pkey); -

2035

}

executed 7 times by 1 test: end of block

Executed by:

ssltest

2036 -

2037

if ((

(s->s3->intern...age_type != 15	Description
TRUE	evaluated 56 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

s->s3->internal)->tmp.message_type != 15

(s->s3->intern...age_type != 15	Description
TRUE	evaluated 56 times by 2 tests Evaluated by: ssltest tlstest
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) {

7-56

2038 (s->s3->internal)->tmp.reuse_message = 1; -

2039

if (peer !=

peer != ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 56 times by 2 tests Evaluated by: ssltest tlstest

0-56

2040

((void *)0)

peer != ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 56 times by 2 tests Evaluated by: ssltest tlstest

0-56

2041 ) { -

2042 al = 10; -

2043 SSL_error_internal(s, 174, __FILE__, 2141); -

2044

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2045 } -

2046 ret = 1; -

2047

goto

executed 56 times by 2 tests: goto end;

Executed by:

ssltest
tlstest

end;

executed 56 times by 2 tests: goto end;

Executed by:

ssltest
tlstest

2048 } -

2049 -

2050

if (peer ==

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

0-7

2051

((void *)0)

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

0-7

2052 ) { -

2053 SSL_error_internal(s, 186, __FILE__, 2149); -

2054 al = 10; -

2055

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2056 } -

2057 -

2058

if (!(type & 0x0010)

!(type & 0x0010)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) {

0-7

2059 SSL_error_internal(s, 220, __FILE__, 2155); -

2060 al = 47; -

2061

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2062 } -

2063 -

2064

if ((

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

s->s3->internal)->change_cipher_spec

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

) {

0-7

2065 SSL_error_internal(s, 133, __FILE__, 2161); -

2066 al = 10; -

2067

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2068 } -

2069 -

2070 -

2071 -

2072 -

2073 -

2074 -

2075 -

2076

if ((pkey->type == 812

pkey->type == 812	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

2077

pkey->type == 811

pkey->type == 811	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) && CBS_len(&cbs) == 64

CBS_len(&cbs) == 64	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-7

2078 CBS_dup(&cbs, &signature); -

2079

if (!CBS_skip(&cbs, CBS_len(&cbs))

!CBS_skip(&cbs, CBS_len(&cbs))	Description
TRUE	never evaluated
FALSE	never evaluated

)

2080

goto

never executed: goto err;

err;

never executed: goto err;

2081

}

never executed: end of block

else {

2082

if ((

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 5 times by 1 test Evaluated by: ssltest
FALSE	evaluated 2 times by 1 test Evaluated by: ssltest

s->method->internal->ssl3_enc->enc_flags & (1 << 1))

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 5 times by 1 test Evaluated by: ssltest
FALSE	evaluated 2 times by 1 test Evaluated by: ssltest

) {

2-5

2083

if (!CBS_get_u8(&cbs, &hash_id)

!CBS_get_u8(&cbs, &hash_id)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

)

0-5

2084

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

2085

if (!CBS_get_u8(&cbs, &sig_id)

!CBS_get_u8(&cbs, &sig_id)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

)

0-5

2086

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

2087 -

2088

if ((

(md = tls12_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

md = tls12_get_hash(hash_id)) ==

(md = tls12_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

0-5

2089

((void *)0)

(md = tls12_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

0-5

2090 ) { -

2091 SSL_error_internal(s, 368, __FILE__, 2185); -

2092 al = 50; -

2093

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2094 } -

2095 -

2096 -

2097

if ((

(sigalg = tls1...d(pkey)) == -1	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

sigalg = tls12_get_sigid(pkey)) == -1

(sigalg = tls1...d(pkey)) == -1	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

) {

0-5

2098 -

2099 SSL_error_internal(s, (4|64), __FILE__, 2193); -

2100

goto

never executed: goto err;

err;

never executed: goto err;

2101 } -

2102

if (sigalg != sig_id

sigalg != sig_id	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

) {

0-5

2103 SSL_error_internal(s, 370, __FILE__, 2197); -

2104 al = 50; -

2105

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2106 } -

2107

}

executed 5 times by 1 test: end of block

Executed by:

ssltest

2108

if (!CBS_get_u16_length_prefixed(&cbs, &signature)

!CBS_get_u16_l...s, &signature)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

2109

goto

never executed: goto err;

err;

never executed: goto err;

2110

}

executed 7 times by 1 test: end of block

Executed by:

ssltest

2111

if (CBS_len(&signature) > EVP_PKEY_size(pkey)

CBS_len(&signa...KEY_size(pkey)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) {

0-7

2112 SSL_error_internal(s, 265, __FILE__, 2206); -

2113 al = 50; -

2114

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2115 } -

2116

if (CBS_len(&cbs) != 0

CBS_len(&cbs) != 0	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) {

0-7

2117 al = 50; -

2118 SSL_error_internal(s, 153, __FILE__, 2212); -

2119

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2120 } -

2121 -

2122

if ((

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 5 times by 1 test Evaluated by: ssltest
FALSE	evaluated 2 times by 1 test Evaluated by: ssltest

s->method->internal->ssl3_enc->enc_flags & (1 << 1))

(s->method->in...gs & (1 << 1))	Description
TRUE	evaluated 5 times by 1 test Evaluated by: ssltest
FALSE	evaluated 2 times by 1 test Evaluated by: ssltest

) {

2-5

2123 hdatalen = BIO_ctrl((s->s3->internal)->handshake_buffer,3,0,(char *)&hdata); -

2124

if (hdatalen <= 0

hdatalen <= 0	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

) {

0-5

2125 SSL_error_internal(s, (4|64), __FILE__, 2219); -

2126 al = 80; -

2127

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2128 } -

2129

if (!EVP_DigestInit_ex(&mctx,md,

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

0-5

2130

((void *)0)

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

0-5

2131

)

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

0-5

2132

!EVP_DigestUpdate(&mctx,hdata,hdatalen)

!EVP_DigestUpd...data,hdatalen)	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

) {

0-5

2133 SSL_error_internal(s, 6, __FILE__, 2225); -

2134 al = 80; -

2135

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2136 } -

2137

if (EVP_VerifyFinal(&mctx, CBS_data(&signature),

EVP_VerifyFina...e), pkey) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

0-5

2138

CBS_len(&signature), pkey) <= 0

EVP_VerifyFina...e), pkey) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: ssltest

) {

0-5

2139 al = 51; -

2140 SSL_error_internal(s, 123, __FILE__, 2232); -

2141

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2142 } -

2143

}

executed 5 times by 1 test: end of block

Executed by:

ssltest

else if (pkey->type == 6

pkey->type == 6	Description
TRUE	evaluated 2 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

) {

0-5

2144 verify = RSA_verify(114, (s->s3->internal)->tmp.cert_verify_md, -

2145 16 + 20, CBS_data(&signature), -

2146 CBS_len(&signature), pkey->pkey.rsa); -

2147

if (verify < 0

verify < 0	Description
TRUE	never evaluated
FALSE	evaluated 2 times by 1 test Evaluated by: ssltest

) {

0-2

2148 al = 51; -

2149 SSL_error_internal(s, 118, __FILE__, 2241); -

2150

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2151 } -

2152

if (verify == 0

verify == 0	Description
TRUE	never evaluated
FALSE	evaluated 2 times by 1 test Evaluated by: ssltest

) {

0-2

2153 al = 51; -

2154 SSL_error_internal(s, 122, __FILE__, 2246); -

2155

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2156 } -

2157

}

executed 2 times by 1 test: end of block

Executed by:

ssltest

else if (pkey->type == 408

pkey->type == 408	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-2

2158 verify = ECDSA_verify(pkey->save_type, -

2159 &((s->s3->internal)->tmp.cert_verify_md[16]), -

2160 20, CBS_data(&signature), -

2161 CBS_len(&signature), pkey->pkey.ec); -

2162

if (verify <= 0

verify <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2163 al = 51; -

2164 SSL_error_internal(s, 305, __FILE__, 2256); -

2165

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2166 } -

2167

}

never executed: end of block

else

2168 -

2169

if (pkey->type == 812

pkey->type == 812	Description
TRUE	never evaluated
FALSE	never evaluated

2170

pkey->type == 811

pkey->type == 811	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2171 unsigned char sigbuf[128]; -

2172 unsigned int siglen = sizeof(sigbuf); -

2173 EVP_PKEY_CTX *pctx; -

2174 int nid; -

2175 -

2176 hdatalen = BIO_ctrl((s->s3->internal)->handshake_buffer,3,0,(char *)&hdata); -

2177

if (hdatalen <= 0

hdatalen <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2178 SSL_error_internal(s, (4|64), __FILE__, 2270); -

2179 al = 80; -

2180

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2181 } -

2182

if (!EVP_PKEY_get_default_digest_nid(pkey, &nid)

!EVP_PKEY_get_...id(pkey, &nid)	Description
TRUE	never evaluated
FALSE	never evaluated

2183

!(md = EVP_get_digestbyname(OBJ_nid2sn(nid)))

!(md = EVP_get..._nid2sn(nid)))	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2184 SSL_error_internal(s, 6, __FILE__, 2276); -

2185 al = 80; -

2186

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2187 } -

2188

if ((

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

pctx = EVP_PKEY_CTX_new(pkey,

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

2189

((void *)0)

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

2190

)) ==

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

2191

((void *)0)

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

2192 ) { -

2193 SSL_error_internal(s, 6, __FILE__, 2281); -

2194 al = 80; -

2195

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2196 } -

2197

if (!EVP_DigestInit_ex(&mctx, md,

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

2198

((void *)0)

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

2199

)

!EVP_DigestIni... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

2200

!EVP_DigestUpdate(&mctx, hdata, hdatalen)

!EVP_DigestUpd...ata, hdatalen)	Description
TRUE	never evaluated
FALSE	never evaluated

2201

!EVP_DigestFinal(&mctx, sigbuf, &siglen)

!EVP_DigestFin...gbuf, &siglen)	Description
TRUE	never evaluated
FALSE	never evaluated

2202

(

(EVP_PKEY_veri...it(pctx) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

EVP_PKEY_verify_init(pctx) <= 0)

(EVP_PKEY_veri...it(pctx) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

2203

(

(EVP_PKEY_CTX_...id *)md) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

EVP_PKEY_CTX_ctrl(pctx, -1, ((1<<3) | (1<<4) | (1<<5) | (1<<6) | (1<<7)), 1, 0, (void *)md) <= 0)

(EVP_PKEY_CTX_...id *)md) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

2204

(

(EVP_PKEY_CTX_...d *)0) ) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

EVP_PKEY_CTX_ctrl(pctx, -1, (1<<4),

(EVP_PKEY_CTX_...d *)0) ) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

2205

(0x1000 +2),

(EVP_PKEY_CTX_...d *)0) ) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

2206

(EVP_PKEY_CTX_...d *)0) ) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

2207

((void *)0)

(EVP_PKEY_CTX_...d *)0) ) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

2208

) <= 0)

(EVP_PKEY_CTX_...d *)0) ) <= 0)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2209 SSL_error_internal(s, 6, __FILE__, 2293); -

2210 al = 80; -

2211 EVP_PKEY_CTX_free(pctx); -

2212

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2213 } -

2214

if (EVP_PKEY_verify(pctx, CBS_data(&signature),

EVP_PKEY_verif..., siglen) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

2215

CBS_len(&signature), sigbuf, siglen) <= 0

EVP_PKEY_verif..., siglen) <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2216 al = 51; -

2217 SSL_error_internal(s, 123, __FILE__, 2301); -

2218 EVP_PKEY_CTX_free(pctx); -

2219

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2220 } -

2221 -

2222 EVP_PKEY_CTX_free(pctx); -

2223

}

never executed: end of block

else

2224 -

2225 { -

2226 SSL_error_internal(s, (4|64), __FILE__, 2310); -

2227 al = 43; -

2228

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2229 } -

2230 -

2231 ret = 1; -

2232 if (0) { -

2233 truncated: -

2234 al = 50; -

2235 SSL_error_internal(s, 115, __FILE__, 2319); -

2236

f_err:

code before this statement never executed: f_err:

2237 ssl3_send_alert(s, 2, al); -

2238

}

never executed: end of block

2239

end:

code before this statement executed 7 times by 1 test: end:

Executed by:

ssltest

2240

if ((

(s->s3->intern...ndshake_buffer	Description
TRUE	evaluated 5 times by 1 test Evaluated by: ssltest
FALSE	evaluated 58 times by 2 tests Evaluated by: ssltest tlstest

s->s3->internal)->handshake_buffer

(s->s3->intern...ndshake_buffer	Description
TRUE	evaluated 5 times by 1 test Evaluated by: ssltest
FALSE	evaluated 58 times by 2 tests Evaluated by: ssltest tlstest

) {

5-58

2241 BIO_free((s->s3->internal)->handshake_buffer); -

2242 (s->s3->internal)->handshake_buffer = -

2243 ((void *)0) -

2244 ; -

2245 s->s3->flags &= ~0x0020; -

2246

}

executed 5 times by 1 test: end of block

Executed by:

ssltest

2247

err:

code before this statement executed 63 times by 2 tests: err:

Executed by:

ssltest
tlstest

2248 EVP_MD_CTX_cleanup(&mctx); -

2249 EVP_PKEY_free(pkey); -

2250

return

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

Executed by:

ssltest
tlstest

(ret);

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

Executed by:

ssltest
tlstest

2251 } -

2252 -

2253 int -

2254 ssl3_get_client_certificate(SSL *s) -

2255 { -

2256 CBS cbs, client_certs; -

2257 int i, ok, al, ret = -1; -

2258 X509 *x = -

2259 ((void *)0) -

2260 ; -

2261 long n; -

2262 const unsigned char *q; -

2263 struct stack_st_X509 *sk = -

2264 ((void *)0) -

2265 ; -

2266 -

2267 n = s->method->internal->ssl_get_message(s, (0x180|0x2000), (0x181|0x2000), -

2268 -1, s->internal->max_cert_list, &ok); -

2269 -

2270

if (!ok

!ok	Description
TRUE	evaluated 100 times by 1 test Evaluated by: ssltest
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

7-100

2271

return

executed 100 times by 1 test: return ((int)n);

Executed by:

ssltest

((int)n);

executed 100 times by 1 test: return ((int)n);

Executed by:

ssltest

100

2272 -

2273

if ((

(s->s3->intern...age_type == 16	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

s->s3->internal)->tmp.message_type == 16

(s->s3->intern...age_type == 16	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) {

0-7

2274

if ((

(s->verify_mode & 0x01)	Description
TRUE	never evaluated
FALSE	never evaluated

s->verify_mode & 0x01)

(s->verify_mode & 0x01)	Description
TRUE	never evaluated
FALSE	never evaluated

2275

(

(s->verify_mode & 0x02)	Description
TRUE	never evaluated
FALSE	never evaluated

s->verify_mode & 0x02)

(s->verify_mode & 0x02)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2276 SSL_error_internal(s, 199, __FILE__, 2354); -

2277 al = 40; -

2278

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2279 } -

2280 -

2281 -

2282 -

2283 -

2284

if ((

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

s->s3->internal)->tmp.cert_request

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

) {

2285 SSL_error_internal(s, 233, -

2286 __FILE__ -

2287 , -

2288 2364 -

2289 ) -

2290 ; -

2291 al = 10; -

2292

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2293 } -

2294 (s->s3->internal)->tmp.reuse_message = 1; -

2295

return

never executed: return (1);

(1);

never executed: return (1);

2296 } -

2297 -

2298

if ((

(s->s3->intern...age_type != 11	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

s->s3->internal)->tmp.message_type != 11

(s->s3->intern...age_type != 11	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) {

0-7

2299 al = 10; -

2300 SSL_error_internal(s, 262, __FILE__, 2374); -

2301

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2302 } -

2303 -

2304

if (n < 0

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

)

0-7

2305

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

2306 -

2307 CBS_init(&cbs, s->internal->init_msg, n); -

2308 -

2309

if ((

(sk = ((struct...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

sk = ((struct stack_st_X509 *)sk_new_null())) ==

(sk = ((struct...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

2310

((void *)0)

(sk = ((struct...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

2311 ) { -

2312 SSL_error_internal(s, (1|64), __FILE__, 2384); -

2313

goto

never executed: goto err;

err;

never executed: goto err;

2314 } -

2315 -

2316

if (!CBS_get_u24_length_prefixed(&cbs, &client_certs)

!CBS_get_u24_l...&client_certs)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

2317

CBS_len(&cbs) != 0

CBS_len(&cbs) != 0	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

2318

goto

never executed: goto truncated;

truncated;

never executed: goto truncated;

2319 -

2320

while (CBS_len(&client_certs) > 0

CBS_len(&client_certs) > 0	Description
TRUE	evaluated 21 times by 1 test Evaluated by: ssltest
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) {

7-21

2321 CBS cert; -

2322 -

2323

if (!CBS_get_u24_length_prefixed(&client_certs, &cert)

!CBS_get_u24_l..._certs, &cert)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

) {

0-21

2324 al = 50; -

2325 SSL_error_internal(s, 135, __FILE__, 2397); -

2326

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2327 } -

2328 -

2329 q = CBS_data(&cert); -

2330 x = d2i_X509( -

2331 ((void *)0) -

2332 , &q, CBS_len(&cert)); -

2333

if (x ==

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

0-21

2334

((void *)0)

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

0-21

2335 ) { -

2336 SSL_error_internal(s, 13, __FILE__, 2404); -

2337

goto

never executed: goto err;

err;

never executed: goto err;

2338 } -

2339

if (q != CBS_data(&cert) + CBS_len(&cert)

q != CBS_data(...CBS_len(&cert)	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

) {

0-21

2340 al = 50; -

2341 SSL_error_internal(s, 135, __FILE__, 2409); -

2342

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2343 } -

2344

if (!sk_push(((_STACK*) (1 ? (sk) : (struct stack_st_X509*)0)), ((void*) (1 ? (x) : (X509*)0)))

!sk_push(((_ST... : (X509*)0)))	Description
TRUE	never evaluated
FALSE	evaluated 21 times by 1 test Evaluated by: ssltest

) {

0-21

2345 SSL_error_internal(s, (1|64), __FILE__, 2413); -

2346

goto

never executed: goto err;

err;

never executed: goto err;

2347 } -

2348 x = -

2349 ((void *)0) -

2350 ; -

2351

}

executed 21 times by 1 test: end of block

Executed by:

ssltest

2352 -

2353

if (sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_X509*)0))) <= 0

sk_num(((_STAC...509*)0))) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

) {

0-7

2354 -

2355 -

2356 -

2357 -

2358

if ((

(s->verify_mode & 0x01)	Description
TRUE	never evaluated
FALSE	never evaluated

s->verify_mode & 0x01)

(s->verify_mode & 0x01)	Description
TRUE	never evaluated
FALSE	never evaluated

2359

(

(s->verify_mode & 0x02)	Description
TRUE	never evaluated
FALSE	never evaluated

s->verify_mode & 0x02)

(s->verify_mode & 0x02)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2360 SSL_error_internal(s, 199, __FILE__, 2426); -

2361 al = 40; -

2362

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2363 } -

2364 -

2365

if ((

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

s->s3->internal)->handshake_buffer

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

&& !tls1_digest_cached_records(s)

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

) {

2366 al = 80; -

2367

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2368 } -

2369

}

never executed: end of block

else {

2370 i = ssl_verify_cert_chain(s, sk); -

2371

if (i <= 0

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

) {

0-7

2372 al = ssl_verify_alarm_type(s->verify_result); -

2373 SSL_error_internal(s, 178, __FILE__, 2439); -

2374

goto

never executed: goto f_err;

f_err;

never executed: goto f_err;

2375 } -

2376

}

executed 7 times by 1 test: end of block

Executed by:

ssltest

2377 -

2378 X509_free(s->session->peer); -

2379 s->session->peer = (X509 *)sk_shift(((_STACK*) (1 ? (sk) : (struct stack_st_X509*)0))); -

2380 s->session->verify_result = s->verify_result; -

2381 -

2382 -

2383 -

2384 -

2385 -

2386

if ((

(s->session->i...== ((void *)0)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

s->session->internal)->sess_cert ==

(s->session->i...== ((void *)0)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

0-7

2387

((void *)0)

(s->session->i...== ((void *)0)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

0-7

2388 ) { -

2389 (s->session->internal)->sess_cert = ssl_sess_cert_new(); -

2390

if ((

(s->session->i...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

s->session->internal)->sess_cert ==

(s->session->i...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

2391

((void *)0)

(s->session->i...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

2392 ) { -

2393 SSL_error_internal(s, (1|64), __FILE__, 2455); -

2394

goto

never executed: goto err;

err;

never executed: goto err;

2395 } -

2396

}

executed 7 times by 1 test: end of block

Executed by:

ssltest

2397 sk_pop_free(((_STACK*) (1 ? ((s->session->internal)->sess_cert->cert_chain) : (struct stack_st_X509*)0)), ((void (*)(void *)) ((1 ? (X509_free) : (void (*)(X509 *))0)))); -

2398 (s->session->internal)->sess_cert->cert_chain = sk; -

2399 -

2400 -

2401 -

2402 -

2403 -

2404 -

2405 sk = -

2406 ((void *)0) -

2407 ; -

2408 -

2409 ret = 1; -

2410 if (0) { -

2411 truncated: -

2412 al = 50; -

2413 SSL_error_internal(s, 115, __FILE__, 2473); -

2414

f_err:

code before this statement never executed: f_err:

2415 ssl3_send_alert(s, 2, al); -

2416

}

never executed: end of block

2417

err:

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

Executed by:

ssltest

2418 X509_free(x); -

2419 sk_pop_free(((_STACK*) (1 ? (sk) : (struct stack_st_X509*)0)), ((void (*)(void *)) ((1 ? (X509_free) : (void (*)(X509 *))0)))); -

2420 -

2421

return

executed 7 times by 1 test: return (ret);

Executed by:

ssltest

(ret);

executed 7 times by 1 test: return (ret);

Executed by:

ssltest

2422 } -

2423 -

2424 int -

2425 ssl3_send_server_certificate(SSL *s) -

2426 { -

2427 CBB cbb, server_cert; -

2428 X509 *x; -

2429 -

2430 -

2431 -

2432 -

2433 -

2434 memset(&cbb, 0, sizeof(cbb)); -

2435 -

2436

if ((

(s->s3->intern...(0x140\|0x2000)	Description
TRUE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

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

(s->s3->intern...(0x140\|0x2000)	Description
TRUE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

) {

0-55

2437

if ((

(x = ssl_get_s...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

x = ssl_get_server_send_cert(s)) ==

(x = ssl_get_s...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

0-55

2438

((void *)0)

(x = ssl_get_s...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

0-55

2439 ) { -

2440 SSL_error_internal(s, (4|64), __FILE__, 2498); -

2441

return

never executed: return (0);

(0);

never executed: return (0);

2442 } -

2443 -

2444

if (!ssl3_handshake_msg_start(s, &cbb, &server_cert,

!ssl3_handshak...rver_cert, 11)	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

0-55

2445

11)

!ssl3_handshak...rver_cert, 11)	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-55

2446

goto

never executed: goto err;

err;

never executed: goto err;

2447

if (!ssl3_output_cert_chain(s, &server_cert, x)

!ssl3_output_c...erver_cert, x)	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-55

2448

goto

never executed: goto err;

err;

never executed: goto err;

2449

if (!ssl3_handshake_msg_finish(s, &cbb)

!ssl3_handshak...inish(s, &cbb)	Description
TRUE	never evaluated
FALSE	evaluated 55 times by 3 tests Evaluated by: servertest ssltest tlstest

)

0-55

2450

goto

never executed: goto err;

err;

never executed: goto err;

2451 -

2452 (s->s3->internal)->hs.state = (0x141|0x2000); -

2453

}

executed 55 times by 3 tests: end of block

Executed by:

servertest
ssltest
tlstest

2454 -

2455 -

2456

return

executed 55 times by 3 tests: return (ssl3_handshake_write(s));

Executed by:

servertest
ssltest
tlstest

(ssl3_handshake_write(s));

executed 55 times by 3 tests: return (ssl3_handshake_write(s));

Executed by:

servertest
ssltest
tlstest

2457 -

2458 err: -

2459 CBB_cleanup(&cbb); -

2460 -

2461

return

never executed: return (0);

(0);

never executed: return (0);

2462 } -

2463 -

2464 -

2465 int -

2466 ssl3_send_newsession_ticket(SSL *s) -

2467 { -

2468 CBB cbb, session_ticket, ticket; -

2469 SSL_CTX *tctx = s->initial_ctx; -

2470 size_t enc_session_len, enc_session_max_len, hmac_len; -

2471 size_t session_len = 0; -

2472 unsigned char *enc_session = -

2473 ((void *)0) -

2474 , *session = -

2475 ((void *)0) -

2476 ; -

2477 unsigned char iv[16]; -

2478 unsigned char key_name[16]; -

2479 unsigned char *hmac; -

2480 unsigned int hlen; -

2481 EVP_CIPHER_CTX ctx; -

2482 HMAC_CTX hctx; -

2483 int len; -

2484 -

2485 -

2486 -

2487 -

2488 -

2489 EVP_CIPHER_CTX_init(&ctx); -

2490 HMAC_CTX_init(&hctx); -

2491 -

2492 memset(&cbb, 0, sizeof(cbb)); -

2493 -

2494

if ((

(s->s3->intern...(0x1F0\|0x2000)	Description
TRUE	evaluated 59 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

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

(s->s3->intern...(0x1F0\|0x2000)	Description
TRUE	evaluated 59 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

) {

0-59

2495

if (!ssl3_handshake_msg_start(s, &cbb, &session_ticket,

!ssl3_handshak...ion_ticket, 4)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

0-59

2496

!ssl3_handshak...ion_ticket, 4)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2497

goto

never executed: goto err;

err;

never executed: goto err;

2498 -

2499

if (!SSL_SESSION_ticket(s->session, &session, &session_len)

!SSL_SESSION_t... &session_len)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2500

goto

never executed: goto err;

err;

never executed: goto err;

2501

if (session_len > 0xffff

session_len > 0xffff	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2502

goto

never executed: goto err;

err;

never executed: goto err;

2503 -

2504 -

2505 -

2506 -

2507 -

2508 -

2509

if (tctx->internal->tlsext_ticket_key_cb !=

tctx->internal...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

0-59

2510

((void *)0)

tctx->internal...!= ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

0-59

2511 ) { -

2512

if (tctx->internal->tlsext_ticket_key_cb(s,

tctx->internal... &hctx, 1) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

2513

key_name, iv, &ctx, &hctx, 1) < 0

tctx->internal... &hctx, 1) < 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

2514 EVP_CIPHER_CTX_cleanup(&ctx); -

2515

goto

never executed: goto err;

err;

never executed: goto err;

2516 } -

2517

}

never executed: end of block

else {

2518 arc4random_buf(iv, 16); -

2519 EVP_EncryptInit_ex(&ctx, EVP_aes_128_cbc(), -

2520 ((void *)0) -

2521 , -

2522 tctx->internal->tlsext_tick_aes_key, iv); -

2523 HMAC_Init_ex(&hctx, tctx->internal->tlsext_tick_hmac_key, -

2524 16, EVP_sha256(), -

2525 ((void *)0) -

2526 ); -

2527 memcpy(key_name, tctx->internal->tlsext_tick_key_name, 16); -

2528

}

executed 59 times by 1 test: end of block

Executed by:

ssltest

2529 -

2530 -

2531 enc_session_max_len = session_len + 32; -

2532

if ((

(enc_session =...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

enc_session = calloc(1, enc_session_max_len)) ==

(enc_session =...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

0-59

2533

((void *)0)

(enc_session =...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

0-59

2534 ) -

2535

goto

never executed: goto err;

err;

never executed: goto err;

2536 enc_session_len = 0; -

2537

if (!EVP_EncryptUpdate(&ctx, enc_session, &len, session,

!EVP_EncryptUp..., session_len)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

0-59

2538

session_len)

!EVP_EncryptUp..., session_len)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2539

goto

never executed: goto err;

err;

never executed: goto err;

2540 enc_session_len += len; -

2541

if (!EVP_EncryptFinal_ex(&ctx, enc_session + enc_session_len,

!EVP_EncryptFi...ion_len, &len)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

0-59

2542

&len)

!EVP_EncryptFi...ion_len, &len)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2543

goto

never executed: goto err;

err;

never executed: goto err;

2544 enc_session_len += len; -

2545 -

2546

if (enc_session_len > enc_session_max_len

enc_session_le...ession_max_len	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2547

goto

never executed: goto err;

err;

never executed: goto err;

2548 -

2549 -

2550

if (!HMAC_Update(&hctx, key_name, sizeof(key_name))

!HMAC_Update(&...eof(key_name))	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2551

goto

never executed: goto err;

err;

never executed: goto err;

2552

if (!HMAC_Update(&hctx, iv, EVP_CIPHER_CTX_iv_length(&ctx))

!HMAC_Update(&..._length(&ctx))	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2553

goto

never executed: goto err;

err;

never executed: goto err;

2554

if (!HMAC_Update(&hctx, enc_session, enc_session_len)

!HMAC_Update(&...c_session_len)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2555

goto

never executed: goto err;

err;

never executed: goto err;

2556 -

2557

if ((

(hmac_len = (E...x)->md))) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

hmac_len = (EVP_MD_size((&hctx)->md))) <= 0

(hmac_len = (E...x)->md))) <= 0	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2558

goto

never executed: goto err;

err;

never executed: goto err;

2559 -

2560 -

2561 -

2562 -

2563 -

2564 -

2565 -

2566

if (!CBB_add_u32(&session_ticket,

!CBB_add_u32(&...sion->timeout)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

0-59

2567

s->internal->hit ? 0 : s->session->timeout)

!CBB_add_u32(&...sion->timeout)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2568

goto

never executed: goto err;

err;

never executed: goto err;

2569 -

2570

if (!CBB_add_u16_length_prefixed(&session_ticket, &ticket)

!CBB_add_u16_l...cket, &ticket)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2571

goto

never executed: goto err;

err;

never executed: goto err;

2572

if (!CBB_add_bytes(&ticket, key_name, sizeof(key_name))

!CBB_add_bytes...eof(key_name))	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2573

goto

never executed: goto err;

err;

never executed: goto err;

2574

if (!CBB_add_bytes(&ticket, iv, EVP_CIPHER_CTX_iv_length(&ctx))

!CBB_add_bytes..._length(&ctx))	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2575

goto

never executed: goto err;

err;

never executed: goto err;

2576

if (!CBB_add_bytes(&ticket, enc_session, enc_session_len)

!CBB_add_bytes...c_session_len)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2577

goto

never executed: goto err;

err;

never executed: goto err;

2578

if (!CBB_add_space(&ticket, &hmac, hmac_len)

!CBB_add_space...mac, hmac_len)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2579

goto

never executed: goto err;

err;

never executed: goto err;

2580 -

2581

if (!HMAC_Final(&hctx, hmac, &hlen)

!HMAC_Final(&h..., hmac, &hlen)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2582

goto

never executed: goto err;

err;

never executed: goto err;

2583

if (hlen != hmac_len

hlen != hmac_len	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2584

goto

never executed: goto err;

err;

never executed: goto err;

2585 -

2586

if (!ssl3_handshake_msg_finish(s, &cbb)

!ssl3_handshak...inish(s, &cbb)	Description
TRUE	never evaluated
FALSE	evaluated 59 times by 1 test Evaluated by: ssltest

)

0-59

2587

goto

never executed: goto err;

err;

never executed: goto err;

2588 -

2589 (s->s3->internal)->hs.state = (0x1F1|0x2000); -

2590

}

executed 59 times by 1 test: end of block

Executed by:

ssltest

2591 -

2592 EVP_CIPHER_CTX_cleanup(&ctx); -

2593 HMAC_CTX_cleanup(&hctx); -

2594 freezero(session, session_len); -

2595 free(enc_session); -

2596 -

2597 -

2598

return

executed 59 times by 1 test: return (ssl3_handshake_write(s));

Executed by:

ssltest

(ssl3_handshake_write(s));

executed 59 times by 1 test: return (ssl3_handshake_write(s));

Executed by:

ssltest

2599 -

2600 err: -

2601 CBB_cleanup(&cbb); -

2602 EVP_CIPHER_CTX_cleanup(&ctx); -

2603 HMAC_CTX_cleanup(&hctx); -

2604 freezero(session, session_len); -

2605 free(enc_session); -

2606 -

2607

return

never executed: return (-1);

(-1);

never executed: return (-1);

2608 } -

2609 -

2610 int -

2611 ssl3_send_cert_status(SSL *s) -

2612 { -

2613 CBB cbb, certstatus, ocspresp; -

2614 -

2615 memset(&cbb, 0, sizeof(cbb)); -

2616 -

2617

if ((

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

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

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

) {

2618

if (!ssl3_handshake_msg_start(s, &cbb, &certstatus,

!ssl3_handshak...ertstatus, 22)	Description
TRUE	never evaluated
FALSE	never evaluated

2619

22)

!ssl3_handshak...ertstatus, 22)	Description
TRUE	never evaluated
FALSE	never evaluated

)

2620

goto

never executed: goto err;

err;

never executed: goto err;

2621

if (!CBB_add_u8(&certstatus, s->tlsext_status_type)

!CBB_add_u8(&c...t_status_type)	Description
TRUE	never evaluated
FALSE	never evaluated

)

2622

goto

never executed: goto err;

err;

never executed: goto err;

2623

if (!CBB_add_u24_length_prefixed(&certstatus, &ocspresp)

!CBB_add_u24_l...us, &ocspresp)	Description
TRUE	never evaluated
FALSE	never evaluated

)

2624

goto

never executed: goto err;

err;

never executed: goto err;

2625

if (!CBB_add_bytes(&ocspresp, s->internal->tlsext_ocsp_resp,

!CBB_add_bytes..._ocsp_resplen)	Description
TRUE	never evaluated
FALSE	never evaluated

2626

s->internal->tlsext_ocsp_resplen)

!CBB_add_bytes..._ocsp_resplen)	Description
TRUE	never evaluated
FALSE	never evaluated

)

2627

goto

never executed: goto err;

err;

never executed: goto err;

2628

if (!ssl3_handshake_msg_finish(s, &cbb)

!ssl3_handshak...inish(s, &cbb)	Description
TRUE	never evaluated
FALSE	never evaluated

)

2629

goto

never executed: goto err;

err;

never executed: goto err;

2630 -

2631 (s->s3->internal)->hs.state = (0x201|0x2000); -

2632

}

never executed: end of block

2633 -

2634 -

2635

return

never executed: return (ssl3_handshake_write(s));

(ssl3_handshake_write(s));

never executed: return (ssl3_handshake_write(s));

2636 -

2637 err: -

2638 CBB_cleanup(&cbb); -

2639 -

2640

return

never executed: return (-1);

(-1);

never executed: return (-1);

2641 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2