Coverage Report

Created: 2022-11-30 06:20

/src/openssl/crypto/rsa/rsa_sign.c
Line
Count
Source (jump to first uncovered line)
1
/* crypto/rsa/rsa_sign.c */
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
#include "cryptlib.h"
61
#include <openssl/bn.h>
62
#include <openssl/rsa.h>
63
#include <openssl/objects.h>
64
#include <openssl/x509.h>
65
#include "rsa_locl.h"
66
67
/* Size of an SSL signature: MD5+SHA1 */
68
0
#define SSL_SIG_LENGTH  36
69
70
int RSA_sign(int type, const unsigned char *m, unsigned int m_len,
71
             unsigned char *sigret, unsigned int *siglen, RSA *rsa)
72
0
{
73
0
    X509_SIG sig;
74
0
    ASN1_TYPE parameter;
75
0
    int i, j, ret = 1;
76
0
    unsigned char *p, *tmps = NULL;
77
0
    const unsigned char *s = NULL;
78
0
    X509_ALGOR algor;
79
0
    ASN1_OCTET_STRING digest;
80
#ifdef OPENSSL_FIPS
81
    if (FIPS_mode() && !(rsa->meth->flags & RSA_FLAG_FIPS_METHOD)
82
        && !(rsa->flags & RSA_FLAG_NON_FIPS_ALLOW)) {
83
        RSAerr(RSA_F_RSA_SIGN, RSA_R_NON_FIPS_RSA_METHOD);
84
        return 0;
85
    }
86
#endif
87
0
    if ((rsa->flags & RSA_FLAG_SIGN_VER) && rsa->meth->rsa_sign) {
88
0
        return rsa->meth->rsa_sign(type, m, m_len, sigret, siglen, rsa);
89
0
    }
90
    /* Special case: SSL signature, just check the length */
91
0
    if (type == NID_md5_sha1) {
92
0
        if (m_len != SSL_SIG_LENGTH) {
93
0
            RSAerr(RSA_F_RSA_SIGN, RSA_R_INVALID_MESSAGE_LENGTH);
94
0
            return (0);
95
0
        }
96
0
        i = SSL_SIG_LENGTH;
97
0
        s = m;
98
0
    } else {
99
0
        sig.algor = &algor;
100
0
        sig.algor->algorithm = OBJ_nid2obj(type);
101
0
        if (sig.algor->algorithm == NULL) {
102
0
            RSAerr(RSA_F_RSA_SIGN, RSA_R_UNKNOWN_ALGORITHM_TYPE);
103
0
            return (0);
104
0
        }
105
0
        if (sig.algor->algorithm->length == 0) {
106
0
            RSAerr(RSA_F_RSA_SIGN,
107
0
                   RSA_R_THE_ASN1_OBJECT_IDENTIFIER_IS_NOT_KNOWN_FOR_THIS_MD);
108
0
            return (0);
109
0
        }
110
0
        parameter.type = V_ASN1_NULL;
111
0
        parameter.value.ptr = NULL;
112
0
        sig.algor->parameter = &parameter;
113
114
0
        sig.digest = &digest;
115
0
        sig.digest->data = (unsigned char *)m; /* TMP UGLY CAST */
116
0
        sig.digest->length = m_len;
117
118
0
        i = i2d_X509_SIG(&sig, NULL);
119
0
    }
120
0
    j = RSA_size(rsa);
121
0
    if (i > (j - RSA_PKCS1_PADDING_SIZE)) {
122
0
        RSAerr(RSA_F_RSA_SIGN, RSA_R_DIGEST_TOO_BIG_FOR_RSA_KEY);
123
0
        return (0);
124
0
    }
125
0
    if (type != NID_md5_sha1) {
126
0
        tmps = (unsigned char *)OPENSSL_malloc((unsigned int)j + 1);
127
0
        if (tmps == NULL) {
128
0
            RSAerr(RSA_F_RSA_SIGN, ERR_R_MALLOC_FAILURE);
129
0
            return (0);
130
0
        }
131
0
        p = tmps;
132
0
        i2d_X509_SIG(&sig, &p);
133
0
        s = tmps;
134
0
    }
135
0
    i = RSA_private_encrypt(i, s, sigret, rsa, RSA_PKCS1_PADDING);
136
0
    if (i <= 0)
137
0
        ret = 0;
138
0
    else
139
0
        *siglen = i;
140
141
0
    if (type != NID_md5_sha1) {
142
0
        OPENSSL_cleanse(tmps, (unsigned int)j + 1);
143
0
        OPENSSL_free(tmps);
144
0
    }
145
0
    return (ret);
146
0
}
147
148
/*
149
 * Check DigestInfo structure does not contain extraneous data by reencoding
150
 * using DER and checking encoding against original.
151
 */
152
static int rsa_check_digestinfo(X509_SIG *sig, const unsigned char *dinfo,
153
                                int dinfolen)
154
0
{
155
0
    unsigned char *der = NULL;
156
0
    int derlen;
157
0
    int ret = 0;
158
0
    derlen = i2d_X509_SIG(sig, &der);
159
0
    if (derlen <= 0)
160
0
        return 0;
161
0
    if (derlen == dinfolen && !memcmp(dinfo, der, derlen))
162
0
        ret = 1;
163
0
    OPENSSL_cleanse(der, derlen);
164
0
    OPENSSL_free(der);
165
0
    return ret;
166
0
}
167
168
int int_rsa_verify(int dtype, const unsigned char *m,
169
                   unsigned int m_len,
170
                   unsigned char *rm, size_t *prm_len,
171
                   const unsigned char *sigbuf, size_t siglen, RSA *rsa)
