OpenCoverage

bn_div.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/bn/bn_div.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 static int -

5 BN_div_internal(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num, const BIGNUM *divisor, -

6 BN_CTX *ctx, int ct) -

7 { -

8 int norm_shift, i, loop; -

9 BIGNUM *tmp, wnum, *snum, *sdiv, *res; -

10 unsigned long *resp, *wnump; -

11 unsigned long d0, d1; -

12 int num_n, div_n; -

13 int no_branch = 0; -

14 -

15 -

16 -

17 -

if (num->top > 0

num->top > 0	Description
TRUE	evaluated 458458 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 627 times by 9 tests Evaluated by: bntest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

&& num->d[num->top - 1] == 0

num->d[num->top - 1] == 0	Description
TRUE	never evaluated
FALSE	evaluated 458458 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

0-458458

19 ERR_put_error(3,(0xfff),(107),__FILE__,134); -

return

never executed: return 0;

21 } -

22 -

23 ; -

24 -

if (ct

ct	Description
TRUE	evaluated 457664 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1421 times by 2 tests Evaluated by: bntest exptest

)

1421-457664

no_branch = 1;

executed 457664 times by 14 tests: no_branch = 1;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

457664

27 -

28 ; -

29 ; -

30 -

31 ; -

32 -

if (((

((divisor)->top == 0)	Description
TRUE	evaluated 6 times by 1 test Evaluated by: bntest
FALSE	evaluated 459079 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

divisor)->top == 0)

((divisor)->top == 0)	Description
TRUE	evaluated 6 times by 1 test Evaluated by: bntest
FALSE	evaluated 459079 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

6-459079

34 ERR_put_error(3,(0xfff),(103),__FILE__,149); -

return

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

Executed by:

bntest

(0);

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

Executed by:

bntest

36 } -

37 -

if (!no_branch

!no_branch	Description
TRUE	evaluated 1420 times by 2 tests Evaluated by: bntest exptest
FALSE	evaluated 457659 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

&& BN_ucmp(num, divisor) < 0

BN_ucmp(num, divisor) < 0	Description
TRUE	evaluated 281 times by 2 tests Evaluated by: bntest exptest
FALSE	evaluated 1139 times by 2 tests Evaluated by: bntest exptest

) {

281-457659

if (rm !=

rm != ((void *)0)	Description
TRUE	evaluated 281 times by 2 tests Evaluated by: bntest exptest
FALSE	never evaluated

0-281

((void *)0)

rm != ((void *)0)	Description
TRUE	evaluated 281 times by 2 tests Evaluated by: bntest exptest
FALSE	never evaluated

0-281

41 ) { -

if (BN_copy(rm, num) ==

BN_copy(rm, nu...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 281 times by 2 tests Evaluated by: bntest exptest

0-281

((void *)0)

BN_copy(rm, nu...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 281 times by 2 tests Evaluated by: bntest exptest

0-281

44 ) -

return

never executed: return (0);

(0);

never executed: return (0);

}

executed 281 times by 2 tests: end of block

Executed by:

bntest
exptest

281

if (dv !=

dv != ((void *)0)	Description
TRUE	evaluated 51 times by 1 test Evaluated by: bntest
FALSE	evaluated 230 times by 2 tests Evaluated by: bntest exptest

51-230

((void *)0)

dv != ((void *)0)	Description
TRUE	evaluated 51 times by 1 test Evaluated by: bntest
FALSE	evaluated 230 times by 2 tests Evaluated by: bntest exptest

51-230

49 ) -

(

executed 51 times by 1 test: (BN_set_word((dv),0));

Executed by:

bntest

BN_set_word((dv),0));

executed 51 times by 1 test: (BN_set_word((dv),0));

Executed by:

bntest

return

executed 281 times by 2 tests: return (1);

Executed by:

bntest
exptest

(1);

executed 281 times by 2 tests: return (1);

Executed by:

bntest
exptest

281

52 } -

53 -

54 BN_CTX_start(ctx); -

55 tmp = BN_CTX_get(ctx); -

56 snum = BN_CTX_get(ctx); -

57 sdiv = BN_CTX_get(ctx); -

if (dv ==

dv == ((void *)0)	Description
TRUE	evaluated 119825 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 338973 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

119825-338973

((void *)0)

dv == ((void *)0)	Description
TRUE	evaluated 119825 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 338973 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

119825-338973

60 ) -

res = BN_CTX_get(ctx);

executed 119825 times by 14 tests: res = BN_CTX_get(ctx);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

119825

62 else -

res = dv;

executed 338973 times by 14 tests: res = dv;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

338973

if (tmp ==

tmp == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-458798

((void *)0)

tmp == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-458798

|| snum ==

snum == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-458798

((void *)0)

snum == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-458798

|| sdiv ==

sdiv == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-458798

((void *)0)

sdiv == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-458798

|| res ==

res == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-458798

((void *)0)

res == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-458798

72 ) -

goto

never executed: goto err;

err;

never executed: goto err;

74 -

75 -

76 norm_shift = 64 - ((BN_num_bits(divisor)) % 64); -

if (!(BN_lshift(sdiv, divisor, norm_shift))

!(BN_lshift(sd..., norm_shift))	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-458798

goto

never executed: goto err;

err;

never executed: goto err;

79 sdiv->neg = 0; -

80 norm_shift += 64; -

if (!(BN_lshift(snum, num, norm_shift))

!(BN_lshift(sn..., norm_shift))	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-458798

goto

never executed: goto err;

err;

never executed: goto err;

83 snum->neg = 0; -

84 -

if (no_branch

no_branch	Description
TRUE	evaluated 457659 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1139 times by 2 tests Evaluated by: bntest exptest

) {

1139-457659

86 -

87 -

88 -

89 -

if (snum->top <= sdiv->top + 1

snum->top <= sdiv->top + 1	Description
TRUE	evaluated 79263 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 378396 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

79263-378396

if ((((

((sdiv->top + ... (snum)->dmax)	Description
TRUE	evaluated 79251 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 12 times by 3 tests Evaluated by: bntest ecdsatest ectest

(((sdiv->top +...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 79263 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((sdiv->top + ... (snum)->dmax)	Description
TRUE	evaluated 79251 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 12 times by 3 tests Evaluated by: bntest ecdsatest ectest

sdiv->top + 2) <= (snum)->dmax)

(((sdiv->top +...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 79263 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((sdiv->top + ... (snum)->dmax)	Description
TRUE	evaluated 79251 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 12 times by 3 tests Evaluated by: bntest ecdsatest ectest

?(snum):bn_expand2((snum),(sdiv->top + 2))) ==

(((sdiv->top +...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 79263 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-79263

((void *)0)

(((sdiv->top +...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 79263 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-79263

93 ) -

goto

never executed: goto err;

err;

never executed: goto err;

for (i = snum->top; i < sdiv->top + 2

i < sdiv->top + 2	Description
TRUE	evaluated 89981 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 79263 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

; i++)

79263-89981

snum->d[i] = 0;

executed 89981 times by 14 tests: snum->d[i] = 0;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

89981

97 snum->top = sdiv->top + 2; -

}

executed 79263 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

else {

79263

if ((((

((snum->top + ... (snum)->dmax)	Description
TRUE	evaluated 376936 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1460 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

(((snum->top +...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 378396 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((snum->top + ... (snum)->dmax)	Description
TRUE	evaluated 376936 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1460 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

snum->top + 1) <= (snum)->dmax)

(((snum->top +...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 378396 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((snum->top + ... (snum)->dmax)	Description
TRUE	evaluated 376936 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1460 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?(snum):bn_expand2((snum),(snum->top + 1))) ==

(((snum->top +...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 378396 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-378396

100

((void *)0)

(((snum->top +...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 378396 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-378396

101 ) -

102

goto

never executed: goto err;

err;

never executed: goto err;

103 snum->d[snum->top] = 0; -

104 snum->top ++; -

105

}

executed 378396 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

378396

106 } -

107 -

108 div_n = sdiv->top; -

109 num_n = snum->top; -

110 loop = num_n - div_n; -

111 -

112 -

113 -

114 wnum.neg = 0; -

115 wnum.d = &(snum->d[loop]); -

116 wnum.top = div_n; -

117 -

118 wnum.dmax = snum->dmax - loop; -

119 wnum.flags = snum->flags | 0x02; -

120 -

121 -

122 -

123 d0 = sdiv->d[div_n - 1]; -

124

d1 = (

(div_n == 1)	Description
TRUE	evaluated 130955 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 327843 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

div_n == 1)

(div_n == 1)	Description
TRUE	evaluated 130955 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 327843 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

? 0 : sdiv->d[div_n - 2];

130955-327843

125 -

126 -

127 wnump = &(snum->d[num_n - 1]); -

128 -

129 -

130 res->neg = (num->neg ^ divisor->neg); -

131

if (!((((

(((loop + 1)) <= (res)->dmax)	Description
TRUE	evaluated 453365 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 5433 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

loop + 1)) <= (res)->dmax)

(((loop + 1)) <= (res)->dmax)	Description
TRUE	evaluated 453365 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 5433 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?(res):bn_expand2((res),((loop + 1))))

!((((loop + 1)...((loop + 1))))	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-458798

132

goto

never executed: goto err;

err;

never executed: goto err;

133 res->top = loop - no_branch; -

134 resp = &(res->d[loop - 1]); -

135 -

136 -

137

if (!((((

(((div_n + 1)) <= (tmp)->dmax)	Description
TRUE	evaluated 456269 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2529 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

div_n + 1)) <= (tmp)->dmax)

(((div_n + 1)) <= (tmp)->dmax)	Description
TRUE	evaluated 456269 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2529 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?(tmp):bn_expand2((tmp),((div_n + 1))))

!((((div_n + 1...(div_n + 1))))	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-458798

138

goto

never executed: goto err;

err;

never executed: goto err;

139 -

140

if (!no_branch

!no_branch	Description
TRUE	evaluated 1139 times by 2 tests Evaluated by: bntest exptest
FALSE	evaluated 457659 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

1139-457659

141

if (BN_ucmp(&wnum, sdiv) >= 0

BN_ucmp(&wnum, sdiv) >= 0	Description
TRUE	evaluated 23 times by 2 tests Evaluated by: bntest exptest
FALSE	evaluated 1116 times by 2 tests Evaluated by: bntest exptest

) {

23-1116

142 -

143 -

144 -

145 ; -

146 bn_sub_words(wnum.d, wnum.d, sdiv->d, div_n); -

147 *resp = 1; -

148

}

executed 23 times by 2 tests: end of block

Executed by:

bntest
exptest

else

149

res->top--;

executed 1116 times by 2 tests: res->top--;

Executed by:

bntest
exptest

1116

150 } -

151 -

152 -

153 -

154

if (res->top == 0

res->top == 0	Description
TRUE	never evaluated
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-458798

155

res->neg = 0;

never executed: res->neg = 0;

156 else -

157

resp--;

executed 458798 times by 14 tests: resp--;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

458798

158 -

159

for (i = 0; i < loop - 1

i < loop - 1	Description
TRUE	evaluated 1385068 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

; i++, wnump--, resp--) {

458798-1385068

160 unsigned long q, l0; -

161 -

162 -

163 -

164 -

165 -

166 -

167 -

168 unsigned long n0, n1, rem = 0; -

169 -

170 n0 = wnump[0]; -

171 n1 = wnump[-1]; -

172

if (n0 == d0

n0 == d0	Description
TRUE	evaluated 110 times by 4 tests Evaluated by: bntest ecdhtest ecdsatest ectest
FALSE	evaluated 1384958 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

110-1384958

173

q = (0xffffffffffffffffL);

executed 110 times by 4 tests: q = (0xffffffffffffffffL);

Executed by:

bntest
ecdhtest
ecdsatest
ectest

110

174 else -

175 { -

176 unsigned long t2l, t2h; -

177 -

178 q = ({ asm volatile ( "divq %4" : "=a"(q), "=d"(rem) : "a"(n1), "d"(n0), "g"(d0) : "cc"); q; }); -

179 -

180 -

181 -

182 -

183 -

184 asm ("mulq %3" : "=a"(t2l),"=d"(t2h) : "a"(d1),"g"(q) : "cc");; -

185 for (;;) { -

186

if ((

(t2h < rem)	Description
TRUE	evaluated 1307965 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 187633 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

t2h < rem)

(t2h < rem)	Description
TRUE	evaluated 1307965 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 187633 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

187633-1307965

187

((

(t2h == rem)	Description
TRUE	evaluated 9511 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 178122 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

t2h == rem)

(t2h == rem)	Description
TRUE	evaluated 9511 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 178122 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

&& (

(t2l <= wnump[-2])	Description
TRUE	evaluated 9428 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83 times by 4 tests Evaluated by: bntest ecdhtest ecdsatest ectest

t2l <= wnump[-2])

(t2l <= wnump[-2])	Description
TRUE	evaluated 9428 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 83 times by 4 tests Evaluated by: bntest ecdhtest ecdsatest ectest

))

83-178122

188

break;

executed 1317393 times by 14 tests: break;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1317393

189 q--; -

190 rem += d0; -

191

if (rem < d0

rem < d0	Description
TRUE	evaluated 67565 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 110640 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

67565-110640

192

break;

executed 67565 times by 12 tests: break;

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

67565

193

if (t2l < d1

t2l < d1	Description
TRUE	evaluated 64900 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 45740 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

45740-64900

194

t2h--;

executed 64900 times by 12 tests: t2h--;

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

64900

195 t2l -= d1; -

196

}

executed 110640 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

110640

197 -

198

}

executed 1384958 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1384958

199 -

200 -

201 l0 = bn_mul_words(tmp->d, sdiv->d, div_n, q); -

202 tmp->d[div_n] = l0; -

203 wnum.d--; -

204 -

205 -

206

if (bn_sub_words(wnum.d, wnum.d, tmp->d, div_n + 1)

bn_sub_words(w...>d, div_n + 1)	Description
TRUE	evaluated 413 times by 6 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 1384655 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

413-1384655

207 -

208 -

209 -

210 -

211 -

212 q--; -

213

if (bn_add_words(wnum.d, wnum.d, sdiv->d, div_n)

bn_add_words(w...div->d, div_n)	Description
TRUE	evaluated 413 times by 6 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest ssltest
FALSE	never evaluated

)

0-413

214 -

215 -

216 -

217

executed 413 times by 6 tests: (*wnump)++;

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
ssltest

wnump)++;

executed 413 times by 6 tests: (*wnump)++;

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
ssltest

413

218

}

executed 413 times by 6 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
ssltest

413

219 -

220 *resp = q; -

221

}

executed 1385068 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1385068

222

{ unsigned long *ftl; int tmp_top = (snum)->top; if (tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 458798 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

) { for (ftl= &((snum)->d[tmp_top-1]); tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 1869162 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 8339 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 450459 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1418703 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

ftl--)

*(ftl--)	Description
TRUE	evaluated 450459 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1418703 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) break;

executed 450459 times by 14 tests: break;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(snum)->top = tmp_top; }

executed 458798 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

; };

0-1869162

223

if (rm !=

rm != ((void *)0)	Description
TRUE	evaluated 455467 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3331 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

3331-455467

224

((void *)0)

rm != ((void *)0)	Description
TRUE	evaluated 455467 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3331 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

3331-455467

225 ) { -

226 -

227 -

228 -

229 int neg = num->neg; -

230 BN_rshift(rm, snum, norm_shift); -

231

if (!((rm)->top == 0)

!((rm)->top == 0)	Description
TRUE	evaluated 450009 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 5458 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

5458-450009

232

rm->neg = neg;

executed 450009 times by 14 tests: rm->neg = neg;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

450009

233 ; -

234

}

executed 455467 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

455467

235

if (no_branch

no_branch	Description
TRUE	evaluated 457659 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1139 times by 2 tests Evaluated by: bntest exptest

)

1139-457659

236

{ unsigned long *ftl; int tmp_top = (res)->top; if (tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 457659 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

) { for (ftl= &((res)->d[tmp_top-1]); tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 835683 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3300 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 454359 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 381324 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

ftl--)

*(ftl--)	Description
TRUE	evaluated 454359 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 381324 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) break;

executed 454359 times by 14 tests: break;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(res)->top = tmp_top; }

executed 457659 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

; }

executed 457659 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

;

0-835683

237 BN_CTX_end(ctx); -

238

return

executed 458798 times by 14 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(1);

executed 458798 times by 14 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

458798

239 -

240 err: -

241 ; -

242 BN_CTX_end(ctx); -

243

return

never executed: return (0);

(0);

never executed: return (0);

244 } -

245 -

246 int -

247 BN_div(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num, const BIGNUM *divisor, -

248 BN_CTX *ctx) -

249 { -

250

int ct = ((((

(((num)->flags&(0x04)) != 0)	Description
TRUE	never evaluated
FALSE	evaluated 1421 times by 2 tests Evaluated by: bntest exptest

num)->flags&(0x04)) != 0)

(((num)->flags&(0x04)) != 0)	Description
TRUE	never evaluated
FALSE	evaluated 1421 times by 2 tests Evaluated by: bntest exptest

0-1421

251

(((

(((divisor)->f...&(0x04)) != 0)	Description
TRUE	never evaluated
FALSE	evaluated 1421 times by 2 tests Evaluated by: bntest exptest

divisor)->flags&(0x04)) != 0)

(((divisor)->f...&(0x04)) != 0)	Description
TRUE	never evaluated
FALSE	evaluated 1421 times by 2 tests Evaluated by: bntest exptest

);

0-1421

252 -

253

return

executed 1421 times by 2 tests: return BN_div_internal(dv, rm, num, divisor, ctx, ct);

Executed by:

bntest
exptest

BN_div_internal(dv, rm, num, divisor, ctx, ct);

executed 1421 times by 2 tests: return BN_div_internal(dv, rm, num, divisor, ctx, ct);

Executed by:

bntest
exptest

1421

254 } -

255 -

256 int -

257 BN_div_nonct(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num, const BIGNUM *divisor, -

258 BN_CTX *ctx) -

259 { -

260

return

never executed: return BN_div_internal(dv, rm, num, divisor, ctx, 0);

BN_div_internal(dv, rm, num, divisor, ctx, 0);

never executed: return BN_div_internal(dv, rm, num, divisor, ctx, 0);

261 } -

262 -

263 int -

264 BN_div_ct(BIGNUM *dv, BIGNUM *rm, const BIGNUM *num, const BIGNUM *divisor, -

265 BN_CTX *ctx) -

266 { -

267

return

executed 457664 times by 14 tests: return BN_div_internal(dv, rm, num, divisor, ctx, 1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

BN_div_internal(dv, rm, num, divisor, ctx, 1);

executed 457664 times by 14 tests: return BN_div_internal(dv, rm, num, divisor, ctx, 1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

457664

268 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2