OpenCoverage

a_object.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 int -

5 i2d_ASN1_OBJECT(const ASN1_OBJECT *a, unsigned char **pp) -

6 { -

7 unsigned char *p; -

8 int objsize; -

9 -

if ((

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

a ==

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

((void *)0)

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

)

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

|| (

(a->data == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

a->data ==

(a->data == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

((void *)0)

(a->data == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

)

(a->data == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return (0);

(0);

never executed: return (0);

16 -

17 objsize = ASN1_object_size(0, a->length, 6); -

if (pp ==

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

((void *)0)

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

20 ) -

return

never executed: return objsize;

objsize;

never executed: return objsize;

22 -

23 p = *pp; -

24 ASN1_put_object(&p, 0, a->length, 6, 0x00); -

25 memcpy(p, a->data, a->length); -

26 p += a->length; -

27 -

28 *pp = p; -

return

never executed: return (objsize);

(objsize);

never executed: return (objsize);

30 } -

31 -

32 int -

33 a2d_ASN1_OBJECT(unsigned char *out, int olen, const char *buf, int num) -

34 { -

35 int i, first, len = 0, c, use_bn; -

36 char ftmp[24], *tmp = ftmp; -

37 int tmpsize = sizeof ftmp; -

38 const char *p; -

39 unsigned long l; -

40 BIGNUM *bl = -

41 ((void *)0) -

42 ; -

43 -

if (num == 0

num == 0	Description
TRUE	never evaluated
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

0-6

return

never executed: return (0);

(0);

never executed: return (0);

else if (num == -1

num == -1	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	never evaluated

)

0-6

num = strlen(buf);

executed 6 times by 1 test: num = strlen(buf);

Executed by:

libcrypto.so.44.0.1

48 -

49 p = buf; -

50 c = *(p++); -

51 num--; -

if ((

(c >= '0')	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	never evaluated

c >= '0')

(c >= '0')	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	never evaluated

&& (

(c <= '2')	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	never evaluated

c <= '2')

(c <= '2')	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	never evaluated

) {

0-6

53 first= c-'0'; -

}

executed 6 times by 1 test: end of block

Executed by:

libcrypto.so.44.0.1

else {

55 ERR_put_error(13,(0xfff),(122),__FILE__,112); -

goto

never executed: goto err;

err;

never executed: goto err;

57 } -

58 -

if (num <= 0

num <= 0	Description
TRUE	never evaluated
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

0-6

60 ERR_put_error(13,(0xfff),(138),__FILE__,117); -

goto

never executed: goto err;

err;

never executed: goto err;

62 } -

63 c = *(p++); -

64 num--; -

65 for (;;) { -

if (num <= 0

num <= 0	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

6-12

break;

executed 6 times by 1 test: break;

Executed by:

libcrypto.so.44.0.1

if ((

(c != '.')	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

c != '.')

(c != '.')	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

&& (

(c != ' ')	Description
TRUE	never evaluated
FALSE	never evaluated

c != ' ')

(c != ' ')	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-12

69 ERR_put_error(13,(0xfff),(131),__FILE__,126); -

goto

never executed: goto err;

err;

never executed: goto err;

71 } -

72 l = 0; -

73 use_bn = 0; -

74 for (;;) { -

if (num <= 0

num <= 0	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 42 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

6-42

break;

executed 6 times by 1 test: break;

Executed by:

libcrypto.so.44.0.1

77 num--; -

78 c = *(p++); -

if ((

(c == ' ')	Description
TRUE	never evaluated
FALSE	evaluated 42 times by 1 test Evaluated by: libcrypto.so.44.0.1

c == ' ')

(c == ' ')	Description
TRUE	never evaluated
FALSE	evaluated 42 times by 1 test Evaluated by: libcrypto.so.44.0.1

|| (

(c == '.')	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

c == '.')

(c == '.')	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

0-42

break;

executed 6 times by 1 test: break;

Executed by:

libcrypto.so.44.0.1

if ((

(c < '0')	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

c < '0')

(c < '0')	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

|| (

(c > '9')	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

c > '9')

(c > '9')	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

0-36

82 ERR_put_error(13,(0xfff),(130),__FILE__,139); -

goto

never executed: goto err;

err;

never executed: goto err;

84 } -

if (!use_bn

!use_bn	Description
TRUE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	never evaluated

&& l >= ((

l >= (( (0x7ff...) - 80) / 10L)	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

0-36

(0x7fffffffffffffffL * 2UL + 1UL)

l >= (( (0x7ff...) - 80) / 10L)	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

0-36

- 80) / 10L)

l >= (( (0x7ff...) - 80) / 10L)	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

0-36

88 use_bn = 1; -

if (!bl

!bl	Description
TRUE	never evaluated
FALSE	never evaluated

)

bl = BN_new();

never executed: bl = BN_new();

if (!bl

!bl	Description
TRUE	never evaluated
FALSE	never evaluated

|| !BN_set_word(bl, l)

!BN_set_word(bl, l)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

}

never executed: end of block

if (use_bn

use_bn	Description
TRUE	never evaluated
FALSE	evaluated 36 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

0-36

if (!BN_mul_word(bl, 10L)

!BN_mul_word(bl, 10L)	Description
TRUE	never evaluated
FALSE	never evaluated

!BN_add_word(bl, c-'0')

!BN_add_word(bl, c-'0')	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

}

never executed: end of block

else

l = l * 10L + (long)(c - '0');

executed 36 times by 1 test: l = l * 10L + (long)(c - '0');

Executed by:

libcrypto.so.44.0.1

100 } -

101

if (len == 0

len == 0	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

102

if ((

(first < 2)	Description
TRUE	never evaluated
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

first < 2)

(first < 2)	Description
TRUE	never evaluated
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

&& (

(l >= 40)	Description
TRUE	never evaluated
FALSE	never evaluated

l >= 40)

(l >= 40)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-6

103 ERR_put_error(13,(0xfff),(147),__FILE__,158); -

104

goto

never executed: goto err;

err;

never executed: goto err;

105 } -

106

if (use_bn

use_bn	Description
TRUE	never evaluated
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

0-6

107

if (!BN_add_word(bl, first * 40)

!BN_add_word(bl, first * 40)	Description
TRUE	never evaluated
FALSE	never evaluated

)

108

goto

never executed: goto err;

err;

never executed: goto err;

109

}

never executed: end of block

else

110

l += (long)first * 40;

executed 6 times by 1 test: l += (long)first * 40;

Executed by:

libcrypto.so.44.0.1

111 } -

112 i = 0; -

113

if (use_bn

use_bn	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

0-12

114 int blsize; -

115 blsize = BN_num_bits(bl); -

116 blsize = (blsize + 6) / 7; -

117

if (blsize > tmpsize

blsize > tmpsize	Description
TRUE	never evaluated
FALSE	never evaluated

) {

118

if (tmp != ftmp

tmp != ftmp	Description
TRUE	never evaluated
FALSE	never evaluated

)

119

free(tmp);

never executed: free(tmp);

120 tmpsize = blsize + 32; -

121 tmp = malloc(tmpsize); -

122

if (!tmp

!tmp	Description
TRUE	never evaluated
FALSE	never evaluated

)

123

goto

never executed: goto err;

err;

never executed: goto err;

124

}

never executed: end of block

125

while (blsize--

blsize--	Description
TRUE	never evaluated
FALSE	never evaluated

)

126

tmp[i++] = (unsigned char)BN_div_word(bl, 0x80L);

never executed: tmp[i++] = (unsigned char)BN_div_word(bl, 0x80L);

127

}

never executed: end of block

else {

128 -

129 for (;;) { -

130 tmp[i++] = (unsigned char)l & 0x7f; -

131 l >>= 7L; -

132

if (l == 0L

l == 0L	Description
TRUE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

133

break;

executed 12 times by 1 test: break;

Executed by:

libcrypto.so.44.0.1

134

}

executed 12 times by 1 test: end of block

Executed by:

libcrypto.so.44.0.1

135 -

136

}

executed 12 times by 1 test: end of block

Executed by:

libcrypto.so.44.0.1

137

if (out !=

out != ((void *)0)	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

138

((void *)0)

out != ((void *)0)	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

139 ) { -

140

if (len + i > olen

len + i > olen	Description
TRUE	never evaluated
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

0-6

141 ERR_put_error(13,(0xfff),(107),__FILE__,194); -

142

goto

never executed: goto err;

err;

never executed: goto err;

143 } -

144

while (--

--i > 0	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

i > 0

--i > 0	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

145

out[len++] = tmp[i]|0x80;

executed 6 times by 1 test: out[len++] = tmp[i]|0x80;

Executed by:

libcrypto.so.44.0.1

146 out[len++] = tmp[0]; -

147

}

executed 6 times by 1 test: end of block

Executed by:

libcrypto.so.44.0.1

else

148

len += i;

executed 6 times by 1 test: len += i;

Executed by:

libcrypto.so.44.0.1

149 } -

150

if (tmp != ftmp

tmp != ftmp	Description
TRUE	never evaluated
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

0-6

151

free(tmp);

never executed: free(tmp);

152 BN_free(bl); -

153

return

executed 6 times by 1 test: return (len);

Executed by:

libcrypto.so.44.0.1

(len);

executed 6 times by 1 test: return (len);

Executed by:

libcrypto.so.44.0.1

154 -

155 err: -

156

if (tmp != ftmp

tmp != ftmp	Description
TRUE	never evaluated
FALSE	never evaluated

)

157

free(tmp);

never executed: free(tmp);

158 BN_free(bl); -

159

return

never executed: return (0);

(0);

never executed: return (0);

160 } -

161 -

162 int -

163 i2t_ASN1_OBJECT(char *buf, int buf_len, const ASN1_OBJECT *a) -

164 { -

165

return

executed 12 times by 1 test: return OBJ_obj2txt(buf, buf_len, a, 0);

Executed by:

libcrypto.so.44.0.1

OBJ_obj2txt(buf, buf_len, a, 0);

executed 12 times by 1 test: return OBJ_obj2txt(buf, buf_len, a, 0);

Executed by:

libcrypto.so.44.0.1

166 } -

167 -

168 int -

169 i2a_ASN1_OBJECT(BIO *bp, const ASN1_OBJECT *a) -

170 { -

171 char *tmp = -

172 ((void *)0) -

173 ; -

174 size_t tlen = 256; -

175 int i = -1; -

176 -

177

if ((

(a == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

a ==

(a == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

0-12

178

((void *)0)

(a == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

0-12

179

)

(a == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

|| (

(a->data == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

a->data ==

(a->data == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

0-12

180

((void *)0)

(a->data == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

0-12

181

)

(a->data == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

0-12

182

return

never executed: return(BIO_write(bp, "NULL", 4));

(BIO_write(bp, "NULL", 4));

never executed: return(BIO_write(bp, "NULL", 4));

183

if ((

(tmp = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

tmp = malloc(tlen)) ==

(tmp = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

0-12

184

((void *)0)

(tmp = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

0-12

185 ) -

186

return

never executed: return -1;

-1;

never executed: return -1;

187 i = i2t_ASN1_OBJECT(tmp, tlen, a); -

188

if (i > (int)(tlen - 1)

i > (int)(tlen - 1)	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

) {

0-12

189 freezero(tmp, tlen); -

190

if ((

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

tmp = malloc(i + 1)) ==

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

191

((void *)0)

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

192 ) -

193

return

never executed: return -1;

-1;

never executed: return -1;

194 tlen = i + 1; -

195 i = i2t_ASN1_OBJECT(tmp, tlen, a); -

196

}

never executed: end of block

197

if (i <= 0

i <= 0	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.44.0.1

)

0-12

198

i = BIO_write(bp, "<INVALID>", 9);

never executed: i = BIO_write(bp, "<INVALID>", 9);

199 else -

200

i = BIO_write(bp, tmp, i);

executed 12 times by 1 test: i = BIO_write(bp, tmp, i);

Executed by:

libcrypto.so.44.0.1

201 freezero(tmp, tlen); -

202

return

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

Executed by:

libcrypto.so.44.0.1

(i);

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

Executed by:

libcrypto.so.44.0.1

203 } -

204 -

205 ASN1_OBJECT * -

206 d2i_ASN1_OBJECT(ASN1_OBJECT **a, const unsigned char **pp, long length) -

207 { -

208 const unsigned char *p; -

209 long len; -

210 int tag, xclass; -

211 int inf, i; -

212 ASN1_OBJECT *ret = -

213 ((void *)0) -

214 ; -

215 -

216 p = *pp; -

217 inf = ASN1_get_object(&p, &len, &tag, &xclass, length); -

218

if (inf & 0x80

inf & 0x80	Description
TRUE	never evaluated
FALSE	never evaluated

) {

219 i = 102; -

220

goto

never executed: goto err;

err;

never executed: goto err;

221 } -

222 -

223

if (tag != 6

tag != 6	Description
TRUE	never evaluated
FALSE	never evaluated

) {

224 i = 116; -

225

goto

never executed: goto err;

err;

never executed: goto err;

226 } -

227 ret = c2i_ASN1_OBJECT(a, &p, len); -

228

if (ret

ret	Description
TRUE	never evaluated
FALSE	never evaluated

)

229

never executed: *pp = p;

pp = p;

never executed: *pp = p;

230

return

never executed: return ret;

ret;

never executed: return ret;

231 -

232 err: -

233 ERR_put_error(13,(0xfff),(i),__FILE__,274); -

234

return

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

(

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

235

((void *)0)

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

236

);

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

237 } -

238 -

239 ASN1_OBJECT * -

240 c2i_ASN1_OBJECT(ASN1_OBJECT **a, const unsigned char **pp, long len) -

241 { -

242 ASN1_OBJECT *ret; -

243 const unsigned char *p; -

244 unsigned char *data; -

245 int i, length; -

246 -

247 -

248 -

249 -

250 -

251 -

252 -

253

if (len <= 0

len <= 0	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

|| len > 0x7fffffff

len > 0x7fffffff	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

|| pp ==

pp == ((void *)0)	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

254

((void *)0)

pp == ((void *)0)	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

255

|| (

(p = pp) == ((void )0)	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

p = *pp) ==

(p = pp) == ((void )0)	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

256

((void *)0)

(p = pp) == ((void )0)	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

257 || -

258

p[len - 1] & 0x80

p[len - 1] & 0x80	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

259 ERR_put_error(13,(0xfff),(216),__FILE__,294); -

260

return

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

(

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

261

((void *)0)

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

262

);

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

263 } -

264 -

265 -

266 length = (int)len; -

267

for (i = 0; i < length

i < length	Description
TRUE	evaluated 14622 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 3252 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

; i++, p++) {

3252-14622

268

if (*

*p == 0x80	Description
TRUE	never evaluated
FALSE	evaluated 14622 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

p == 0x80

*p == 0x80	Description
TRUE	never evaluated
FALSE	evaluated 14622 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

&& (!i

!i	Description
TRUE	never evaluated
FALSE	never evaluated

|| !(p[-1] & 0x80)

!(p[-1] & 0x80)	Description
TRUE	never evaluated
FALSE	never evaluated

)) {

0-14622

269 ERR_put_error(13,(0xfff),(216),__FILE__,302); -

270

return

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

(

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

271

((void *)0)

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

272

);

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

273 } -

274

}

executed 14622 times by 8 tests: end of block

Executed by:

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

14622

275 -

276 -

277 -

278

if ((

(a == ((void *)0) )	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

a ==

(a == ((void *)0) )	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

279

((void *)0)

(a == ((void *)0) )	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

280

)

(a == ((void *)0) )	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

|| ((*

((a) == ((void )0) )	Description
TRUE	evaluated 2 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 3250 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

a) ==

((a) == ((void )0) )	Description
TRUE	evaluated 2 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 3250 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

0-3252

281

((void *)0)

((a) == ((void )0) )	Description
TRUE	evaluated 2 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 3250 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

2-3250

282

)

((a) == ((void )0) )	Description
TRUE	evaluated 2 times by 1 test Evaluated by: pkcs7test
FALSE	evaluated 3250 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

2-3250

283

!((*a)->flags & 0x01)

!((*a)->flags & 0x01)	Description
TRUE	evaluated 3250 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

) {

0-3250

284

if ((

(ret = ASN1_OB...== ((void *)0)	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

ret = ASN1_OBJECT_new()) ==

(ret = ASN1_OB...== ((void *)0)	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

285

((void *)0)

(ret = ASN1_OB...== ((void *)0)	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

286 ) -

287

return

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

(

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

288

((void *)0)

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

289

);

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

290

}

executed 3252 times by 8 tests: end of block

Executed by:

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

else

3252

291

ret = *a;

never executed: ret = *a;

292 -

293 p = *pp; -

294 -

295 -

296 data = (unsigned char *)ret->data; -

297 freezero(data, ret->length); -

298 -

299 data = malloc(length); -

300

if (data ==

data == ((void *)0)	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

301

((void *)0)

data == ((void *)0)	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

302 ) { -

303 ERR_put_error(13,(0xfff),((1|64)),__FILE__,324); -

304

goto

never executed: goto err;

err;

never executed: goto err;

305 } -

306 -

307 memcpy(data, p, length); -

308 -

309 -

310 ret->data = data; -

311 ret->length = length; -

312 ret->sn = -

313 ((void *)0) -

314 ; -

315 ret->ln = -

316 ((void *)0) -

317 ; -

318 ret->flags |= 0x08; -

319 p += length; -

320 -

321

if (a !=

a != ((void *)0)	Description
TRUE	evaluated 3252 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

0-3252

322

((void *)0)

a != ((void *)0)	Description
TRUE	evaluated 3252 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

0-3252

323 ) -

324

executed 3252 times by 8 tests: *a = ret;

Executed by:

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

a = ret;

executed 3252 times by 8 tests: *a = ret;

Executed by:

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

3252

325 *pp = p; -

326

return

executed 3252 times by 8 tests: return (ret);

Executed by:

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

(ret);

executed 3252 times by 8 tests: return (ret);

Executed by:

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

3252

327 -

328 err: -

329

if (a ==

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

330

((void *)0)

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

331

|| ret != *a

ret != *a	Description
TRUE	never evaluated
FALSE	never evaluated

)

332

ASN1_OBJECT_free(ret);

never executed: ASN1_OBJECT_free(ret);

333

return

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

(

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

334

((void *)0)

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

335

);

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

336 } -

337 -

338 ASN1_OBJECT * -

339 ASN1_OBJECT_new(void) -

340 { -

341 ASN1_OBJECT *ret; -

342 -

343 ret = malloc(sizeof(ASN1_OBJECT)); -

344

if (ret ==

ret == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5096 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

0-5096

345

((void *)0)

ret == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 5096 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

0-5096

346 ) { -

347 ERR_put_error(13,(0xfff),((1|64)),__FILE__,356); -

348

return

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

(

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

349

((void *)0)

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

350

);

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

351 } -

352 ret->length = 0; -

353 ret->data = -

354 ((void *)0) -

355 ; -

356 ret->nid = 0; -

357 ret->sn = -

358 ((void *)0) -

359 ; -

360 ret->ln = -

361 ((void *)0) -

362 ; -

363 ret->flags = 0x01; -

364

return

executed 5096 times by 8 tests: return (ret);

Executed by:

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

(ret);

executed 5096 times by 8 tests: return (ret);

Executed by:

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

5096

365 } -

366 -

367 void -

368 ASN1_OBJECT_free(ASN1_OBJECT *a) -

369 { -

370

if (a ==

a == ((void *)0)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: freenull
FALSE	evaluated 5338 times by 9 tests Evaluated by: asn1test gost2814789t keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

1-5338

371

((void *)0)

a == ((void *)0)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: freenull
FALSE	evaluated 5338 times by 9 tests Evaluated by: asn1test gost2814789t keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

1-5338

372 ) -

373

return;

executed 1 time by 1 test: return;

Executed by:

freenull

374

if (a->flags & 0x04

a->flags & 0x04	Description
TRUE	evaluated 1844 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 3494 times by 9 tests Evaluated by: asn1test gost2814789t keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest

) {

1844-3494

375 free((void *)a->sn); -

376 free((void *)a->ln); -

377 a->sn = a->ln = -

378 ((void *)0) -

379 ; -

380

}

executed 1844 times by 8 tests: end of block

Executed by:

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

1844

381

if (a->flags & 0x08

a->flags & 0x08	Description
TRUE	evaluated 4996 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 342 times by 4 tests Evaluated by: gost2814789t libcrypto.so.44.0.1 pkcs7test verifytest

) {

342-4996

382 freezero((void *)a->data, a->length); -

383 a->data = -

384 ((void *)0) -

385 ; -

386 a->length = 0; -

387

}

executed 4996 times by 8 tests: end of block

Executed by:

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

4996

388

if (a->flags & 0x01

a->flags & 0x01	Description
TRUE	evaluated 4996 times by 8 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 342 times by 4 tests Evaluated by: gost2814789t libcrypto.so.44.0.1 pkcs7test verifytest

)

342-4996

389

free(a);

executed 4996 times by 8 tests: free(a);

Executed by:

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

4996

390

}

executed 5338 times by 9 tests: end of block

Executed by:

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

5338

391 -

392 ASN1_OBJECT * -

393 ASN1_OBJECT_create(int nid, unsigned char *data, int len, -

394 const char *sn, const char *ln) -

395 { -

396 ASN1_OBJECT o; -

397 -

398 o.sn = sn; -

399 o.ln = ln; -

400 o.data = data; -

401 o.nid = nid; -

402 o.length = len; -

403 o.flags = 0x01 | 0x04 | -

404 0x08; -

405

return

executed 3 times by 1 test: return (OBJ_dup(&o));

Executed by:

libcrypto.so.44.0.1

(OBJ_dup(&o));

executed 3 times by 1 test: return (OBJ_dup(&o));

Executed by:

libcrypto.so.44.0.1

406 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2