Coverage Report

Created: 2026-09-12 06:55

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl/crypto/evp/p_verify.c
Line
Count
Source
1
/*
2
 * Copyright 1995-2023 The OpenSSL Project Authors. All Rights Reserved.
3
 *
4
 * Licensed under the Apache License 2.0 (the "License").  You may not use
5
 * this file except in compliance with the License.  You can obtain a copy
6
 * in the file LICENSE in the source distribution or at
7
 * https://www.openssl.org/source/license.html
8
 */
9
10
#include <stdio.h>
11
#include "internal/cryptlib.h"
12
#include <openssl/evp.h>
13
#include <openssl/objects.h>
14
#include <openssl/x509.h>
15
#include "crypto/evp.h"
16
17
int EVP_VerifyFinal_ex(EVP_MD_CTX *ctx, const unsigned char *sigbuf,
18
    unsigned int siglen, EVP_PKEY *pkey, OSSL_LIB_CTX *libctx,
19
    const char *propq)
20
2.02k
{
21
2.02k
    unsigned char m[EVP_MAX_MD_SIZE];
22
2.02k
    unsigned int m_len = 0;
23
2.02k
    int i = 0;
24
2.02k
    EVP_PKEY_CTX *pkctx = NULL;
25
26
2.02k
    if (EVP_MD_CTX_test_flags(ctx, EVP_MD_CTX_FLAG_FINALISE)) {
27
0
        if (!EVP_DigestFinal_ex(ctx, m, &m_len))
28
0
            goto err;
29
2.02k
    } else {
30
2.02k
        int rv = 0;
31
2.02k
        EVP_MD_CTX *tmp_ctx = EVP_MD_CTX_new();
32
33
2.02k
        if (tmp_ctx == NULL) {
34
0
            ERR_raise(ERR_LIB_EVP, ERR_R_EVP_LIB);
35
0
            return 0;
36
0
        }
37
2.02k
        rv = EVP_MD_CTX_copy_ex(tmp_ctx, ctx);
38
2.02k
        if (rv)
39
2.02k
            rv = EVP_DigestFinal_ex(tmp_ctx, m, &m_len);
40
0
        else
41
0
            rv = EVP_DigestFinal_ex(ctx, m, &m_len);
42
2.02k
        EVP_MD_CTX_free(tmp_ctx);
43
2.02k
        if (!rv)
44
2
            return 0;
45
2.02k
    }
46
47
2.01k
    i = -1;
48
2.01k
    pkctx = EVP_PKEY_CTX_new_from_pkey(libctx, pkey, propq);
49
2.01k
    if (pkctx == NULL)
50
0
        goto err;
51
2.01k
    if (EVP_PKEY_verify_init(pkctx) <= 0)
52
13
        goto err;
53
2.00k
    if (EVP_PKEY_CTX_set_signature_md(pkctx, EVP_MD_CTX_get0_md(ctx)) <= 0)
54
1
        goto err;
55
2.00k
    i = EVP_PKEY_verify(pkctx, sigbuf, siglen, m, m_len);
56
2.01k
err:
57
2.01k
    EVP_PKEY_CTX_free(pkctx);
58
2.01k
    return i;
59
2.00k
}
60
61
int EVP_VerifyFinal(EVP_MD_CTX *ctx, const unsigned char *sigbuf,
62
    unsigned int siglen, EVP_PKEY *pkey)
63
0
{
64
0
    return EVP_VerifyFinal_ex(ctx, sigbuf, siglen, pkey, NULL, NULL);
65
0
}