OpenCoverage

tasn_dec.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/asn1/tasn_dec.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 -

7 -

8 static int asn1_check_eoc(const unsigned char **in, long len); -

9 static int asn1_find_end(const unsigned char **in, long len, char inf); -

10 -

11 static int asn1_collect(BUF_MEM *buf, const unsigned char **in, long len, -

12 char inf, int tag, int aclass, int depth); -

13 -

14 static int collect_data(BUF_MEM *buf, const unsigned char **p, long plen); -

15 -

16 static int asn1_check_tlen(long *olen, int *otag, unsigned char *oclass, -

17 char *inf, char *cst, const unsigned char **in, long len, int exptag, -

18 int expclass, char opt, ASN1_TLC *ctx); -

19 -

20 static int asn1_template_ex_d2i(ASN1_VALUE **pval, const unsigned char **in, -

21 long len, const ASN1_TEMPLATE *tt, char opt, ASN1_TLC *ctx, int depth); -

22 static int asn1_template_noexp_d2i(ASN1_VALUE **val, const unsigned char **in, -

23 long len, const ASN1_TEMPLATE *tt, char opt, ASN1_TLC *ctx, int depth); -

24 static int asn1_d2i_ex_primitive(ASN1_VALUE **pval, const unsigned char **in, -

25 long len, const ASN1_ITEM *it, int tag, int aclass, char opt, -

26 ASN1_TLC *ctx); -

27 -

28 -

29 static const unsigned long tag2bit[32] = { -

30 0, 0, 0, 0x0400, -

31 0x0200, 0, 0, 0x1000, -

32 0x1000, 0x1000, 0x1000, 0x1000, -

33 0x2000,0x1000,0x1000,0x1000, -

34 0x10000,0,0x0001,0x0002, -

35 0x0004,0x0008,0x0010, -

36 0x4000, 0x8000, -

37 0x0020,0x0040,0x0080, -

38 0x0100,0x1000,0x0800,0x1000, -

39 }; -

40 -

41 unsigned long -

42 ASN1_tag2bit(int tag) -

43 { -

if ((

(tag < 0)	Description
TRUE	never evaluated
FALSE	evaluated 4114 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

tag < 0)

(tag < 0)	Description
TRUE	never evaluated
FALSE	evaluated 4114 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

|| (

(tag > 30)	Description
TRUE	never evaluated
FALSE	evaluated 4114 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

tag > 30)

(tag > 30)	Description
TRUE	never evaluated
FALSE	evaluated 4114 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-4114

return

never executed: return 0;

return

executed 4114 times by 8 tests: return tag2bit[tag];

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

tag2bit[tag];

executed 4114 times by 8 tests: return tag2bit[tag];

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

4114

47 } -

48 ASN1_VALUE * -

49 ASN1_item_d2i(ASN1_VALUE **pval, const unsigned char **in, long len, -

50 const ASN1_ITEM *it) -

51 { -

52 ASN1_TLC c; -

53 ASN1_VALUE *ptmpval = -

54 ((void *)0) -

55 ; -

56 -

if (!pval

!pval	Description
TRUE	evaluated 1275 times by 10 tests Evaluated by: asn1evp asn1test ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 512 times by 6 tests Evaluated by: asn1test asn1time dsatest ecdsatest ssltest tlstest

)

512-1275

pval = &ptmpval;

executed 1275 times by 10 tests: pval = &ptmpval;

Executed by:

asn1evp
asn1test
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

1275

59 (&c)->valid = 0; -

if (ASN1_item_ex_d2i(pval, in, len, it, -1, 0, 0, &c) > 0

ASN1_item_ex_d... 0, 0, &c) > 0	Description
TRUE	evaluated 1711 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 76 times by 1 test Evaluated by: ecdsatest

)

76-1711

return

executed 1711 times by 12 tests: return *pval;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

*pval;

executed 1711 times by 12 tests: return *pval;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

1711

return

executed 76 times by 1 test: return ((void *)0) ;

Executed by:

ecdsatest

executed 76 times by 1 test: return ((void *)0) ;

Executed by:

ecdsatest

((void *)0)

executed 76 times by 1 test: return ((void *)0) ;

Executed by:

ecdsatest

;

executed 76 times by 1 test: return ((void *)0) ;

Executed by:

ecdsatest

65 } -

66 -

67 int -

68 ASN1_template_d2i(ASN1_VALUE **pval, const unsigned char **in, long len, -

69 const ASN1_TEMPLATE *tt) -

70 { -

71 ASN1_TLC c; -

72 -

73 (&c)->valid = 0; -

return

never executed: return asn1_template_ex_d2i(pval, in, len, tt, 0, &c, 0);

asn1_template_ex_d2i(pval, in, len, tt, 0, &c, 0);

never executed: return asn1_template_ex_d2i(pval, in, len, tt, 0, &c, 0);

75 } -

76 -

77 -

78 -

79 -

80 -

81 -

82 static int -

83 asn1_item_ex_d2i(ASN1_VALUE **pval, const unsigned char **in, long len, -

84 const ASN1_ITEM *it, int tag, int aclass, char opt, ASN1_TLC *ctx, -

85 int depth) -

