OpenCoverage

ec2_mult.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/ec/ec2_mult.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 static int -

4 gf2m_Mdouble(const EC_GROUP *group, BIGNUM *x, BIGNUM *z, BN_CTX *ctx) -

5 { -

6 BIGNUM *t1; -

7 int ret = 0; -

8 -

9 -

10 BN_CTX_start(ctx); -

if ((

(t1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

t1 = BN_CTX_get(ctx)) ==

(t1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

((void *)0)

(t1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

13 ) -

goto

never executed: goto err;

err;

never executed: goto err;

15 -

if (!group->meth->field_sqr(group, x, x, ctx)

!group->meth->...up, x, x, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_sqr(group, t1, z, ctx)

!group->meth->...p, t1, z, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_mul(group, z, x, t1, ctx)

!group->meth->...z, x, t1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_sqr(group, x, x, ctx)

!group->meth->...up, x, x, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_sqr(group, t1, t1, ctx)

!group->meth->..., t1, t1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_mul(group, t1, &group->b, t1, ctx)

!group->meth->...p->b, t1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!BN_GF2m_add(x, x, t1)

!BN_GF2m_add(x, x, t1)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

30 -

31 ret = 1; -

32 -

err:

code before this statement never executed: err:

34 BN_CTX_end(ctx); -

return

never executed: return ret;

ret;

never executed: return ret;

36 } -

37 -

38 -

39 -

40 -

41 -

42 -

43 -

44 static int -

45 gf2m_Madd(const EC_GROUP *group, const BIGNUM *x, BIGNUM *x1, BIGNUM *z1, -

46 const BIGNUM *x2, const BIGNUM *z2, BN_CTX *ctx) -

47 { -

48 BIGNUM *t1, *t2; -

49 int ret = 0; -

50 -

51 -

52 BN_CTX_start(ctx); -

if ((

(t1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

t1 = BN_CTX_get(ctx)) ==

(t1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

((void *)0)

(t1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

55 ) -

goto

never executed: goto err;

err;

never executed: goto err;

if ((

(t2 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

t2 = BN_CTX_get(ctx)) ==

(t2 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

((void *)0)

(t2 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

59 ) -

goto

never executed: goto err;

err;

never executed: goto err;

61 -

if (!BN_copy(t1, x)

!BN_copy(t1, x)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_mul(group, x1, x1, z2, ctx)

!group->meth->..., x1, z2, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_mul(group, z1, z1, x2, ctx)

!group->meth->..., z1, x2, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_mul(group, t2, x1, z1, ctx)

!group->meth->..., x1, z1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!BN_GF2m_add(z1, z1, x1)

!BN_GF2m_add(z1, z1, x1)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_sqr(group, z1, z1, ctx)

!group->meth->..., z1, z1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!group->meth->field_mul(group, x1, z1, t1, ctx)

!group->meth->..., z1, t1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

if (!BN_GF2m_add(x1, x1, t2)

!BN_GF2m_add(x1, x1, t2)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

78 -

79 ret = 1; -

80 -

err:

code before this statement never executed: err:

82 BN_CTX_end(ctx); -

return

never executed: return ret;

ret;

never executed: return ret;

84 } -

85 static int -

86 gf2m_Mxy(const EC_GROUP *group, const BIGNUM *x, const BIGNUM *y, BIGNUM *x1, -

87 BIGNUM *z1, BIGNUM *x2, BIGNUM *z2, BN_CTX *ctx) -

88 { -

89 BIGNUM *t3, *t4, *t5; -

90 int ret = 0; -

91 -

if (((

((z1)->top == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

z1)->top == 0)

((z1)->top == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

93 (BN_set_word((x2),0)); -

94 (BN_set_word((z2),0)); -

return

never executed: return 1;

96 } -

if (((

((z2)->top == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

z2)->top == 0)

((z2)->top == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

) {

if (!BN_copy(x2, x)

!BN_copy(x2, x)	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return 0;

100

if (!BN_GF2m_add(z2, x, y)

!BN_GF2m_add(z2, x, y)	Description
TRUE	never evaluated
FALSE	never evaluated

)

101

return

never executed: return 0;

102

return

never executed: return 2;

103 } -

104 -

105 BN_CTX_start(ctx); -

106

if ((

(t3 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

t3 = BN_CTX_get(ctx)) ==

(t3 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

107

((void *)0)

(t3 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

108 ) -

109

goto

never executed: goto err;

err;

never executed: goto err;

110

if ((

(t4 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

t4 = BN_CTX_get(ctx)) ==

(t4 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

111

((void *)0)

(t4 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

112 ) -

113

goto

never executed: goto err;

err;

never executed: goto err;

114

if ((

(t5 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

t5 = BN_CTX_get(ctx)) ==

(t5 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

115

((void *)0)

(t5 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

116 ) -

117

goto

never executed: goto err;

err;

never executed: goto err;

118 -

119

if (!(BN_set_word((t5),1))

!(BN_set_word((t5),1))	Description
TRUE	never evaluated
FALSE	never evaluated

)

120

goto

never executed: goto err;

err;

never executed: goto err;

121 -

122

if (!group->meth->field_mul(group, t3, z1, z2, ctx)

!group->meth->..., z1, z2, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

123

goto

never executed: goto err;

err;

never executed: goto err;

124 -

125

if (!group->meth->field_mul(group, z1, z1, x, ctx)

!group->meth->...1, z1, x, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

126

goto

never executed: goto err;

err;

never executed: goto err;

127

if (!BN_GF2m_add(z1, z1, x1)

!BN_GF2m_add(z1, z1, x1)	Description
TRUE	never evaluated
FALSE	never evaluated

)

128

goto

never executed: goto err;

err;

never executed: goto err;

129

if (!group->meth->field_mul(group, z2, z2, x, ctx)

!group->meth->...2, z2, x, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

130

goto

never executed: goto err;

err;

never executed: goto err;

131

if (!group->meth->field_mul(group, x1, z2, x1, ctx)

!group->meth->..., z2, x1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

132

goto

never executed: goto err;

err;

never executed: goto err;

133

if (!BN_GF2m_add(z2, z2, x2)

!BN_GF2m_add(z2, z2, x2)	Description
TRUE	never evaluated
FALSE	never evaluated

)

134

goto

never executed: goto err;

err;

never executed: goto err;

135 -

136

if (!group->meth->field_mul(group, z2, z2, z1, ctx)

!group->meth->..., z2, z1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

137

goto

never executed: goto err;

err;

never executed: goto err;

138

if (!group->meth->field_sqr(group, t4, x, ctx)

!group->meth->...p, t4, x, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

139

goto

never executed: goto err;

err;

never executed: goto err;

140

if (!BN_GF2m_add(t4, t4, y)

!BN_GF2m_add(t4, t4, y)	Description
TRUE	never evaluated
FALSE	never evaluated

)

141

goto

never executed: goto err;

err;

never executed: goto err;

142

if (!group->meth->field_mul(group, t4, t4, t3, ctx)

!group->meth->..., t4, t3, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

143

goto

never executed: goto err;

err;

never executed: goto err;

144

if (!BN_GF2m_add(t4, t4, z2)

!BN_GF2m_add(t4, t4, z2)	Description
TRUE	never evaluated
FALSE	never evaluated

)

145

goto

never executed: goto err;

err;

never executed: goto err;

146 -

147

if (!group->meth->field_mul(group, t3, t3, x, ctx)

!group->meth->...3, t3, x, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

148

goto

never executed: goto err;

err;

never executed: goto err;

149

if (!group->meth->field_div(group, t3, t5, t3, ctx)

!group->meth->..., t5, t3, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

150

goto

never executed: goto err;

err;

never executed: goto err;

151

if (!group->meth->field_mul(group, t4, t3, t4, ctx)

!group->meth->..., t3, t4, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

152

goto

never executed: goto err;

err;

never executed: goto err;

153

if (!group->meth->field_mul(group, x2, x1, t3, ctx)

!group->meth->..., x1, t3, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

154

goto

never executed: goto err;

err;

never executed: goto err;

155

if (!BN_GF2m_add(z2, x2, x)

!BN_GF2m_add(z2, x2, x)	Description
TRUE	never evaluated
FALSE	never evaluated

)

156

goto

never executed: goto err;

err;

never executed: goto err;

157 -

158

if (!group->meth->field_mul(group, z2, z2, t4, ctx)

!group->meth->..., z2, t4, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

159

goto

never executed: goto err;

err;

never executed: goto err;

160

if (!BN_GF2m_add(z2, z2, y)

!BN_GF2m_add(z2, z2, y)	Description
TRUE	never evaluated
FALSE	never evaluated

)

161

goto

never executed: goto err;

err;

never executed: goto err;

162 -

163 ret = 2; -

164 -

165

err:

code before this statement never executed: err:

166 BN_CTX_end(ctx); -

167

return

never executed: return ret;

ret;

never executed: return ret;

168 } -

169 static int -

170 ec_GF2m_montgomery_point_multiply(const EC_GROUP *group, EC_POINT *r, -

171 const BIGNUM *scalar, const EC_POINT *point, BN_CTX *ctx) -

172 { -

173 BIGNUM *x1, *x2, *z1, *z2; -

174 int ret = 0, i; -

175 unsigned long mask, word; -

176 -

177

if (r == point

r == point	Description
TRUE	never evaluated
FALSE	never evaluated

) {

178 ERR_put_error(16,(0xfff),(112),__FILE__,271); -

179

return

never executed: return 0;

180 } -

181 -

182

if ((

(scalar == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

scalar ==

(scalar == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

183

((void *)0)

(scalar == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

184

)

(scalar == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

|| ((

((scalar)->top == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

scalar)->top == 0)

((scalar)->top == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

|| (

(point == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

point ==

(point == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

185

((void *)0)

(point == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

186

)

(point == ((void *)0) )	Description
TRUE	never evaluated
FALSE	never evaluated

187

EC_POINT_is_at_infinity(group, point) > 0

EC_POINT_is_at...up, point) > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

188

return

never executed: return EC_POINT_set_to_infinity(group, r);

EC_POINT_set_to_infinity(group, r);

never executed: return EC_POINT_set_to_infinity(group, r);

189 } -

190 -

191

if (!point->Z_is_one

!point->Z_is_one	Description
TRUE	never evaluated
FALSE	never evaluated

)

192

return

never executed: return 0;

193 -

194 -

195 BN_CTX_start(ctx); -

196

if ((

(x1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

x1 = BN_CTX_get(ctx)) ==

(x1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

197

((void *)0)

(x1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

198 ) -

199

goto

never executed: goto err;

err;

never executed: goto err;

200

if ((

(z1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

z1 = BN_CTX_get(ctx)) ==

(z1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

201

((void *)0)

(z1 = BN_CTX_g...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

202 ) -

203

goto

never executed: goto err;

err;

never executed: goto err;

204 -

205 x2 = &r->X; -

206 z2 = &r->Y; -

207 -

208

if (!(((

((group->field...<= (x1)->dmax)	Description
TRUE	never evaluated
FALSE	never evaluated

group->field.top) <= (x1)->dmax)

((group->field...<= (x1)->dmax)	Description
TRUE	never evaluated
FALSE	never evaluated

?(x1):bn_expand2((x1),(group->field.top)))

!(((group->fie...->field.top)))	Description
TRUE	never evaluated
FALSE	never evaluated

)

209

goto

never executed: goto err;

err;

never executed: goto err;

210

if (!(((

((group->field...<= (z1)->dmax)	Description
TRUE	never evaluated
FALSE	never evaluated

group->field.top) <= (z1)->dmax)

((group->field...<= (z1)->dmax)	Description
TRUE	never evaluated
FALSE	never evaluated

?(z1):bn_expand2((z1),(group->field.top)))

!(((group->fie...->field.top)))	Description
TRUE	never evaluated
FALSE	never evaluated

)

211

goto

never executed: goto err;

err;

never executed: goto err;

212

if (!(((

((group->field...<= (x2)->dmax)	Description
TRUE	never evaluated
FALSE	never evaluated

group->field.top) <= (x2)->dmax)

((group->field...<= (x2)->dmax)	Description
TRUE	never evaluated
FALSE	never evaluated

?(x2):bn_expand2((x2),(group->field.top)))

!(((group->fie...->field.top)))	Description
TRUE	never evaluated
FALSE	never evaluated

)

213

goto

never executed: goto err;

err;

never executed: goto err;

214

if (!(((

((group->field...<= (z2)->dmax)	Description
TRUE	never evaluated
FALSE	never evaluated

group->field.top) <= (z2)->dmax)

((group->field...<= (z2)->dmax)	Description
TRUE	never evaluated
FALSE	never evaluated

?(z2):bn_expand2((z2),(group->field.top)))

!(((group->fie...->field.top)))	Description
TRUE	never evaluated
FALSE	never evaluated

)

215

goto

never executed: goto err;

err;

never executed: goto err;

216 -

217

if (!BN_GF2m_mod_arr(x1, &point->X, group->poly)

!BN_GF2m_mod_a..., group->poly)	Description
TRUE	never evaluated
FALSE	never evaluated

)

218

goto

never executed: goto err;

err;

never executed: goto err;

219

if (!(BN_set_word((z1),1))

!(BN_set_word((z1),1))	Description
TRUE	never evaluated
FALSE	never evaluated

)

220

goto

never executed: goto err;

err;

never executed: goto err;

221

if (!group->meth->field_sqr(group, z2, x1, ctx)

!group->meth->..., z2, x1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

222

goto

never executed: goto err;

err;

never executed: goto err;

223

if (!group->meth->field_sqr(group, x2, z2, ctx)

!group->meth->..., x2, z2, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

224

goto

never executed: goto err;

err;

never executed: goto err;

225

if (!BN_GF2m_add(x2, x2, &group->b)

!BN_GF2m_add(x...x2, &group->b)	Description
TRUE	never evaluated
FALSE	never evaluated

)

226

goto

never executed: goto err;

err;

never executed: goto err;

227 -

228 -

229 i = scalar->top - 1; -

230 mask = (0x8000000000000000L); -

231 word = scalar->d[i]; -

232

while (!(word & mask)

!(word & mask)	Description
TRUE	never evaluated
FALSE	never evaluated

)

233

mask >>= 1;

never executed: mask >>= 1;

234 mask >>= 1; -

235 -

236

if (!mask

!mask	Description
TRUE	never evaluated
FALSE	never evaluated

) {

237 i--; -

238 mask = (0x8000000000000000L); -

239

}

never executed: end of block

240

for (; i >= 0

i >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

; i--) {

241 word = scalar->d[i]; -

242

while (mask

mask	Description
TRUE	never evaluated
FALSE	never evaluated

) {

243

if (!BN_swap_ct(word & mask, x1, x2, group->field.top)

!BN_swap_ct(wo...up->field.top)	Description
TRUE	never evaluated
FALSE	never evaluated

)

244

goto

never executed: goto err;

err;

never executed: goto err;

245

if (!BN_swap_ct(word & mask, z1, z2, group->field.top)

!BN_swap_ct(wo...up->field.top)	Description
TRUE	never evaluated
FALSE	never evaluated

)

246

goto

never executed: goto err;

err;

never executed: goto err;

247

if (!gf2m_Madd(group, &point->X, x2, z2, x1, z1, ctx)

!gf2m_Madd(gro..., x1, z1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

248

goto

never executed: goto err;

err;

never executed: goto err;

249

if (!gf2m_Mdouble(group, x1, z1, ctx)

!gf2m_Mdouble(..., x1, z1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

250

goto

never executed: goto err;

err;

never executed: goto err;

251

if (!BN_swap_ct(word & mask, x1, x2, group->field.top)

!BN_swap_ct(wo...up->field.top)	Description
TRUE	never evaluated
FALSE	never evaluated

)

252

goto

never executed: goto err;

err;

never executed: goto err;

253

if (!BN_swap_ct(word & mask, z1, z2, group->field.top)

!BN_swap_ct(wo...up->field.top)	Description
TRUE	never evaluated
FALSE	never evaluated

)

254

goto

never executed: goto err;

err;

never executed: goto err;

255 mask >>= 1; -

256

}

never executed: end of block

257 mask = (0x8000000000000000L); -

258

}

never executed: end of block

259 -

260 -

261 i = gf2m_Mxy(group, &point->X, &point->Y, x1, z1, x2, z2, ctx); -

262

if (i == 0

i == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

263

goto

never executed: goto err;

err;

never executed: goto err;

264

else if (i == 1

i == 1	Description
TRUE	never evaluated
FALSE	never evaluated

) {

265

if (!EC_POINT_set_to_infinity(group, r)

!EC_POINT_set_...nity(group, r)	Description
TRUE	never evaluated
FALSE	never evaluated

)

266

goto

never executed: goto err;

err;

never executed: goto err;

267

}

never executed: end of block

else {

268

if (!(BN_set_word((&r->Z),1))

!(BN_set_word((&r->Z),1))	Description
TRUE	never evaluated
FALSE	never evaluated

)

269

goto

never executed: goto err;

err;

never executed: goto err;

270 r->Z_is_one = 1; -

271

}

never executed: end of block

272 -

273 -

274 BN_set_negative(&r->X, 0); -

275 BN_set_negative(&r->Y, 0); -

276 -

277 ret = 1; -

278 -

279

err:

code before this statement never executed: err:

280 BN_CTX_end(ctx); -

281

return

never executed: return ret;

ret;

never executed: return ret;

282 } -

283 -

284 -

285 -

286 -

287 -

288 -

289 int -

290 ec_GF2m_simple_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar, -

291 size_t num, const EC_POINT *points[], const BIGNUM *scalars[], BN_CTX *ctx) -

292 { -

293 BN_CTX *new_ctx = -

294 ((void *)0) -

295 ; -

296 int ret = 0; -

297 size_t i; -

298 EC_POINT *p = -

299 ((void *)0) -

300 ; -

301 EC_POINT *acc = -

302 ((void *)0) -

303 ; -

304 -

305

if (ctx ==

ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

306

((void *)0)

ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

307 ) { -

308 ctx = new_ctx = BN_CTX_new(); -

309

if (ctx ==

ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

310

((void *)0)

ctx == ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

311 ) -

312

return

never executed: return 0;

313

}

never executed: end of block

314 -

315 -

316 -

317 -

318 -

319 -

320

if ((scalar

scalar	Description
TRUE	never evaluated
FALSE	never evaluated

&& (

(num > 1)	Description
TRUE	never evaluated
FALSE	never evaluated

num > 1)

(num > 1)	Description
TRUE	never evaluated
FALSE	never evaluated

) || (

(num > 2)	Description
TRUE	never evaluated
FALSE	never evaluated

num > 2)

(num > 2)	Description
TRUE	never evaluated
FALSE	never evaluated

321

(num == 0

num == 0	Description
TRUE	never evaluated
FALSE	never evaluated

&& EC_GROUP_have_precompute_mult(group)

EC_GROUP_have_...te_mult(group)	Description
TRUE	never evaluated
FALSE	never evaluated

)) {

322 ret = ec_wNAF_mul(group, r, scalar, num, points, scalars, ctx); -

323

goto

never executed: goto err;

err;

never executed: goto err;

324 } -

325

if ((

(p = EC_POINT_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

p = EC_POINT_new(group)) ==

(p = EC_POINT_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

326

((void *)0)

(p = EC_POINT_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

327 ) -

328

goto

never executed: goto err;

err;

never executed: goto err;

329

if ((

(acc = EC_POIN...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

acc = EC_POINT_new(group)) ==

(acc = EC_POIN...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

330

((void *)0)

(acc = EC_POIN...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

331 ) -

332

goto

never executed: goto err;

err;

never executed: goto err;

333 -

334

if (!EC_POINT_set_to_infinity(group, acc)

!EC_POINT_set_...ty(group, acc)	Description
TRUE	never evaluated
FALSE	never evaluated

)

335

goto

never executed: goto err;

err;

never executed: goto err;

336 -

337

if (scalar

scalar	Description
TRUE	never evaluated
FALSE	never evaluated

) {

338

if (!ec_GF2m_montgomery_point_multiply(group, p, scalar, group->generator, ctx)

!ec_GF2m_montg...enerator, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

339

goto

never executed: goto err;

err;

never executed: goto err;

340

if (((

((scalar)->neg != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

scalar)->neg != 0)

((scalar)->neg != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

341

if (!group->meth->invert(group, p, ctx)

!group->meth->...group, p, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

342

goto

never executed: goto err;

err;

never executed: goto err;

343

if (!group->meth->add(group, acc, acc, p, ctx)

!group->meth->..., acc, p, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

344

goto

never executed: goto err;

err;

never executed: goto err;

345

}

never executed: end of block

346

for (i = 0; i < num

i < num	Description
TRUE	never evaluated
FALSE	never evaluated

; i++) {

347

if (!ec_GF2m_montgomery_point_multiply(group, p, scalars[i], points[i], ctx)

!ec_GF2m_montg...oints[i], ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

348

goto

never executed: goto err;

err;

never executed: goto err;

349

if (((

((scalars[i])->neg != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

scalars[i])->neg != 0)

((scalars[i])->neg != 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

350

if (!group->meth->invert(group, p, ctx)

!group->meth->...group, p, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

351

goto

never executed: goto err;

err;

never executed: goto err;

352

if (!group->meth->add(group, acc, acc, p, ctx)

!group->meth->..., acc, p, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

353

goto

never executed: goto err;

err;

never executed: goto err;

354

}

never executed: end of block

355 -

356

if (!EC_POINT_copy(r, acc)

!EC_POINT_copy(r, acc)	Description
TRUE	never evaluated
FALSE	never evaluated

)

357

goto

never executed: goto err;

err;

never executed: goto err;

358 -

359 ret = 1; -

360 -

361

err:

code before this statement never executed: err:

362 EC_POINT_free(p); -

363 EC_POINT_free(acc); -

364 BN_CTX_free(new_ctx); -

365

return

never executed: return ret;

ret;

never executed: return ret;

366 } -

367 -

368 -

369 -

370 -

371 -

372 int -

373 ec_GF2m_precompute_mult(EC_GROUP * group, BN_CTX * ctx) -

374 { -

375

return

executed 10 times by 1 test: return ec_wNAF_precompute_mult(group, ctx);

Executed by:

ectest

ec_wNAF_precompute_mult(group, ctx);

executed 10 times by 1 test: return ec_wNAF_precompute_mult(group, ctx);

Executed by:

ectest

376 } -

377 -

378 int -

379 ec_GF2m_have_precompute_mult(const EC_GROUP * group) -

380 { -

381

return

never executed: return ec_wNAF_have_precompute_mult(group);

ec_wNAF_have_precompute_mult(group);

never executed: return ec_wNAF_have_precompute_mult(group);

382 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2