OpenCoverage

bn_exp2.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/bn/bn_exp2.c
Switch to Source codePreprocessed file
LineSourceCount
1-
2-
3-
4-
5-
6int-
7BN_mod_exp2_mont(BIGNUM *rr, const BIGNUM *a1, const BIGNUM *p1,-
8 const BIGNUM *a2, const BIGNUM *p2, const BIGNUM *m, BN_CTX *ctx,-
9 BN_MONT_CTX *in_mont)-
10{-
11 int i, j, bits, b, bits1, bits2, ret = 0, wpos1, wpos2, window1, window2, wvalue1, wvalue2;-
12 int r_is_one = 1;-
13 BIGNUM *d, *r;-
14 const BIGNUM *a_mod_m;-
15-
16 BIGNUM *val1[32], *val2[32];-
17 BN_MONT_CTX *mont = -
18 ((void *)0)-
19 ;-
20-
21 ;-
22 ;-
23 ;-
24 ;-
25 ;-
26-
27 if (!(m->d[0] & 1)
!(m->d[0] & 1)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
) {		0-1
28 ERR_put_error(3,(0xfff),(102),__FILE__,140);-
29 return
never executed: return (0);
 (0);
never executed: return (0);
0
30 }-
31 bits1 = BN_num_bits(p1);-
32 bits2 = BN_num_bits(p2);-
33 if ((
(bits1 == 0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
bits1 == 0)
(bits1 == 0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 && (
(bits2 == 0)Description
TRUEnever evaluated
FALSEnever evaluated
bits2 == 0)
(bits2 == 0)Description
TRUEnever evaluated
FALSEnever evaluated
) {		0-1
34 ret = (BN_set_word((rr),1));-
35 return
never executed: return ret;
 ret;
never executed: return ret;
0
36 }-
37-
38 bits = (
(bits1 > bits2)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
bits1 > bits2)
(bits1 > bits2)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 ? bits1 : bits2;		0-1
39-
40 BN_CTX_start(ctx);-
41 if ((
(d = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
d = BN_CTX_get(ctx)) ==
(d = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
42 ((void *)0)
(d = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
43 )-
44 goto
never executed: goto err;
 err;
never executed: goto err;
0
45 if ((
(r = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
r = BN_CTX_get(ctx)) ==
(r = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
46 ((void *)0)
(r = BN_CTX_ge...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
47 )-
48 goto
never executed: goto err;
 err;
never executed: goto err;
0
49 if ((
(val1[0] = BN_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
val1[0] = BN_CTX_get(ctx)) ==
(val1[0] = BN_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
50 ((void *)0)
(val1[0] = BN_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
51 )-
52 goto
never executed: goto err;
 err;
never executed: goto err;
0
53 if ((
(val2[0] = BN_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
val2[0] = BN_CTX_get(ctx)) ==
(val2[0] = BN_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
54 ((void *)0)
(val2[0] = BN_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
55 )-
56 goto
never executed: goto err;
 err;
never executed: goto err;
0
57-
58 if (in_mont !=
in_mont != ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
FALSEnever evaluated
0-1
59 ((void *)0)
in_mont != ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
FALSEnever evaluated
0-1
60 )-
61 mont = in_mont;
executed 1 time by 1 test: mont = in_mont;
Executed by:
  • dsatest
1
62 else {-
63 if ((
(mont = BN_MON...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
mont = BN_MONT_CTX_new()) ==
(mont = BN_MON...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
64 ((void *)0)
(mont = BN_MON...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
65 )-
66 goto
never executed: goto err;
 err;
never executed: goto err;
0
67 if (!BN_MONT_CTX_set(mont, m, ctx)
!BN_MONT_CTX_set(mont, m, ctx)Description
TRUEnever evaluated
FALSEnever evaluated
)		0
68 goto
never executed: goto err;
 err;
never executed: goto err;
0
69 }
never executed: end of block
0
70-
71 window1 = ((
(bits1) > 671Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
bits1) > 671
(bits1) > 671Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 ? 6 : (
(bits1) > 239Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
bits1) > 239
(bits1) > 239Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 ? 5 : (
(bits1) > 79Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
FALSEnever evaluated
bits1) > 79
(bits1) > 79Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
FALSEnever evaluated
 ? 4 : (
(bits1) > 23Description
TRUEnever evaluated
FALSEnever evaluated
bits1) > 23
(bits1) > 23Description
TRUEnever evaluated
FALSEnever evaluated
 ? 3 : 1);		0-1
72 window2 = ((
(bits2) > 671Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
bits2) > 671
(bits2) > 671Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 ? 6 : (
(bits2) > 239Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
bits2) > 239
(bits2) > 239Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 ? 5 : (
(bits2) > 79Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
FALSEnever evaluated
bits2) > 79
(bits2) > 79Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
FALSEnever evaluated
 ? 4 : (
(bits2) > 23Description
TRUEnever evaluated
FALSEnever evaluated
bits2) > 23
(bits2) > 23Description
TRUEnever evaluated
FALSEnever evaluated
 ? 3 : 1);		0-1
73-
74-
75-
76-
77 if (a1->neg
a1->negDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 || BN_ucmp(a1, m) >= 0
BN_ucmp(a1, m) >= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
) {		0-1
78 if (!BN_div_ct(
!BN_div_ct( ((...a1),(m),(ctx))Description
TRUEnever evaluated
FALSEnever evaluated
0
79 ((void *)0)
!BN_div_ct( ((...a1),(m),(ctx))Description
TRUEnever evaluated
FALSEnever evaluated
0
80 ,(val1[0]),(a1),(m),(ctx))
!BN_div_ct( ((...a1),(m),(ctx))Description
TRUEnever evaluated
FALSEnever evaluated
)		0
81 goto
never executed: goto err;
 err;
never executed: goto err;
0
82 a_mod_m = val1[0];-
83 }
never executed: end of block
 else		0
84 a_mod_m = a1;
executed 1 time by 1 test: a_mod_m = a1;
Executed by:
  • dsatest
1
85 if (((
((a_mod_m)->top == 0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
a_mod_m)->top == 0)
((a_mod_m)->top == 0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
) {		0-1
86 (BN_set_word((rr),0));-
87 ret = 1;-
88 goto
never executed: goto err;
 err;
never executed: goto err;
0
89 }-
90-
91 if (!BN_mod_mul_montgomery( (val1[0]),(a_mod_m),&((mont)->RR),(mont),(ctx))
!BN_mod_mul_mo...,(mont),(ctx))Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
)		0-1
92 goto
never executed: goto err;
 err;
never executed: goto err;
0
93 if (window1 > 1
window1 > 1Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
FALSEnever evaluated
) {		0-1
94 if (!BN_mod_mul_montgomery(d, val1[0], val1[0], mont, ctx)
!BN_mod_mul_mo...0], mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
)		0-1
95 goto
never executed: goto err;
 err;
never executed: goto err;
0
96-
97 j = 1 << (window1 - 1);-
98 for (i = 1; i < j
i < jDescription
TRUEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
; i++) {		1-7
99 if (((
((val1[i] = BN... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
val1[i] = BN_CTX_get(ctx)) ==
((val1[i] = BN... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
0-7
100 ((void *)0)
((val1[i] = BN... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
0-7
101 )
((val1[i] = BN... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
 ||		0-7
102 !BN_mod_mul_montgomery(val1[i], val1[i - 1],
!BN_mod_mul_mo... d, mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
0-7
103 d, mont, ctx)
!BN_mod_mul_mo... d, mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
)		0-7
104 goto
never executed: goto err;
 err;
never executed: goto err;
0
105 }
executed 7 times by 1 test: end of block
Executed by:
  • dsatest
7
106 }
executed 1 time by 1 test: end of block
Executed by:
  • dsatest
1
107-
108-
109-
110-
111-
112 if (a2->neg
a2->negDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 || BN_ucmp(a2, m) >= 0
BN_ucmp(a2, m) >= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
) {		0-1
113 if (!BN_div_ct(
!BN_div_ct( ((...a2),(m),(ctx))Description
TRUEnever evaluated
FALSEnever evaluated
0
114 ((void *)0)
!BN_div_ct( ((...a2),(m),(ctx))Description
TRUEnever evaluated
FALSEnever evaluated
0
115 ,(val2[0]),(a2),(m),(ctx))
!BN_div_ct( ((...a2),(m),(ctx))Description
TRUEnever evaluated
FALSEnever evaluated
)		0
116 goto
never executed: goto err;
 err;
never executed: goto err;
0
117 a_mod_m = val2[0];-
118 }
never executed: end of block
 else		0
119 a_mod_m = a2;
executed 1 time by 1 test: a_mod_m = a2;
Executed by:
  • dsatest
1
120 if (((
((a_mod_m)->top == 0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
a_mod_m)->top == 0)
((a_mod_m)->top == 0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
) {		0-1
121 (BN_set_word((rr),0));-
122 ret = 1;-
123 goto
never executed: goto err;
 err;
never executed: goto err;
0
124 }-
125 if (!BN_mod_mul_montgomery( (val2[0]),(a_mod_m),&((mont)->RR),(mont),(ctx))
!BN_mod_mul_mo...,(mont),(ctx))Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
)		0-1
126 goto
never executed: goto err;
 err;
never executed: goto err;
0
127 if (window2 > 1
window2 > 1Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
FALSEnever evaluated
) {		0-1
128 if (!BN_mod_mul_montgomery(d, val2[0], val2[0], mont, ctx)
!BN_mod_mul_mo...0], mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
)		0-1
129 goto
never executed: goto err;
 err;
never executed: goto err;
0
130-
131 j = 1 << (window2 - 1);-
132 for (i = 1; i < j
i < jDescription
TRUEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
; i++) {		1-7
133 if (((
((val2[i] = BN... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
val2[i] = BN_CTX_get(ctx)) ==
((val2[i] = BN... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
0-7
134 ((void *)0)
((val2[i] = BN... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
0-7
135 )
((val2[i] = BN... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
 ||		0-7
136 !BN_mod_mul_montgomery(val2[i], val2[i - 1],
!BN_mod_mul_mo... d, mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
0-7
137 d, mont, ctx)
!BN_mod_mul_mo... d, mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 7 times by 1 test
Evaluated by:
  • dsatest
)		0-7
138 goto
never executed: goto err;
 err;
never executed: goto err;
0
139 }
executed 7 times by 1 test: end of block
Executed by:
  • dsatest
7
140 }
executed 1 time by 1 test: end of block
Executed by:
  • dsatest
1
141-
142-
143-
144 r_is_one = 1;-
145 wvalue1 = 0;-
146 wvalue2 = 0;-
147 wpos1 = 0;-
148 wpos2 = 0;-
149-
150 if (!BN_mod_mul_montgomery( (r),(BN_value_one()),&((mont)->RR),(mont),(ctx))
!BN_mod_mul_mo...,(mont),(ctx))Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
)		0-1
151 goto
never executed: goto err;
 err;
never executed: goto err;
0
152 for (b = bits - 1; b >= 0
b >= 0Description
TRUEevaluated 160 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
; b--) {		1-160
153 if (!r_is_one
!r_is_oneDescription
TRUEevaluated 156 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 4 times by 1 test
Evaluated by:
  • dsatest
) {		4-156
154 if (!BN_mod_mul_montgomery(r, r,r, mont, ctx)
!BN_mod_mul_mo...,r, mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 156 times by 1 test
Evaluated by:
  • dsatest
)		0-156
155 goto
never executed: goto err;
 err;
never executed: goto err;
0
156 }
executed 156 times by 1 test: end of block
Executed by:
  • dsatest
156
157-
158 if (!wvalue1
!wvalue1Description
TRUEevaluated 100 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 60 times by 1 test
Evaluated by:
  • dsatest
)		60-100
159 if (BN_is_bit_set(p1, b)
BN_is_bit_set(p1, b)Description
TRUEevaluated 31 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 69 times by 1 test
Evaluated by:
  • dsatest
) {		31-69
160-
161 i = b - window1 + 1;-
162 while (!BN_is_bit_set(p1, i)
!BN_is_bit_set(p1, i)Description
TRUEevaluated 33 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 31 times by 1 test
Evaluated by:
  • dsatest
)		31-33
163 i++;
executed 33 times by 1 test: i++;
Executed by:
  • dsatest
33
164 wpos1 = i;-
165 wvalue1 = 1;-
166 for (i = b - 1; i >= wpos1
i >= wpos1Description
TRUEevaluated 60 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 31 times by 1 test
Evaluated by:
  • dsatest
; i--) {		31-60
167 wvalue1 <<= 1;-
168 if (BN_is_bit_set(p1, i)
BN_is_bit_set(p1, i)Description
TRUEevaluated 39 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 21 times by 1 test
Evaluated by:
  • dsatest
)		21-39
169 wvalue1++;
executed 39 times by 1 test: wvalue1++;
Executed by:
  • dsatest
39
170 }
executed 60 times by 1 test: end of block
Executed by:
  • dsatest
60
171 }
executed 31 times by 1 test: end of block
Executed by:
  • dsatest
31
172-
173 if (!wvalue2
!wvalue2Description
TRUEevaluated 92 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 68 times by 1 test
Evaluated by:
  • dsatest
)		68-92
174 if (BN_is_bit_set(p2, b)
BN_is_bit_set(p2, b)Description
TRUEevaluated 33 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 59 times by 1 test
Evaluated by:
  • dsatest
) {		33-59
175-
176 i = b - window2 + 1;-
177 while (!BN_is_bit_set(p2, i)
!BN_is_bit_set(p2, i)Description
TRUEevaluated 31 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 33 times by 1 test
Evaluated by:
  • dsatest
)		31-33
178 i++;
executed 31 times by 1 test: i++;
Executed by:
  • dsatest
31
179 wpos2 = i;-
180 wvalue2 = 1;-
181 for (i = b - 1; i >= wpos2
i >= wpos2Description
TRUEevaluated 68 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 33 times by 1 test
Evaluated by:
  • dsatest
; i--) {		33-68
182 wvalue2 <<= 1;-
183 if (BN_is_bit_set(p2, i)
BN_is_bit_set(p2, i)Description
TRUEevaluated 52 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 16 times by 1 test
Evaluated by:
  • dsatest
)		16-52
184 wvalue2++;
executed 52 times by 1 test: wvalue2++;
Executed by:
  • dsatest
52
185 }
executed 68 times by 1 test: end of block
Executed by:
  • dsatest
68
186 }
executed 33 times by 1 test: end of block
Executed by:
  • dsatest
33
187-
188 if (wvalue1
wvalue1Description
TRUEevaluated 91 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 69 times by 1 test
Evaluated by:
  • dsatest
 && b == wpos1
b == wpos1Description
TRUEevaluated 31 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 60 times by 1 test
Evaluated by:
  • dsatest
) {		31-91
189-
190 if (!BN_mod_mul_montgomery(r, r, val1[wvalue1 >> 1],
!BN_mod_mul_mo...1], mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 31 times by 1 test
Evaluated by:
  • dsatest
0-31
191 mont, ctx)
!BN_mod_mul_mo...1], mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 31 times by 1 test
Evaluated by:
  • dsatest
)		0-31
192 goto
never executed: goto err;
 err;
never executed: goto err;
0
193 wvalue1 = 0;-
194 r_is_one = 0;-
195 }
executed 31 times by 1 test: end of block
Executed by:
  • dsatest
31
196-
197 if (wvalue2
wvalue2Description
TRUEevaluated 101 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 59 times by 1 test
Evaluated by:
  • dsatest
 && b == wpos2
b == wpos2Description
TRUEevaluated 33 times by 1 test
Evaluated by:
  • dsatest
FALSEevaluated 68 times by 1 test
Evaluated by:
  • dsatest
) {		33-101
198-
199 if (!BN_mod_mul_montgomery(r, r, val2[wvalue2 >> 1],
!BN_mod_mul_mo...1], mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 33 times by 1 test
Evaluated by:
  • dsatest
0-33
200 mont, ctx)
!BN_mod_mul_mo...1], mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 33 times by 1 test
Evaluated by:
  • dsatest
)		0-33
201 goto
never executed: goto err;
 err;
never executed: goto err;
0
202 wvalue2 = 0;-
203 r_is_one = 0;-
204 }
executed 33 times by 1 test: end of block
Executed by:
  • dsatest
33
205 }
executed 160 times by 1 test: end of block
Executed by:
  • dsatest
160
206 if (!BN_from_montgomery(rr, r,mont, ctx)
!BN_from_montg..., r,mont, ctx)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
)		0-1
207 goto
never executed: goto err;
 err;
never executed: goto err;
0
208 ret = 1;-
209-
210err:
code before this statement executed 1 time by 1 test: err:
Executed by:
  • dsatest
1
211 if ((
(in_mont == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
in_mont ==
(in_mont == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
212 ((void *)0)
(in_mont == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
0-1
213 )
(in_mont == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • dsatest
 && (
(mont != ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
mont !=
(mont != ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0-1
214 ((void *)0)
(mont != ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
215 )
(mont != ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
)		0
216 BN_MONT_CTX_free(mont);
never executed: BN_MONT_CTX_free(mont);
0
217 BN_CTX_end(ctx);-
218 ;-
219 return
executed 1 time by 1 test: return (ret);
Executed by:
  • dsatest
 (ret);
executed 1 time by 1 test: return (ret);
Executed by:
  • dsatest
1
220}-
Switch to Source codePreprocessed file
Generated by Squish Coco 4.2.2