OpenCoverage

p_verify.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/evp/p_verify.c
Source codeSwitch to Preprocessed file
LineSourceCount
1/* $OpenBSD: p_verify.c,v 1.13 2017/01/29 17:49:23 beck Exp $ */-
2/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)-
3 * All rights reserved.-
4 *-
5 * This package is an SSL implementation written-
6 * by Eric Young (eay@cryptsoft.com).-
7 * The implementation was written so as to conform with Netscapes SSL.-
8 *-
9 * This library is free for commercial and non-commercial use as long as-
10 * the following conditions are aheared to. The following conditions-
11 * apply to all code found in this distribution, be it the RC4, RSA,-
12 * lhash, DES, etc., code; not just the SSL code. The SSL documentation-
13 * included with this distribution is covered by the same copyright terms-
14 * except that the holder is Tim Hudson (tjh@cryptsoft.com).-
15 *-
16 * Copyright remains Eric Young's, and as such any Copyright notices in-
17 * the code are not to be removed.-
18 * If this package is used in a product, Eric Young should be given attribution-
19 * as the author of the parts of the library used.-
20 * This can be in the form of a textual message at program startup or-
21 * in documentation (online or textual) provided with the package.-
22 *-
23 * Redistribution and use in source and binary forms, with or without-
24 * modification, are permitted provided that the following conditions-
25 * are met:-
26 * 1. Redistributions of source code must retain the copyright-
27 * notice, this list of conditions and the following disclaimer.-
28 * 2. Redistributions in binary form must reproduce the above copyright-
29 * notice, this list of conditions and the following disclaimer in the-
30 * documentation and/or other materials provided with the distribution.-
31 * 3. All advertising materials mentioning features or use of this software-
32 * must display the following acknowledgement:-
33 * "This product includes cryptographic software written by-
34 * Eric Young (eay@cryptsoft.com)"-
35 * The word 'cryptographic' can be left out if the rouines from the library-
36 * being used are not cryptographic related :-).-
37 * 4. If you include any Windows specific code (or a derivative thereof) from-
38 * the apps directory (application code) you must include an acknowledgement:-
39 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"-
40 *-
41 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND-
42 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE-
43 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE-
44 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE-
45 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL-
46 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS-
47 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)-
48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT-
49 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY-
50 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF-
51 * SUCH DAMAGE.-
52 *-
53 * The licence and distribution terms for any publically available version or-
54 * derivative of this code cannot be changed. i.e. this code cannot simply be-
55 * copied and put under another distribution licence-
56 * [including the GNU Public Licence.]-
57 */-
58-
59#include <stdio.h>-
60-
61#include <openssl/err.h>-
62#include <openssl/evp.h>-
63#include <openssl/objects.h>-
64#include <openssl/x509.h>-
65-
66int-
67EVP_VerifyFinal(EVP_MD_CTX *ctx, const unsigned char *sigbuf,-
68 unsigned int siglen, EVP_PKEY *pkey)-
69{-
70 unsigned char m[EVP_MAX_MD_SIZE];-
71 unsigned int m_len;-
72 int i = 0, ok = 0, v;-
73 EVP_MD_CTX tmp_ctx;-
74 EVP_PKEY_CTX *pkctx = NULL;-
75-
76 EVP_MD_CTX_init(&tmp_ctx);-
77 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
78 goto err;
never executed: goto err;
0
79 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
80 goto err;
never executed: goto err;
0
81 EVP_MD_CTX_cleanup(&tmp_ctx);-
82-
83 if (ctx->digest->flags & EVP_MD_FLAG_PKEY_METHOD_SIGNATURE) {
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
84 i = -1;-
85 pkctx = EVP_PKEY_CTX_new(pkey, NULL);-
86 if (!pkctx)
!pkctxDescription
TRUEnever evaluated
FALSEevaluated 34 times by 3 tests
Evaluated by:
  • pkcs7test
  • ssltest
  • tlstest
0-34
87 goto err;
never executed: goto err;
0
88 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
89 goto err;
never executed: goto err;
0
90 if (EVP_PKEY_CTX_set_signature_md(pkctx, ctx->digest) <= 0)
EVP_PKEY_CTX_c...->digest) <= 0Description
TRUEnever evaluated
FALSEevaluated 34 times by 3 tests
Evaluated by:
  • pkcs7test
  • ssltest
  • tlstest
0-34
91 goto err;
never executed: goto err;
0
92 i = EVP_PKEY_verify(pkctx, sigbuf, siglen, m, m_len);-
93err:
code before this statement executed 34 times by 3 tests: err:
Executed by:
  • pkcs7test
  • ssltest
  • tlstest
34
94 EVP_PKEY_CTX_free(pkctx);-
95 return i;
executed 34 times by 3 tests: return i;
Executed by:
  • pkcs7test
  • ssltest
  • tlstest
34
96 }-
97-
98 for (i = 0; i < 4; i++) {
i < 4Description
TRUEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
FALSEnever evaluated
0-12
99 v = ctx->digest->required_pkey_type[i];-
100 if (v == 0)
v == 0Description
TRUEnever evaluated
FALSEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
0-12
101 break;
never executed: break;
0
102 if (pkey->type == v) {
pkey->type == vDescription
TRUEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
FALSEnever evaluated
0-12
103 ok = 1;-
104 break;
executed 12 times by 1 test: break;
Executed by:
  • ssltest
12
105 }-
106 }
never executed: end of block
0
107 if (!ok) {
!okDescription
TRUEnever evaluated
FALSEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
0-12
108 EVPerror(EVP_R_WRONG_PUBLIC_KEY_TYPE);-
109 return (-1);
never executed: return (-1);
0
110 }-
111 if (ctx->digest->verify == NULL) {
ctx->digest->v...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 12 times by 1 test
Evaluated by:
  • ssltest
0-12
112 EVPerror(EVP_R_NO_VERIFY_FUNCTION_CONFIGURED);-
113 return (0);
never executed: return (0);
0
114 }-
115-
116 return(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
117 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
118}-
Source codeSwitch to Preprocessed file
Generated by Squish Coco 4.2.2