OpenCoverage

p_verify.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/evp/p_verify.c
Switch to Source codePreprocessed file
LineSourceCount
1-
2-
3-
4int-
5EVP_VerifyFinal(EVP_MD_CTX *ctx, const unsigned char *sigbuf,-
6 unsigned int siglen, EVP_PKEY *pkey)-
7{-
8 unsigned char m[64];-
9 unsigned int m_len;-
10 int i = 0, ok = 0, v;-
11 EVP_MD_CTX tmp_ctx;-
12 EVP_PKEY_CTX *pkctx = -
13 ((void *)0)-
14 ;-
15-
16 EVP_MD_CTX_init(&tmp_ctx);-
17 if (!EVP_MD_CTX_copy_ex(&tmp_ctx, ctx)
!EVP_MD_CTX_co...&tmp_ctx, ctx)Description
TRUEnever evaluated
FALSEevaluated 46 times by 3 tests
Evaluated by:
  • pkcs7test
  • ssltest
  • tlstest
)		0-46
18 goto
never executed: goto err;
 err;
never executed: goto err;
0
19 if (!EVP_DigestFinal_ex(&tmp_ctx, &(m[0]), &m_len)
!EVP_DigestFin...m[0]), &m_len)Description
TRUEnever evaluated
FALSEevaluated 46 times by 3 tests
Evaluated by:
  • pkcs7test
  • ssltest
  • tlstest
)		0-46
20 goto
never executed: goto err;
 err;
never executed: goto err;
0
21 EVP_MD_CTX_cleanup(&tmp_ctx);-
22-
23 if (ctx->digest->flags & 0x0004
ctx->digest->flags & 0x0004Description
TRUEevaluated 34 times by 3 tests
Evaluated by:
  • pkcs7test
  • ssltest
  • tlstest
FALSEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
) {		12-34
24 i = -1;-
25 pkctx = EVP_PKEY_CTX_new(pkey, -
26 ((void *)0)-
27 );-
28 if (!pkctx
!pkctxDescription
TRUEnever evaluated
FALSEevaluated 34 times by 3 tests
Evaluated by:
  • pkcs7test
  • ssltest
  • tlstest
)		0-34
29 goto
never executed: goto err;
 err;
never executed: goto err;
0
30 if (EVP_PKEY_verify_init(pkctx) <= 0
EVP_PKEY_verif...it(pkctx) <= 0Description
TRUEnever evaluated
FALSEevaluated 34 times by 3 tests
Evaluated by:
  • pkcs7test
  • ssltest
  • tlstest
)		0-34
31 goto
never executed: goto err;
 err;
never executed: goto err;
0
32 if (EVP_PKEY_CTX_ctrl(pkctx, -1, ((1<<3) | (1<<4) | (1<<5) | (1<<6) | (1<<7)), 1, 0, (void *)ctx->digest) <= 0
EVP_PKEY_CTX_c...->digest) <= 0Description
TRUEnever evaluated
FALSEevaluated 34 times by 3 tests
Evaluated by:
  • pkcs7test
  • ssltest
  • tlstest
)		0-34
33 goto
never executed: goto err;
 err;
never executed: goto err;
0
34 i = EVP_PKEY_verify(pkctx, sigbuf, siglen, m, m_len);-
35err:
code before this statement executed 34 times by 3 tests: err:
Executed by:
  • pkcs7test
  • ssltest
  • tlstest
34
36 EVP_PKEY_CTX_free(pkctx);-
37 return
executed 34 times by 3 tests: return i;
Executed by:
  • pkcs7test
  • ssltest
  • tlstest
 i;
executed 34 times by 3 tests: return i;
Executed by:
  • pkcs7test
  • ssltest
  • tlstest
34
38 }-
39-
40 for (i = 0; i < 4
i < 4Description
TRUEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
FALSEnever evaluated
; i++) {		0-12
41 v = ctx->digest->required_pkey_type[i];-
42 if (v == 0
v == 0Description
TRUEnever evaluated
FALSEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
)		0-12
43 break;
never executed: break;
0
44 if (pkey->type == v
pkey->type == vDescription
TRUEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
FALSEnever evaluated
) {		0-12
45 ok = 1;-
46 break;
executed 12 times by 1 test: break;
Executed by:
  • ssltest
12
47 }-
48 }
never executed: end of block
0
49 if (!ok
!okDescription
TRUEnever evaluated
FALSEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
) {		0-12
50 ERR_put_error(6,(0xfff),(110),__FILE__,108);-
51 return
never executed: return (-1);
 (-1);
never executed: return (-1);
0
52 }-
53 if (ctx->digest->verify ==
ctx->digest->v...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
0-12
54 ((void *)0)
ctx->digest->v...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
0-12
55 ) {-
56 ERR_put_error(6,(0xfff),(105),__FILE__,112);-
57 return
never executed: return (0);
 (0);
never executed: return (0);
0
58 }-
59-
60 return
executed 12 times by 1 test: return(ctx->digest->verify(ctx->digest->type, m, m_len, sigbuf, siglen, pkey->pkey.ptr));
Executed by:
  • ssltest
(ctx->digest->verify(ctx->digest->type, m, m_len,
executed 12 times by 1 test: return(ctx->digest->verify(ctx->digest->type, m, m_len, sigbuf, siglen, pkey->pkey.ptr));
Executed by:
  • ssltest
12
61 sigbuf, siglen, pkey->pkey.ptr));
executed 12 times by 1 test: return(ctx->digest->verify(ctx->digest->type, m, m_len, sigbuf, siglen, pkey->pkey.ptr));
Executed by:
  • ssltest
12
62}-
Switch to Source codePreprocessed file
Generated by Squish Coco 4.2.2