OpenCoverage

bn_shift.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 int -

4 BN_lshift1(BIGNUM *r, const BIGNUM *a) -

5 { -

6 unsigned long *ap, *rp, t, c; -

7 int i; -

8 -

9 ; -

10 ; -

11 -

if (r != a

r != a	Description
TRUE	evaluated 619044 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest
FALSE	evaluated 313521 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

) {

313521-619044

13 r->neg = a->neg; -

if ((((

((a->top + 1) <= (r)->dmax)	Description
TRUE	evaluated 617569 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest
FALSE	evaluated 1475 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 619044 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

((a->top + 1) <= (r)->dmax)	Description
TRUE	evaluated 617569 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest
FALSE	evaluated 1475 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

a->top + 1) <= (r)->dmax)

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 619044 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

((a->top + 1) <= (r)->dmax)	Description
TRUE	evaluated 617569 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest
FALSE	evaluated 1475 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

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

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 619044 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

0-619044

((void *)0)

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 619044 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

0-619044

16 ) -

return

never executed: return (0);

(0);

never executed: return (0);

18 r->top = a->top; -

}

executed 619044 times by 9 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
ssltest

else {

619044

if ((((

((a->top + 1) <= (r)->dmax)	Description
TRUE	evaluated 313297 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 224 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 313521 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

((a->top + 1) <= (r)->dmax)	Description
TRUE	evaluated 313297 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 224 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

a->top + 1) <= (r)->dmax)

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 313521 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

((a->top + 1) <= (r)->dmax)	Description
TRUE	evaluated 313297 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 224 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

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

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 313521 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

0-313521

((void *)0)

(((a->top + 1)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 313521 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

0-313521

22 ) -

return

never executed: return (0);

(0);

never executed: return (0);

}

executed 313521 times by 4 tests: end of block

Executed by:

ecdhtest
ecdsatest
ectest
ssltest

313521

25 ap = a->d; -

26 rp = r->d; -

27 c = 0; -

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

i < a->top	Description
TRUE	evaluated 4535139 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest
FALSE	evaluated 932565 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

; i++) {

932565-4535139

29 t= *(ap++); -

30 *(rp++) = ((t << 1) | c) & (0xffffffffffffffffL); -

c = (

(t & (0x8000000000000000L))	Description
TRUE	evaluated 2171006 times by 6 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 2364133 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

t & (0x8000000000000000L))

(t & (0x8000000000000000L))	Description
TRUE	evaluated 2171006 times by 6 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 2364133 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

? 1 : 0;

2171006-2364133

}

executed 4535139 times by 9 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
ssltest

4535139

if (c

c	Description
TRUE	evaluated 367417 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 565148 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont ssltest

) {

367417-565148

34 *rp = 1; -

35 r->top++; -

}

executed 367417 times by 5 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
ssltest

367417

37 ; -

return

executed 932565 times by 9 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
ssltest

(1);

executed 932565 times by 9 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
ssltest

932565

39 } -

40 -

41 int -

42 BN_rshift1(BIGNUM *r, const BIGNUM *a) -

43 { -

44 unsigned long *ap, *rp, t, c; -

45 int i, j; -

46 -

47 ; -

48 ; -

49 -

if (((

((a)->top == 0)	Description
TRUE	never evaluated
FALSE	evaluated 129431 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

a)->top == 0)

((a)->top == 0)	Description
TRUE	never evaluated
FALSE	evaluated 129431 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

) {

0-129431

51 (BN_set_word((r),0)); -

return

never executed: return (1);

(1);

never executed: return (1);

53 } -

54 i = a->top; -

55 ap = a->d; -

56 j = i - (ap[i - 1]==1); -

if (a != r

a != r	Description
TRUE	evaluated 129331 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 100 times by 1 test Evaluated by: bntest

) {

100-129331

if ((((

((j) <= (r)->dmax)	Description
TRUE	evaluated 127668 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 1663 times by 4 tests Evaluated by: bntest dhtest ecdsatest ectest

(((j) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 129331 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

((j) <= (r)->dmax)	Description
TRUE	evaluated 127668 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 1663 times by 4 tests Evaluated by: bntest dhtest ecdsatest ectest

j) <= (r)->dmax)

(((j) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 129331 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

((j) <= (r)->dmax)	Description
TRUE	evaluated 127668 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 1663 times by 4 tests Evaluated by: bntest dhtest ecdsatest ectest

?(r):bn_expand2((r),(j))) ==

(((j) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 129331 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

0-129331

((void *)0)

(((j) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 129331 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

0-129331

60 ) -

return

never executed: return (0);

(0);

never executed: return (0);

62 r->neg = a->neg; -

}

executed 129331 times by 7 tests: end of block

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
mont
ssltest

129331

64 rp = r->d; -

65 t = ap[--i]; -

c = (

(t & 1)	Description
TRUE	evaluated 81730 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 47701 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

t & 1)

(t & 1)	Description
TRUE	evaluated 81730 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 47701 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

? (0x8000000000000000L) : 0;

47701-81730

if (t >>= 1

t >>= 1	Description
TRUE	evaluated 95167 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest
FALSE	evaluated 34264 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest

)

34264-95167

rp[i] = t;

executed 95167 times by 7 tests: rp[i] = t;

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
mont
ssltest

95167

while (i > 0

i > 0	Description
TRUE	evaluated 539836 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 129431 times by 7 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest mont ssltest

) {

129431-539836

70 t = ap[--i]; -

71 rp[i] = ((t >> 1) & (0xffffffffffffffffL)) | c; -

c = (

(t & 1)	Description
TRUE	evaluated 204584 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 335252 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest

t & 1)

(t & 1)	Description
TRUE	evaluated 204584 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 335252 times by 5 tests Evaluated by: bntest ecdhtest ecdsatest ectest ssltest

? (0x8000000000000000L) : 0;

204584-335252

}

executed 539836 times by 5 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
ssltest

539836

74 r->top = j; -

75 ; -

return

executed 129431 times by 7 tests: return (1);

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
mont
ssltest

(1);

executed 129431 times by 7 tests: return (1);

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
mont
ssltest

129431

77 } -

78 -

79 int -

80 BN_lshift(BIGNUM *r, const BIGNUM *a, int n) -

81 { -

82 int i, nw, lb, rb; -

83 unsigned long *t, *f; -

84 unsigned long l; -

85 -

86 ; -

87 ; -

88 -

89 r->neg = a->neg; -

90 nw = n / 64; -

if ((((

((a->top + nw ... <= (r)->dmax)	Description
TRUE	evaluated 1261389 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 11339 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

(((a->top + nw...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1272728 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

((a->top + nw ... <= (r)->dmax)	Description
TRUE	evaluated 1261389 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 11339 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

a->top + nw + 1) <= (r)->dmax)

(((a->top + nw...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1272728 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

((a->top + nw ... <= (r)->dmax)	Description
TRUE	evaluated 1261389 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 11339 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

?(r):bn_expand2((r),(a->top + nw + 1))) ==

(((a->top + nw...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1272728 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-1272728

((void *)0)

(((a->top + nw...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 1272728 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-1272728

93 ) -

return

never executed: return (0);

(0);

never executed: return (0);

95 lb = n % 64; -

96 rb = 64 - lb; -

97 f = a->d; -

98 t = r->d; -

99 t[a->top + nw] = 0; -

100

if (lb == 0

lb == 0	Description
TRUE	evaluated 40473 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 1232255 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

)

40473-1232255

101

for (i = a->top - 1; i >= 0

i >= 0	Description
TRUE	evaluated 433841 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 40473 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--)

40473-433841

102

t[nw + i] = f[i];

executed 433841 times by 14 tests: t[nw + i] = f[i];

Executed by:

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

433841

103 else -

104

for (i = a->top - 1; i >= 0

i >= 0	Description
TRUE	evaluated 7261905 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 1232255 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--) {

1232255-7261905

105 l = f[i]; -

106 t[nw + i + 1] |= (l >> rb) & (0xffffffffffffffffL); -

107 t[nw + i] = (l << lb) & (0xffffffffffffffffL); -

108

}

executed 7261905 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

7261905

109 memset(t, 0, nw * sizeof(t[0])); -

110 -

111 -

112 r->top = a->top + nw + 1; -

113

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

tmp_top > 0	Description
TRUE	evaluated 1272728 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= &((r)->d[tmp_top-1]); tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 2228918 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 661 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 1272067 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 956851 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 1272067 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 956851 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 1272067 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

(r)->top = tmp_top; }

executed 1272728 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-2228918

114 ; -

115

return

executed 1272728 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 1272728 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

1272728

116 } -

117 -

118 int -

119 BN_rshift(BIGNUM *r, const BIGNUM *a, int n) -

120 { -

121 int i, j, nw, lb, rb; -

122 unsigned long *t, *f; -

123 unsigned long l, tmp; -

124 -

125 ; -

126 ; -

127 -

128 nw = n / 64; -

129 rb = n % 64; -

130 lb = 64 - rb; -

131

if (nw >= a->top

nw >= a->top	Description
TRUE	evaluated 5459 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 746137 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

|| a->top == 0

a->top == 0	Description
TRUE	never evaluated
FALSE	evaluated 746137 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-746137

132 (BN_set_word((r),0)); -

133

return

executed 5459 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 5459 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

5459

134 } -

135 i = (BN_num_bits(a) - n + (64 - 1)) / 64; -

136

if (r != a

r != a	Description
TRUE	evaluated 727343 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 18794 times by 2 tests Evaluated by: bntest ectest

) {

18794-727343

137 r->neg = a->neg; -

138

if ((((

((i) <= (r)->dmax)	Description
TRUE	evaluated 723770 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 3573 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

(((i) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 727343 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) <= (r)->dmax)	Description
TRUE	evaluated 723770 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 3573 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

i) <= (r)->dmax)

(((i) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 727343 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) <= (r)->dmax)	Description
TRUE	evaluated 723770 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 3573 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

?(r):bn_expand2((r),(i))) ==

(((i) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 727343 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-727343

139

((void *)0)

(((i) <= (r)->...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 727343 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-727343

140 ) -

141

return

never executed: return (0);

(0);

never executed: return (0);

142

}

executed 727343 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 {

727343

143

if (n == 0

n == 0	Description
TRUE	evaluated 8578 times by 2 tests Evaluated by: bntest ectest
FALSE	evaluated 10216 times by 2 tests Evaluated by: bntest ectest

)

8578-10216

144

return

executed 8578 times by 2 tests: return 1;

Executed by:

bntest
ectest

executed 8578 times by 2 tests: return 1;

Executed by:

bntest
ectest

8578

145

}

executed 10216 times by 2 tests: end of block

Executed by:

bntest
ectest

10216

146 -

147 f = &(a->d[nw]); -

148 t = r->d; -

149 j = a->top - nw; -

150 r->top = i; -

151 -

152

if (rb == 0

rb == 0	Description
TRUE	evaluated 141261 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 596298 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

) {

141261-596298

153

for (i = j; i != 0

i != 0	Description
TRUE	evaluated 1134195 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 141261 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

; i--)

141261-1134195

154

executed 1134195 times by 13 tests: *(t++) = *(f++);

Executed by:

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

t++) = *(f++);

executed 1134195 times by 13 tests: *(t++) = *(f++);

Executed by:

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

1134195

155

}

executed 141261 times by 13 tests: end of block

Executed by:

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

else {

141261

156 l = *(f++); -

157

for (i = j - 1; i != 0

i != 0	Description
TRUE	evaluated 2986988 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 596298 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--) {

596298-2986988

158 tmp = (l >> rb) & (0xffffffffffffffffL); -

159 l = *(f++); -

160 *(t++) = (tmp|(l << lb)) & (0xffffffffffffffffL); -

161

}

executed 2986988 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

2986988

162

if ((

(l = (l >> rb)...fffffffffffL))	Description
TRUE	evaluated 514844 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 81454 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

l = (l >> rb) & (0xffffffffffffffffL))

(l = (l >> rb)...fffffffffffL))	Description
TRUE	evaluated 514844 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 81454 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

81454-514844

163

executed 514844 times by 14 tests: *(t) = l;

Executed by:

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

t) = l;

executed 514844 times by 14 tests: *(t) = l;

Executed by:

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

514844

164

}

executed 596298 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

596298

165 ; -

166

return

executed 737559 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 737559 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

737559

167 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2