OpenCoverage

bn_x931p.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 static int -

3 bn_x931_derive_pi(BIGNUM *pi, const BIGNUM *Xpi, BN_CTX *ctx, BN_GENCB *cb) -

4 { -

5 int i = 0; -

6 -

if (!BN_copy(pi, Xpi)

!BN_copy(pi, Xpi)	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return 0;

if (!(((

((pi)->top > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

pi)->top > 0)

((pi)->top > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

&& ((

((pi)->d[0] & 1)	Description
TRUE	never evaluated
FALSE	never evaluated

pi)->d[0] & 1)

((pi)->d[0] & 1)	Description
TRUE	never evaluated
FALSE	never evaluated

) && !BN_add_word(pi, 1)

!BN_add_word(pi, 1)	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return 0;

11 for (;;) { -

12 i++; -

13 BN_GENCB_call(cb, 0, i); -

14 -

if (BN_is_prime_fasttest_ex(pi, 27, ctx, 1, cb)

BN_is_prime_fa...7, ctx, 1, cb)	Description
TRUE	never evaluated
FALSE	never evaluated

)

break;

never executed: break;

if (!BN_add_word(pi, 2)

!BN_add_word(pi, 2)	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return 0;

}

never executed: end of block

20 BN_GENCB_call(cb, 2, i); -

return

never executed: return 1;

22 } -

23 -

24 -

25 -

26 -

27 -

28 -

29 int -

30 BN_X931_derive_prime_ex(BIGNUM *p, BIGNUM *p1, BIGNUM *p2, const BIGNUM *Xp, -

31 const BIGNUM *Xp1, const BIGNUM *Xp2, const BIGNUM *e, BN_CTX *ctx, -

32 BN_GENCB *cb) -

33 { -

34 int ret = 0; -

35 -

36 BIGNUM *t, *p1p2, *pm1; -

37 -

38 -

if (!(((

((e)->top > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

e)->top > 0)

((e)->top > 0)	Description
TRUE	never evaluated
FALSE	never evaluated

&& ((

((e)->d[0] & 1)	Description
TRUE	never evaluated
FALSE	never evaluated

e)->d[0] & 1)

((e)->d[0] & 1)	Description
TRUE	never evaluated
FALSE	never evaluated

))

return

never executed: return 0;

41 -

42 BN_CTX_start(ctx); -

if (p1 ==

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

((void *)0)

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

45 ) { -

if ((

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

p1 = BN_CTX_get(ctx)) ==

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

((void *)0)

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

48 ) -

goto

never executed: goto err;

err;

never executed: goto err;

}

never executed: end of block

if (p2 ==

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

((void *)0)

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

53 ) { -

if ((

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

p2 = BN_CTX_get(ctx)) ==

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

((void *)0)

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

56 ) -

goto

never executed: goto err;

err;

never executed: goto err;

}

never executed: end of block

59 -

if ((

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

t = BN_CTX_get(ctx)) ==

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

((void *)0)

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

62 ) -

goto

never executed: goto err;

err;

never executed: goto err;

if ((

(p1p2 = BN_CTX...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

p1p2 = BN_CTX_get(ctx)) ==

(p1p2 = BN_CTX...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

((void *)0)

(p1p2 = BN_CTX...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

66 ) -

goto

never executed: goto err;

err;

never executed: goto err;

if ((

(pm1 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

pm1 = BN_CTX_get(ctx)) ==

(pm1 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

((void *)0)

(pm1 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

70 ) -

goto

never executed: goto err;

err;

never executed: goto err;

72 -

if (!bn_x931_derive_pi(p1, Xp1, ctx, cb)

!bn_x931_deriv... Xp1, ctx, cb)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

75 -

if (!bn_x931_derive_pi(p2, Xp2, ctx, cb)

!bn_x931_deriv... Xp2, ctx, cb)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

78 -

if (!BN_mul(p1p2, p1, p2, ctx)

!BN_mul(p1p2, p1, p2, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

81 -

82 -

83 -

if (!BN_mod_inverse_ct(p, p2, p1, ctx)

!BN_mod_invers..., p2, p1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

86 -

if (!BN_mul(p, p, p2, ctx)

!BN_mul(p, p, p2, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

89 -

if (!BN_mod_inverse_ct(t, p1, p2, ctx)

!BN_mod_invers..., p1, p2, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

92 -

if (!BN_mul(t, t, p1, ctx)

!BN_mul(t, t, p1, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

95 -

if (!BN_sub(p, p, t)

!BN_sub(p, p, t)	Description
TRUE	never evaluated
FALSE	never evaluated

)

goto

never executed: goto err;

err;

never executed: goto err;

98 -

if (p->neg

p->neg	Description
TRUE	never evaluated
FALSE	never evaluated

&& !BN_add(p, p, p1p2)

!BN_add(p, p, p1p2)	Description
TRUE	never evaluated
FALSE	never evaluated

)

100

goto

never executed: goto err;

err;

never executed: goto err;

101 -

102 -

103 -

104

if (!BN_mod_sub(p, p, Xp, p1p2, ctx)

!BN_mod_sub(p,...Xp, p1p2, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

105

goto

never executed: goto err;

err;

never executed: goto err;

106 -

107

if (!BN_add(p, p, Xp)

!BN_add(p, p, Xp)	Description
TRUE	never evaluated
FALSE	never evaluated

)

108

goto

never executed: goto err;

err;

never executed: goto err;

109 -

110 -

111 -

112 for (;;) { -

113 int i = 1; -

114 BN_GENCB_call(cb, 0, i++); -

115

if (!BN_copy(pm1, p)

!BN_copy(pm1, p)	Description
TRUE	never evaluated
FALSE	never evaluated

)

116

goto

never executed: goto err;

err;

never executed: goto err;

117

if (!BN_sub_word(pm1, 1)

!BN_sub_word(pm1, 1)	Description
TRUE	never evaluated
FALSE	never evaluated

)

118

goto

never executed: goto err;

err;

never executed: goto err;

119

if (!BN_gcd_ct(t, pm1, e, ctx)

!BN_gcd_ct(t, pm1, e, ctx)	Description
TRUE	never evaluated
FALSE	never evaluated

)

120

goto

never executed: goto err;

err;

never executed: goto err;

121

if (((((((

(((t))->top == 1)	Description
TRUE	never evaluated
FALSE	never evaluated

t))->top == 1)

(((t))->top == 1)	Description
TRUE	never evaluated
FALSE	never evaluated

&& (((

(((t))->d[0] =...gned long)(1))	Description
TRUE	never evaluated
FALSE	never evaluated

t))->d[0] == (unsigned long)(1))

(((t))->d[0] =...gned long)(1))	Description
TRUE	never evaluated
FALSE	never evaluated

) || (((

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

1) == 0)

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

&& (((

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

t))->top == 0)

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

)) && !(t)->neg

!(t)->neg	Description
TRUE	never evaluated
FALSE	never evaluated

)

122 -

123 -

124 -

125 -

126

&& BN_is_prime_fasttest_ex(p, 50, ctx, 1, cb)

BN_is_prime_fa...0, ctx, 1, cb)	Description
TRUE	never evaluated
FALSE	never evaluated

)

127

break;

never executed: break;

128

if (!BN_add(p, p, p1p2)

!BN_add(p, p, p1p2)	Description
TRUE	never evaluated
FALSE	never evaluated

)

129

goto

never executed: goto err;

err;

never executed: goto err;

130

}

never executed: end of block

131 -

132 BN_GENCB_call(cb, 3, 0); -

133 -

134 ret = 1; -

135 -

136

err:

code before this statement never executed: err:

137 -

138 BN_CTX_end(ctx); -

139 -

140

return

never executed: return ret;

ret;

never executed: return ret;

141 } -

142 -

143 -

144 -

145 -

146 -

147 int -

148 BN_X931_generate_Xpq(BIGNUM *Xp, BIGNUM *Xq, int nbits, BN_CTX *ctx) -

149 { -

150 BIGNUM *t; -

151 int i; -

152 int ret = 0; -

153 -

154 -

155 -

156 -

157

if ((

(nbits < 1024)	Description
TRUE	never evaluated
FALSE	never evaluated

nbits < 1024)

(nbits < 1024)	Description
TRUE	never evaluated
FALSE	never evaluated

|| (

(nbits & 0xff)	Description
TRUE	never evaluated
FALSE	never evaluated

nbits & 0xff)

(nbits & 0xff)	Description
TRUE	never evaluated
FALSE	never evaluated

)

158

return

never executed: return 0;

159 nbits >>= 1; -

160 -

161 -

162 -

163 -

164

if (!BN_rand(Xp, nbits, 1, 0)

!BN_rand(Xp, nbits, 1, 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

165

return

never executed: return 0;

166 -

167 BN_CTX_start(ctx); -

168

if ((

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

t = BN_CTX_get(ctx)) ==

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

169

((void *)0)

(t = BN_CTX_ge...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

170 ) -

171

goto

never executed: goto err;

err;

never executed: goto err;

172 -

173

for (i = 0; i < 1000

i < 1000	Description
TRUE	never evaluated
FALSE	never evaluated

; i++) {

174

if (!BN_rand(Xq, nbits, 1, 0)

!BN_rand(Xq, nbits, 1, 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

175

goto

never executed: goto err;

err;

never executed: goto err;

176 -

177 BN_sub(t, Xp, Xq); -

178

if (BN_num_bits(t) > (nbits - 100)

BN_num_bits(t) > (nbits - 100)	Description
TRUE	never evaluated
FALSE	never evaluated

)

179

break;

never executed: break;

180

}

never executed: end of block

181 -

182

if (i < 1000

i < 1000	Description
TRUE	never evaluated
FALSE	never evaluated

)

183

ret = 1;

never executed: ret = 1;

184 -

185

err:

code before this statement never executed: err:

186 BN_CTX_end(ctx); -

187 -

188

return

never executed: return ret;

ret;

never executed: return ret;

189 } -

190 int -

191 BN_X931_generate_prime_ex(BIGNUM *p, BIGNUM *p1, BIGNUM *p2, BIGNUM *Xp1, -

192 BIGNUM *Xp2, const BIGNUM *Xp, const BIGNUM *e, BN_CTX *ctx, BN_GENCB *cb) -

193 { -

194 int ret = 0; -

195 -

196 BN_CTX_start(ctx); -

197

if (Xp1 ==

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

198

((void *)0)

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

199 ) { -

200

if ((

(Xp1 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

Xp1 = BN_CTX_get(ctx)) ==

(Xp1 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

201

((void *)0)

(Xp1 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

202 ) -

203

goto

never executed: goto error;

error;

never executed: goto error;

204

}

never executed: end of block

205

if (Xp2 ==

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

206

((void *)0)

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

207 ) { -

208

if ((

(Xp2 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

Xp2 = BN_CTX_get(ctx)) ==

(Xp2 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

209

((void *)0)

(Xp2 = BN_CTX_...== ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

210 ) -

211

goto

never executed: goto error;

error;

never executed: goto error;

212

}

never executed: end of block

213 -

214

if (!BN_rand(Xp1, 101, 0, 0)

!BN_rand(Xp1, 101, 0, 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

215

goto

never executed: goto error;

error;

never executed: goto error;

216

if (!BN_rand(Xp2, 101, 0, 0)

!BN_rand(Xp2, 101, 0, 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

217

goto

never executed: goto error;

error;

never executed: goto error;

218

if (!BN_X931_derive_prime_ex(p, p1, p2, Xp, Xp1, Xp2, e, ctx, cb)

!BN_X931_deriv...2, e, ctx, cb)	Description
TRUE	never evaluated
FALSE	never evaluated

)

219

goto

never executed: goto error;

error;

never executed: goto error;

220 -

221 ret = 1; -

222 -

223

error:

code before this statement never executed: error:

224 BN_CTX_end(ctx); -

225 -

226

return

never executed: return ret;

ret;

never executed: return ret;

227 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2