Line | Source | Count |
1 | | - |
2 | | - |
3 | | - |
4 | | - |
5 | | - |
6 | | - |
7 | | - |
8 | | - |
9 | | - |
10 | | - |
11 | | - |
12 | | - |
13 | | - |
14 | | - |
15 | | - |
16 | | - |
17 | | - |
18 | | - |
19 | | - |
20 | | - |
21 | | - |
22 | | - |
23 | | - |
24 | | - |
25 | | - |
26 | | - |
27 | | - |
28 | | - |
29 | | - |
30 | | - |
31 | | - |
32 | | - |
33 | | - |
34 | | - |
35 | | - |
36 | | - |
37 | | - |
38 | | - |
39 | | - |
40 | | - |
41 | | - |
42 | | - |
43 | | - |
44 | | - |
45 | | - |
46 | | - |
47 | | - |
48 | | - |
49 | | - |
50 | | - |
51 | | - |
52 | | - |
53 | | - |
54 | | - |
55 | | - |
56 | | - |
57 | | - |
58 | | - |
59 | #include <stdio.h> | - |
60 | #include <openssl/bn.h> | - |
61 | | - |
62 | #include "bn_lcl.h" | - |
63 | | - |
64 | | - |
65 | | - |
66 | | - |
67 | | - |
68 | | - |
69 | | - |
70 | | - |
71 | static int | - |
72 | bn_x931_derive_pi(BIGNUM *pi, const BIGNUM *Xpi, BN_CTX *ctx, BN_GENCB *cb) | - |
73 | { | - |
74 | int i = 0; | - |
75 | | - |
76 | if (!BN_copy(pi, Xpi))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
77 | return 0; never executed: return 0; | 0 |
78 | if (!BN_is_odd(pi) && !BN_add_word(pi, 1))TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
| 0 |
79 | return 0; never executed: return 0; | 0 |
80 | for (;;) { | - |
81 | i++; | - |
82 | BN_GENCB_call(cb, 0, i); | - |
83 | | - |
84 | if (BN_is_prime_fasttest_ex(pi, 27, ctx, 1, cb))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
85 | break; never executed: break; | 0 |
86 | if (!BN_add_word(pi, 2))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
87 | return 0; never executed: return 0; | 0 |
88 | } never executed: end of block | 0 |
89 | BN_GENCB_call(cb, 2, i); | - |
90 | return 1; never executed: return 1; | 0 |
91 | } | - |
92 | | - |
93 | | - |
94 | | - |
95 | | - |
96 | | - |
97 | | - |
98 | int | - |
99 | BN_X931_derive_prime_ex(BIGNUM *p, BIGNUM *p1, BIGNUM *p2, const BIGNUM *Xp, | - |
100 | const BIGNUM *Xp1, const BIGNUM *Xp2, const BIGNUM *e, BN_CTX *ctx, | - |
101 | BN_GENCB *cb) | - |
102 | { | - |
103 | int ret = 0; | - |
104 | | - |
105 | BIGNUM *t, *p1p2, *pm1; | - |
106 | | - |
107 | | - |
108 | if (!BN_is_odd(e))TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
| 0 |
109 | return 0; never executed: return 0; | 0 |
110 | | - |
111 | BN_CTX_start(ctx); | - |
112 | if (p1 == NULL) {TRUE | never evaluated | FALSE | never evaluated |
| 0 |
113 | if ((p1 = BN_CTX_get(ctx)) == NULL)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
114 | goto err; never executed: goto err; | 0 |
115 | } never executed: end of block | 0 |
116 | if (p2 == NULL) {TRUE | never evaluated | FALSE | never evaluated |
| 0 |
117 | if ((p2 = BN_CTX_get(ctx)) == NULL)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
118 | goto err; never executed: goto err; | 0 |
119 | } never executed: end of block | 0 |
120 | | - |
121 | if ((t = BN_CTX_get(ctx)) == NULL)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
122 | goto err; never executed: goto err; | 0 |
123 | if ((p1p2 = BN_CTX_get(ctx)) == NULL)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
124 | goto err; never executed: goto err; | 0 |
125 | if ((pm1 = BN_CTX_get(ctx)) == NULL)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
126 | goto err; never executed: goto err; | 0 |
127 | | - |
128 | if (!bn_x931_derive_pi(p1, Xp1, ctx, cb))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
129 | goto err; never executed: goto err; | 0 |
130 | | - |
131 | if (!bn_x931_derive_pi(p2, Xp2, ctx, cb))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
132 | goto err; never executed: goto err; | 0 |
133 | | - |
134 | if (!BN_mul(p1p2, p1, p2, ctx))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
135 | goto err; never executed: goto err; | 0 |
136 | | - |
137 | | - |
138 | | - |
139 | if (!BN_mod_inverse_ct(p, p2, p1, ctx))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
140 | goto err; never executed: goto err; | 0 |
141 | | - |
142 | if (!BN_mul(p, p, p2, ctx))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
143 | goto err; never executed: goto err; | 0 |
144 | | - |
145 | if (!BN_mod_inverse_ct(t, p1, p2, ctx))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
146 | goto err; never executed: goto err; | 0 |
147 | | - |
148 | if (!BN_mul(t, t, p1, ctx))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
149 | goto err; never executed: goto err; | 0 |
150 | | - |
151 | if (!BN_sub(p, p, t))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
152 | goto err; never executed: goto err; | 0 |
153 | | - |
154 | if (p->neg && !BN_add(p, p, p1p2))TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
| 0 |
155 | goto err; never executed: goto err; | 0 |
156 | | - |
157 | | - |
158 | | - |
159 | if (!BN_mod_sub(p, p, Xp, p1p2, ctx))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
160 | goto err; never executed: goto err; | 0 |
161 | | - |
162 | if (!BN_add(p, p, Xp))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
163 | goto err; never executed: goto err; | 0 |
164 | | - |
165 | | - |
166 | | - |
167 | for (;;) { | - |
168 | int i = 1; | - |
169 | BN_GENCB_call(cb, 0, i++); | - |
170 | if (!BN_copy(pm1, p))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
171 | goto err; never executed: goto err; | 0 |
172 | if (!BN_sub_word(pm1, 1))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
173 | goto err; never executed: goto err; | 0 |
174 | if (!BN_gcd_ct(t, pm1, e, ctx))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
175 | goto err; never executed: goto err; | 0 |
176 | if (BN_is_one(t)TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
| 0 |
177 | | - |
178 | | - |
179 | | - |
180 | | - |
181 | && BN_is_prime_fasttest_ex(p, 50, ctx, 1, cb))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
182 | break; never executed: break; | 0 |
183 | if (!BN_add(p, p, p1p2))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
184 | goto err; never executed: goto err; | 0 |
185 | } never executed: end of block | 0 |
186 | | - |
187 | BN_GENCB_call(cb, 3, 0); | - |
188 | | - |
189 | ret = 1; | - |
190 | | - |
191 | err: code before this statement never executed: err: | 0 |
192 | | - |
193 | BN_CTX_end(ctx); | - |
194 | | - |
195 | return ret; never executed: return ret; | 0 |
196 | } | - |
197 | | - |
198 | | - |
199 | | - |
200 | | - |
201 | | - |
202 | int | - |
203 | BN_X931_generate_Xpq(BIGNUM *Xp, BIGNUM *Xq, int nbits, BN_CTX *ctx) | - |
204 | { | - |
205 | BIGNUM *t; | - |
206 | int i; | - |
207 | int ret = 0; | - |
208 | | - |
209 | | - |
210 | | - |
211 | | - |
212 | if ((nbits < 1024) || (nbits & 0xff))TRUE | never evaluated | FALSE | never evaluated |
TRUE | never evaluated | FALSE | never evaluated |
| 0 |
213 | return 0; never executed: return 0; | 0 |
214 | nbits >>= 1; | - |
215 | | - |
216 | | - |
217 | | - |
218 | | - |
219 | if (!BN_rand(Xp, nbits, 1, 0))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
220 | return 0; never executed: return 0; | 0 |
221 | | - |
222 | BN_CTX_start(ctx); | - |
223 | if ((t = BN_CTX_get(ctx)) == NULL)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
224 | goto err; never executed: goto err; | 0 |
225 | | - |
226 | for (i = 0; i < 1000; i++) {TRUE | never evaluated | FALSE | never evaluated |
| 0 |
227 | if (!BN_rand(Xq, nbits, 1, 0))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
228 | goto err; never executed: goto err; | 0 |
229 | | - |
230 | BN_sub(t, Xp, Xq); | - |
231 | if (BN_num_bits(t) > (nbits - 100))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
232 | break; never executed: break; | 0 |
233 | } never executed: end of block | 0 |
234 | | - |
235 | if (i < 1000)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
236 | ret = 1; never executed: ret = 1; | 0 |
237 | | - |
238 | err: code before this statement never executed: err: | 0 |
239 | BN_CTX_end(ctx); | - |
240 | | - |
241 | return ret; never executed: return ret; | 0 |
242 | } | - |
243 | | - |
244 | | - |
245 | | - |
246 | | - |
247 | | - |
248 | | - |
249 | | - |
250 | | - |
251 | | - |
252 | int | - |
253 | BN_X931_generate_prime_ex(BIGNUM *p, BIGNUM *p1, BIGNUM *p2, BIGNUM *Xp1, | - |
254 | BIGNUM *Xp2, const BIGNUM *Xp, const BIGNUM *e, BN_CTX *ctx, BN_GENCB *cb) | - |
255 | { | - |
256 | int ret = 0; | - |
257 | | - |
258 | BN_CTX_start(ctx); | - |
259 | if (Xp1 == NULL) {TRUE | never evaluated | FALSE | never evaluated |
| 0 |
260 | if ((Xp1 = BN_CTX_get(ctx)) == NULL)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
261 | goto error; never executed: goto error; | 0 |
262 | } never executed: end of block | 0 |
263 | if (Xp2 == NULL) {TRUE | never evaluated | FALSE | never evaluated |
| 0 |
264 | if ((Xp2 = BN_CTX_get(ctx)) == NULL)TRUE | never evaluated | FALSE | never evaluated |
| 0 |
265 | goto error; never executed: goto error; | 0 |
266 | } never executed: end of block | 0 |
267 | | - |
268 | if (!BN_rand(Xp1, 101, 0, 0))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
269 | goto error; never executed: goto error; | 0 |
270 | if (!BN_rand(Xp2, 101, 0, 0))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
271 | goto error; never executed: goto error; | 0 |
272 | if (!BN_X931_derive_prime_ex(p, p1, p2, Xp, Xp1, Xp2, e, ctx, cb))TRUE | never evaluated | FALSE | never evaluated |
| 0 |
273 | goto error; never executed: goto error; | 0 |
274 | | - |
275 | ret = 1; | - |
276 | | - |
277 | error: code before this statement never executed: error: | 0 |
278 | BN_CTX_end(ctx); | - |
279 | | - |
280 | return ret; never executed: return ret; | 0 |
281 | } | - |
| | |