Branch Coverage

src/rsa/rsa_i31_keygen_inner.c
Criterion Covered Total %
branch 53 90 58.8


line true false branch
39 9504 594 for (u = 1; u < len; u ++) {
43 0 594 if (m == 0) {
159 2496 39 for (u = 0; u < xm1d2_len; u ++) {
177 49 2 while (n -- > 0) {
199 0 49 if ((t2len & 1) != 0) {
218 784 49 for (u = 2; u <= xlen; u ++) {
223 37 12 if ((EQ0(eq1) | EQ0(eqm1)) == 0) {
252 0 545 if ((esize & 31) == 0) {
254 0 545 } else if ((esize & 31) == 1) {
277 9265 545 for (u = 0; u < len; u ++) {
294 2725 6540 if (++ s7 == 3) {
299 545 8720 if (++ s11 == 10) {
339 361 184 if (m3 == 0 || m5 == 0 || m7 == 0 || m11 == 0) {
290 71 if (m3 == 0 || m5 == 0 || m7 == 0 || m11 == 0) {
242 48 if (m3 == 0 || m5 == 0 || m7 == 0 || m11 == 0) {
15 227 if (m3 == 0 || m5 == 0 || m7 == 0 || m11 == 0) {
342 227 0 if ((pubexp == 3 && m3 == 1)
115 112 if ((pubexp == 3 && m3 == 1)
343 0 115 || (pubexp == 5 && m5 == 1)
0 0 || (pubexp == 5 && m5 == 1)
344 0 115 || (pubexp == 7 && m7 == 1)
0 0 || (pubexp == 7 && m7 == 1)
345 0 115 || (pubexp == 11 && m11 == 1))
0 0 || (pubexp == 11 && m11 == 1))
353 76 39 if (!trial_divisions(x, t)) {
371 0 39 if (esize < 309) {
373 0 39 } else if (esize < 464) {
375 39 0 } else if (esize < 670) {
377 0 0 } else if (esize < 877) {
379 0 0 } else if (esize < 1341) {
385 2 37 if (miller_rabin(rng, x, rounds, t, tlen, mp31)) {
447 0 0 for (u = 0; u < len; u ++) {
472 1 0 if (size < BR_MIN_RSA_SIZE || size > BR_MAX_RSA_SIZE) {
0 1 if (size < BR_MIN_RSA_SIZE || size > BR_MAX_RSA_SIZE) {
475 1 0 if (pubexp == 0) {
477 0 0 } else if (pubexp == 1 || (pubexp & 1) == 0) {
0 0 } else if (pubexp == 1 || (pubexp & 1) == 0) {
495 1 0 if (pk != NULL) {
501 3 1 while (*pk->e == 0) {
532 1 0 if (invert_pubexp(t, p, pubexp, t + 1 + plen)) {
544 1 0 if (invert_pubexp(t, q, pubexp, t + 1 + qlen)) {
568 1 0 if (esize_p == esize_q && br_i31_sub(p, q, 0) == 1) {
0 1 if (esize_p == esize_q && br_i31_sub(p, q, 0) == 1) {
588 0 1 if (plen > qlen) {
601 1 0 if (pk != NULL) {