OpenCoverage

bs_cbb.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 static int -

7 cbb_init(CBB *cbb, uint8_t *buf, size_t cap) -

8 { -

9 struct cbb_buffer_st *base; -

10 -

11 base = malloc(sizeof(struct cbb_buffer_st)); -

if (base ==

base == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1859 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

0-1859

((void *)0)

base == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1859 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

0-1859

14 ) -

return

never executed: return 0;

16 -

17 base->buf = buf; -

18 base->len = 0; -

19 base->cap = cap; -

20 base->can_resize = 1; -

21 -

22 cbb->base = base; -

23 cbb->is_top_level = 1; -

24 -

return

executed 1859 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 1859 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

1859

26 } -

27 -

28 int -

29 CBB_init(CBB *cbb, size_t initial_capacity) -

30 { -

31 uint8_t *buf = -

32 ((void *)0) -

33 ; -

34 -

35 memset(cbb, 0, sizeof(*cbb)); -

36 -

if (initial_capacity == 0

initial_capacity == 0	Description
TRUE	evaluated 171 times by 6 tests Evaluated by: asn1test bytestringtest servertest ssltest tlsexttest tlstest
FALSE	evaluated 586 times by 5 tests Evaluated by: bytestringtest clienttest servertest ssltest tlstest

)

171-586

initial_capacity = 64;

executed 171 times by 6 tests: initial_capacity = 64;

Executed by:

asn1test
bytestringtest
servertest
ssltest
tlsexttest
tlstest

171

39 -

if ((

(buf = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 757 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

buf = malloc(initial_capacity)) ==

(buf = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 757 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-757

((void *)0)

(buf = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 757 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-757

42 ) -

return

never executed: return 0;

44 -

if (!cbb_init(cbb, buf, initial_capacity)

!cbb_init(cbb,...tial_capacity)	Description
TRUE	never evaluated
FALSE	evaluated 757 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

) {

0-757

46 free(buf); -

return

never executed: return 0;

48 } -

49 -

return

executed 757 times by 7 tests: return 1;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 757 times by 7 tests: return 1;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

757

51 } -

52 -

53 int -

54 CBB_init_fixed(CBB *cbb, uint8_t *buf, size_t len) -

55 { -

56 memset(cbb, 0, sizeof(*cbb)); -

57 -

if (!cbb_init(cbb, buf, len)

!cbb_init(cbb, buf, len)	Description
TRUE	never evaluated
FALSE	evaluated 1102 times by 7 tests Evaluated by: bytestringtest cipher_list cipherstest clienttest servertest ssltest tlstest

)

0-1102

return

never executed: return 0;

60 -

61 cbb->base->can_resize = 0; -

62 -

return

executed 1102 times by 7 tests: return 1;

Executed by:

bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlstest

executed 1102 times by 7 tests: return 1;

Executed by:

bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlstest

1102

64 } -

65 -

66 void -

67 CBB_cleanup(CBB *cbb) -

68 { -

if (cbb->base

cbb->base	Description
TRUE	evaluated 1859 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 95 times by 4 tests Evaluated by: asn1test servertest ssltest tlsexttest

) {

95-1859

if (cbb->base->can_resize

cbb->base->can_resize	Description
TRUE	evaluated 757 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 1102 times by 7 tests Evaluated by: bytestringtest cipher_list cipherstest clienttest servertest ssltest tlstest

)

757-1102

freezero(cbb->base->buf, cbb->base->cap);

executed 757 times by 7 tests: freezero(cbb->base->buf, cbb->base->cap);

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

757

72 free(cbb->base); -

}

executed 1859 times by 9 tests: end of block

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

1859

74 cbb->base = -

75 ((void *)0) -

76 ; -

77 cbb->child = -

78 ((void *)0) -

79 ; -

}

executed 1954 times by 9 tests: end of block

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

1954

81 -

82 static int -

83 cbb_buffer_add(struct cbb_buffer_st *base, uint8_t **out, size_t len) -

84 { -

85 size_t newlen; -

86 -

if (base ==

base == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 11386 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

0-11386

((void *)0)

base == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 11386 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

0-11386

89 ) -

return

never executed: return 0;

91 -

92 newlen = base->len + len; -

if (newlen < base->len

newlen < base->len	Description
TRUE	never evaluated
FALSE	evaluated 11386 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

)

0-11386

94 -

return

never executed: return 0;

96 -

if (newlen > base->cap

newlen > base->cap	Description
TRUE	evaluated 183 times by 5 tests Evaluated by: asn1test bytestringtest servertest ssltest tlsexttest
FALSE	evaluated 11203 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

) {

183-11203

98 size_t newcap = base->cap * 2; -

99 uint8_t *newbuf; -

100 -

101

if (!base->can_resize

!base->can_resize	Description
TRUE	evaluated 2 times by 1 test Evaluated by: bytestringtest
FALSE	evaluated 181 times by 5 tests Evaluated by: asn1test bytestringtest servertest ssltest tlsexttest

)

2-181

102

return

executed 2 times by 1 test: return 0;

Executed by:

bytestringtest

executed 2 times by 1 test: return 0;

Executed by:

bytestringtest

103 -

104

if (newcap < base->cap

newcap < base->cap	Description
TRUE	never evaluated
FALSE	evaluated 181 times by 5 tests Evaluated by: asn1test bytestringtest servertest ssltest tlsexttest

|| newcap < newlen

newcap < newlen	Description
TRUE	evaluated 37 times by 5 tests Evaluated by: asn1test bytestringtest servertest ssltest tlsexttest
FALSE	evaluated 144 times by 4 tests Evaluated by: asn1test bytestringtest servertest ssltest

)

0-181

105

newcap = newlen;

executed 37 times by 5 tests: newcap = newlen;

Executed by:

asn1test
bytestringtest
servertest
ssltest
tlsexttest

106 -

107 newbuf = recallocarray(base->buf, base->cap, newcap, 1); -

108

if (newbuf ==

newbuf == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 181 times by 5 tests Evaluated by: asn1test bytestringtest servertest ssltest tlsexttest

0-181

109

((void *)0)

newbuf == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 181 times by 5 tests Evaluated by: asn1test bytestringtest servertest ssltest tlsexttest

0-181

110 ) -

111

return

never executed: return 0;

112 -

113 base->buf = newbuf; -

114 base->cap = newcap; -

115

}

executed 181 times by 5 tests: end of block

Executed by:

asn1test
bytestringtest
servertest
ssltest
tlsexttest

181

116 -

117

if (out

out	Description
TRUE	evaluated 11358 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 26 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

26-11358

118

executed 11358 times by 9 tests: *out = base->buf + base->len;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

out = base->buf + base->len;

executed 11358 times by 9 tests: *out = base->buf + base->len;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

11358

119 -

120 base->len = newlen; -

121

return

executed 11384 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 11384 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

11384

122 } -

123 -

124 static int -

125 cbb_add_u(CBB *cbb, uint32_t v, size_t len_len) -

126 { -

127 uint8_t *buf; -

128 size_t i; -

129 -

130

if (len_len == 0

len_len == 0	Description
TRUE	never evaluated
FALSE	evaluated 7688 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

)

0-7688

131

return

never executed: return 1;

132 -

133

if (len_len > 4

len_len > 4	Description
TRUE	never evaluated
FALSE	evaluated 7688 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

)

0-7688

134

return

never executed: return 0;

135 -

136

if (!CBB_flush(cbb)

!CBB_flush(cbb)	Description
TRUE	evaluated 3 times by 1 test Evaluated by: bytestringtest
FALSE	evaluated 7685 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

|| !cbb_buffer_add(cbb->base, &buf, len_len)

!cbb_buffer_ad...&buf, len_len)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: bytestringtest
FALSE	evaluated 7683 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

)

2-7685

137

return

executed 5 times by 1 test: return 0;

Executed by:

bytestringtest

executed 5 times by 1 test: return 0;

Executed by:

bytestringtest

138 -

139

for (i = len_len - 1; i < len_len

i < len_len	Description
TRUE	evaluated 12843 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 7683 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

; i--) {

7683-12843

140 buf[i] = v; -

141 v >>= 8; -

142

}

executed 12843 times by 9 tests: end of block

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

12843

143

return

executed 7683 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 7683 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

7683

144 } -

145 -

146 int -

147 CBB_finish(CBB *cbb, uint8_t **out_data, size_t *out_len) -

148 { -

149

if (!cbb->is_top_level

!cbb->is_top_level	Description
TRUE	evaluated 1 time by 1 test Evaluated by: bytestringtest
FALSE	evaluated 1847 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

)

1-1847

150

return

executed 1 time by 1 test: return 0;

Executed by:

bytestringtest

executed 1 time by 1 test: return 0;

Executed by:

bytestringtest

151 -

152

if (!CBB_flush(cbb)

!CBB_flush(cbb)	Description
TRUE	never evaluated
FALSE	evaluated 1847 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

)

0-1847

153

return

never executed: return 0;

154 -

155

if (cbb->base->can_resize

cbb->base->can_resize	Description
TRUE	evaluated 745 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 1102 times by 7 tests Evaluated by: bytestringtest cipher_list cipherstest clienttest servertest ssltest tlstest

&& (out_data ==

out_data == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 745 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-1102

156

((void *)0)

out_data == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 745 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-745

157

|| out_len ==

out_len == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 745 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-745

158

((void *)0)

out_len == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 745 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-745

159 )) -

160 -

161 -

162 -

163 -

164

return

never executed: return 0;

165 -

166

if (out_data !=

out_data != ((void *)0)	Description
TRUE	evaluated 747 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 1100 times by 6 tests Evaluated by: cipher_list cipherstest clienttest servertest ssltest tlstest

747-1100

167

((void *)0)

out_data != ((void *)0)	Description
TRUE	evaluated 747 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 1100 times by 6 tests Evaluated by: cipher_list cipherstest clienttest servertest ssltest tlstest

747-1100

168 ) -

169

executed 747 times by 7 tests: *out_data = cbb->base->buf;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

out_data = cbb->base->buf;

executed 747 times by 7 tests: *out_data = cbb->base->buf;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

747

170 -

171

if (out_len !=

out_len != ((void *)0)	Description
TRUE	evaluated 875 times by 8 tests Evaluated by: asn1test bytestringtest cipher_list clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 972 times by 4 tests Evaluated by: cipherstest clienttest servertest ssltest

875-972

172

((void *)0)

out_len != ((void *)0)	Description
TRUE	evaluated 875 times by 8 tests Evaluated by: asn1test bytestringtest cipher_list clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 972 times by 4 tests Evaluated by: cipherstest clienttest servertest ssltest

875-972

173 ) -

174

executed 875 times by 8 tests: *out_len = cbb->base->len;

Executed by:

asn1test
bytestringtest
cipher_list
clienttest
servertest
ssltest
tlsexttest
tlstest

out_len = cbb->base->len;

executed 875 times by 8 tests: *out_len = cbb->base->len;

Executed by:

asn1test
bytestringtest
cipher_list
clienttest
servertest
ssltest
tlsexttest
tlstest

875

175 -

176 cbb->base->buf = -

177 ((void *)0) -

178 ; -

179 CBB_cleanup(cbb); -

180

return

executed 1847 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 1847 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

1847

181 } -

182 -

183 -

184 -

185 -

186 -

187 -

188 int -

189 CBB_flush(CBB *cbb) -

190 { -

191 size_t child_start, i, len; -

192 -

193

if (cbb->base ==

cbb->base == ((void *)0)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: bytestringtest
FALSE	evaluated 18091 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

7-18091

194

((void *)0)

cbb->base == ((void *)0)	Description
TRUE	evaluated 7 times by 1 test Evaluated by: bytestringtest
FALSE	evaluated 18091 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

7-18091

195 ) -

196

return

executed 7 times by 1 test: return 0;

Executed by:

bytestringtest

executed 7 times by 1 test: return 0;

Executed by:

bytestringtest

197 -

198

if (cbb->child ==

cbb->child == ((void *)0)	Description
TRUE	evaluated 15138 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 2953 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

2953-15138

199

((void *)0)

cbb->child == ((void *)0)	Description
TRUE	evaluated 15138 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 2953 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

2953-15138

200

|| cbb->pending_len_len == 0

cbb->pending_len_len == 0	Description
TRUE	never evaluated
FALSE	evaluated 2953 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

)

0-2953

201

return

executed 15138 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 15138 times by 9 tests: return 1;

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

15138

202 -

203 child_start = cbb->offset + cbb->pending_len_len; -

204 -

205

if (!CBB_flush(cbb->child)

!CBB_flush(cbb->child)	Description
TRUE	never evaluated
FALSE	evaluated 2953 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

|| child_start < cbb->offset

child_start < cbb->offset	Description
TRUE	never evaluated
FALSE	evaluated 2953 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-2953

206

cbb->base->len < child_start

cbb->base->len < child_start	Description
TRUE	never evaluated
FALSE	evaluated 2953 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

)

0-2953

207

return

never executed: return 0;

208 -

209 len = cbb->base->len - child_start; -

210 -

211

if (cbb->pending_is_asn1

cbb->pending_is_asn1	Description
TRUE	evaluated 828 times by 3 tests Evaluated by: asn1test bytestringtest ssltest
FALSE	evaluated 2125 times by 6 tests Evaluated by: bytestringtest clienttest servertest ssltest tlsexttest tlstest

) {

828-2125

212 size_t len_len = 1; -

213 uint8_t initial_length_byte; -

214 -

215 -

216 -

217 (( -

218 cbb->pending_len_len == 1 -

219 ) ? (void) (0) : __assert_fail ( -

220 "cbb->pending_len_len == 1" -

221 , __FILE__, 217, __PRETTY_FUNCTION__)) -

222 ; -

223 -

224 -

225

if (len > 0xfffffffe

len > 0xfffffffe	Description
TRUE	never evaluated
FALSE	evaluated 828 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

0-828

226

return

never executed: return 0;

227

else if (len > 0xffffff

len > 0xffffff	Description
TRUE	never evaluated
FALSE	evaluated 828 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

0-828

228

len_len = 5;

never executed: len_len = 5;

229

else if (len > 0xffff

len > 0xffff	Description
TRUE	evaluated 2 times by 1 test Evaluated by: bytestringtest
FALSE	evaluated 826 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

2-826

230

len_len = 4;

executed 2 times by 1 test: len_len = 4;

Executed by:

bytestringtest

231

else if (len > 0xff

len > 0xff	Description
TRUE	evaluated 19 times by 3 tests Evaluated by: asn1test bytestringtest ssltest
FALSE	evaluated 807 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

19-807

232

len_len = 3;

executed 19 times by 3 tests: len_len = 3;

Executed by:

asn1test
bytestringtest
ssltest

233

else if (len > 0x7f

len > 0x7f	Description
TRUE	evaluated 5 times by 2 tests Evaluated by: asn1test bytestringtest
FALSE	evaluated 802 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

5-802

234

len_len = 2;

executed 5 times by 2 tests: len_len = 2;

Executed by:

asn1test
bytestringtest

235 -

236

if (len_len == 1

len_len == 1	Description
TRUE	evaluated 802 times by 3 tests Evaluated by: asn1test bytestringtest ssltest
FALSE	evaluated 26 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

) {

26-802

237 -

238 initial_length_byte = len; -

239 len = 0; -

240 -

241

}

executed 802 times by 3 tests: end of block

Executed by:

asn1test
bytestringtest
ssltest

else {

802

242 -

243 -

244 -

245 -

246 initial_length_byte = 0x80 | (len_len - 1); -

247 -

248 -

249 -

250 -

251 -

252 size_t extra_bytes = len_len - 1; -

253

if (!cbb_buffer_add(cbb->base,

!cbb_buffer_ad..., extra_bytes)	Description
TRUE	never evaluated
FALSE	evaluated 26 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

0-26

254

((void *)0)

!cbb_buffer_ad..., extra_bytes)	Description
TRUE	never evaluated
FALSE	evaluated 26 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

0-26

255

, extra_bytes)

!cbb_buffer_ad..., extra_bytes)	Description
TRUE	never evaluated
FALSE	evaluated 26 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

0-26

256

return

never executed: return 0;

257 -

258 memmove(cbb->base->buf + child_start + extra_bytes, -

259 cbb->base->buf + child_start, len); -

260

}

executed 26 times by 3 tests: end of block

Executed by:

asn1test
bytestringtest
ssltest

261 cbb->base->buf[cbb->offset++] = initial_length_byte; -

262 cbb->pending_len_len = len_len - 1; -

263

}

executed 828 times by 3 tests: end of block

Executed by:

asn1test
bytestringtest
ssltest

828

264 -

265

for (i = cbb->pending_len_len - 1; i < cbb->pending_len_len

i < cbb->pending_len_len	Description
TRUE	evaluated 4590 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest
FALSE	evaluated 2953 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

; i--) {

2953-4590

266 cbb->base->buf[cbb->offset + i] = len; -

267 len >>= 8; -

268

}

executed 4590 times by 7 tests: end of block

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

4590

269

if (len != 0

len != 0	Description
TRUE	never evaluated
FALSE	evaluated 2953 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

)

0-2953

270

return

never executed: return 0;

271 -

272 cbb->child->base = -

273 ((void *)0) -

274 ; -

275 cbb->child = -

276 ((void *)0) -

277 ; -

278 cbb->pending_len_len = 0; -

279 cbb->pending_is_asn1 = 0; -

280 cbb->offset = 0; -

281 -

282

return

executed 2953 times by 7 tests: return 1;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 2953 times by 7 tests: return 1;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

2953

283 } -

284 -

285 void -

286 CBB_discard_child(CBB *cbb) -

287 { -

288

if (cbb->child ==

cbb->child == ((void *)0)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: bytestringtest
FALSE	evaluated 4 times by 3 tests Evaluated by: bytestringtest servertest tlsexttest

1-4

289

((void *)0)

cbb->child == ((void *)0)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: bytestringtest
FALSE	evaluated 4 times by 3 tests Evaluated by: bytestringtest servertest tlsexttest

1-4

290 ) -

291

return;

executed 1 time by 1 test: return;

Executed by:

bytestringtest

292 -

293 cbb->base->len = cbb->offset; -

294 -

295 cbb->child->base = -

296 ((void *)0) -

297 ; -

298 cbb->child = -

299 ((void *)0) -

300 ; -

301 cbb->pending_len_len = 0; -

302 cbb->pending_is_asn1 = 0; -

303 cbb->offset = 0; -

304

}

executed 4 times by 3 tests: end of block

Executed by:

bytestringtest
servertest
tlsexttest

305 -

306 static int -

307 cbb_add_length_prefixed(CBB *cbb, CBB *out_contents, size_t len_len) -

308 { -

309 uint8_t *prefix_bytes; -

310 -

311

if (!CBB_flush(cbb)

!CBB_flush(cbb)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: bytestringtest
FALSE	evaluated 2130 times by 6 tests Evaluated by: bytestringtest clienttest servertest ssltest tlsexttest tlstest

)

2-2130

312

return

executed 2 times by 1 test: return 0;

Executed by:

bytestringtest

executed 2 times by 1 test: return 0;

Executed by:

bytestringtest

313 -

314 cbb->offset = cbb->base->len; -

315

if (!cbb_buffer_add(cbb->base, &prefix_bytes, len_len)

!cbb_buffer_ad...ytes, len_len)	Description
TRUE	never evaluated
FALSE	evaluated 2130 times by 6 tests Evaluated by: bytestringtest clienttest servertest ssltest tlsexttest tlstest

)

0-2130

316

return

never executed: return 0;

317 -

318 memset(prefix_bytes, 0, len_len); -

319 memset(out_contents, 0, sizeof(CBB)); -

320 out_contents->base = cbb->base; -

321 cbb->child = out_contents; -

322 cbb->pending_len_len = len_len; -

323 cbb->pending_is_asn1 = 0; -

324 -

325

return

executed 2130 times by 6 tests: return 1;

Executed by:

bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 2130 times by 6 tests: return 1;

Executed by:

bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

2130

326 } -

327 -

328 int -

329 CBB_add_u8_length_prefixed(CBB *cbb, CBB *out_contents) -

330 { -

331

return

executed 452 times by 6 tests: return cbb_add_length_prefixed(cbb, out_contents, 1);

Executed by:

bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

cbb_add_length_prefixed(cbb, out_contents, 1);

executed 452 times by 6 tests: return cbb_add_length_prefixed(cbb, out_contents, 1);

Executed by:

bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

452

332 } -

333 -

334 int -

335 CBB_add_u16_length_prefixed(CBB *cbb, CBB *out_contents) -

336 { -

337

return

executed 939 times by 6 tests: return cbb_add_length_prefixed(cbb, out_contents, 2);

Executed by:

bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

cbb_add_length_prefixed(cbb, out_contents, 2);

executed 939 times by 6 tests: return cbb_add_length_prefixed(cbb, out_contents, 2);

Executed by:

bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

939

338 } -

339 -

340 int -

341 CBB_add_u24_length_prefixed(CBB *cbb, CBB *out_contents) -

342 { -

343

return

executed 741 times by 5 tests: return cbb_add_length_prefixed(cbb, out_contents, 3);

Executed by:

bytestringtest
clienttest
servertest
ssltest
tlstest

cbb_add_length_prefixed(cbb, out_contents, 3);

executed 741 times by 5 tests: return cbb_add_length_prefixed(cbb, out_contents, 3);

Executed by:

bytestringtest
clienttest
servertest
ssltest
tlstest

741

344 } -

345 -

346 int -

347 CBB_add_asn1(CBB *cbb, CBB *out_contents, unsigned int tag) -

348 { -

349

if (tag >

tag > (255)	Description
TRUE	never evaluated
FALSE	evaluated 833 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

0-833

350

(255)

tag > (255)	Description
TRUE	never evaluated
FALSE	evaluated 833 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

0-833

351 ) -

352

return

never executed: return 0;

353 -

354 -

355

if ((

(tag & 0x1f) == 0x1f	Description
TRUE	never evaluated
FALSE	evaluated 833 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

tag & 0x1f) == 0x1f

(tag & 0x1f) == 0x1f	Description
TRUE	never evaluated
FALSE	evaluated 833 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

0-833

356

return

never executed: return 0;

357 -

358 -

359

if (!CBB_flush(cbb)

!CBB_flush(cbb)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: bytestringtest
FALSE	evaluated 832 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

|| !CBB_add_u8(cbb, tag)

!CBB_add_u8(cbb, tag)	Description
TRUE	never evaluated
FALSE	evaluated 832 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

0-832

360

return

executed 1 time by 1 test: return 0;

Executed by:

bytestringtest

executed 1 time by 1 test: return 0;

Executed by:

bytestringtest

361 -

362 -

363 -

364 -

365 -

366 cbb->offset = cbb->base->len; -

367

if (!CBB_add_u8(cbb, 0)

!CBB_add_u8(cbb, 0)	Description
TRUE	never evaluated
FALSE	evaluated 832 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

0-832

368

return

never executed: return 0;

369 -

370 memset(out_contents, 0, sizeof(CBB)); -

371 out_contents->base = cbb->base; -

372 cbb->child = out_contents; -

373 cbb->pending_len_len = 1; -

374 cbb->pending_is_asn1 = 1; -

375 -

376

return

executed 832 times by 3 tests: return 1;

Executed by:

asn1test
bytestringtest
ssltest

executed 832 times by 3 tests: return 1;

Executed by:

asn1test
bytestringtest
ssltest

832

377 } -

378 -

379 int -

380 CBB_add_bytes(CBB *cbb, const uint8_t *data, size_t len) -

381 { -

382 uint8_t *dest; -

383 -

384

if (!CBB_add_space(cbb, &dest, len)

!CBB_add_space...b, &dest, len)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: bytestringtest
FALSE	evaluated 1148 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

)

1-1148

385

return

executed 1 time by 1 test: return 0;

Executed by:

bytestringtest

executed 1 time by 1 test: return 0;

Executed by:

bytestringtest

386 -

387 memcpy(dest, data, len); -

388

return

executed 1148 times by 7 tests: return 1;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 1148 times by 7 tests: return 1;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

1148

389 } -

390 -

391 int -

392 CBB_add_space(CBB *cbb, uint8_t **out_data, size_t len) -

393 { -

394

if (!CBB_flush(cbb)

!CBB_flush(cbb)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: bytestringtest
FALSE	evaluated 1545 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

|| !cbb_buffer_add(cbb->base, out_data, len)

!cbb_buffer_ad...out_data, len)	Description
TRUE	never evaluated
FALSE	evaluated 1545 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

)

0-1545

395

return

executed 1 time by 1 test: return 0;

Executed by:

bytestringtest

executed 1 time by 1 test: return 0;

Executed by:

bytestringtest

396 -

397

return

executed 1545 times by 7 tests: return 1;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

executed 1545 times by 7 tests: return 1;

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

1545

398 } -

399 -

400 int -

401 CBB_add_u8(CBB *cbb, size_t value) -

402 { -

403

if (value >

value > (255)	Description
TRUE	never evaluated
FALSE	evaluated 3570 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-3570

404

(255)

value > (255)	Description
TRUE	never evaluated
FALSE	evaluated 3570 times by 7 tests Evaluated by: asn1test bytestringtest clienttest servertest ssltest tlsexttest tlstest

0-3570

405 ) -

406

return

never executed: return 0;

407 -

408

return

executed 3570 times by 7 tests: return cbb_add_u(cbb, (uint32_t)value, 1);

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

cbb_add_u(cbb, (uint32_t)value, 1);

executed 3570 times by 7 tests: return cbb_add_u(cbb, (uint32_t)value, 1);

Executed by:

asn1test
bytestringtest
clienttest
servertest
ssltest
tlsexttest
tlstest

3570

409 } -

410 -

411 int -

412 CBB_add_u16(CBB *cbb, size_t value) -

413 { -

414

if (value >

value > (65535)	Description
TRUE	never evaluated
FALSE	evaluated 3133 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

0-3133

415

(65535)

value > (65535)	Description
TRUE	never evaluated
FALSE	evaluated 3133 times by 9 tests Evaluated by: asn1test bytestringtest cipher_list cipherstest clienttest servertest ssltest tlsexttest tlstest

0-3133

416 ) -

417

return

never executed: return 0;

418 -

419

return

executed 3133 times by 9 tests: return cbb_add_u(cbb, (uint32_t)value, 2);

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

cbb_add_u(cbb, (uint32_t)value, 2);

executed 3133 times by 9 tests: return cbb_add_u(cbb, (uint32_t)value, 2);

Executed by:

asn1test
bytestringtest
cipher_list
cipherstest
clienttest
servertest
ssltest
tlsexttest
tlstest

3133

420 } -

421 -

422 int -

423 CBB_add_u24(CBB *cbb, size_t value) -

424 { -

425

if (value > 0xffffffUL

value > 0xffffffUL	Description
TRUE	never evaluated
FALSE	evaluated 925 times by 3 tests Evaluated by: bytestringtest clienttest ssltest

)

0-925

426

return

never executed: return 0;

427 -

428

return

executed 925 times by 3 tests: return cbb_add_u(cbb, (uint32_t)value, 3);

Executed by:

bytestringtest
clienttest
ssltest

cbb_add_u(cbb, (uint32_t)value, 3);

executed 925 times by 3 tests: return cbb_add_u(cbb, (uint32_t)value, 3);

Executed by:

bytestringtest
clienttest
ssltest

925

429 } -

430 -

431 int -

432 CBB_add_u32(CBB *cbb, size_t value) -

433 { -

434

if (value > 0xffffffffUL

value > 0xffffffffUL	Description
TRUE	never evaluated
FALSE	evaluated 60 times by 2 tests Evaluated by: bytestringtest ssltest

)

0-60

435

return

never executed: return 0;

436 -

437

return

executed 60 times by 2 tests: return cbb_add_u(cbb, (uint32_t)value, 4);

Executed by:

bytestringtest
ssltest

cbb_add_u(cbb, (uint32_t)value, 4);

executed 60 times by 2 tests: return cbb_add_u(cbb, (uint32_t)value, 4);

Executed by:

bytestringtest
ssltest

438 } -

439 -

440 int -

441 CBB_add_asn1_uint64(CBB *cbb, uint64_t value) -

442 { -

443 CBB child; -

444 size_t i; -

445 int started = 0; -

446 -

447

if (!CBB_add_asn1(cbb, &child, (0x00 | 0x00 | 0x2))

!CBB_add_asn1(...\| 0x00 \| 0x2))	Description
TRUE	never evaluated
FALSE	evaluated 268 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

0-268

448

return

never executed: return 0;

449 -

450

for (i = 0; i < 8

i < 8	Description
TRUE	evaluated 2144 times by 3 tests Evaluated by: asn1test bytestringtest ssltest
FALSE	evaluated 268 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

; i++) {

268-2144

451 uint8_t byte = (value >> 8 * (7 - i)) & 0xff; -

452

if (!started

!started	Description
TRUE	evaluated 1812 times by 3 tests Evaluated by: asn1test bytestringtest ssltest
FALSE	evaluated 332 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

) {

332-1812

453

if (byte == 0

byte == 0	Description
TRUE	evaluated 1545 times by 3 tests Evaluated by: asn1test bytestringtest ssltest
FALSE	evaluated 267 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

)

267-1545

454 -

455

continue;

executed 1545 times by 3 tests: continue;

Executed by:

asn1test
bytestringtest
ssltest

1545

456 -

457 -

458 -

459 -

460 -

461

if ((

(byte & 0x80)	Description
TRUE	evaluated 14 times by 2 tests Evaluated by: bytestringtest ssltest
FALSE	evaluated 253 times by 3 tests Evaluated by: asn1test bytestringtest ssltest

byte & 0x80)

(byte & 0x80)	Description
TRUE	evaluated 14 times by 2 tests Evaluated by: bytestringtest ssltest
FALSE	evaluated 253 times by 3 tests Evaluated by: asn1test bytestringtest ssltest