OpenCoverage

a_bitstr.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 int -

4 ASN1_BIT_STRING_set(ASN1_BIT_STRING *x, unsigned char *d, int len) -

5 { -

return

never executed: return ASN1_STRING_set(x, d, len);

ASN1_STRING_set(x, d, len);

never executed: return ASN1_STRING_set(x, d, len);

7 } -

8 -

9 int -

10 i2c_ASN1_BIT_STRING(ASN1_BIT_STRING *a, unsigned char **pp) -

11 { -

12 int ret, j, bits, len; -

13 unsigned char *p, *d; -

14 -

if (a ==

a == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1306 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-1306

((void *)0)

a == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1306 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-1306

17 ) -

return

never executed: return (0);

(0);

never executed: return (0);

19 -

20 len = a->length; -

21 -

if (len > 0

len > 0	Description
TRUE	evaluated 1306 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	never evaluated

) {

0-1306

if (a->flags & 0x08

a->flags & 0x08	Description
TRUE	evaluated 1306 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	never evaluated

) {

0-1306

24 bits = (int)a->flags & 0x07; -

}

executed 1306 times by 6 tests: end of block

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

else {

1306

for (; len > 0

len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

; len--) {

if (a->data[len - 1]

a->data[len - 1]	Description
TRUE	never evaluated
FALSE	never evaluated

)

break;

never executed: break;

}

never executed: end of block

30 j = a->data[len - 1]; -

if (j & 0x01

j & 0x01	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 0;

never executed: bits = 0;

else if (j & 0x02

j & 0x02	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 1;

never executed: bits = 1;

else if (j & 0x04

j & 0x04	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 2;

never executed: bits = 2;

else if (j & 0x08

j & 0x08	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 3;

never executed: bits = 3;

else if (j & 0x10

j & 0x10	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 4;

never executed: bits = 4;

else if (j & 0x20

j & 0x20	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 5;

never executed: bits = 5;

else if (j & 0x40

j & 0x40	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 6;

never executed: bits = 6;

else if (j & 0x80

j & 0x80	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 7;

never executed: bits = 7;

47 else -

bits = 0;

never executed: bits = 0;

49 } -

50 } else -

bits = 0;

never executed: bits = 0;

52 -

53 ret = 1 + len; -

if (pp ==

pp == ((void *)0)	Description
TRUE	evaluated 984 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 322 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

322-984

((void *)0)

pp == ((void *)0)	Description
TRUE	evaluated 984 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 322 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

322-984

56 ) -

return

executed 984 times by 6 tests: return (ret);

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

(ret);

executed 984 times by 6 tests: return (ret);

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

984

58 -

59 p= *pp; -

60 -

61 *(p++) = (unsigned char)bits; -

62 d = a->data; -

63 memcpy(p, d, len); -

64 p += len; -

if (len > 0

len > 0	Description
TRUE	evaluated 322 times by 6 tests Evaluated by: asn1test libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	never evaluated

)

0-322

p[-1]&=(0xff << bits);

executed 322 times by 6 tests: p[-1]&=(0xff << bits);

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

322

67 *pp = p; -

return

executed 322 times by 6 tests: return (ret);

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

(ret);

executed 322 times by 6 tests: return (ret);

Executed by:

asn1test
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

322

69 } -

70 -

71 ASN1_BIT_STRING * -

72 c2i_ASN1_BIT_STRING(ASN1_BIT_STRING **a, const unsigned char **pp, long len) -

73 { -

74 ASN1_BIT_STRING *ret = -

75 ((void *)0) -

76 ; -

77 const unsigned char *p; -

78 unsigned char *s; -

79 int i; -

80 -

if (len < 1

len < 1	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

82 ERR_put_error(13,(0xfff),(152),__FILE__,138); -

goto

never executed: goto err;

err;

never executed: goto err;

84 } -

85 -

if (a ==

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

((void *)0)

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

|| *

a == ((void )0)	Description
TRUE	evaluated 197 times by 5 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 438 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

a ==

a == ((void )0)	Description
TRUE	evaluated 197 times by 5 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 438 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

197-438

((void *)0)

a == ((void )0)	Description
TRUE	evaluated 197 times by 5 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest
FALSE	evaluated 438 times by 7 tests Evaluated by: asn1test keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

197-438

90 ) { -

if ((

(ret = ASN1_BI...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 197 times by 5 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

ret = ASN1_BIT_STRING_new()) ==

(ret = ASN1_BI...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 197 times by 5 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-197

((void *)0)

(ret = ASN1_BI...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 197 times by 5 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest

0-197

93 ) -

return

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

(

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

((void *)0)

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

);

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

}

executed 197 times by 5 tests: end of block

Executed by:

libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

else

197

ret = *a;

executed 438 times by 7 tests: ret = *a;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

438

99 -

100 p = *pp; -

101 i = *(p++); -

102

if (i > 7

i > 7	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

103 ERR_put_error(13,(0xfff),(220),__FILE__,151); -

104

goto

never executed: goto err;

err;

never executed: goto err;

105 } -

106 -

107 -

108 -

109 -

110 -

111 ret->flags &= ~(0x08 | 0x07); -

112 ret->flags |= (0x08 | i); -

113 -

114 -

115

if (len-- > 1

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

) {

0-635

116

if ((

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

s = malloc(len)) ==

(s = malloc(le...== ((void *)0)	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

117

((void *)0)

(s = malloc(le...== ((void *)0)	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

118 ) { -

119 ERR_put_error(13,(0xfff),((1|64)),__FILE__,165); -

120

goto

never executed: goto err;

err;

never executed: goto err;

121 } -

122 memcpy(s, p, len); -

123 s[len - 1] &= (0xff << i); -

124 p += len; -

125

}

executed 635 times by 7 tests: end of block

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

else

635

126

s =

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

127

((void *)0)

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

128

;

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

129 -

130 free(ret->data); -

131 ret->data = s; -

132 ret->length = (int)len; -

133 ret->type = 3; -

134 -

135

if (a !=

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

0-635

136

((void *)0)

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

0-635

137 ) -

138

executed 635 times by 7 tests: *a = ret;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

a = ret;

executed 635 times by 7 tests: *a = ret;

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

635

139 -

140 *pp = p; -

141 -

142

return

executed 635 times by 7 tests: return (ret);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

(ret);

executed 635 times by 7 tests: return (ret);

Executed by:

asn1test
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlstest

635

143 -

144 err: -

145

if (a ==

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

146

((void *)0)

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

147

|| *

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

a != ret

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

)

148

ASN1_BIT_STRING_free(ret);

never executed: ASN1_BIT_STRING_free(ret);

149 -

150

return

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

(

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

151

((void *)0)

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

152

);

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

153 } -

154 -

155 int -

156 ASN1_BIT_STRING_set_bit(ASN1_BIT_STRING *a, int n, int value) -

157 { -

158 int w, v, iv; -

159 unsigned char *c; -

160 -

161 w = n/8; -

162 v = 1 << (7 - (n & 0x07)); -

163 iv = ~v; -

164

if (!value

!value	Description
TRUE	never evaluated
FALSE	never evaluated

)

165

v = 0;

never executed: v = 0;

166 -

167

if (a ==

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

168

((void *)0)

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

169 ) -

170

return

never executed: return 0;

171 -

172 a->flags &= ~(0x08 | 0x07); -

173 -

174

if ((

(a->length < (w + 1))	Description
TRUE	never evaluated
FALSE	never evaluated

a->length < (w + 1))

(a->length < (w + 1))	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

175

((void *)0)

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

176

)

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

) {

177

if (!value

!value	Description
TRUE	never evaluated
FALSE	never evaluated

)

178

return

never executed: return(1);

(1);

never executed: return(1);

179

if ((

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

c = recallocarray(a->data, a->length, w + 1, 1)) ==

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

180

((void *)0)

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

181 ) { -

182 ERR_put_error(13,(0xfff),((1|64)),__FILE__,214); -

183

return

never executed: return 0;

184 } -

185

if (w + 1 - a->length > 0

w + 1 - a->length > 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

186

memset(c + a->length, 0, w + 1 - a->length);

never executed: memset(c + a->length, 0, w + 1 - a->length);

187 a->data = c; -

188 a->length = w + 1; -

189

}

never executed: end of block

190 a->data[w] = ((a->data[w]) & iv) | v; -

191

while ((

(a->length > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

a->length > 0)

(a->length > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

&& (

(a->data[a->length - 1] == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

a->data[a->length - 1] == 0)

(a->data[a->length - 1] == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

192

a->length--;

never executed: a->length--;

193 -

194

return

never executed: return (1);

(1);

never executed: return (1);

195 } -

196 -

197 int -

198 ASN1_BIT_STRING_get_bit(const ASN1_BIT_STRING *a, int n) -

199 { -

200 int w, v; -

201 -

202 w = n / 8; -

203 v = 1 << (7 - (n & 0x07)); -

204

if ((

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

a ==

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

0-9

205

((void *)0)

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

0-9

206

)

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

|| (

(a->length < (w + 1))	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 8 times by 1 test Evaluated by: libcrypto.so.44.0.1

a->length < (w + 1))

(a->length < (w + 1))	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.44.0.1
FALSE	evaluated 8 times by 1 test Evaluated by: libcrypto.so.44.0.1

|| (

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

a->data ==

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

0-9

207

((void *)0)

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

0-8

208

)

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

)

0-8

209

return

executed 1 time by 1 test: return (0);

Executed by:

libcrypto.so.44.0.1

(0);

executed 1 time by 1 test: return (0);

Executed by:

libcrypto.so.44.0.1

210

return

executed 8 times by 1 test: return ((a->data[w] & v) != 0);

Executed by:

libcrypto.so.44.0.1

((a->data[w] & v) != 0);

executed 8 times by 1 test: return ((a->data[w] & v) != 0);

Executed by:

libcrypto.so.44.0.1

211 } -

212 -

213 -

214 -

215 -

216 -

217 -

218 -

219 int -

220 ASN1_BIT_STRING_check(const ASN1_BIT_STRING *a, const unsigned char *flags, -

221 int flags_len) -

222 { -

223 int i, ok; -

224 -

225 -

226

if (!a

!a	Description
TRUE	never evaluated
FALSE	never evaluated

|| !a->data

!a->data	Description
TRUE	never evaluated
FALSE	never evaluated

)

227

return

never executed: return 1;

228 -

229 -

230 ok = 1; -

231

for (i = 0; i < a->length

i < a->length	Description
TRUE	never evaluated
FALSE	never evaluated

&& ok

ok	Description
TRUE	never evaluated
FALSE	never evaluated

; ++i) {

232

unsigned char mask = i < flags_len

i < flags_len	Description
TRUE	never evaluated
FALSE	never evaluated

? ~flags[i] : 0xff;

233 -

234 ok = (a->data[i] & mask) == 0; -

235

}

never executed: end of block

236

return

never executed: return ok;

ok;

never executed: return ok;

237 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2