172
0
{
173
0
    int i, ret = 0, sigtype;
174
0
    unsigned char *s;
175
0
    X509_SIG *sig = NULL;
176
177
#ifdef OPENSSL_FIPS
178
    if (FIPS_mode() && !(rsa->meth->flags & RSA_FLAG_FIPS_METHOD)
179
        && !(rsa->flags & RSA_FLAG_NON_FIPS_ALLOW)) {
180
        RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_NON_FIPS_RSA_METHOD);
181
        return 0;
182
    }
183
#endif
184
185
0
    if (siglen != (unsigned int)RSA_size(rsa)) {
186
0
        RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_WRONG_SIGNATURE_LENGTH);
187
0
        return (0);
188
0
    }
189
190
0
    if ((dtype == NID_md5_sha1) && rm) {
191
0
        i = RSA_public_decrypt((int)siglen,
192
0
                               sigbuf, rm, rsa, RSA_PKCS1_PADDING);
193
0
        if (i <= 0)
194
0
            return 0;
195
0
        *prm_len = i;
196
0
        return 1;
197
0
    }
198
199
0
    s = (unsigned char *)OPENSSL_malloc((unsigned int)siglen);
200
0
    if (s == NULL) {
201
0
        RSAerr(RSA_F_INT_RSA_VERIFY, ERR_R_MALLOC_FAILURE);
202
0
        goto err;
203
0
    }
204
0
    if ((dtype == NID_md5_sha1) && (m_len != SSL_SIG_LENGTH)) {
205
0
        RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_INVALID_MESSAGE_LENGTH);
206
0
        goto err;
207
0
    }
208
0
    i = RSA_public_decrypt((int)siglen, sigbuf, s, rsa, RSA_PKCS1_PADDING);
209
210
0
    if (i <= 0)
211
0
        goto err;
212
    /*
213
     * Oddball MDC2 case: signature can be OCTET STRING. check for correct
214
     * tag and length octets.
215
     */
216
0
    if (dtype == NID_mdc2 && i == 18 && s[0] == 0x04 && s[1] == 0x10) {
217
0
        if (rm) {
218
0
            memcpy(rm, s + 2, 16);
219
0
            *prm_len = 16;
220
0
            ret = 1;
221
0
        } else if (memcmp(m, s + 2, 16)) {
222
0
            RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_BAD_SIGNATURE);
223
0
        } else {
224
0
            ret = 1;
225
0
        }
226
0
    } else if (dtype == NID_md5_sha1) {
227
        /* Special case: SSL signature */
228
0
        if ((i != SSL_SIG_LENGTH) || memcmp(s, m, SSL_SIG_LENGTH))
229
0
            RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_BAD_SIGNATURE);
230
0
        else
231
0
            ret = 1;
232
0
    } else {
233
0
        const unsigned char *p = s;
234
0
        sig = d2i_X509_SIG(NULL, &p, (long)i);
235
236
0
        if (sig == NULL)
237
0
            goto err;
238
239
        /* Excess data can be used to create forgeries */
240
0
        if (p != s + i || !rsa_check_digestinfo(sig, s, i)) {
241
0
            RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_BAD_SIGNATURE);
242
0
            goto err;
243
0
        }
244
245
        /*
246
         * Parameters to the signature algorithm can also be used to create
247
         * forgeries
248
         */
249
0
        if (sig->algor->parameter
250
0
            && ASN1_TYPE_get(sig->algor->parameter) != V_ASN1_NULL) {
251
0
            RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_BAD_SIGNATURE);
252
0
            goto err;
253
0
        }
254
255
0
        sigtype = OBJ_obj2nid(sig->algor->algorithm);
256
257
#ifdef RSA_DEBUG
258
        /* put a backward compatibility flag in EAY */
259
        fprintf(stderr, "in(%s) expect(%s)\n", OBJ_nid2ln(sigtype),
260
                OBJ_nid2ln(dtype));
261
#endif
262
0
        if (sigtype != dtype) {
263
0
            RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_ALGORITHM_MISMATCH);
264
0
            goto err;
265
0
        }
266
0
        if (rm) {
267
0
            const EVP_MD *md;
268
0
            md = EVP_get_digestbynid(dtype);
269
0
            if (md && (EVP_MD_size(md) != sig->digest->length))
270
0
                RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_INVALID_DIGEST_LENGTH);
271
0
            else {
272
0
                memcpy(rm, sig->digest->data, sig->digest->length);
273
0
                *prm_len = sig->digest->length;
274
0
                ret = 1;
275
0
            }
276
0
        } else if (((unsigned int)sig->digest->length != m_len) ||
277
0
                   (memcmp(m, sig->digest->data, m_len) != 0)) {
278
0
            RSAerr(RSA_F_INT_RSA_VERIFY, RSA_R_BAD_SIGNATURE);
279
0
        } else
280
0
            ret = 1;
281
0
    }
282
0
 err:
283
0
    if (sig != NULL)
284
0
        X509_SIG_free(sig);
285
0
    if (s != NULL) {
286
0
        OPENSSL_cleanse(s, (unsigned int)siglen);
287
0
        OPENSSL_free(s);
288
0
    }
289
0
    return (ret);
290
0
}
291
292
int RSA_verify(int dtype, const unsigned char *m, unsigned int m_len,
293
               const unsigned char *sigbuf, unsigned int siglen, RSA *rsa)
294
0
{
295
296
0
    if ((rsa->flags & RSA_FLAG_SIGN_VER) && rsa->meth->rsa_verify) {
297
0
        return rsa->meth->rsa_verify(dtype, m, m_len, sigbuf, siglen, rsa);
298
0
    }
299
300
0
    return int_rsa_verify(dtype, m, m_len, NULL, NULL, sigbuf, siglen, rsa);
301
0
}