OpenCoverage

bn_exp2.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/openssl/src/crypto/bn/bn_exp2.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 int BN_mod_exp2_mont(BIGNUM *rr, const BIGNUM *a1, const BIGNUM *p1, -

5 const BIGNUM *a2, const BIGNUM *p2, const BIGNUM *m, -

6 BN_CTX *ctx, BN_MONT_CTX *in_mont) -

7 { -

8 int i, j, bits, b, bits1, bits2, ret = -

9 0, wpos1, wpos2, window1, window2, wvalue1, wvalue2; -

10 int r_is_one = 1; -

11 BIGNUM *d, *r; -

12 const BIGNUM *a_mod_m; -

13 -

14 BIGNUM *val1[32], *val2[32]; -

15 BN_MONT_CTX *mont = -

16 ((void *)0) -

17 ; -

18 -

19 ; -

20 ; -

21 ; -

22 ; -

23 ; -

24 -

if (!(m->d[0] & 1)

!(m->d[0] & 1)	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-283

26 ERR_put_error(3,(118),(102),__FILE__,36); -

return

never executed: return 0;

28 } -

29 bits1 = BN_num_bits(p1); -

30 bits2 = BN_num_bits(p2); -

if ((

(bits1 == 0)	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

bits1 == 0)

(bits1 == 0)	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

&& (

(bits2 == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

bits2 == 0)

(bits2 == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

0-283

32 ret = (BN_set_word((rr),1)); -

return

never executed: return ret;

ret;

never executed: return ret;

34 } -

35 -

bits = (

(bits1 > bits2)	Description
TRUE	evaluated 88 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 195 times by 1 test Evaluated by: libcrypto.so.1.1

bits1 > bits2)

(bits1 > bits2)	Description
TRUE	evaluated 88 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 195 times by 1 test Evaluated by: libcrypto.so.1.1

? bits1 : bits2;

88-195

37 -

38 BN_CTX_start(ctx); -

39 d = BN_CTX_get(ctx); -

40 r = BN_CTX_get(ctx); -

41 val1[0] = BN_CTX_get(ctx); -

42 val2[0] = BN_CTX_get(ctx); -

if (val2[0] ==

val2[0] == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

0-283

((void *)0)

val2[0] == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

0-283

45 ) -

goto

never executed: goto err;

err;

never executed: goto err;

47 -

if (in_mont !=

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

0-283

((void *)0)

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

0-283

50 ) -

mont = in_mont;

executed 283 times by 1 test: mont = in_mont;

Executed by:

libcrypto.so.1.1

283

52 else { -

if ((

(mont = BN_MON...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

mont = BN_MONT_CTX_new()) ==

(mont = BN_MON...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

((void *)0)

(mont = BN_MON...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

55 ) -

goto

never executed: goto err;

err;

never executed: goto err;

if (!BN_MONT_CTX_set(mont, m, ctx)

!BN_MONT_CTX_set(mont, m, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

}

never executed: end of block

60 -

window1 = ((

(bits1) > 671	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

bits1) > 671

(bits1) > 671	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

? 6 : (

(bits1) > 239	Description
TRUE	evaluated 65 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 218 times by 1 test Evaluated by: libcrypto.so.1.1

bits1) > 239

(bits1) > 239	Description
TRUE	evaluated 65 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 218 times by 1 test Evaluated by: libcrypto.so.1.1

? 5 : (

(bits1) > 79	Description
TRUE	evaluated 218 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

bits1) > 79

(bits1) > 79	Description
TRUE	evaluated 218 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

? 4 : (

(bits1) > 23	Description
TRUE	never evaluated
FALSE	never evaluated

bits1) > 23

(bits1) > 23	Description
TRUE	never evaluated
FALSE	never evaluated

? 3 : 1);

0-283

window2 = ((

(bits2) > 671	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

bits2) > 671

(bits2) > 671	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

? 6 : (

(bits2) > 239	Description
TRUE	evaluated 65 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 218 times by 1 test Evaluated by: libcrypto.so.1.1

bits2) > 239

(bits2) > 239	Description
TRUE	evaluated 65 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 218 times by 1 test Evaluated by: libcrypto.so.1.1

? 5 : (

(bits2) > 79	Description
TRUE	evaluated 213 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 5 times by 1 test Evaluated by: libcrypto.so.1.1

bits2) > 79

(bits2) > 79	Description
TRUE	evaluated 213 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 5 times by 1 test Evaluated by: libcrypto.so.1.1

? 4 : (

(bits2) > 23	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 4 times by 1 test Evaluated by: libcrypto.so.1.1

bits2) > 23

(bits2) > 23	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 4 times by 1 test Evaluated by: libcrypto.so.1.1

? 3 : 1);

0-283

63 -

64 -

65 -

66 -

if (a1->neg

a1->neg	Description
TRUE	never evaluated
FALSE	evaluated 283 times by 1 test Evaluated by: libcrypto.so.1.1

|| BN_ucmp(a1, m) >= 0

BN_ucmp(a1, m) >= 0	Description
TRUE	evaluated 120 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 163 times by 1 test Evaluated by: libcrypto.so.1.1

) {

0-283

if (!BN_div(

!BN_div( ((voi...a1),(m),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 120 times by 1 test Evaluated by: libcrypto.so.1.1

0-120

((void *)0)

!BN_div( ((voi...a1),(m),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 120 times by 1 test Evaluated by: libcrypto.so.1.1

0-120

,(val1[0]),(a1),(m),(ctx))

!BN_div( ((voi...a1),(m),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 120 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-120

goto

never executed: goto err;

err;

never executed: goto err;

72 a_mod_m = val1[0]; -

}

executed 120 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else

120

a_mod_m = a1;

executed 163 times by 1 test: a_mod_m = a1;

Executed by:

libcrypto.so.1.1

163

if (BN_is_zero(a_mod_m)

BN_is_zero(a_mod_m)	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 282 times by 1 test Evaluated by: libcrypto.so.1.1

) {

1-282

76 (BN_set_word((rr),0)); -

77 ret = 1; -

goto

executed 1 time by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 1 time by 1 test: goto err;

Executed by:

libcrypto.so.1.1

79 } -

80 -

if (!BN_to_montgomery(val1[0], a_mod_m, mont, ctx)

!BN_to_montgom..._m, mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 282 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-282

goto

never executed: goto err;

err;

never executed: goto err;

if (window1 > 1

window1 > 1	Description
TRUE	evaluated 282 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	never evaluated

) {

0-282

if (!BN_mod_mul_montgomery(d, val1[0], val1[0], mont, ctx)

!BN_mod_mul_mo...0], mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 282 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-282

goto

never executed: goto err;

err;

never executed: goto err;

86 -

87 j = 1 << (window1 - 1); -

for (i = 1; i < j

i < j	Description
TRUE	evaluated 2494 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 282 times by 1 test Evaluated by: libcrypto.so.1.1

; i++) {

282-2494

if (((

((val1[i] = BN... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 2494 times by 1 test Evaluated by: libcrypto.so.1.1

val1[i] = BN_CTX_get(ctx)) ==

((val1[i] = BN... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 2494 times by 1 test Evaluated by: libcrypto.so.1.1

0-2494

((void *)0)

((val1[i] = BN... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 2494 times by 1 test Evaluated by: libcrypto.so.1.1

0-2494

)

((val1[i] = BN... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 2494 times by 1 test Evaluated by: libcrypto.so.1.1

0-2494

!BN_mod_mul_montgomery(val1[i], val1[i - 1], d, mont, ctx)

!BN_mod_mul_mo... d, mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 2494 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-2494

goto

never executed: goto err;

err;

never executed: goto err;

}

executed 2494 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

2494

}

executed 282 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

282

96 -

97 -

98 -

99 -

100

if (a2->neg

a2->neg	Description
TRUE	evaluated 74 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 208 times by 1 test Evaluated by: libcrypto.so.1.1

|| BN_ucmp(a2, m) >= 0

BN_ucmp(a2, m) >= 0	Description
TRUE	evaluated 1 time by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 207 times by 1 test Evaluated by: libcrypto.so.1.1

) {

1-208

101

if (!BN_div(

!BN_div( ((voi...a2),(m),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 75 times by 1 test Evaluated by: libcrypto.so.1.1

0-75

102

((void *)0)

!BN_div( ((voi...a2),(m),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 75 times by 1 test Evaluated by: libcrypto.so.1.1

0-75

103

,(val2[0]),(a2),(m),(ctx))

!BN_div( ((voi...a2),(m),(ctx))	Description
TRUE	never evaluated
FALSE	evaluated 75 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-75

104

goto

never executed: goto err;

err;

never executed: goto err;

105 a_mod_m = val2[0]; -

106

}

executed 75 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

else

107

a_mod_m = a2;

executed 207 times by 1 test: a_mod_m = a2;

Executed by:

libcrypto.so.1.1

207

108

if (BN_is_zero(a_mod_m)

BN_is_zero(a_mod_m)	Description
TRUE	evaluated 2 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 280 times by 1 test Evaluated by: libcrypto.so.1.1

) {

2-280

109 (BN_set_word((rr),0)); -

110 ret = 1; -

111

goto

executed 2 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

err;

executed 2 times by 1 test: goto err;

Executed by:

libcrypto.so.1.1

112 } -

113

if (!BN_to_montgomery(val2[0], a_mod_m, mont, ctx)

!BN_to_montgom..._m, mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 280 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-280

114

goto

never executed: goto err;

err;

never executed: goto err;

115

if (window2 > 1

window2 > 1	Description
TRUE	evaluated 276 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 4 times by 1 test Evaluated by: libcrypto.so.1.1

) {

4-276

116

if (!BN_mod_mul_montgomery(d, val2[0], val2[0], mont, ctx)

!BN_mod_mul_mo...0], mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 276 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-276

117

goto

never executed: goto err;

err;

never executed: goto err;

118 -

119 j = 1 << (window2 - 1); -

120

for (i = 1; i < j

i < j	Description
TRUE	evaluated 2448 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 276 times by 1 test Evaluated by: libcrypto.so.1.1

; i++) {

276-2448

121

if (((

((val2[i] = BN... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 2448 times by 1 test Evaluated by: libcrypto.so.1.1

val2[i] = BN_CTX_get(ctx)) ==

((val2[i] = BN... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 2448 times by 1 test Evaluated by: libcrypto.so.1.1

0-2448

122

((void *)0)

((val2[i] = BN... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 2448 times by 1 test Evaluated by: libcrypto.so.1.1

0-2448

123

)

((val2[i] = BN... ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 2448 times by 1 test Evaluated by: libcrypto.so.1.1

0-2448

124

!BN_mod_mul_montgomery(val2[i], val2[i - 1], d, mont, ctx)

!BN_mod_mul_mo... d, mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 2448 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-2448

125

goto

never executed: goto err;

err;

never executed: goto err;

126

}

executed 2448 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

2448

127

}

executed 276 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

276

128 -

129 -

130 r_is_one = 1; -

131 wvalue1 = 0; -

132 wvalue2 = 0; -

133 wpos1 = 0; -

134 -

135 wpos2 = 0; -

136 -

137 -

138

if (!BN_to_montgomery(r, BN_value_one(), mont, ctx)

!BN_to_montgom...(), mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 280 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-280

139

goto

never executed: goto err;

err;

never executed: goto err;

140

for (b = bits - 1; b >= 0

b >= 0	Description
TRUE	evaluated 63046 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 280 times by 1 test Evaluated by: libcrypto.so.1.1

; b--) {

280-63046

141

if (!r_is_one

!r_is_one	Description
TRUE	evaluated 62277 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 769 times by 1 test Evaluated by: libcrypto.so.1.1

) {

769-62277

142

if (!BN_mod_mul_montgomery(r, r, r, mont, ctx)

!BN_mod_mul_mo... r, mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 62277 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-62277

143

goto

never executed: goto err;

err;

never executed: goto err;

144

}

executed 62277 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

62277

145 -

146

if (!wvalue1

!wvalue1	Description
TRUE	evaluated 35368 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 27678 times by 1 test Evaluated by: libcrypto.so.1.1

)

27678-35368

147

if (BN_is_bit_set(p1, b)

BN_is_bit_set(p1, b)	Description
TRUE	evaluated 12021 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 23347 times by 1 test Evaluated by: libcrypto.so.1.1

) {

12021-23347

148 -

149 -

150 -

151 i = b - window1 + 1; -

152

while (!BN_is_bit_set(p1, i)

!BN_is_bit_set(p1, i)	Description
TRUE	evaluated 11171 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 12021 times by 1 test Evaluated by: libcrypto.so.1.1

)

11171-12021

153

i++;

executed 11171 times by 1 test: i++;

Executed by:

libcrypto.so.1.1

11171

154 wpos1 = i; -

155 wvalue1 = 1; -

156

for (i = b - 1; i >= wpos1

i >= wpos1	Description
TRUE	evaluated 27678 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 12021 times by 1 test Evaluated by: libcrypto.so.1.1

; i--) {

12021-27678

157 wvalue1 <<= 1; -

158

if (BN_is_bit_set(p1, i)

BN_is_bit_set(p1, i)	Description
TRUE	evaluated 19244 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 8434 times by 1 test Evaluated by: libcrypto.so.1.1

)

8434-19244

159

wvalue1++;

executed 19244 times by 1 test: wvalue1++;

Executed by:

libcrypto.so.1.1

19244

160

}

executed 27678 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

27678

161

}

executed 12021 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

12021

162 -

163

if (!wvalue2

!wvalue2	Description
TRUE	evaluated 35838 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 27208 times by 1 test Evaluated by: libcrypto.so.1.1

)

27208-35838

164

if (BN_is_bit_set(p2, b)

BN_is_bit_set(p2, b)	Description
TRUE	evaluated 11811 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 24027 times by 1 test Evaluated by: libcrypto.so.1.1

) {

11811-24027

165 -

166 -

167 -

168 i = b - window2 + 1; -

169

while (!BN_is_bit_set(p2, i)

!BN_is_bit_set(p2, i)	Description
TRUE	evaluated 10992 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 11811 times by 1 test Evaluated by: libcrypto.so.1.1

)

10992-11811

170

i++;

executed 10992 times by 1 test: i++;

Executed by:

libcrypto.so.1.1

10992

171 wpos2 = i; -

172 wvalue2 = 1; -

173

for (i = b - 1; i >= wpos2

i >= wpos2	Description
TRUE	evaluated 27208 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 11811 times by 1 test Evaluated by: libcrypto.so.1.1

; i--) {

11811-27208

174 wvalue2 <<= 1; -

175

if (BN_is_bit_set(p2, i)

BN_is_bit_set(p2, i)	Description
TRUE	evaluated 18596 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 8612 times by 1 test Evaluated by: libcrypto.so.1.1

)

8612-18596

176

wvalue2++;

executed 18596 times by 1 test: wvalue2++;

Executed by:

libcrypto.so.1.1

18596

177

}

executed 27208 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

27208

178

}

executed 11811 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

11811

179 -

180

if (wvalue1

wvalue1	Description
TRUE	evaluated 39699 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 23347 times by 1 test Evaluated by: libcrypto.so.1.1

&& b == wpos1

b == wpos1	Description
TRUE	evaluated 12021 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 27678 times by 1 test Evaluated by: libcrypto.so.1.1

) {

12021-39699

181 -

182

if (!BN_mod_mul_montgomery(r, r, val1[wvalue1 >> 1], mont, ctx)

!BN_mod_mul_mo...1], mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 12021 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-12021

183

goto

never executed: goto err;

err;

never executed: goto err;

184 wvalue1 = 0; -

185 r_is_one = 0; -

186

}

executed 12021 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

12021

187 -

188

if (wvalue2

wvalue2	Description
TRUE	evaluated 39019 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 24027 times by 1 test Evaluated by: libcrypto.so.1.1

&& b == wpos2

b == wpos2	Description
TRUE	evaluated 11811 times by 1 test Evaluated by: libcrypto.so.1.1
FALSE	evaluated 27208 times by 1 test Evaluated by: libcrypto.so.1.1

) {

11811-39019

189 -

190

if (!BN_mod_mul_montgomery(r, r, val2[wvalue2 >> 1], mont, ctx)

!BN_mod_mul_mo...1], mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 11811 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-11811

191

goto

never executed: goto err;

err;

never executed: goto err;

192 wvalue2 = 0; -

193 r_is_one = 0; -

194

}

executed 11811 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

11811

195

}

executed 63046 times by 1 test: end of block

Executed by:

libcrypto.so.1.1

63046

196

if (!BN_from_montgomery(rr, r, mont, ctx)

!BN_from_montg... r, mont, ctx)	Description
TRUE	never evaluated
FALSE	evaluated 280 times by 1 test Evaluated by: libcrypto.so.1.1

)

0-280

197

goto

never executed: goto err;

err;

never executed: goto err;

198 ret = 1; -

199

err:

code before this statement executed 280 times by 1 test: err:

Executed by:

libcrypto.so.1.1

280

200

if (in_mont ==

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

0-283

201

((void *)0)

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

0-283

202 ) -

203

BN_MONT_CTX_free(mont);

never executed: BN_MONT_CTX_free(mont);

204 BN_CTX_end(ctx); -

205 ; -

206

return

executed 283 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

ret;

executed 283 times by 1 test: return ret;

Executed by:

libcrypto.so.1.1

283

207 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2