OpenCoverage

stack.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/stack/stack.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 -

7 -

8 -

9 int -

10 (*sk_set_cmp_func(_STACK *sk, int (*c)(const void *, const void *)))( -

11 const void *, const void *) -

12 { -

13 int (*old)(const void *, const void *) = sk->comp; -

14 -

if (sk->comp != c

sk->comp != c	Description
TRUE	evaluated 290 times by 13 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	never evaluated

)

0-290

sk->sorted = 0;

executed 290 times by 13 tests: sk->sorted = 0;

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

290

17 sk->comp = c; -

18 -

return

executed 290 times by 13 tests: return old;

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

old;

executed 290 times by 13 tests: return old;

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

290

20 } -

21 -

22 _STACK * -

23 sk_dup(_STACK *sk) -

24 { -

25 _STACK *ret; -

26 char **s; -

27 -

if ((

(ret = sk_new(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 350 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

ret = sk_new(sk->comp)) ==

(ret = sk_new(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 350 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

0-350

((void *)0)

(ret = sk_new(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 350 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

0-350

30 ) -

goto

never executed: goto err;

err;

never executed: goto err;

32 s = reallocarray(ret->data, sk->num_alloc, sizeof(char *)); -

if (s ==

s == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 350 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

0-350

((void *)0)

s == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 350 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

0-350

35 ) -

goto

never executed: goto err;

err;

never executed: goto err;

37 ret->data = s; -

38 -

39 ret->num = sk->num; -

40 memcpy(ret->data, sk->data, sizeof(char *) * sk->num); -

41 ret->sorted = sk->sorted; -

42 ret->num_alloc = sk->num_alloc; -

43 ret->comp = sk->comp; -

return

executed 350 times by 14 tests: return (ret);

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

(ret);

executed 350 times by 14 tests: return (ret);

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

350

45 -

46 err: -

if (ret

ret	Description
TRUE	never evaluated
FALSE	never evaluated

)

sk_free(ret);

never executed: sk_free(ret);

return

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

(

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

((void *)0)

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

);

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

52 } -

53 -

54 _STACK * -

55 sk_new_null(void) -

56 { -

return

executed 8135 times by 29 tests: return sk_new((int (*)(const void *, const void *))0);

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

sk_new((int (*)(const void *, const void *))0);

executed 8135 times by 29 tests: return sk_new((int (*)(const void *, const void *))0);

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

8135

58 } -

59 -

60 _STACK * -

61 sk_new(int (*c)(const void *, const void *)) -

62 { -

63 _STACK *ret; -

64 int i; -

65 -

if ((

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

ret = malloc(sizeof(_STACK))) ==

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

0-8733

((void *)0)

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

0-8733

68 ) -

goto

never executed: goto err;

err;

never executed: goto err;

if ((

(ret->data = r...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

ret->data = reallocarray(

(ret->data = r...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

0-8733

((void *)0)

(ret->data = r...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

0-8733

, 4, sizeof(char *))) ==

(ret->data = r...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

0-8733

((void *)0)

(ret->data = r...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

0-8733

74 ) -

goto

never executed: goto err;

err;

never executed: goto err;

for (i = 0; i < 4

i < 4	Description
TRUE	evaluated 34932 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...
FALSE	evaluated 8733 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

; i++)

8733-34932

ret->data[i] =

executed 34932 times by 29 tests: ret->data[i] = ((void *)0) ;

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

34932

((void *)0)

executed 34932 times by 29 tests: ret->data[i] = ((void *)0) ;

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

34932

;

executed 34932 times by 29 tests: ret->data[i] = ((void *)0) ;

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

34932

80 ret->comp = c; -

81 ret->num_alloc = 4; -

82 ret->num = 0; -

83 ret->sorted = 0; -

return

executed 8733 times by 29 tests: return (ret);

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

(ret);

executed 8733 times by 29 tests: return (ret);

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

8733

85 -

86 err: -

87 free(ret); -

return

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

(

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

((void *)0)

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

);

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

91 } -

92 -

93 int -

94 sk_insert(_STACK *st, void *data, int loc) -

95 { -

96 char **s; -

97 -

if (st ==

st == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21439 times by 18 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest enginetest gost2814789t keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

0-21439

((void *)0)

st == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 21439 times by 18 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest enginetest gost2814789t keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

0-21439

100 ) -

101

return

never executed: return 0;

102

if (st->num_alloc <= st->num + 1

st->num_alloc <= st->num + 1	Description
TRUE	evaluated 2445 times by 16 tests Evaluated by: cipher_list cipherstest clienttest configtest enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	evaluated 18994 times by 18 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest enginetest gost2814789t keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

) {

2445-18994

103 s = reallocarray(st->data, st->num_alloc, 2 * sizeof(char *)); -

104

if (s ==

s == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2445 times by 16 tests Evaluated by: cipher_list cipherstest clienttest configtest enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

0-2445

105

((void *)0)

s == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2445 times by 16 tests Evaluated by: cipher_list cipherstest clienttest configtest enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

0-2445

106 ) -

107

return

never executed: return (0);

(0);

never executed: return (0);

108 st->data = s; -

109 st->num_alloc *= 2; -

110

}

executed 2445 times by 16 tests: end of block

Executed by:

cipher_list
cipherstest
clienttest
configtest
enginetest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

2445

111

if ((

(loc >= (int)st->num)	Description
TRUE	evaluated 21439 times by 18 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest enginetest gost2814789t keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	never evaluated

loc >= (int)st->num)

(loc >= (int)st->num)	Description
TRUE	evaluated 21439 times by 18 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest enginetest gost2814789t keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	never evaluated

|| (

(loc < 0)	Description
TRUE	never evaluated
FALSE	never evaluated

loc < 0)

(loc < 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

0-21439

112

st->data[st->num] = data;

executed 21439 times by 18 tests: st->data[st->num] = data;

Executed by:

asn1test
cipher_list
cipherstest
clienttest
configtest
enginetest
gost2814789t
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

21439

113 else { -

114 memmove(&(st->data[loc + 1]), &(st->data[loc]), -

115 sizeof(char *)*(st->num - loc)); -

116 st->data[loc] = data; -

117

}

never executed: end of block

118 st->num++; -

119 st->sorted = 0; -

120

return

executed 21439 times by 18 tests: return (st->num);

Executed by:

asn1test
cipher_list
cipherstest
clienttest
configtest
enginetest
gost2814789t
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

(st->num);

executed 21439 times by 18 tests: return (st->num);

Executed by:

asn1test
cipher_list
cipherstest
clienttest
configtest
enginetest
gost2814789t
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

21439

121 } -

122 -

123 void * -

124 sk_delete_ptr(_STACK *st, void *p) -

125 { -

126 int i; -

127 -

128

for (i = 0; i < st->num

i < st->num	Description
TRUE	evaluated 60 times by 1 test Evaluated by: ssltest
FALSE	never evaluated

; i++)

0-60

129

if (st->data[i] == p

st->data[i] == p	Description
TRUE	evaluated 30 times by 1 test Evaluated by: ssltest
FALSE	evaluated 30 times by 1 test Evaluated by: ssltest

)

130

return

executed 30 times by 1 test: return (sk_delete(st, i));

Executed by:

ssltest

(sk_delete(st, i));

executed 30 times by 1 test: return (sk_delete(st, i));

Executed by:

ssltest

131

return

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

(

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

132

((void *)0)

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

133

);

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

134 } -

135 -

136 void * -

137 sk_delete(_STACK *st, int loc) -

138 { -

139 char *ret; -

140 -

141

if (!st

!st	Description
TRUE	never evaluated
FALSE	evaluated 52 times by 1 test Evaluated by: ssltest

|| (

(loc < 0)	Description
TRUE	never evaluated
FALSE	evaluated 52 times by 1 test Evaluated by: ssltest

loc < 0)

(loc < 0)	Description
TRUE	never evaluated
FALSE	evaluated 52 times by 1 test Evaluated by: ssltest

|| (

(loc >= st->num)	Description
TRUE	never evaluated
FALSE	evaluated 52 times by 1 test Evaluated by: ssltest

loc >= st->num)

(loc >= st->num)	Description
TRUE	never evaluated
FALSE	evaluated 52 times by 1 test Evaluated by: ssltest

)

0-52

142

return

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

143

((void *)0)

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

144

;

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

145 -

146 ret = st->data[loc]; -

147

if (loc != st->num - 1

loc != st->num - 1	Description
TRUE	evaluated 22 times by 1 test Evaluated by: ssltest
FALSE	evaluated 30 times by 1 test Evaluated by: ssltest

) {

22-30

148 memmove(&(st->data[loc]), &(st->data[loc + 1]), -

149 sizeof(char *)*(st->num - 1 - loc)); -

150

}

executed 22 times by 1 test: end of block

Executed by:

ssltest

151 st->num--; -

152

return

executed 52 times by 1 test: return (ret);

Executed by:

ssltest

(ret);

executed 52 times by 1 test: return (ret);

Executed by:

ssltest

153 } -

154 -

155 static int -

156 internal_find(_STACK *st, void *data, int ret_val_options) -

157 { -

158 const void * const *r; -

159 int i; -

160 -

161

if (st ==

st == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 319 times by 4 tests Evaluated by: pkcs7test servertest ssltest tlstest

0-319

162

((void *)0)

st == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 319 times by 4 tests Evaluated by: pkcs7test servertest ssltest tlstest

0-319

163 ) -

164

return

never executed: return -1;

-1;

never executed: return -1;

165 -

166

if (st->comp ==

st->comp == ((void *)0)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 254 times by 4 tests Evaluated by: pkcs7test servertest ssltest tlstest

65-254

167

((void *)0)

st->comp == ((void *)0)	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 254 times by 4 tests Evaluated by: pkcs7test servertest ssltest tlstest

65-254

168 ) { -

169

for (i = 0; i < st->num

i < st->num	Description
TRUE	evaluated 220 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	never evaluated

; i++)

0-220

170

if (st->data[i] == data

st->data[i] == data	Description
TRUE	evaluated 65 times by 3 tests Evaluated by: servertest ssltest tlstest
FALSE	evaluated 155 times by 3 tests Evaluated by: servertest ssltest tlstest

)

65-155

171

return

executed 65 times by 3 tests: return (i);

Executed by:

servertest
ssltest
tlstest

(i);

executed 65 times by 3 tests: return (i);

Executed by:

servertest
ssltest
tlstest

172

return

never executed: return (-1);

(-1);

never executed: return (-1);

173 } -

174 sk_sort(st); -

175

if (data ==

data == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 254 times by 4 tests Evaluated by: pkcs7test servertest ssltest tlstest

0-254

176

((void *)0)

data == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 254 times by 4 tests Evaluated by: pkcs7test servertest ssltest tlstest

0-254

177 ) -

178

return

never executed: return (-1);

(-1);

never executed: return (-1);

179 r = OBJ_bsearch_ex_(&data, st->data, st->num, sizeof(void *), st->comp, -

180 ret_val_options); -

181

if (r ==

r == ((void *)0)	Description
TRUE	evaluated 134 times by 4 tests Evaluated by: pkcs7test servertest ssltest tlstest
FALSE	evaluated 120 times by 2 tests Evaluated by: ssltest tlstest

120-134

182

((void *)0)

r == ((void *)0)	Description
TRUE	evaluated 134 times by 4 tests Evaluated by: pkcs7test servertest ssltest tlstest
FALSE	evaluated 120 times by 2 tests Evaluated by: ssltest tlstest

120-134

183 ) -

184

return

executed 134 times by 4 tests: return (-1);

Executed by:

pkcs7test
servertest
ssltest
tlstest

(-1);

executed 134 times by 4 tests: return (-1);

Executed by:

pkcs7test
servertest
ssltest
tlstest

134

185

return

executed 120 times by 2 tests: return (int)((char **)r - st->data);

Executed by:

ssltest
tlstest

(int)((char **)r - st->data);

executed 120 times by 2 tests: return (int)((char **)r - st->data);

Executed by:

ssltest
tlstest

120

186 } -

187 -

188 int -

189 sk_find(_STACK *st, void *data) -

190 { -

191

return

executed 319 times by 4 tests: return internal_find(st, data, 0x02);

Executed by:

pkcs7test
servertest
ssltest
tlstest

internal_find(st, data, 0x02);

executed 319 times by 4 tests: return internal_find(st, data, 0x02);

Executed by:

pkcs7test
servertest
ssltest
tlstest

319

192 } -

193 -

194 int -

195 sk_find_ex(_STACK *st, void *data) -

196 { -

197

return

never executed: return internal_find(st, data, 0x01);

internal_find(st, data, 0x01);

never executed: return internal_find(st, data, 0x01);

198 } -

199 -

200 int -

201 sk_push(_STACK *st, void *data) -

202 { -

203

return

executed 21406 times by 18 tests: return (sk_insert(st, data, st->num));

Executed by:

asn1test
cipher_list
cipherstest
clienttest
configtest
enginetest
gost2814789t
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

(sk_insert(st, data, st->num));

executed 21406 times by 18 tests: return (sk_insert(st, data, st->num));

Executed by:

asn1test
cipher_list
cipherstest
clienttest
configtest
enginetest
gost2814789t
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

21406

204 } -

205 -

206 int -

207 sk_unshift(_STACK *st, void *data) -

208 { -

209

return

never executed: return (sk_insert(st, data, 0));

(sk_insert(st, data, 0));

never executed: return (sk_insert(st, data, 0));

210 } -

211 -

212 void * -

213 sk_shift(_STACK *st) -

214 { -

215

if (st ==

st == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

216

((void *)0)

st == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

0-7

217 ) -

218

return

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

(

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

219

((void *)0)

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

220

);

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

221

if (st->num <= 0

st->num <= 0	Description
TRUE	never evaluated
FALSE	evaluated 7 times by 1 test Evaluated by: ssltest

)

0-7

222

return

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

(

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

223

((void *)0)

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

224

);

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

225

return

executed 7 times by 1 test: return (sk_delete(st, 0));

Executed by:

ssltest

(sk_delete(st, 0));

executed 7 times by 1 test: return (sk_delete(st, 0));

Executed by:

ssltest

226 } -

227 -

228 void * -

229 sk_pop(_STACK *st) -

230 { -

231

if (st ==

st == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 15 times by 1 test Evaluated by: ssltest

0-15

232

((void *)0)

st == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 15 times by 1 test Evaluated by: ssltest

0-15

233 ) -

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

if (st->num <= 0

st->num <= 0	Description
TRUE	never evaluated
FALSE	evaluated 15 times by 1 test Evaluated by: ssltest

)

0-15

238

return

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

(

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

239

((void *)0)

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

240

);

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

241

return

executed 15 times by 1 test: return (sk_delete(st, st->num - 1));

Executed by:

ssltest

(sk_delete(st, st->num - 1));

executed 15 times by 1 test: return (sk_delete(st, st->num - 1));

Executed by:

ssltest

242 } -

243 -

244 void -

245 sk_zero(_STACK *st) -

246 { -

247

if (st ==

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

248

((void *)0)

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

249 ) -

250

return;

never executed: return;

251

if (st->num <= 0

st->num <= 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

252

return;

never executed: return;

253 memset(st->data, 0, sizeof(st->data)*st->num); -

254 st->num = 0; -

255

}

never executed: end of block

256 -

257 void -

258 sk_pop_free(_STACK *st, void (*func)(void *)) -

259 { -

260 int i; -

261 -

262

if (st ==

st == ((void *)0)	Description
TRUE	evaluated 2381 times by 16 tests Evaluated by: cipher_list cipherstest clienttest configtest evptest freenull libcrypto.so.44.0.1 pbkdf2 servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	evaluated 4777 times by 21 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest dsatest ecdhtest ecdsatest ectest enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

2381-4777

263

((void *)0)

st == ((void *)0)	Description
TRUE	evaluated 2381 times by 16 tests Evaluated by: cipher_list cipherstest clienttest configtest evptest freenull libcrypto.so.44.0.1 pbkdf2 servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	evaluated 4777 times by 21 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest dsatest ecdhtest ecdsatest ectest enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

2381-4777

264 ) -

265

return;

executed 2381 times by 16 tests: return;

Executed by:

cipher_list
cipherstest
clienttest
configtest
evptest
freenull
libcrypto.so.44.0.1
pbkdf2
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

2381

266

for (i = 0; i < st->num

i < st->num	Description
TRUE	evaluated 6033 times by 9 tests Evaluated by: asn1test enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	evaluated 4777 times by 21 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest dsatest ecdhtest ecdsatest ectest enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

; i++)

4777-6033

267

if (st->data[i] !=

st->data[i] != ((void *)0)	Description
TRUE	evaluated 6033 times by 9 tests Evaluated by: asn1test enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

0-6033

268

((void *)0)

st->data[i] != ((void *)0)	Description
TRUE	evaluated 6033 times by 9 tests Evaluated by: asn1test enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlstest verifytest
FALSE	never evaluated

0-6033

269 ) -

270

func(st->data[i]);

executed 6033 times by 9 tests: func(st->data[i]);

Executed by:

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

6033

271 sk_free(st); -

272

}

executed 4777 times by 21 tests: end of block

Executed by:

asn1test
cipher_list
cipherstest
clienttest
configtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

4777

273 -

274 void -

275 sk_free(_STACK *st) -

276 { -

277

if (st ==

st == ((void *)0)	Description
TRUE	evaluated 2192 times by 17 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest freenull keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	evaluated 8322 times by 21 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest dsatest ecdhtest ecdsatest ectest enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

2192-8322

278

((void *)0)

st == ((void *)0)	Description
TRUE	evaluated 2192 times by 17 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest freenull keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	evaluated 8322 times by 21 tests Evaluated by: asn1test cipher_list cipherstest clienttest configtest dsatest ecdhtest ecdsatest ectest enginetest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

2192-8322

279 ) -

280

return;

executed 2192 times by 17 tests: return;

Executed by:

asn1test
cipher_list
cipherstest
clienttest
configtest
freenull
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

2192

281 free(st->data); -

282 free(st); -

283

}

executed 8322 times by 21 tests: end of block

Executed by:

asn1test
cipher_list
cipherstest
clienttest
configtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

8322

284 -

285 int -

286 sk_num(const _STACK *st) -

287 { -

288

if (st ==

st == ((void *)0)	Description
TRUE	evaluated 1626 times by 10 tests Evaluated by: asn1test freenull keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlsexttest tlstest verifytest
FALSE	evaluated 54713 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

1626-54713

289

((void *)0)

st == ((void *)0)	Description
TRUE	evaluated 1626 times by 10 tests Evaluated by: asn1test freenull keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlsexttest tlstest verifytest
FALSE	evaluated 54713 times by 29 tests Evaluated by: asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest exptest gost2814789t keypairtest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssl_versions ssltest tls_ext_alpn ...

1626-54713

290 ) -

291

return

executed 1626 times by 10 tests: return -1;

Executed by:

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

-1;

executed 1626 times by 10 tests: return -1;

Executed by:

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

1626

292

return

executed 54713 times by 29 tests: return st->num;

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

st->num;

executed 54713 times by 29 tests: return st->num;

Executed by:

asn1test
base64test
bnaddsub
bntest
cipher_list
cipherstest
clienttest
configtest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
enginetest
exptest
gost2814789t
keypairtest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssl_versions
ssltest
tls_ext_alpn
...

54713

293 } -

294 -

295 void * -

296 sk_value(const _STACK *st, int i) -

297 { -

298

if (!st

!st	Description
TRUE	never evaluated
FALSE	evaluated 29298 times by 12 tests Evaluated by: asn1test cipher_list cipherstest clienttest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlsexttest tlstest verifytest

|| (

(i < 0)	Description
TRUE	never evaluated
FALSE	evaluated 29298 times by 12 tests Evaluated by: asn1test cipher_list cipherstest clienttest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlsexttest tlstest verifytest

i < 0)

(i < 0)	Description
TRUE	never evaluated
FALSE	evaluated 29298 times by 12 tests Evaluated by: asn1test cipher_list cipherstest clienttest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlsexttest tlstest verifytest

|| (

(i >= st->num)	Description
TRUE	never evaluated
FALSE	evaluated 29298 times by 12 tests Evaluated by: asn1test cipher_list cipherstest clienttest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlsexttest tlstest verifytest

i >= st->num)

(i >= st->num)	Description
TRUE	never evaluated
FALSE	evaluated 29298 times by 12 tests Evaluated by: asn1test cipher_list cipherstest clienttest keypairtest libcrypto.so.44.0.1 pkcs7test servertest ssltest tlsexttest tlstest verifytest

)

0-29298

299

return

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

300

((void *)0)

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

301

;

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

302

return

executed 29298 times by 12 tests: return st->data[i];

Executed by:

asn1test
cipher_list
cipherstest
clienttest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlsexttest
tlstest
verifytest

st->data[i];

executed 29298 times by 12 tests: return st->data[i];

Executed by:

asn1test
cipher_list
cipherstest
clienttest
keypairtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssltest
tlsexttest
tlstest
verifytest

29298

303 } -

304 -

305 void * -

306 sk_set(_STACK *st, int i, void *value) -

307 { -

308

if (!st

!st	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

|| (

(i < 0)	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

i < 0)

(i < 0)	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

|| (

(i >= st->num)	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

i >= st->num)

(i >= st->num)	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest

)

0-143

309

return

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

310

((void *)0)

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

311

;

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

312 st->sorted = 0; -

313

return

executed 143 times by 14 tests: return (st->data[i] = value);

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

(st->data[i] = value);

executed 143 times by 14 tests: return (st->data[i] = value);

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

143

314 } -

315 -

316 void -

317 sk_sort(_STACK *st) -

318 { -

319

if (st

st	Description
TRUE	evaluated 544 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	never evaluated

&& !st->sorted

!st->sorted	Description
TRUE	evaluated 447 times by 14 tests Evaluated by: cipher_list cipherstest clienttest configtest libcrypto.so.44.0.1 pkcs7test servertest ssl_versions ssltest tls_ext_alpn tls_prf tlsexttest tlstest verifytest
FALSE	evaluated 97 times by 3 tests Evaluated by: pkcs7test ssltest tlstest

) {

0-544

320 int (*comp_func)(const void *, const void *); -

321 -

322 -

323 -

324 -

325 -

326 -

327 comp_func = (int (*)(const void *, const void *))(st->comp); -

328 qsort(st->data, st->num, sizeof(char *), comp_func); -

329 st->sorted = 1; -

330

}

executed 447 times by 14 tests: end of block

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

447

331

}

executed 544 times by 14 tests: end of block

Executed by:

cipher_list
cipherstest
clienttest
configtest
libcrypto.so.44.0.1
pkcs7test
servertest
ssl_versions
ssltest
tls_ext_alpn
tls_prf
tlsexttest
tlstest
verifytest

544

332 -

333 int -

334 sk_is_sorted(const _STACK *st) -

335 { -

336

if (!st

!st	Description
TRUE	never evaluated
FALSE	never evaluated

)

337

return

never executed: return 1;

338

return

never executed: return st->sorted;

st->sorted;

never executed: return st->sorted;

339 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2