OpenCoverage

a_bitstr.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

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

3 { -

return

executed 21 times by 1 test: return ASN1_STRING_set(x, d, len);

Executed by:

libcrypto.so.1.1

ASN1_STRING_set(x, d, len);

executed 21 times by 1 test: return ASN1_STRING_set(x, d, len);

Executed by:

libcrypto.so.1.1

5 } -

6 -

7 int i2c_ASN1_BIT_STRING(ASN1_BIT_STRING *a, unsigned char **pp) -

8 { -

9 int ret, j, bits, len; -

10 unsigned char *p, *d; -

11 -

if (a ==

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

0-309577

((void *)0)

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

0-309577

14 ) -

return

never executed: return 0;

16 -

17 len = a->length; -

18 -

if (len > 0

len > 0	Description
TRUE	evaluated 176496 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 133081 times by 1 test Evaluated by: libcrypto.so.1.1

) {

133081-176496

if (a->flags & 0x08

a->flags & 0x08	Description
TRUE	evaluated 176466 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 30 times by 1 test Evaluated by: libcrypto.so.1.1

) {

30-176466

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

}

executed 176466 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else {

176466

for (; len > 0

len > 0	Description
TRUE	evaluated 30 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

; len--) {

0-30

if (a->data[len - 1]

a->data[len - 1]	Description
TRUE	evaluated 30 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

)

0-30

break;

executed 30 times by 1 test: break;

Executed by:

libcrypto.so.1.1

}

never executed: end of block

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

if (j & 0x01

j & 0x01	Description
TRUE	never evaluated
FALSE	evaluated 30 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-30

bits = 0;

never executed: bits = 0;

else if (j & 0x02

j & 0x02	Description
TRUE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 18 times by 1 test Evaluated by: libcrypto.so.1.1

)

12-18

bits = 1;

executed 12 times by 1 test: bits = 1;

Executed by:

libcrypto.so.1.1

else if (j & 0x04

j & 0x04	Description
TRUE	never evaluated
FALSE	evaluated 18 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-18

bits = 2;

never executed: bits = 2;

else if (j & 0x08

j & 0x08	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.1.1

)

6-12

bits = 3;

executed 6 times by 1 test: bits = 3;

Executed by:

libcrypto.so.1.1

else if (j & 0x10

j & 0x10	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-12

bits = 4;

never executed: bits = 4;

else if (j & 0x20

j & 0x20	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.1.1

)

bits = 5;

executed 6 times by 1 test: bits = 5;

Executed by:

libcrypto.so.1.1

else if (j & 0x40

j & 0x40	Description
TRUE	evaluated 6 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

)

0-6

bits = 6;

executed 6 times by 1 test: bits = 6;

Executed by:

libcrypto.so.1.1

else if (j & 0x80

j & 0x80	Description
TRUE	never evaluated
FALSE	never evaluated

)

bits = 7;

never executed: bits = 7;

44 else -

bits = 0;

never executed: bits = 0;

46 } -

47 } else -

bits = 0;

executed 133081 times by 1 test: bits = 0;

Executed by:

libcrypto.so.1.1

133081

49 -

50 ret = 1 + len; -

if (pp ==

pp == ((void *)0)	Description
TRUE	evaluated 235356 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 74221 times by 1 test Evaluated by: libcrypto.so.1.1

74221-235356

((void *)0)

pp == ((void *)0)	Description
TRUE	evaluated 235356 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 74221 times by 1 test Evaluated by: libcrypto.so.1.1

74221-235356

53 ) -

return

executed 235356 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

ret;

executed 235356 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

235356

55 -

56 p = *pp; -

57 -

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

59 d = a->data; -

if (len > 0

len > 0	Description
TRUE	evaluated 42006 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 32215 times by 1 test Evaluated by: libcrypto.so.1.1

) {

32215-42006

61 memcpy(p, d, len); -

62 p += len; -

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

}

executed 42006 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

42006

65 *pp = p; -

return

executed 74221 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

ret;

executed 74221 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

74221

67 } -

68 -

69 ASN1_BIT_STRING *c2i_ASN1_BIT_STRING(ASN1_BIT_STRING **a, -

70 const unsigned char **pp, long len) -

71 { -

72 ASN1_BIT_STRING *ret = -

73 ((void *)0) -

74 ; -

75 const unsigned char *p; -

76 unsigned char *s; -

77 int i; -

78 -

if (len < 1

len < 1	Description
TRUE	evaluated 1244 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 146638 times by 1 test Evaluated by: libcrypto.so.1.1

) {

1244-146638

80 i = 152; -

goto

executed 1244 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 1244 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

1244

82 } -

83 -

if (len > 0x7fffffff

len > 0x7fffffff	Description
TRUE	never evaluated
FALSE	evaluated 146638 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-146638

85 i = 151; -

goto

never executed: goto err;

err;

never executed: goto err;

87 } -

88 -

if ((

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

a ==

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

0-146638

((void *)0)

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

0-146638

)

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

|| ((*

((a) == ((void )0) )	Description
TRUE	evaluated 22982 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 123656 times by 1 test Evaluated by: libcrypto.so.1.1

a) ==

((a) == ((void )0) )	Description
TRUE	evaluated 22982 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 123656 times by 1 test Evaluated by: libcrypto.so.1.1

0-146638

((void *)0)

((a) == ((void )0) )	Description
TRUE	evaluated 22982 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 123656 times by 1 test Evaluated by: libcrypto.so.1.1

22982-123656

)

((a) == ((void )0) )	Description
TRUE	evaluated 22982 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 123656 times by 1 test Evaluated by: libcrypto.so.1.1

) {

22982-123656

if ((

(ret = ASN1_BI...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 22982 times by 1 test Evaluated by: libcrypto.so.1.1

ret = ASN1_BIT_STRING_new()) ==

(ret = ASN1_BI...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 22982 times by 1 test Evaluated by: libcrypto.so.1.1

0-22982

((void *)0)

(ret = ASN1_BI...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 22982 times by 1 test Evaluated by: libcrypto.so.1.1

0-22982

96 ) -

return

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

((void *)0)

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

;

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

100

}

executed 22982 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else

22982

101

ret = (*a);

executed 123656 times by 1 test: ret = (*a);

Executed by:

libcrypto.so.1.1

123656

102 -

103 p = *pp; -

104 i = *(p++); -

105

if (i > 7

i > 7	Description
TRUE	evaluated 626 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 146012 times by 1 test Evaluated by: libcrypto.so.1.1

) {

626-146012

106 i = 220; -

107

goto

executed 626 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 626 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

626

108 } -

109 -

110 -

111 -

112 -

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

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

115 -

116

if (len-- > 1

len-- > 1	Description
TRUE	evaluated 92146 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 53866 times by 1 test Evaluated by: libcrypto.so.1.1

) {

53866-92146

117 s = CRYPTO_malloc((int)len, __FILE__, 117); -

118

if (s ==

s == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 92146 times by 1 test Evaluated by: libcrypto.so.1.1

0-92146

119

((void *)0)

s == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 92146 times by 1 test Evaluated by: libcrypto.so.1.1

0-92146

120 ) { -

121 i = (1|64); -

122

goto

never executed: goto err;

err;

never executed: goto err;

123 } -

124 memcpy(s, p, (int)len); -

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

126 p += len; -

127

}

executed 92146 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else

92146

128

s =

executed 53866 times by 1 test: s = ((void *)0) ;

Executed by:

libcrypto.so.1.1

53866

129

((void *)0)

executed 53866 times by 1 test: s = ((void *)0) ;

Executed by:

libcrypto.so.1.1

53866

130

;

executed 53866 times by 1 test: s = ((void *)0) ;

Executed by:

libcrypto.so.1.1

53866

131 -

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

133 CRYPTO_free(ret->data, __FILE__, 129); -

134 ret->data = s; -

135 ret->type = 3; -

136

if (a !=

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

0-146012

137

((void *)0)

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

0-146012

138 ) -

139

executed 146012 times by 1 test: (*a) = ret;

Executed by:

libcrypto.so.1.1

a) = ret;

executed 146012 times by 1 test: (*a) = ret;

Executed by:

libcrypto.so.1.1

146012

140 *pp = p; -

141

return

executed 146012 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

ret;

executed 146012 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

146012

142 err: -

143 ERR_put_error(13,(189),(i),__FILE__,137); -

144

if ((

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

a ==

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

0-1870

145

((void *)0)

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

0-1870

146

)

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

|| (*

(*a != ret)	Description
TRUE	evaluated 807 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1063 times by 1 test Evaluated by: libcrypto.so.1.1

a != ret)

(*a != ret)	Description
TRUE	evaluated 807 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 1063 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-1870

147

ASN1_BIT_STRING_free(ret);

executed 807 times by 1 test: ASN1_BIT_STRING_free(ret);

Executed by:

libcrypto.so.1.1

807

148

return

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

Executed by:

libcrypto.so.1.1

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

Executed by:

libcrypto.so.1.1

1870

149

((void *)0)

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

Executed by:

libcrypto.so.1.1

1870

150

;

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

Executed by:

libcrypto.so.1.1

1870

151 } -

152 -

153 -

154 -

155 -

156 int 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	evaluated 24 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-24

165

v = 0;

never executed: v = 0;

166 -

167

if (a ==

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

0-24

168

((void *)0)

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

0-24

169 ) -

170

return

never executed: return 0;

171 -

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

173 -

174

if ((

(a->length < (w + 1))	Description
TRUE	evaluated 10 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 14 times by 1 test Evaluated by: libcrypto.so.1.1

a->length < (w + 1))

(a->length < (w + 1))	Description
TRUE	evaluated 10 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 14 times by 1 test Evaluated by: libcrypto.so.1.1

|| (

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

a->data ==

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

0-14

175

((void *)0)

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

0-14

176

)

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

) {

0-14

177

if (!value

!value	Description
TRUE	never evaluated
FALSE	evaluated 10 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-10

178

return

never executed: return 1;

179 c = CRYPTO_clear_realloc(a->data, a->length, w + 1, __FILE__, 165); -

180

if (c ==

c == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 10 times by 1 test Evaluated by: libcrypto.so.1.1

0-10

181

((void *)0)

c == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 10 times by 1 test Evaluated by: libcrypto.so.1.1

0-10

182 ) { -

183 ERR_put_error(13,(183),((1|64)),__FILE__,167); -

184

return

never executed: return 0;

185 } -

186

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

w + 1 - a->length > 0	Description
TRUE	evaluated 10 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

)

0-10

187

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

executed 10 times by 1 test: memset(c + a->length, 0, w + 1 - a->length);

Executed by:

libcrypto.so.1.1

188 a->data = c; -

189 a->length = w + 1; -

190

}

executed 10 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

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

192

while ((

(a->length > 0)	Description
TRUE	evaluated 24 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

a->length > 0)

(a->length > 0)	Description
TRUE	evaluated 24 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

&& (

(a->data[a->length - 1] == 0)	Description
TRUE	never evaluated
FALSE	evaluated 24 times by 1 test Evaluated by: libcrypto.so.1.1

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

(a->data[a->length - 1] == 0)	Description
TRUE	never evaluated
FALSE	evaluated 24 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-24

193

a->length--;

never executed: a->length--;

194

return

executed 24 times by 1 test: return 1;

Executed by:

libcrypto.so.1.1

executed 24 times by 1 test: return 1;

Executed by:

libcrypto.so.1.1

195 } -

196 -

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

198 { -

199 int w, v; -

200 -

201 w = n / 8; -

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

203

if ((

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

a ==

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

0-47413

204

((void *)0)

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

0-47413

205

)

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

|| (

(a->length < (w + 1))	Description
TRUE	evaluated 5893 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 41520 times by 1 test Evaluated by: libcrypto.so.1.1

a->length < (w + 1))

(a->length < (w + 1))	Description
TRUE	evaluated 5893 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 41520 times by 1 test Evaluated by: libcrypto.so.1.1

|| (

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

a->data ==

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

0-47413

206

((void *)0)

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

0-41520

207

)

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

)

0-41520

208

return

executed 5893 times by 1 test: return 0;

Executed by:

libcrypto.so.1.1

executed 5893 times by 1 test: return 0;

Executed by:

libcrypto.so.1.1

5893

209

return

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

Executed by:

libcrypto.so.1.1

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

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

Executed by:

libcrypto.so.1.1

41520

210 } -

211 -

212 -

213 -

214 -

215 -

216 -

217 -

218 int ASN1_BIT_STRING_check(const ASN1_BIT_STRING *a, -

219 const unsigned char *flags, int flags_len) -

220 { -

221 int i, ok; -

222 -

223

if (!a

!a	Description
TRUE	never evaluated
FALSE	never evaluated

|| !a->data

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

)

224

return

never executed: return 1;

225 -

226 -

227 -

228 -

229 ok = 1; -

230

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) {

231

unsigned char mask = i < flags_len

i < flags_len	Description
TRUE	never evaluated
FALSE	never evaluated

? ~flags[i] : 0xff;

232 -

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

234

}

never executed: end of block

235

return

never executed: return ok;

ok;

never executed: return ok;

236 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2