86 { -

87 const ASN1_TEMPLATE *tt, *errtt = -

88 ((void *)0) -

89 ; -

90 const ASN1_EXTERN_FUNCS *ef; -

91 const ASN1_AUX *aux = it->funcs; -

92 ASN1_aux_cb *asn1_cb = -

93 ((void *)0) -

94 ; -

95 const unsigned char *p = -

96 ((void *)0) -

97 , *q; -

98 unsigned char oclass; -

99 char seq_eoc, seq_nolen, cst, isopt; -

100 long tmplen; -

101 int i; -

102 int otag; -

103 int ret = 0; -

104 ASN1_VALUE **pchptr; -

105 int combine; -

106 -

107 combine = aclass & (0x1<<10); -

108 aclass &= ~(0x1<<10); -

109 -

110

if (!pval

!pval	Description
TRUE	never evaluated
FALSE	evaluated 19822 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-19822

111

return

never executed: return 0;

112 -

113

if (aux

aux	Description
TRUE	evaluated 3713 times by 10 tests Evaluated by: asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 16109 times by 11 tests Evaluated by: asn1evp asn1test asn1time ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& aux->asn1_cb

aux->asn1_cb	Description
TRUE	evaluated 3021 times by 9 tests Evaluated by: asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 692 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

692-16109

114

asn1_cb = aux->asn1_cb;

executed 3021 times by 9 tests: asn1_cb = aux->asn1_cb;

Executed by:

asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

3021

115 -

116

if (++

++depth > 30	Description
TRUE	never evaluated
FALSE	evaluated 19822 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

depth > 30

++depth > 30	Description
TRUE	never evaluated
FALSE	evaluated 19822 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-19822

117 ERR_put_error(13,(0xfff),(219),__FILE__,188); -

118

goto

never executed: goto err;

err;

never executed: goto err;

119 } -

120 -

121 switch (it->itype) { -

122

case

executed 11673 times by 12 tests: case 0x0:

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

0x0:

executed 11673 times by 12 tests: case 0x0:

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

11673

123

if (it->templates

it->templates	Description
TRUE	evaluated 2291 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 9382 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

2291-9382

124 -

125 -

126 -

127 -

128 -

129 -

130

if ((

(tag != -1)	Description
TRUE	never evaluated
FALSE	evaluated 2291 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

tag != -1)

(tag != -1)	Description
TRUE	never evaluated
FALSE	evaluated 2291 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

|| opt

opt	Description
TRUE	never evaluated
FALSE	evaluated 2291 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-2291

131 ERR_put_error(13,(0xfff),(170),__FILE__,202); -

132

goto

never executed: goto err;

err;

never executed: goto err;

133 } -

134

return

executed 2291 times by 8 tests: return asn1_template_ex_d2i(pval, in, len, it->templates, opt, ctx, depth);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

asn1_template_ex_d2i(pval, in, len,

executed 2291 times by 8 tests: return asn1_template_ex_d2i(pval, in, len, it->templates, opt, ctx, depth);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2291

135

it->templates, opt, ctx, depth);

executed 2291 times by 8 tests: return asn1_template_ex_d2i(pval, in, len, it->templates, opt, ctx, depth);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2291

136 } -

137

return

executed 9382 times by 12 tests: return asn1_d2i_ex_primitive(pval, in, len, it, tag, aclass, opt, ctx);

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

asn1_d2i_ex_primitive(pval, in, len, it,

executed 9382 times by 12 tests: return asn1_d2i_ex_primitive(pval, in, len, it, tag, aclass, opt, ctx);

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

9382

138

tag, aclass, opt, ctx);

executed 9382 times by 12 tests: return asn1_d2i_ex_primitive(pval, in, len, it, tag, aclass, opt, ctx);

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

9382

139

break;

dead code: break;

140 -

141

case

executed 2276 times by 8 tests: case 0x5:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

0x5:

executed 2276 times by 8 tests: case 0x5:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2276

142 p = *in; -

143 -

144 ret = asn1_check_tlen( -

145 ((void *)0) -

146 , &otag, &oclass, -

147 ((void *)0) -

148 , -

149 ((void *)0) -

150 , -

151 &p, len, -1, 0, 1, ctx); -

152

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 2276 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-2276

153 ERR_put_error(13,(0xfff),(58),__FILE__,218); -

154

goto

never executed: goto err;

err;

never executed: goto err;

155 } -

156 -

157 -

158

if (oclass != 0x00

oclass != 0x00	Description
TRUE	never evaluated
FALSE	evaluated 2276 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-2276

159 -

160

if (opt

opt	Description
TRUE	never evaluated
FALSE	never evaluated

)

161

return

never executed: return -1;

-1;

never executed: return -1;

162 ERR_put_error(13,(0xfff),(139),__FILE__,227); -

163

goto

never executed: goto err;

err;

never executed: goto err;

164 } -

165 -

166

if (!(ASN1_tag2bit(otag) & it->utype)

!(ASN1_tag2bit...) & it->utype)	Description
TRUE	never evaluated
FALSE	evaluated 2276 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-2276

167 -

168

if (opt

opt	Description
TRUE	never evaluated
FALSE	never evaluated

)

169

return

never executed: return -1;

-1;

never executed: return -1;

170 ERR_put_error(13,(0xfff),(140),__FILE__,235); -

171

goto

never executed: goto err;

err;

never executed: goto err;

172 } -

173

return

executed 2276 times by 8 tests: return asn1_d2i_ex_primitive(pval, in, len, it, otag, 0, 0, ctx);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

asn1_d2i_ex_primitive(pval, in, len,

executed 2276 times by 8 tests: return asn1_d2i_ex_primitive(pval, in, len, it, otag, 0, 0, ctx);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2276

174

it, otag, 0, 0, ctx);

executed 2276 times by 8 tests: return asn1_d2i_ex_primitive(pval, in, len, it, otag, 0, 0, ctx);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2276

175 -

176

case

executed 473 times by 8 tests: case 0x4:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

0x4:

executed 473 times by 8 tests: case 0x4:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

473

177 -

178 ef = it->funcs; -

179

return

executed 473 times by 8 tests: return ef->asn1_ex_d2i(pval, in, len, it, tag, aclass, opt, ctx);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

ef->asn1_ex_d2i(pval, in, len,

executed 473 times by 8 tests: return ef->asn1_ex_d2i(pval, in, len, it, tag, aclass, opt, ctx);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

473

180

it, tag, aclass, opt, ctx);

executed 473 times by 8 tests: return ef->asn1_ex_d2i(pval, in, len, it, tag, aclass, opt, ctx);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

473

181 -

182

case

executed 32 times by 2 tests: case 0x2:

Executed by:

pkcs7test
verifytest

0x2:

executed 32 times by 2 tests: case 0x2:

Executed by:

pkcs7test
verifytest

183

if (asn1_cb

asn1_cb	Description
TRUE	never evaluated
FALSE	evaluated 32 times by 2 tests Evaluated by: pkcs7test verifytest

&& !asn1_cb(4, pval, it,

!asn1_cb(4, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

0-32

184

((void *)0)

!asn1_cb(4, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

185

)

!asn1_cb(4, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

)

186

goto

never executed: goto auxerr;

auxerr;

never executed: goto auxerr;

187 -

188

if (*

*pval	Description
TRUE	evaluated 8 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 24 times by 1 test Evaluated by: verifytest

pval

*pval	Description
TRUE	evaluated 8 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 24 times by 1 test Evaluated by: verifytest

) {

8-24

189 -

190 i = asn1_get_choice_selector(pval, it); -

191

if ((

(i >= 0)	Description
TRUE	never evaluated
FALSE	evaluated 8 times by 1 test Evaluated by: pkcs7test

i >= 0)

(i >= 0)	Description
TRUE	never evaluated
FALSE	evaluated 8 times by 1 test Evaluated by: pkcs7test

&& (

(i < it->tcount)	Description
TRUE	never evaluated
FALSE	never evaluated

i < it->tcount)

(i < it->tcount)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-8

192 tt = it->templates + i; -

193 pchptr = asn1_get_field_ptr(pval, tt); -

194 ASN1_template_free(pchptr, tt); -

195 asn1_set_choice_selector(pval, -1, it); -

196

}

never executed: end of block

197

}

executed 8 times by 1 test: end of block

Executed by:

pkcs7test

else if (!ASN1_item_ex_new(pval, it)

!ASN1_item_ex_new(pval, it)	Description
TRUE	never evaluated
FALSE	evaluated 24 times by 1 test Evaluated by: verifytest

) {

0-24

198 ERR_put_error(13,(0xfff),(58),__FILE__,261); -

199

goto

never executed: goto err;

err;

never executed: goto err;

200 } -

201 -

202 p = *in; -

203

for (i = 0, tt = it->templates; i < it->tcount

i < it->tcount	Description
TRUE	evaluated 90 times by 2 tests Evaluated by: pkcs7test verifytest
FALSE	never evaluated

; i++, tt++) {

0-90

204 pchptr = asn1_get_field_ptr(pval, tt); -

205 -

206 -

207 -

208 ret = asn1_template_ex_d2i(pchptr, &p, len, tt, 1, ctx, -

209 depth); -

210 -

211

if (ret == -1

ret == -1	Description
TRUE	evaluated 58 times by 1 test Evaluated by: verifytest
FALSE	evaluated 32 times by 2 tests Evaluated by: pkcs7test verifytest

)

32-58

212

continue;

executed 58 times by 1 test: continue;

Executed by:

verifytest

213 -

214

if (ret > 0

ret > 0	Description
TRUE	evaluated 32 times by 2 tests Evaluated by: pkcs7test verifytest
FALSE	never evaluated

)

0-32

215

break;

executed 32 times by 2 tests: break;

Executed by:

pkcs7test
verifytest

216 -

217 errtt = tt; -

218 ERR_put_error(13,(0xfff),(58),__FILE__,281); -

219

goto

never executed: goto err;

err;

never executed: goto err;

220 } -

221 -

222 -

223

if (i == it->tcount

i == it->tcount	Description
TRUE	never evaluated
FALSE	evaluated 32 times by 2 tests Evaluated by: pkcs7test verifytest

) {

0-32

224 -

225

if (opt

opt	Description
TRUE	never evaluated
FALSE	never evaluated

) {

226 -

227 ASN1_item_ex_free(pval, it); -

228

return

never executed: return -1;

-1;

never executed: return -1;

229 } -

230 ERR_put_error(13,(0xfff),(143),__FILE__,293); -

231

goto

never executed: goto err;

err;

never executed: goto err;

232 } -

233 -

234 asn1_set_choice_selector(pval, i, it); -

235 *in = p; -

236

if (asn1_cb

asn1_cb	Description
TRUE	never evaluated
FALSE	evaluated 32 times by 2 tests Evaluated by: pkcs7test verifytest

&& !asn1_cb(5, pval, it,

!asn1_cb(5, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

0-32

237

((void *)0)

!asn1_cb(5, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

238

)

!asn1_cb(5, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

)

239

goto

never executed: goto auxerr;

auxerr;

never executed: goto auxerr;

240

return

executed 32 times by 2 tests: return 1;

Executed by:

pkcs7test
verifytest

executed 32 times by 2 tests: return 1;

Executed by:

pkcs7test
verifytest

241 -

242

case

executed 9 times by 1 test: case 0x6:

Executed by:

pkcs7test

0x6:

executed 9 times by 1 test: case 0x6:

Executed by:

pkcs7test

243

case

executed 5359 times by 11 tests: case 0x1:

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

0x1:

executed 5359 times by 11 tests: case 0x1:

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

5359

244 p = *in; -

245 tmplen = len; -

246 -

247 -

248

if (tag == -1

tag == -1	Description
TRUE	evaluated 5342 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 26 times by 1 test Evaluated by: verifytest

) {

26-5342

249 tag = 16; -

250 aclass = 0x00; -

251

}

executed 5342 times by 11 tests: end of block

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

5342

252 -

253 ret = asn1_check_tlen(&len, -

254 ((void *)0) -

255 , -

256 ((void *)0) -

257 , &seq_eoc, &cst, -

258 &p, len, tag, aclass, opt, ctx); -

259

if (!ret

!ret	Description
TRUE	evaluated 76 times by 1 test Evaluated by: ecdsatest
FALSE	evaluated 5292 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

76-5292

260 ERR_put_error(13,(0xfff),(58),__FILE__,317); -

261

goto

executed 76 times by 1 test: goto err;

Executed by:

ecdsatest

err;

executed 76 times by 1 test: goto err;

Executed by:

ecdsatest

262

} else if (ret == -1

ret == -1	Description
TRUE	evaluated 26 times by 1 test Evaluated by: verifytest
FALSE	evaluated 5266 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

26-5266

263

return

executed 26 times by 1 test: return -1;

Executed by:

verifytest

-1;

executed 26 times by 1 test: return -1;

Executed by:

verifytest

264

if (aux

aux	Description
TRUE	evaluated 1062 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 4204 times by 10 tests Evaluated by: asn1evp asn1test ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& (

(aux->flags & 4)	Description
TRUE	never evaluated
FALSE	evaluated 1062 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

aux->flags & 4)

(aux->flags & 4)	Description
TRUE	never evaluated
FALSE	evaluated 1062 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-4204

265 len = tmplen - (p - *in); -

266 seq_nolen = 1; -

267

}

never executed: end of block

268 -

269 else -

270

seq_nolen = seq_eoc;

executed 5266 times by 11 tests: seq_nolen = seq_eoc;

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

5266

271

if (!cst

!cst	Description
TRUE	never evaluated
FALSE	evaluated 5266 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-5266

272 ERR_put_error(13,(0xfff),(149),__FILE__,329); -

273

goto

never executed: goto err;

err;

never executed: goto err;

274 } -

275 -

276

if (!*pval

!*pval	Description
TRUE	evaluated 3559 times by 10 tests Evaluated by: asn1evp asn1test ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 1707 times by 9 tests Evaluated by: asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

&& !ASN1_item_ex_new(pval, it)

!ASN1_item_ex_new(pval, it)	Description
TRUE	never evaluated
FALSE	evaluated 3559 times by 10 tests Evaluated by: asn1evp asn1test ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-3559

277 ERR_put_error(13,(0xfff),(58),__FILE__,334); -

278

goto

never executed: goto err;

err;

never executed: goto err;

279 } -

280 -

281

if (asn1_cb

asn1_cb	Description
TRUE	evaluated 843 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 4423 times by 10 tests Evaluated by: asn1evp asn1test ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& !asn1_cb(4, pval, it,

!asn1_cb(4, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 843 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-4423

282

((void *)0)

!asn1_cb(4, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 843 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-843

283

)

!asn1_cb(4, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 843 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

)

0-843

284

goto

never executed: goto auxerr;

auxerr;

never executed: goto auxerr;

285 -

286 -

287

for (i = 0, tt = it->templates; i < it->tcount

i < it->tcount	Description
TRUE	evaluated 13933 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 5266 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

; i++, tt++) {

5266-13933

288

if (tt->flags & (0x3<<8)

tt->flags & (0x3<<8)	Description
TRUE	evaluated 5 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 13928 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

5-13928

289 const ASN1_TEMPLATE *seqtt; -

290 ASN1_VALUE **pseqval; -

291 seqtt = asn1_do_adb(pval, tt, 1); -

292

if (!seqtt

!seqtt	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: pkcs7test

)

0-5

293

goto

never executed: goto err;

err;

never executed: goto err;

294 pseqval = asn1_get_field_ptr(pval, seqtt); -

295 ASN1_template_free(pseqval, seqtt); -

296

}

executed 5 times by 1 test: end of block

Executed by:

pkcs7test

297

}

executed 13933 times by 11 tests: end of block

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

13933

298 -

299 -

300

for (i = 0, tt = it->templates; i < it->tcount

i < it->tcount	Description
TRUE	evaluated 13730 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 4857 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

; i++, tt++) {

4857-13730

301 const ASN1_TEMPLATE *seqtt; -

302 ASN1_VALUE **pseqval; -

303 seqtt = asn1_do_adb(pval, tt, 1); -

304

if (!seqtt

!seqtt	Description
TRUE	never evaluated
FALSE	evaluated 13730 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-13730

305

goto

never executed: goto err;

err;

never executed: goto err;

306 pseqval = asn1_get_field_ptr(pval, seqtt); -

307 -

308

if (!len

!len	Description
TRUE	evaluated 409 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 13321 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

409-13321

309

break;

executed 409 times by 6 tests: break;

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

409

310 q = p; -

311

if (asn1_check_eoc(&p, len)

asn1_check_eoc(&p, len)	Description
TRUE	never evaluated
FALSE	evaluated 13321 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-13321

312

if (!seq_eoc

!seq_eoc	Description
TRUE	never evaluated
FALSE	never evaluated

) {

313 ERR_put_error(13,(0xfff),(159),__FILE__,368); -

314

goto

never executed: goto err;

err;

never executed: goto err;

315 } -

316 len -= p - q; -

317 seq_eoc = 0; -

318 q = p; -

319

break;

never executed: break;

320 } -

321 -

322 -

323 -

324 -

325 -

326 -

327

if (i == (it->tcount - 1)

i == (it->tcount - 1)	Description
TRUE	evaluated 4857 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 8464 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

4857-8464

328

isopt = 0;

executed 4857 times by 11 tests: isopt = 0;

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

4857

329 else -

330

isopt = (char)(seqtt->flags & (0x1));

executed 8464 times by 11 tests: isopt = (char)(seqtt->flags & (0x1));

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

8464

331 -

332 -

333 -

334 ret = asn1_template_ex_d2i(pseqval, &p, len, -

335 seqtt, isopt, ctx, depth); -

336

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 13321 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-13321

337 errtt = seqtt; -

338

goto

never executed: goto err;

err;

never executed: goto err;

339

} else if (ret == -1

ret == -1	Description
TRUE	evaluated 741 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 12580 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

741-12580

340 -

341 -

342 -

343 ASN1_template_free(pseqval, seqtt); -

344

continue;

executed 741 times by 7 tests: continue;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

741

345 } -

346 -

347 len -= p - q; -

348

}

executed 12580 times by 11 tests: end of block

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

12580

349 -

350 -

351

if (seq_eoc

seq_eoc	Description
TRUE	never evaluated
FALSE	evaluated 5266 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& !asn1_check_eoc(&p, len)

!asn1_check_eoc(&p, len)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-5266

352 ERR_put_error(13,(0xfff),(137),__FILE__,407); -

353

goto

never executed: goto err;

err;

never executed: goto err;

354 } -

355 -

356

if (!seq_nolen

!seq_nolen	Description
TRUE	evaluated 5266 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

&& len

len	Description
TRUE	never evaluated
FALSE	evaluated 5266 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-5266

357 ERR_put_error(13,(0xfff),(148),__FILE__,412); -

358

goto

never executed: goto err;

err;

never executed: goto err;

359 } -

360 -

361 -

362 -

363 -

364 -

365

for (; i < it->tcount

i < it->tcount	Description
TRUE	evaluated 612 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 5266 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

; tt++, i++) {

612-5266

366 const ASN1_TEMPLATE *seqtt; -

367 seqtt = asn1_do_adb(pval, tt, 1); -

368

if (!seqtt

!seqtt	Description
TRUE	never evaluated
FALSE	evaluated 612 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

)

0-612

369

goto

never executed: goto err;

err;

never executed: goto err;

370

if (seqtt->flags & (0x1)

seqtt->flags & (0x1)	Description
TRUE	evaluated 612 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	never evaluated

) {

0-612

371 ASN1_VALUE **pseqval; -

372 pseqval = asn1_get_field_ptr(pval, seqtt); -

373 ASN1_template_free(pseqval, seqtt); -

374

}

executed 612 times by 6 tests: end of block

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

else {

612

375 errtt = seqtt; -

376 ERR_put_error(13,(0xfff),(121),__FILE__,431); -

377

goto

never executed: goto err;

err;

never executed: goto err;

378 } -

379 } -

380 -

381

if (!asn1_enc_save(pval, *in, p - *in, it)

!asn1_enc_save..., p - *in, it)	Description
TRUE	never evaluated
FALSE	evaluated 5266 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-5266

382 ERR_put_error(13,(0xfff),((1|64)),__FILE__,437); -

383

goto

never executed: goto auxerr;

auxerr;

never executed: goto auxerr;

384 } -

385 *in = p; -

386

if (asn1_cb

asn1_cb	Description
TRUE	evaluated 843 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 4423 times by 10 tests Evaluated by: asn1evp asn1test ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& !asn1_cb(5, pval, it,

!asn1_cb(5, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 843 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-4423

387

((void *)0)

!asn1_cb(5, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 843 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-843

388

)

!asn1_cb(5, pv... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 843 times by 8 tests Evaluated by: asn1test dsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

)

0-843

389

goto

never executed: goto auxerr;

auxerr;

never executed: goto auxerr;

390

return

executed 5266 times by 11 tests: return 1;

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

executed 5266 times by 11 tests: return 1;

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

5266

391 -

392

default

never executed: default:

393

return

never executed: return 0;

394 } -

395 -

396

auxerr:

code before this statement never executed: auxerr:

397 ERR_put_error(13,(0xfff),(100),__FILE__,450); -

398

err:

code before this statement never executed: err:

399

if (combine == 0

combine == 0	Description
TRUE	evaluated 76 times by 1 test Evaluated by: ecdsatest
FALSE	never evaluated

)

0-76

400

ASN1_item_ex_free(pval, it);

executed 76 times by 1 test: ASN1_item_ex_free(pval, it);

Executed by:

ecdsatest

401

if (errtt

errtt	Description
TRUE	never evaluated
FALSE	evaluated 76 times by 1 test Evaluated by: ecdsatest

)

0-76

402

ERR_asprintf_error_data("Field=%s, Type=%s", errtt->field_name,

never executed: ERR_asprintf_error_data("Field=%s, Type=%s", errtt->field_name, it->sname);

403

it->sname);

never executed: ERR_asprintf_error_data("Field=%s, Type=%s", errtt->field_name, it->sname);

404 else -

405

ERR_asprintf_error_data("Type=%s", it->sname);

executed 76 times by 1 test: ERR_asprintf_error_data("Type=%s", it->sname);

Executed by:

ecdsatest

406

return

executed 76 times by 1 test: return 0;

Executed by:

ecdsatest

executed 76 times by 1 test: return 0;

Executed by:

ecdsatest

407 } -

408 -

409 int -

410 ASN1_item_ex_d2i(ASN1_VALUE **pval, const unsigned char **in, long len, -

411 const ASN1_ITEM *it, int tag, int aclass, char opt, ASN1_TLC *ctx) -

412 { -

413

return

executed 2260 times by 12 tests: return asn1_item_ex_d2i(pval, in, len, it, tag, aclass, opt, ctx, 0);

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

asn1_item_ex_d2i(pval, in, len, it, tag, aclass, opt, ctx, 0);

executed 2260 times by 12 tests: return asn1_item_ex_d2i(pval, in, len, it, tag, aclass, opt, ctx, 0);

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2260

414 } -

415 -

416 -

417 -

418 -

419 -

420 static int -

421 asn1_template_ex_d2i(ASN1_VALUE **val, const unsigned char **in, long inlen, -

422 const ASN1_TEMPLATE *tt, char opt, ASN1_TLC *ctx, int depth) -

423 { -

424 int flags, aclass; -

425 int ret; -

426 long len; -

427 const unsigned char *p, *q; -

428 char exp_eoc; -

429 -

430

if (!val

!val	Description
TRUE	never evaluated
FALSE	evaluated 15702 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-15702

431

return

never executed: return 0;

432 flags = tt->flags; -

433 aclass = flags & (0x3<<6); -

434 -

435 p = *in; -

436 -

437 -

438

if (flags & (0x2 << 3)

flags & (0x2 << 3)	Description
TRUE	evaluated 442 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 15260 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

442-15260

439 char cst; -

440 -

441 -

442 -

443 -

444 ret = asn1_check_tlen(&len, -

445 ((void *)0) -

446 , -

447 ((void *)0) -

448 , &exp_eoc, &cst, -

449 &p, inlen, tt->tag, aclass, opt, ctx); -

450 q = p; -

451

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 442 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-442

452 ERR_put_error(13,(0xfff),(58),__FILE__,501); -

453

return

never executed: return 0;

454

} else if (ret == -1

ret == -1	Description
TRUE	evaluated 4 times by 2 tests Evaluated by: libcrypto.so.44.0.1 verifytest
FALSE	evaluated 438 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

)

4-438

455

return

executed 4 times by 2 tests: return -1;

Executed by:

libcrypto.so.44.0.1
verifytest

-1;

executed 4 times by 2 tests: return -1;

Executed by:

libcrypto.so.44.0.1
verifytest

456

if (!cst

!cst	Description
TRUE	never evaluated
FALSE	evaluated 438 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-438

457 ERR_put_error(13,(0xfff),(120),__FILE__,506); -

458

return

never executed: return 0;

459 } -

460 -

461 ret = asn1_template_noexp_d2i(val, &p, len, tt, 0, ctx, depth); -

462

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 438 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-438

463 ERR_put_error(13,(0xfff),(58),__FILE__,512); -

464

return

never executed: return 0;

465 } -

466 -

467 len -= p - q; -

468

if (exp_eoc

exp_eoc	Description
TRUE	never evaluated
FALSE	evaluated 438 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-438

469 -

470

if (!asn1_check_eoc(&p, len)

!asn1_check_eoc(&p, len)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

471 ERR_put_error(13,(0xfff),(137),__FILE__,520); -

472

goto

never executed: goto err;

err;

never executed: goto err;

473 } -

474

}

never executed: end of block

else {

475 -

476 -

477

if (len

len	Description
TRUE	never evaluated
FALSE	evaluated 438 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-438

478 ERR_put_error(13,(0xfff),(119),__FILE__,527); -

479

goto

never executed: goto err;

err;

never executed: goto err;

480 } -

481

}

executed 438 times by 7 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

438

482 } else -

483

return

executed 15260 times by 11 tests: return asn1_template_noexp_d2i(val, in, inlen, tt, opt, ctx, depth);

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

asn1_template_noexp_d2i(val, in, inlen, tt, opt, ctx,

executed 15260 times by 11 tests: return asn1_template_noexp_d2i(val, in, inlen, tt, opt, ctx, depth);

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

15260

484

depth);

executed 15260 times by 11 tests: return asn1_template_noexp_d2i(val, in, inlen, tt, opt, ctx, depth);

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

15260

485 -

486 *in = p; -

487

return

executed 438 times by 7 tests: return 1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

executed 438 times by 7 tests: return 1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

438

488 -

489 err: -

490 ASN1_template_free(val, tt); -

491

return

never executed: return 0;

492 } -

493 -

494 static int -

495 asn1_template_noexp_d2i(ASN1_VALUE **val, const unsigned char **in, long len, -

496 const ASN1_TEMPLATE *tt, char opt, ASN1_TLC *ctx, int depth) -

497 { -

498 int flags, aclass; -

499 int ret; -

500 const unsigned char *p, *q; -

501 -

502

if (!val

!val	Description
TRUE	never evaluated
FALSE	evaluated 15698 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-15698

503

return

never executed: return 0;

504 flags = tt->flags; -

505 aclass = flags & (0x3<<6); -

506 -

507 p = *in; -

508 q = p; -

509 -

510

if (flags & (0x3 << 1)

flags & (0x3 << 1)	Description
TRUE	evaluated 2527 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 13171 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

2527-13171

511 -

512 int sktag, skaclass; -

513 char sk_eoc; -

514 -

515

if (flags & (0x1 << 3)

flags & (0x1 << 3)	Description
TRUE	evaluated 6 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 2521 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

6-2521

516 sktag = tt->tag; -

517 skaclass = aclass; -

518

}

executed 6 times by 1 test: end of block

Executed by:

pkcs7test

else {

519 skaclass = 0x00; -

520

if (flags & (0x1 << 1)

flags & (0x1 << 1)	Description
TRUE	evaluated 1818 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 703 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

703-1818

521

sktag = 17;

executed 1818 times by 8 tests: sktag = 17;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

1818

522 else -

523

sktag = 16;

executed 703 times by 8 tests: sktag = 16;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

703

524 } -

525 -

526 ret = asn1_check_tlen(&len, -

527 ((void *)0) -

528 , -

529 ((void *)0) -

530 , &sk_eoc, -

531 ((void *)0) -

532 , -

533 &p, len, sktag, skaclass, opt, ctx); -

534

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 2527 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-2527

535 ERR_put_error(13,(0xfff),(58),__FILE__,578); -

536

return

never executed: return 0;

537

} else if (ret == -1

ret == -1	Description
TRUE	evaluated 2 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 2525 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

2-2525

538

return

executed 2 times by 1 test: return -1;

Executed by:

pkcs7test

-1;

executed 2 times by 1 test: return -1;

Executed by:

pkcs7test

539

if (!*val

!*val	Description
TRUE	evaluated 2520 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 5 times by 1 test Evaluated by: pkcs7test

)

5-2520

540

executed 2520 times by 8 tests: *val = (ASN1_VALUE *)sk_new_null();

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

val = (ASN1_VALUE *)sk_new_null();

executed 2520 times by 8 tests: *val = (ASN1_VALUE *)sk_new_null();

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2520

541 else { -

542 -

543 struct stack_st_ASN1_VALUE *sktmp = -

544 (struct stack_st_ASN1_VALUE *)*val; -

545 ASN1_VALUE *vtmp; -

546

while (sk_num(((_STACK*) (1 ? (sktmp) : (struct stack_st_ASN1_VALUE*)0))) > 0

sk_num(((_STAC...ALUE*)0))) > 0	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: pkcs7test

) {

0-5

547 vtmp = (ASN1_VALUE *)sk_pop(((_STACK*) (1 ? (sktmp) : (struct stack_st_ASN1_VALUE*)0))); -

548 ASN1_item_ex_free(&vtmp, -

549 tt->item); -

550

}

never executed: end of block

551

}

executed 5 times by 1 test: end of block

Executed by:

pkcs7test

552 -

553

if (!*val

!*val	Description
TRUE	never evaluated
FALSE	evaluated 2525 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-2525

554 ERR_put_error(13,(0xfff),((1|64)),__FILE__,597); -

555

goto

never executed: goto err;

err;

never executed: goto err;

556 } -

557 -

558 -

559

while (len > 0

len > 0	Description
TRUE	evaluated 4391 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 2525 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

2525-4391

560 ASN1_VALUE *skfield; -

561 q = p; -

562 -

563

if (asn1_check_eoc(&p, len)

asn1_check_eoc(&p, len)	Description
TRUE	never evaluated
FALSE	evaluated 4391 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-4391

564

if (!sk_eoc

!sk_eoc	Description
TRUE	never evaluated
FALSE	never evaluated

) {

565 ERR_put_error(13,(0xfff),(159),__FILE__,608); -

566

goto

never executed: goto err;

err;

never executed: goto err;

567 } -

568 len -= p - q; -

569 sk_eoc = 0; -

570

break;

never executed: break;

571 } -

572 skfield = -

573 ((void *)0) -

574 ; -

575

if (!asn1_item_ex_d2i(&skfield, &p, len,

!asn1_item_ex_...0, ctx, depth)	Description
TRUE	never evaluated
FALSE	evaluated 4391 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

0-4391

576

tt->item, -1, 0, 0, ctx, depth)

!asn1_item_ex_...0, ctx, depth)	Description
TRUE	never evaluated
FALSE	evaluated 4391 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-4391

577 ERR_put_error(13,(0xfff),(58),__FILE__,618); -

578

goto

never executed: goto err;

err;

never executed: goto err;

579 } -

580 len -= p - q; -

581

if (!sk_push(((_STACK*) (1 ? ((struct stack_st_ASN1_VALUE *)*val) : (struct stack_st_ASN1_VALUE*)0)), ((void*) (1 ? (skfield) : (ASN1_VALUE*)0)))

!sk_push(((_ST...N1_VALUE*)0)))	Description
TRUE	never evaluated
FALSE	evaluated 4391 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

0-4391

582 ) { -

583 ERR_put_error(13,(0xfff),((1|64)),__FILE__,624); -

584

goto

never executed: goto err;

err;

never executed: goto err;

585 } -

586

}

executed 4391 times by 8 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

4391

587

if (sk_eoc

sk_eoc	Description
TRUE	never evaluated
FALSE	evaluated 2525 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-2525

588 ERR_put_error(13,(0xfff),(137),__FILE__,629); -

589

goto

never executed: goto err;

err;

never executed: goto err;

590 } -

591

}

executed 2525 times by 8 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

else if (flags & (0x1 << 3)

flags & (0x1 << 3)	Description
TRUE	evaluated 592 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 12579 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

592-12579

592 -

593 ret = asn1_item_ex_d2i(val, &p, len, -

594 tt->item, tt->tag, aclass, opt, ctx, depth); -

595

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 592 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-592

596 ERR_put_error(13,(0xfff),(58),__FILE__,637); -

597

goto

never executed: goto err;

err;

never executed: goto err;

598

} else if (ret == -1

ret == -1	Description
TRUE	evaluated 490 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 102 times by 5 tests Evaluated by: asn1test pkcs7test ssltest tlstest verifytest

)

102-490

599

return

executed 490 times by 8 tests: return -1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

-1;

executed 490 times by 8 tests: return -1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

490

600

}

executed 102 times by 5 tests: end of block

Executed by:

asn1test
pkcs7test
ssltest
tlstest
verifytest

else {

102

601 -

602 ret = asn1_item_ex_d2i(val, &p, len, tt->item, -

603 -1, tt->flags & (0x1<<10), opt, ctx, depth); -

604

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 12579 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-12579

605 ERR_put_error(13,(0xfff),(58),__FILE__,646); -

606

goto

never executed: goto err;

err;

never executed: goto err;

607

} else if (ret == -1

ret == -1	Description
TRUE	evaluated 303 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 12276 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

303-12276

608

return

executed 303 times by 7 tests: return -1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

-1;

executed 303 times by 7 tests: return -1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

303

609

}

executed 12276 times by 11 tests: end of block

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

12276

610 -

611 *in = p; -

612

return

executed 14903 times by 11 tests: return 1;

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

executed 14903 times by 11 tests: return 1;

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

14903

613 -

614 err: -

615 ASN1_template_free(val, tt); -

616

return

never executed: return 0;

617 } -

618 -

619 static int -

620 asn1_d2i_ex_primitive(ASN1_VALUE **pval, const unsigned char **in, long inlen, -

621 const ASN1_ITEM *it, int tag, int aclass, char opt, ASN1_TLC *ctx) -

622 { -

623 int ret = 0, utype; -

624 long plen; -

625 char cst, inf, free_cont = 0; -

626 const unsigned char *p; -

627 BUF_MEM buf; -

628 const unsigned char *cont = -

629 ((void *)0) -

630 ; -

631 long len; -

632 -

633 buf.length = 0; -

634 buf.max = 0; -

635 buf.data = -

636 ((void *)0) -

637 ; -

638 -

639

if (!pval

!pval	Description
TRUE	never evaluated
FALSE	evaluated 11658 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-11658

640 ERR_put_error(13,(0xfff),(125),__FILE__,677); -

641

return

never executed: return 0;

642 } -

643 -

644

if (it->itype == 0x5

it->itype == 0x5	Description
TRUE	evaluated 2276 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 9382 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

2276-9382

645 utype = tag; -

646 tag = -1; -

647

}

executed 2276 times by 8 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

else

2276

648

utype = it->utype;

executed 9382 times by 12 tests: utype = it->utype;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

9382

649 -

650

if (utype == -4

utype == -4	Description
TRUE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 10987 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

671-10987

651 -

652 unsigned char oclass; -

653

if (tag >= 0

tag >= 0	Description
TRUE	never evaluated
FALSE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-671

654 ERR_put_error(13,(0xfff),(127),__FILE__,691); -

655

return

never executed: return 0;

656 } -

657

if (opt

opt	Description
TRUE	never evaluated
FALSE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-671

658 ERR_put_error(13,(0xfff),(126),__FILE__,695); -

659

return

never executed: return 0;

660 } -

661 p = *in; -

662 ret = asn1_check_tlen( -

663 ((void *)0) -

664 , &utype, &oclass, -

665 ((void *)0) -

666 , -

667 ((void *)0) -

668 , -

669 &p, inlen, -1, 0, 0, ctx); -

670

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-671

671 ERR_put_error(13,(0xfff),(58),__FILE__,702); -

672

return

never executed: return 0;

673 } -

674

if (oclass != 0x00

oclass != 0x00	Description
TRUE	never evaluated
FALSE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

)

0-671

675

utype = -3;

never executed: utype = -3;

676

}

executed 671 times by 7 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

671

677

if (tag == -1

tag == -1	Description
TRUE	evaluated 11092 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 566 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

566-11092

678 tag = utype; -

679 aclass = 0x00; -

680

}

executed 11092 times by 12 tests: end of block

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

11092

681 p = *in; -

682 -

683 ret = asn1_check_tlen(&plen, -

684 ((void *)0) -

685 , -

686 ((void *)0) -

687 , &inf, &cst, -

688 &p, inlen, tag, aclass, opt, ctx); -

689

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 11658 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-11658

690 ERR_put_error(13,(0xfff),(58),__FILE__,717); -

691

return

never executed: return 0;

692

} else if (ret == -1

ret == -1	Description
TRUE	evaluated 767 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 10891 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

767-10891

693

return

executed 767 times by 8 tests: return -1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

-1;

executed 767 times by 8 tests: return -1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

767

694 ret = 0; -

695 -

696

if ((

(utype == 16)	Description
TRUE	evaluated 3 times by 2 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test
FALSE	evaluated 10888 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

utype == 16)

(utype == 16)	Description
TRUE	evaluated 3 times by 2 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test
FALSE	evaluated 10888 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

|| (

(utype == 17)	Description
TRUE	never evaluated
FALSE	evaluated 10888 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

utype == 17)

(utype == 17)	Description
TRUE	never evaluated
FALSE	evaluated 10888 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

0-10888

697

(

(utype == -3)	Description
TRUE	never evaluated
FALSE	evaluated 10888 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

utype == -3)

(utype == -3)	Description
TRUE	never evaluated
FALSE	evaluated 10888 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-10888

698 -

699 -

700 -

701

if (utype == -3

utype == -3	Description
TRUE	never evaluated
FALSE	evaluated 3 times by 2 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test

) {

0-3

702

if (ctx

ctx	Description
TRUE	never evaluated
FALSE	never evaluated

) (

never executed: (ctx)->valid = 0;

ctx)->valid = 0;

never executed: (ctx)->valid = 0;

703

}

never executed: end of block

704 -

705

else if (!cst

!cst	Description
TRUE	never evaluated
FALSE	evaluated 3 times by 2 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test

) {

0-3

706 ERR_put_error(13,(0xfff),(156),__FILE__,733); -

707

return

never executed: return 0;

708 } -

709 -

710 cont = *in; -

711 -

712

if (inf

inf	Description
TRUE	never evaluated
FALSE	evaluated 3 times by 2 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test

) {

0-3

713

if (!asn1_find_end(&p, plen, inf)

!asn1_find_end(&p, plen, inf)	Description
TRUE	never evaluated
FALSE	never evaluated

)

714

goto

never executed: goto err;

err;

never executed: goto err;

715 len = p - cont; -

716

}

never executed: end of block

else {

717 len = p - cont + plen; -

718 p += plen; -

719 buf.data = -

720 ((void *)0) -

721 ; -

722

}

executed 3 times by 2 tests: end of block

Executed by:

libcrypto.so.44.0.1
pkcs7test

723

} else if (cst

cst	Description
TRUE	never evaluated
FALSE	evaluated 10888 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-10888

724 -

725 -

726 -

727 -

728 -

729 -

730

if (!asn1_collect(&buf, &p, plen, inf, -1, 0x00, 0)

!asn1_collect(..., -1, 0x00, 0)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

731 free_cont = 1; -

732

goto

never executed: goto err;

err;

never executed: goto err;

733 } -

734 len = buf.length; -

735 -

736

if (!BUF_MEM_grow_clean(&buf, len + 1)

!BUF_MEM_grow_...&buf, len + 1)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

737 ERR_put_error(13,(0xfff),((1|64)),__FILE__,762); -

738

return

never executed: return 0;

739 } -

740 buf.data[len] = 0; -

741 cont = (const unsigned char *)buf.data; -

742 free_cont = 1; -

743

}

never executed: end of block

else {

744 cont = p; -

745 len = plen; -

746 p += plen; -

747

}

executed 10888 times by 12 tests: end of block

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

10888

748 -

749 -

750

if (!asn1_ex_c2i(pval, cont, len, utype, &free_cont, it)

!asn1_ex_c2i(p...free_cont, it)	Description
TRUE	never evaluated
FALSE	evaluated 10891 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-10891

751

goto

never executed: goto err;

err;

never executed: goto err;

752 -

753 *in = p; -

754 ret = 1; -

755 -

756

err:

code before this statement executed 10891 times by 12 tests: err:

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

10891

757

if (free_cont

free_cont	Description
TRUE	never evaluated
FALSE	evaluated 10891 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& buf.data

buf.data	Description
TRUE	never evaluated
FALSE	never evaluated

)

0-10891

758

free(buf.data);

never executed: free(buf.data);

759

return

executed 10891 times by 12 tests: return ret;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

ret;

executed 10891 times by 12 tests: return ret;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

10891

760 } -

761 -

762 -

763 -

764 int -

765 asn1_ex_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len, int utype, -

766 char *free_cont, const ASN1_ITEM *it) -

767 { -

768 ASN1_VALUE **opval = -

769 ((void *)0) -

770 ; -

771 ASN1_STRING *stmp; -

772 ASN1_TYPE *typ = -

773 ((void *)0) -

774 ; -

775 int ret = 0; -

776 const ASN1_PRIMITIVE_FUNCS *pf; -

777 ASN1_INTEGER **tint; -

778 -

779 pf = it->funcs; -

780 -

781

if (pf

pf	Description
TRUE	evaluated 2178 times by 7 tests Evaluated by: dsatest ecdsatest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 8713 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& pf->prim_c2i

pf->prim_c2i	Description
TRUE	evaluated 2178 times by 7 tests Evaluated by: dsatest ecdsatest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	never evaluated

)

0-8713

782

return

executed 2178 times by 7 tests: return pf->prim_c2i(pval, cont, len, utype, free_cont, it);

Executed by:

dsatest
ecdsatest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

pf->prim_c2i(pval, cont, len, utype, free_cont, it);

executed 2178 times by 7 tests: return pf->prim_c2i(pval, cont, len, utype, free_cont, it);

Executed by:

dsatest
ecdsatest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

2178

783 -

784

if (it->utype == -4

it->utype == -4	Description
TRUE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 8042 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

671-8042

785

if (!*pval

!*pval	Description
TRUE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	never evaluated

) {

0-671

786 typ = ASN1_TYPE_new(); -

787

if (typ ==

typ == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-671

788

((void *)0)

typ == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-671

789 ) -

790

goto

never executed: goto err;

err;

never executed: goto err;

791 *pval = (ASN1_VALUE *)typ; -

792

}

executed 671 times by 7 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

else

671

793

typ = (ASN1_TYPE *)*pval;

never executed: typ = (ASN1_TYPE *)*pval;

794 -

795

if (utype != typ->type

utype != typ->type	Description
TRUE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	never evaluated

)

0-671

796

ASN1_TYPE_set(typ, utype,

executed 671 times by 7 tests: ASN1_TYPE_set(typ, utype, ((void *)0) );

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

671

797

((void *)0)

executed 671 times by 7 tests: ASN1_TYPE_set(typ, utype, ((void *)0) );

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

671

798

);

executed 671 times by 7 tests: ASN1_TYPE_set(typ, utype, ((void *)0) );

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

671

799 opval = pval; -

800 pval = &typ->value.asn1_value; -

801

}

executed 671 times by 7 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

671

802 switch (utype) { -

803

case

executed 3252 times by 8 tests: case 6:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

executed 3252 times by 8 tests: case 6:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

3252

804

if (!c2i_ASN1_OBJECT((ASN1_OBJECT **)pval, &cont, len)

!c2i_ASN1_OBJE...l, &cont, len)	Description
TRUE	never evaluated
FALSE	evaluated 3252 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-3252

805

goto

never executed: goto err;

err;

never executed: goto err;

806

break;

executed 3252 times by 8 tests: break;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

3252

807 -

808

case

executed 661 times by 7 tests: case 5:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

executed 661 times by 7 tests: case 5:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

661

809

if (len

len	Description
TRUE	never evaluated
FALSE	evaluated 661 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-661

810 ERR_put_error(13,(0xfff),(144),__FILE__,827); -

811

goto

never executed: goto err;

err;

never executed: goto err;

812 } -

813 *pval = (ASN1_VALUE *)1; -

814

break;

executed 661 times by 7 tests: break;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

661

815 -

816

case

executed 507 times by 7 tests: case 1:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

executed 507 times by 7 tests: case 1:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

507

817

if (len != 1

len != 1	Description
TRUE	never evaluated
FALSE	evaluated 507 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

) {

0-507

818 ERR_put_error(13,(0xfff),(106),__FILE__,835); -

819

goto

never executed: goto err;

err;

never executed: goto err;

820 } else { -

821 ASN1_BOOLEAN *tbool; -

822 tbool = (ASN1_BOOLEAN *)pval; -

823 *tbool = *cont; -

824

}

executed 507 times by 7 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

507

825

break;

executed 507 times by 7 tests: break;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

507

826 -

827

case

executed 635 times by 7 tests: case 3:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

executed 635 times by 7 tests: case 3:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

635

828

if (!c2i_ASN1_BIT_STRING((ASN1_BIT_STRING **)pval, &cont, len)

!c2i_ASN1_BIT_...l, &cont, len)	Description
TRUE	never evaluated
FALSE	evaluated 635 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

)

0-635

829

goto

never executed: goto err;

err;

never executed: goto err;

830

break;

executed 635 times by 7 tests: break;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

635

831 -

832

case

executed 449 times by 8 tests: case 2:

Executed by:

asn1evp
asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

executed 449 times by 8 tests: case 2:

Executed by:

asn1evp
asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

449

833

case

never executed: case 10:

10:

never executed: case 10:

834 tint = (ASN1_INTEGER **)pval; -

835

if (!c2i_ASN1_INTEGER(tint, &cont, len)

!c2i_ASN1_INTE...t, &cont, len)	Description
TRUE	never evaluated
FALSE	evaluated 449 times by 8 tests Evaluated by: asn1evp asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

)

0-449

836

goto

never executed: goto err;

err;

never executed: goto err;

837 -

838 (*tint)->type = utype | ((*tint)->type & 0x100); -

839

break;

executed 449 times by 8 tests: break;

Executed by:

asn1evp
asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

449

840 -

841

case

executed 899 times by 9 tests: case 4:

Executed by:

asn1evp
asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

executed 899 times by 9 tests: case 4:

Executed by:

asn1evp
asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

899

842

case

never executed: case 18:

18:

never executed: case 18:

843

case

executed 446 times by 6 tests: case 19:

Executed by:

keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

19:

executed 446 times by 6 tests: case 19:

Executed by:

keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

446

844

case

never executed: case 20:

20:

never executed: case 20:

845

case

never executed: case 21:

21:

never executed: case 21:

846

case

executed 23 times by 2 tests: case 22:

Executed by:

libcrypto.so.44.0.1
verifytest

22:

executed 23 times by 2 tests: case 22:

Executed by:

libcrypto.so.44.0.1
verifytest

847

case

executed 444 times by 8 tests: case 23:

Executed by:

asn1test
asn1time
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

23:

executed 444 times by 8 tests: case 23:

Executed by:

asn1test
asn1time
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

444

848

case

executed 2 times by 1 test: case 24:

Executed by:

asn1time

24:

executed 2 times by 1 test: case 24:

Executed by:

asn1time

849

case

never executed: case 25:

25:

never executed: case 25:

850

case

never executed: case 26:

26:

never executed: case 26:

851

case

never executed: case 27:

27:

never executed: case 27:

852

case

never executed: case 28:

28:

never executed: case 28:

853

case

never executed: case 30:

30:

never executed: case 30:

854

case

executed 1392 times by 8 tests: case 12:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

12:

executed 1392 times by 8 tests: case 12:

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

1392

855

case

never executed: case -3:

-3:

never executed: case -3:

856

case

never executed: case 17:

17:

never executed: case 17:

857

case

executed 3 times by 2 tests: case 16:

Executed by:

libcrypto.so.44.0.1
pkcs7test

16:

executed 3 times by 2 tests: case 16:

Executed by:

libcrypto.so.44.0.1
pkcs7test

858

default

never executed: default:

859

if (utype == 30

utype == 30	Description
TRUE	never evaluated
FALSE	evaluated 3209 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& (

(len & 1)	Description
TRUE	never evaluated
FALSE	never evaluated

len & 1)

(len & 1)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-3209

860 ERR_put_error(13,(0xfff),(214),__FILE__,877); -

861

goto

never executed: goto err;

err;

never executed: goto err;

862 } -

863

if (utype == 28

utype == 28	Description
TRUE	never evaluated
FALSE	evaluated 3209 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& (

(len & 3)	Description
TRUE	never evaluated
FALSE	never evaluated

len & 3)

(len & 3)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-3209

864 ERR_put_error(13,(0xfff),(215),__FILE__,881); -

865

goto

never executed: goto err;

err;

never executed: goto err;

866 } -

867 -

868

if (!*pval

!*pval	Description
TRUE	evaluated 189 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test ssltest tlstest verifytest
FALSE	evaluated 3020 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

189-3020

869 stmp = ASN1_STRING_type_new(utype); -

870

if (!stmp

!stmp	Description
TRUE	never evaluated
FALSE	evaluated 189 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test ssltest tlstest verifytest

) {

0-189

871 ERR_put_error(13,(0xfff),((1|64)),__FILE__,888); -

872

goto

never executed: goto err;

err;

never executed: goto err;

873 } -

874 *pval = (ASN1_VALUE *)stmp; -

875

}

executed 189 times by 6 tests: end of block

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
ssltest
tlstest
verifytest

else {

189

876 stmp = (ASN1_STRING *)*pval; -

877 stmp->type = utype; -

878

}

executed 3020 times by 10 tests: end of block

Executed by:

asn1evp
asn1test
asn1time
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

3020

879 -

880

if (*

*free_cont	Description
TRUE	never evaluated
FALSE	evaluated 3209 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

free_cont

*free_cont	Description
TRUE	never evaluated
FALSE	evaluated 3209 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-3209

881 free(stmp->data); -

882 stmp->data = (unsigned char *)cont; -

883 stmp->length = len; -

884 *free_cont = 0; -

885

}

never executed: end of block

else {

886

if (!ASN1_STRING_set(stmp, cont, len)

!ASN1_STRING_s...mp, cont, len)	Description
TRUE	never evaluated
FALSE	evaluated 3209 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-3209

887 ERR_put_error(13,(0xfff),((1|64)),__FILE__,904); -

888 ASN1_STRING_free(stmp); -

889 *pval = -

890 ((void *)0) -

891 ; -

892

goto

never executed: goto err;

err;

never executed: goto err;

893 } -

894

}

executed 3209 times by 10 tests: end of block

Executed by:

asn1evp
asn1test
asn1time
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

3209

895

break;

executed 3209 times by 10 tests: break;

Executed by:

asn1evp
asn1test
asn1time
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

3209

896 } -

897 -

898

if (typ

typ	Description
TRUE	evaluated 671 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 8042 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& (

(utype == 5)	Description
TRUE	evaluated 661 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 10 times by 2 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test

utype == 5)

(utype == 5)	Description
TRUE	evaluated 661 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 10 times by 2 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test

)

10-8042

899

typ->value.ptr =

executed 661 times by 7 tests: typ->value.ptr = ((void *)0) ;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

661

900

((void *)0)

executed 661 times by 7 tests: typ->value.ptr = ((void *)0) ;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

661

901

;

executed 661 times by 7 tests: typ->value.ptr = ((void *)0) ;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

661

902 -

903 ret = 1; -

904 -

905

err:

code before this statement executed 8713 times by 10 tests: err:

Executed by:

asn1evp
asn1test
asn1time
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

8713

906

if (!ret

!ret	Description
TRUE	never evaluated
FALSE	evaluated 8713 times by 10 tests Evaluated by: asn1evp asn1test asn1time keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-8713

907 ASN1_TYPE_free(typ); -

908

if (opval

opval	Description
TRUE	never evaluated
FALSE	never evaluated

)

909

never executed: *opval = ((void *)0) ;

opval =

never executed: *opval = ((void *)0) ;

910

((void *)0)

never executed: *opval = ((void *)0) ;

911

;

never executed: *opval = ((void *)0) ;

912

}

never executed: end of block

913

return

executed 8713 times by 10 tests: return ret;

Executed by:

asn1evp
asn1test
asn1time
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

ret;

executed 8713 times by 10 tests: return ret;

Executed by:

asn1evp
asn1test
asn1time
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

8713

914 } -

915 static int -

916 asn1_find_end(const unsigned char **in, long len, char inf) -

917 { -

918 int expected_eoc; -

919 long plen; -

920 const unsigned char *p = *in, *q; -

921 -

922 -

923

if (inf == 0

inf == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

924 *in += len; -

925

return

never executed: return 1;

926 } -

927 expected_eoc = 1; -

928 -

929 -

930 -

931 -

932 -

933

while (len > 0

len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

934

if (asn1_check_eoc(&p, len)

asn1_check_eoc(&p, len)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

935 expected_eoc--; -

936

if (expected_eoc == 0

expected_eoc == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

937

break;

never executed: break;

938 len -= 2; -

939

continue;

never executed: continue;

940 } -

941 q = p; -

942 -

943

if (!asn1_check_tlen(&plen,

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

944

((void *)0)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

945

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

946

((void *)0)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

947

, &inf,

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

948

((void *)0)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

949

, &p, len,

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

950

-1, 0, 0,

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

951

((void *)0)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

952

)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

) {

953 ERR_put_error(13,(0xfff),(58),__FILE__,964); -

954

return

never executed: return 0;

955 } -

956

if (inf

inf	Description
TRUE	never evaluated
FALSE	never evaluated

)

957

expected_eoc++;

never executed: expected_eoc++;

958 else -

959

p += plen;

never executed: p += plen;

960 len -= p - q; -

961

}

never executed: end of block

962

if (expected_eoc

expected_eoc	Description
TRUE	never evaluated
FALSE	never evaluated

) {

963 ERR_put_error(13,(0xfff),(137),__FILE__,974); -

964

return

never executed: return 0;

965 } -

966 *in = p; -

967

return

never executed: return 1;

968 } -

969 static int -

970 asn1_collect(BUF_MEM *buf, const unsigned char **in, long len, char inf, -

971 int tag, int aclass, int depth) -

972 { -

973 const unsigned char *p, *q; -

974 long plen; -

975 char cst, ininf; -

976 -

977 p = *in; -

978 inf &= 1; -

979 -

980 -

981

if (!buf

!buf	Description
TRUE	never evaluated
FALSE	never evaluated

&& !inf

!inf	Description
TRUE	never evaluated
FALSE	never evaluated

) {

982 *in += len; -

983

return

never executed: return 1;

984 } -

985

while (len > 0

len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

986 q = p; -

987 -

988

if (asn1_check_eoc(&p, len)

asn1_check_eoc(&p, len)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

989 -

990 -

991

if (!inf

!inf	Description
TRUE	never evaluated
FALSE	never evaluated

) {

992 ERR_put_error(13,(0xfff),(159),__FILE__,1018); -

993

return

never executed: return 0;

994 } -

995 inf = 0; -

996

break;

never executed: break;

997 } -

998 -

999

if (!asn1_check_tlen(&plen,

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

1000

((void *)0)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

1001

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

1002

((void *)0)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

1003

, &ininf, &cst, &p,

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

1004

len, tag, aclass, 0,

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

1005

((void *)0)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

1006

)

!asn1_check_tl... ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

) {

1007 ERR_put_error(13,(0xfff),(58),__FILE__,1027); -

1008

return

never executed: return 0;

1009 } -

1010 -

1011 -

1012

if (cst

cst	Description
TRUE	never evaluated
FALSE	never evaluated

) {

1013

if (depth >= 5

depth >= 5	Description
TRUE	never evaluated
FALSE	never evaluated

) {

1014 ERR_put_error(13,(0xfff),(197),__FILE__,1034); -

1015

return

never executed: return 0;

1016 } -

1017

if (!asn1_collect(buf, &p, plen, ininf, tag, aclass,

!asn1_collect(...ss, depth + 1)	Description
TRUE	never evaluated
FALSE	never evaluated

1018

depth + 1)

!asn1_collect(...ss, depth + 1)	Description
TRUE	never evaluated
FALSE	never evaluated

)

1019

return

never executed: return 0;

1020

}

never executed: end of block

else if (plen

plen	Description
TRUE	never evaluated
FALSE	never evaluated

&& !collect_data(buf, &p, plen)

!collect_data(buf, &p, plen)	Description
TRUE	never evaluated
FALSE	never evaluated

)

1021

return

never executed: return 0;

1022 len -= p - q; -

1023

}

never executed: end of block

1024

if (inf

inf	Description
TRUE	never evaluated
FALSE	never evaluated

) {

1025 ERR_put_error(13,(0xfff),(137),__FILE__,1045); -

1026

return

never executed: return 0;

1027 } -

1028 *in = p; -

1029

return

never executed: return 1;

1030 } -

1031 -

1032 static int -

1033 collect_data(BUF_MEM *buf, const unsigned char **p, long plen) -

1034 { -

1035 int len; -

1036

if (buf

buf	Description
TRUE	never evaluated
FALSE	never evaluated

) {

1037 len = buf->length; -

1038

if (!BUF_MEM_grow_clean(buf, len + plen)

!BUF_MEM_grow_...f, len + plen)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

1039 ERR_put_error(13,(0xfff),((1|64)),__FILE__,1059); -

1040

return

never executed: return 0;

1041 } -

1042 memcpy(buf->data + len, *p, plen); -

1043

}

never executed: end of block

1044 *p += plen; -

1045

return

never executed: return 1;

1046 } -

1047 -

1048 -

1049 -

1050 static int -

1051 asn1_check_eoc(const unsigned char **in, long len) -

1052 { -

1053 const unsigned char *p; -

1054 -

1055

if (len < 2

len < 2	Description
TRUE	never evaluated
FALSE	evaluated 17712 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-17712

1056

return

never executed: return 0;

1057 p = *in; -

1058

if (!p[0]

!p[0]	Description
TRUE	never evaluated
FALSE	evaluated 17712 times by 11 tests Evaluated by: asn1evp asn1test dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& !p[1]

!p[1]	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-17712

1059 *in += 2; -

1060

return

never executed: return 1;

1061 } -

1062

return

executed 17712 times by 11 tests: return 0;

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

executed 17712 times by 11 tests: return 0;

Executed by:

asn1evp
asn1test
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

17712

1063 } -

1064 static int -

1065 asn1_check_tlen(long *olen, int *otag, unsigned char *oclass, char *inf, -

1066 char *cst, const unsigned char **in, long len, int exptag, int expclass, -

1067 char opt, ASN1_TLC *ctx) -

1068 { -

1069 int i; -

1070 int ptag, pclass; -

1071 long plen; -

1072 const unsigned char *p, *q; -

1073 -

1074 p = *in; -

1075 q = p; -

1076 -

1077

if (ctx

ctx	Description
TRUE	evaluated 22942 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

&& ctx->valid

ctx->valid	Description
TRUE	evaluated 3746 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 19196 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-22942

1078 i = ctx->ret; -

1079 plen = ctx->plen; -

1080 pclass = ctx->pclass; -

1081 ptag = ctx->ptag; -

1082 p += ctx->hdrlen; -

1083

}

executed 3746 times by 8 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

else {

3746

1084 i = ASN1_get_object(&p, &plen, &ptag, &pclass, len); -

1085

if (ctx

ctx	Description
TRUE	evaluated 19196 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

) {

0-19196

1086 ctx->ret = i; -

1087 ctx->plen = plen; -

1088 ctx->pclass = pclass; -

1089 ctx->ptag = ptag; -

1090 ctx->hdrlen = p - q; -

1091 ctx->valid = 1; -

1092 -

1093 -

1094 -

1095

if (!(i & 0x81)

!(i & 0x81)	Description
TRUE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 76 times by 1 test Evaluated by: ecdsatest

&& ((

((plen + ctx->hdrlen) > len)	Description
TRUE	never evaluated
FALSE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

plen + ctx->hdrlen) > len)

((plen + ctx->hdrlen) > len)	Description
TRUE	never evaluated
FALSE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-19120

1096 ERR_put_error(13,(0xfff),(155),__FILE__,1124); -

1097

if (ctx

ctx	Description
TRUE	never evaluated
FALSE	never evaluated

) (

never executed: (ctx)->valid = 0;

ctx)->valid = 0;

never executed: (ctx)->valid = 0;

1098

return

never executed: return 0;

1099 } -

1100

}

executed 19196 times by 12 tests: end of block

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

19196

1101

}

executed 19196 times by 12 tests: end of block

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

19196

1102 -

1103

if (i & 0x80

i & 0x80	Description
TRUE	evaluated 76 times by 1 test Evaluated by: ecdsatest
FALSE	evaluated 22866 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

76-22866

1104 ERR_put_error(13,(0xfff),(102),__FILE__,1132); -

1105

if (ctx

ctx	Description
TRUE	evaluated 76 times by 1 test Evaluated by: ecdsatest
FALSE	never evaluated

) (

executed 76 times by 1 test: (ctx)->valid = 0;

Executed by:

ecdsatest

ctx)->valid = 0;

executed 76 times by 1 test: (ctx)->valid = 0;

Executed by:

ecdsatest

0-76

1106

return

executed 76 times by 1 test: return 0;

Executed by:

ecdsatest

executed 76 times by 1 test: return 0;

Executed by:

ecdsatest

1107 } -

1108

if (exptag >= 0

exptag >= 0	Description
TRUE	evaluated 19919 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 2947 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

2947-19919

1109

if ((

(exptag != ptag)	Description
TRUE	evaluated 799 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

exptag != ptag)

(exptag != ptag)	Description
TRUE	evaluated 799 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

|| (

(expclass != pclass)	Description
TRUE	never evaluated
FALSE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

expclass != pclass)

(expclass != pclass)	Description
TRUE	never evaluated
FALSE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

0-19120

1110 -

1111 -

1112 -

1113

if (opt

opt	Description
TRUE	evaluated 799 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

)

0-799

1114

return

executed 799 times by 8 tests: return -1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

-1;

executed 799 times by 8 tests: return -1;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

799

1115

if (ctx

ctx	Description
TRUE	never evaluated
FALSE	never evaluated

) (

never executed: (ctx)->valid = 0;

ctx)->valid = 0;

never executed: (ctx)->valid = 0;

1116 ERR_put_error(13,(0xfff),(168),__FILE__,1144); -

1117

return

never executed: return 0;

1118 } -

1119 -

1120 -

1121

if (ctx

ctx	Description
TRUE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

) (

executed 19120 times by 12 tests: (ctx)->valid = 0;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

ctx)->valid = 0;

executed 19120 times by 12 tests: (ctx)->valid = 0;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

0-19120

1122

}

executed 19120 times by 12 tests: end of block

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

19120

1123 -

1124

if (i & 1

i & 1	Description
TRUE	never evaluated
FALSE	evaluated 22067 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

0-22067

1125

plen = len - (p - q);

never executed: plen = len - (p - q);

1126

if (inf

inf	Description
TRUE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 2947 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

2947-19120

1127

executed 19120 times by 12 tests: *inf = i & 1;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

inf = i & 1;

executed 19120 times by 12 tests: *inf = i & 1;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

19120

1128

if (cst

cst	Description
TRUE	evaluated 16595 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 5472 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

5472-16595

1129

executed 16595 times by 12 tests: *cst = i & 0x20;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

cst = i & 0x20;

executed 16595 times by 12 tests: *cst = i & 0x20;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

16595

1130

if (olen

olen	Description
TRUE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 2947 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

2947-19120

1131

executed 19120 times by 12 tests: *olen = plen;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

olen = plen;

executed 19120 times by 12 tests: *olen = plen;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

19120

1132

if (oclass

oclass	Description
TRUE	evaluated 2947 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

2947-19120

1133

executed 2947 times by 8 tests: *oclass = pclass;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

oclass = pclass;

executed 2947 times by 8 tests: *oclass = pclass;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2947

1134

if (otag

otag	Description
TRUE	evaluated 2947 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 19120 times by 12 tests Evaluated by: asn1evp asn1test asn1time dsatest ecdsatest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

)

2947-19120

1135

executed 2947 times by 8 tests: *otag = ptag;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

otag = ptag;

executed 2947 times by 8 tests: *otag = ptag;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

2947

1136 -

1137 *in = p; -

1138

return

executed 22067 times by 12 tests: return 1;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

executed 22067 times by 12 tests: return 1;

Executed by:

asn1evp
asn1test
asn1time
dsatest
ecdsatest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest
verifytest

22067

1139 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2