OpenCoverage

bn_mont.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 static int BN_from_montgomery_word(BIGNUM *ret, BIGNUM *r, BN_MONT_CTX *mont); -

7 -

8 -

9 int -

10 BN_mod_mul_montgomery(BIGNUM *r, const BIGNUM *a, const BIGNUM *b, -

11 BN_MONT_CTX *mont, BN_CTX *ctx) -

12 { -

13 BIGNUM *tmp; -

14 int ret = 0; -

15 -

16 int num = mont->N.top; -

17 -

if (num > 1

num > 1	Description
TRUE	evaluated 3883891 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 248322 times by 4 tests Evaluated by: bntest dhtest ectest mont

&& a->top == num

a->top == num	Description
TRUE	evaluated 3871551 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 12340 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

&& b->top == num

b->top == num	Description
TRUE	evaluated 3858860 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 12691 times by 6 tests Evaluated by: ecdhtest ecdsatest ectest exptest rsa_test servertest

) {

12340-3883891

if ((((

((num) <= (r)->dmax)	Description
TRUE	evaluated 3853441 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 5419 times by 7 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest ssltest

(((num) <= (r)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3858860 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

((num) <= (r)->dmax)	Description
TRUE	evaluated 3853441 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 5419 times by 7 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest ssltest

num) <= (r)->dmax)

(((num) <= (r)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3858860 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

((num) <= (r)->dmax)	Description
TRUE	evaluated 3853441 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 5419 times by 7 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest ssltest

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

(((num) <= (r)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3858860 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-3858860

((void *)0)

(((num) <= (r)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3858860 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-3858860

21 ) -

return

never executed: return (0);

(0);

never executed: return (0);

if (bn_mul_mont(r->d, a->d, b->d, mont->N.d, mont->n0, num)

bn_mul_mont(r-...mont->n0, num)	Description
TRUE	evaluated 3858860 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

) {

0-3858860

24 r->neg = a->neg^b->neg; -

25 r->top = num; -

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

tmp_top > 0	Description
TRUE	evaluated 3858860 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 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 3862360 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 3858860 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 3500 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test

ftl--)

*(ftl--)	Description
TRUE	evaluated 3858860 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 3500 times by 6 tests Evaluated by: bntest ecdhtest ecdsatest ectest exptest rsa_test

) break;

executed 3858860 times by 12 tests: break;

Executed by:

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

(r)->top = tmp_top; }

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

; };

0-3862360

return

executed 3858860 times by 12 tests: return (1);

Executed by:

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

(1);

executed 3858860 times by 12 tests: return (1);

Executed by:

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

3858860

28 } -

}

never executed: end of block

30 -

31 -

32 BN_CTX_start(ctx); -

if ((

(tmp = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 273353 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_CTX_get(ctx)) ==

(tmp = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 273353 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-273353

((void *)0)

(tmp = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 273353 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-273353

35 ) -

goto

never executed: goto err;

err;

never executed: goto err;

37 -

38 ; -

if (a == b

a == b	Description
TRUE	evaluated 195718 times by 9 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest exptest mont rsa_test servertest
FALSE	evaluated 77635 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

) {

77635-195718

if (!BN_sqr(tmp, a, ctx)

!BN_sqr(tmp, a, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 195718 times by 9 tests Evaluated by: bntest dhtest ecdhtest ecdsatest ectest exptest mont rsa_test servertest

)

0-195718

goto

never executed: goto err;

err;

never executed: goto err;

}

executed 195718 times by 9 tests: end of block

Executed by:

bntest
dhtest
ecdhtest
ecdsatest
ectest
exptest
mont
rsa_test
servertest

else {

195718

if (!BN_mul(tmp, a,b, ctx)

!BN_mul(tmp, a,b, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 77635 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-77635

goto

never executed: goto err;

err;

never executed: goto err;

}

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

77635

46 -

47 -

if (!BN_from_montgomery_word(r, tmp, mont)

!BN_from_montg...(r, tmp, mont)	Description
TRUE	never evaluated
FALSE	evaluated 273353 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-273353

goto

never executed: goto err;

err;

never executed: goto err;

50 -

51 -

52 -

53 -

54 ; -

55 ret = 1; -

err:

code before this statement executed 273353 times by 14 tests: err:

Executed by:

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

273353

57 BN_CTX_end(ctx); -

return

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

Executed by:

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

(ret);

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

Executed by:

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

273353

59 } -

60 -

61 -

62 static int -

63 BN_from_montgomery_word(BIGNUM *ret, BIGNUM *r, BN_MONT_CTX *mont) -

64 { -

65 BIGNUM *n; -

66 unsigned long *ap, *np, *rp, n0, v, carry; -

67 int nl, max, i; -

68 -

69 n = &(mont->N); -

70 nl = n->top; -

if (nl == 0

nl == 0	Description
TRUE	never evaluated
FALSE	evaluated 278629 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-278629

72 ret->top = 0; -

return

never executed: return (1);

(1);

never executed: return (1);

74 } -

75 -

76 max = (2 * nl); -

if ((((

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

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

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

max) <= (r)->dmax)

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

((max) <= (r)->dmax)	Description
TRUE	evaluated 276991 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 1638 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),(max))) ==

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

((void *)0)

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

79 ) -

return

never executed: return (0);

(0);

never executed: return (0);

81 -

82 r->neg ^= n->neg; -

83 np = n->d; -

84 rp = r->d; -

85 -

86 -

87 -

for (i=r->top; i<max

i<max	Description
TRUE	evaluated 418482 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 278629 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++)

278629-418482

rp[i] = 0;

executed 418482 times by 14 tests: rp[i] = 0;

Executed by:

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

418482

90 -

91 -

92 -

93 -

94 r->top = max; -

95 n0 = mont->n0[0]; -

96 -

97 -

98 -

99 -

100

for (carry = 0, i = 0; i < nl

i < nl	Description
TRUE	evaluated 412180 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 278629 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++, rp++) {

278629-412180

101 v = bn_mul_add_words(rp, np, nl, (rp[0] * n0) & (0xffffffffffffffffL)); -

102 v = (v + carry + rp[nl]) & (0xffffffffffffffffL); -

103 carry |= (v != rp[nl]); -

104 carry &= (v <= rp[nl]); -

105 rp[nl] = v; -

106

}

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

412180

107 -

108

if ((((

((nl) <= (ret)->dmax)	Description
TRUE	evaluated 277030 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 1599 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

(((nl) <= (ret...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 278629 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

((nl) <= (ret)->dmax)	Description
TRUE	evaluated 277030 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 1599 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

nl) <= (ret)->dmax)

(((nl) <= (ret...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 278629 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

((nl) <= (ret)->dmax)	Description
TRUE	evaluated 277030 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 1599 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

?(ret):bn_expand2((ret),(nl))) ==

(((nl) <= (ret...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 278629 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-278629

109

((void *)0)

(((nl) <= (ret...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 278629 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-278629

110 ) -

111

return

never executed: return (0);

(0);

never executed: return (0);

112 ret->top = nl; -

113 ret->neg = r->neg; -

114 -

115 rp = ret->d; -

116 ap = &(r->d[nl]); -

117 -

118 -

119 -

120 { -

121 unsigned long *nrp; -

122 size_t m; -

123 -

124 v = bn_sub_words(rp, ap, np, nl) - carry; -

125 -

126 -

127 -

128 m = (0 - (size_t)v); -

129 nrp = (unsigned long *)(((uintptr_t)rp & ~m)|((uintptr_t)ap & m)); -

130 -

131

for (i = 0, nl -= 4; i < nl

i < nl	Description
TRUE	evaluated 18283 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 278629 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 += 4) {

18283-278629

132 unsigned long t1, t2, t3, t4; -

133 -

134 t1 = nrp[i + 0]; -

135 t2 = nrp[i + 1]; -

136 t3 = nrp[i + 2]; -

137 ap[i + 0] = 0; -

138 t4 = nrp[i + 3]; -

139 ap[i + 1] = 0; -

140 rp[i + 0] = t1; -

141 ap[i + 2] = 0; -

142 rp[i + 1] = t2; -

143 ap[i + 3] = 0; -

144 rp[i + 2] = t3; -

145 rp[i + 3] = t4; -

146

}

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

18283

147

for (nl += 4; i < nl

i < nl	Description
TRUE	evaluated 339048 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 278629 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++)

278629-339048

148

rp[i] = nrp[i], ap[i] = 0;

executed 339048 times by 14 tests: rp[i] = nrp[i], ap[i] = 0;

Executed by:

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

339048

149 } -

150 -

151 -

152 -

153 -

154

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

tmp_top > 0	Description
TRUE	evaluated 278629 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 824360 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 278629 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	never evaluated
FALSE	evaluated 824360 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	never evaluated
FALSE	evaluated 824360 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;

never executed: break;

(r)->top = tmp_top; }

executed 278629 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-824360

155

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

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

tmp_top > 0	Description
TRUE	evaluated 316606 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 12542 times by 4 tests Evaluated by: bntest ecdsatest ectest rsa_test

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 266087 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 50519 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest

ftl--)

*(ftl--)	Description
TRUE	evaluated 266087 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 50519 times by 9 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test servertest

) break;

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

(ret)->top = tmp_top; }

executed 278629 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-316606

156 ; -

157 -

158

return

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

278629

159 } -

160 -

161 -

162 int -

163 BN_from_montgomery(BIGNUM *ret, const BIGNUM *a, BN_MONT_CTX *mont, BN_CTX *ctx) -

164 { -

165 int retn = 0; -

166 -

167 BIGNUM *t; -

168 -

169 BN_CTX_start(ctx); -

170

if ((

(t = BN_CTX_get(ctx))	Description
TRUE	evaluated 5276 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

t = BN_CTX_get(ctx))

(t = BN_CTX_get(ctx))	Description
TRUE	evaluated 5276 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

&& BN_copy(t, a)

BN_copy(t, a)	Description
TRUE	evaluated 5276 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

)

0-5276

171

retn = BN_from_montgomery_word(ret, t, mont);

executed 5276 times by 14 tests: retn = BN_from_montgomery_word(ret, t, mont);

Executed by:

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

5276

172 BN_CTX_end(ctx); -

173

return

executed 5276 times by 14 tests: return (retn);

Executed by:

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

(retn);

executed 5276 times by 14 tests: return (retn);

Executed by:

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

5276

174 } -

175 -

176 BN_MONT_CTX * -

177 BN_MONT_CTX_new(void) -

178 { -

179 BN_MONT_CTX *ret; -

180 -

181

if ((

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3016 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

ret = malloc(sizeof(BN_MONT_CTX))) ==

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3016 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-3016

182

((void *)0)

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3016 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-3016

183 ) -

184

return

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

(

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

185

((void *)0)

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

186

);

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

187 -

188 BN_MONT_CTX_init(ret); -

189 ret->flags = 0x01; -

190

return

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

Executed by:

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

(ret);

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

Executed by:

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

3016

191 } -

192 -

193 void -

194 BN_MONT_CTX_init(BN_MONT_CTX *ctx) -

195 { -

196 ctx->ri = 0; -

197 BN_init(&(ctx->RR)); -

198 BN_init(&(ctx->N)); -

199 BN_init(&(ctx->Ni)); -

200 ctx->n0[0] = ctx->n0[1] = 0; -

201 ctx->flags = 0; -

202

}

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

3016

203 -

204 void -

205 BN_MONT_CTX_free(BN_MONT_CTX *mont) -

206 { -

207

if (mont ==

mont == ((void *)0)	Description
TRUE	evaluated 1266 times by 8 tests Evaluated by: ecdhtest ecdsatest ectest freenull libcrypto.so.44.0.1 servertest ssltest tlstest
FALSE	evaluated 3012 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

1266-3012

208

((void *)0)

mont == ((void *)0)	Description
TRUE	evaluated 1266 times by 8 tests Evaluated by: ecdhtest ecdsatest ectest freenull libcrypto.so.44.0.1 servertest ssltest tlstest
FALSE	evaluated 3012 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

1266-3012

209 ) -

210

return;

executed 1266 times by 8 tests: return;

Executed by:

ecdhtest
ecdsatest
ectest
freenull
libcrypto.so.44.0.1
servertest
ssltest
tlstest

1266

211 -

212 BN_clear_free(&(mont->RR)); -

213 BN_clear_free(&(mont->N)); -

214 BN_clear_free(&(mont->Ni)); -

215

if (mont->flags & 0x01

mont->flags & 0x01	Description
TRUE	evaluated 3012 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

)

0-3012

216

free(mont);

executed 3012 times by 14 tests: free(mont);

Executed by:

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

3012

217

}

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

3012

218 -

219 int -

220 BN_MONT_CTX_set(BN_MONT_CTX *mont, const BIGNUM *mod, BN_CTX *ctx) -

221 { -

222 int ret = 0; -

223 BIGNUM *Ri, *R; -

224 -

225 BN_CTX_start(ctx); -

226

if ((

(Ri = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2881 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

Ri = BN_CTX_get(ctx)) ==

(Ri = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2881 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-2881

227

((void *)0)

(Ri = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2881 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-2881

228 ) -

229

goto

never executed: goto err;

err;

never executed: goto err;

230 R = &(mont->RR); -

231

if (!BN_copy(&(mont->N), mod)

!BN_copy(&(mont->N), mod)	Description
TRUE	never evaluated
FALSE	evaluated 2881 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-2881

232

goto

never executed: goto err;

err;

never executed: goto err;

233 mont->N.neg = 0; -

234 -

235 -

236 { -

237 BIGNUM tmod; -

238 unsigned long buf[2]; -

239 -

240 BN_init(&tmod); -

241 tmod.d = buf; -

242 tmod.dmax = 2; -

243 tmod.neg = 0; -

244 -

245 mont->ri = (BN_num_bits(mod) + -

246 (64 - 1)) / 64 * 64; -

247 (BN_set_word((R),0)); -

248

if (!(BN_set_bit(R, 64))

!(BN_set_bit(R, 64))	Description
TRUE	never evaluated
FALSE	evaluated 2881 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-2881

249

goto

never executed: goto err;

err;

never executed: goto err;

250 -

251 buf[0] = mod->d[0]; -

252 buf[1] = 0; -

253

tmod.top = buf[0] != 0

buf[0] != 0	Description
TRUE	evaluated 2880 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 1 time by 1 test Evaluated by: bntest

? 1 : 0;

1-2880

254 -

255

if ((

(BN_mod_invers...== ((void *)0)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: bntest
FALSE	evaluated 2879 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_mod_inverse_ct(Ri, R, &tmod, ctx)) ==

(BN_mod_invers...== ((void *)0)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: bntest
FALSE	evaluated 2879 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

2-2879

256

((void *)0)

(BN_mod_invers...== ((void *)0)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: bntest
FALSE	evaluated 2879 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

2-2879

257 ) -

258

goto

executed 2 times by 1 test: goto err;

Executed by:

bntest

err;

executed 2 times by 1 test: goto err;

Executed by:

bntest

259

if (!BN_lshift(Ri, Ri, 64)

!BN_lshift(Ri, Ri, 64)	Description
TRUE	never evaluated
FALSE	evaluated 2879 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-2879

260

goto

never executed: goto err;

err;

never executed: goto err;

261

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

!((Ri)->top == 0)	Description
TRUE	evaluated 2867 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: ecdhtest ecdsatest ectest

) {

12-2867

262

if (!BN_sub_word(Ri, 1)

!BN_sub_word(Ri, 1)	Description
TRUE	never evaluated
FALSE	evaluated 2867 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-2867

263

goto

never executed: goto err;

err;

never executed: goto err;

264

}

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

2867

265 else -

266 { -

267

if (!BN_set_word(Ri, (0xffffffffffffffffL))

!BN_set_word(R...fffffffffffL))	Description
TRUE	never evaluated
FALSE	evaluated 12 times by 3 tests Evaluated by: ecdhtest ecdsatest ectest

)

0-12

268

goto

never executed: goto err;

err;

never executed: goto err;

269

}

executed 12 times by 3 tests: end of block

Executed by:

ecdhtest
ecdsatest
ectest

270

if (!BN_div_ct(Ri,

!BN_div_ct(Ri,...i, &tmod, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 2879 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-2879

271

((void *)0)

!BN_div_ct(Ri,...i, &tmod, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 2879 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-2879

272

, Ri, &tmod, ctx)

!BN_div_ct(Ri,...i, &tmod, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 2879 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-2879

273

goto

never executed: goto err;

err;

never executed: goto err;

274 -

275 -

276

mont->n0[0] = (

(Ri->top > 0)	Description
TRUE	evaluated 2879 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

Ri->top > 0)

(Ri->top > 0)	Description
TRUE	evaluated 2879 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

? Ri->d[0] : 0;

0-2879

277 mont->n0[1] = 0; -

278 -

279 } -

280 (BN_set_word((&(mont->RR)),0)); -

281

if (!BN_set_bit(&(mont->RR), mont->ri*2)

!BN_set_bit(&(...), mont->ri*2)	Description
TRUE	never evaluated
FALSE	evaluated 2879 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-2879

282

goto

never executed: goto err;

err;

never executed: goto err;

283

if (!BN_div_ct(

!BN_div_ct( ((...nt->N)),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 2879 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-2879

284

((void *)0)

!BN_div_ct( ((...nt->N)),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 2879 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-2879

285

,(&(mont->RR)),(&(mont->RR)),(&(mont->N)),(ctx))

!BN_div_ct( ((...nt->N)),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 2879 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-2879

286

goto

never executed: goto err;

err;

never executed: goto err;

287 -

288 ret = 1; -

289 -

290

err:

code before this statement executed 2879 times by 14 tests: err:

Executed by:

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

2879

291 BN_CTX_end(ctx); -

292

return

executed 2881 times by 14 tests: return ret;

Executed by:

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

ret;

executed 2881 times by 14 tests: return ret;

Executed by:

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

2881

293 } -

294 -

295 BN_MONT_CTX * -

296 BN_MONT_CTX_copy(BN_MONT_CTX *to, BN_MONT_CTX *from) -

297 { -

298

if (to == from

to == from	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 3 tests Evaluated by: ecdsatest ectest ssltest

)

0-143

299

return

never executed: return (to);

(to);

never executed: return (to);

300 -

301

if (!BN_copy(&(to->RR), &(from->RR))

!BN_copy(&(to-..., &(from->RR))	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 3 tests Evaluated by: ecdsatest ectest ssltest

)

0-143

302

return

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

303

((void *)0)

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

304

;

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

305

if (!BN_copy(&(to->N), &(from->N))

!BN_copy(&(to->N), &(from->N))	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 3 tests Evaluated by: ecdsatest ectest ssltest

)

0-143

306

return

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

307

((void *)0)

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

308

;

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

309

if (!BN_copy(&(to->Ni), &(from->Ni))

!BN_copy(&(to-..., &(from->Ni))	Description
TRUE	never evaluated
FALSE	evaluated 143 times by 3 tests Evaluated by: ecdsatest ectest ssltest

)

0-143

310

return

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

311

((void *)0)

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

312

;

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

313 to->ri = from->ri; -

314 to->n0[0] = from->n0[0]; -

315 to->n0[1] = from->n0[1]; -

316

return

executed 143 times by 3 tests: return (to);

Executed by:

ecdsatest
ectest
ssltest

(to);

executed 143 times by 3 tests: return (to);

Executed by:

ecdsatest
ectest
ssltest

143

317 } -

318 -

319 BN_MONT_CTX * -

320 BN_MONT_CTX_set_locked(BN_MONT_CTX **pmont, int lock, const BIGNUM *mod, -

321 BN_CTX *ctx) -

322 { -

323 int got_write_lock = 0; -

324 BN_MONT_CTX *ret; -

325 -

326 CRYPTO_lock(1|4,lock,__FILE__,515); -

327

if (!*pmont

!*pmont	Description
TRUE	evaluated 386 times by 9 tests Evaluated by: dhtest dsatest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1557 times by 6 tests Evaluated by: dhtest dsatest mont pkcs7test rsa_test ssltest

) {

386-1557

328 CRYPTO_lock(2|4,lock,__FILE__,517); -

329 CRYPTO_lock(1|8,lock,__FILE__,518); -

330 got_write_lock = 1; -

331 -

332

if (!*pmont

!*pmont	Description
TRUE	evaluated 386 times by 9 tests Evaluated by: dhtest dsatest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

) {

0-386

333 ret = BN_MONT_CTX_new(); -

334

if (ret

ret	Description
TRUE	evaluated 386 times by 9 tests Evaluated by: dhtest dsatest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

&& !BN_MONT_CTX_set(ret, mod, ctx)

!BN_MONT_CTX_s...ret, mod, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 386 times by 9 tests Evaluated by: dhtest dsatest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-386

335

BN_MONT_CTX_free(ret);

never executed: BN_MONT_CTX_free(ret);

336 else -

337

executed 386 times by 9 tests: *pmont = ret;

Executed by:

dhtest
dsatest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

pmont = ret;

executed 386 times by 9 tests: *pmont = ret;

Executed by:

dhtest
dsatest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

386

338 } -

339

}

executed 386 times by 9 tests: end of block

Executed by:

dhtest
dsatest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

386

340 -

341 ret = *pmont; -

342 -

343

if (got_write_lock

got_write_lock	Description
TRUE	evaluated 386 times by 9 tests Evaluated by: dhtest dsatest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1557 times by 6 tests Evaluated by: dhtest dsatest mont pkcs7test rsa_test ssltest

)

386-1557

344

CRYPTO_lock(2|8,lock,__FILE__,533);

executed 386 times by 9 tests: CRYPTO_lock(2|8,lock,__FILE__,533);

Executed by:

dhtest
dsatest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

386

345 else -

346

CRYPTO_lock(2|4,lock,__FILE__,535);

executed 1557 times by 6 tests: CRYPTO_lock(2|4,lock,__FILE__,535);

Executed by:

dhtest
dsatest
mont
pkcs7test
rsa_test
ssltest

1557

347 -

348

return

executed 1943 times by 9 tests: return ret;

Executed by:

dhtest
dsatest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

ret;

executed 1943 times by 9 tests: return ret;

Executed by:

dhtest
dsatest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1943

349 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2