blob: 08ed671a8095566e6c87ea846a95c59efdd7f42b [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.] */
56
57#include <openssl/digest.h>
58
Matt Braithwaite9f8ef2d2015-04-28 19:38:03 -070059#include <string.h>
David Benjamin2c367922015-05-27 01:41:01 -040060
Adam Langleye1333452021-01-21 11:56:52 -080061#include <openssl/blake2.h>
David Benjamin3cb047e2017-03-14 00:48:11 -040062#include <openssl/bytestring.h>
David Benjamin170045f2021-06-30 10:27:38 -040063#include <openssl/obj.h>
David Benjamina5eee1c2016-12-26 00:32:14 -050064#include <openssl/nid.h>
Adam Langley95c29f32014-06-20 12:00:00 -070065
David Benjamin170045f2021-06-30 10:27:38 -040066#include "../asn1/internal.h"
David Benjamind2242402016-12-26 00:18:49 -050067#include "../internal.h"
Adam Langleye1333452021-01-21 11:56:52 -080068#include "../fipsmodule/digest/internal.h"
Adam Langley95c29f32014-06-20 12:00:00 -070069
David Benjamin00505ec2014-11-26 16:38:00 -050070
Adam Langley95c29f32014-06-20 12:00:00 -070071struct nid_to_digest {
72 int nid;
Adam Langleya7f6d3c2014-12-16 15:53:01 -080073 const EVP_MD* (*md_func)(void);
Matt Braithwaite9f8ef2d2015-04-28 19:38:03 -070074 const char *short_name;
75 const char *long_name;
Adam Langley95c29f32014-06-20 12:00:00 -070076};
77
78static const struct nid_to_digest nid_to_digest_mapping[] = {
David Benjamind2242402016-12-26 00:18:49 -050079 {NID_md4, EVP_md4, SN_md4, LN_md4},
80 {NID_md5, EVP_md5, SN_md5, LN_md5},
81 {NID_sha1, EVP_sha1, SN_sha1, LN_sha1},
82 {NID_sha224, EVP_sha224, SN_sha224, LN_sha224},
83 {NID_sha256, EVP_sha256, SN_sha256, LN_sha256},
84 {NID_sha384, EVP_sha384, SN_sha384, LN_sha384},
85 {NID_sha512, EVP_sha512, SN_sha512, LN_sha512},
David Benjamin31f462a2021-08-30 12:44:49 -040086 {NID_sha512_256, EVP_sha512_256, SN_sha512_256, LN_sha512_256},
David Benjamind2242402016-12-26 00:18:49 -050087 {NID_md5_sha1, EVP_md5_sha1, SN_md5_sha1, LN_md5_sha1},
David Benjamin808f8322017-08-18 14:06:02 -040088 // As a remnant of signing |EVP_MD|s, OpenSSL returned the corresponding
89 // hash function when given a signature OID. To avoid unintended lax parsing
90 // of hash OIDs, this is no longer supported for lookup by OID or NID.
91 // Node.js, however, exposes |EVP_get_digestbyname|'s full behavior to
92 // consumers so we retain it there.
David Benjamind2242402016-12-26 00:18:49 -050093 {NID_undef, EVP_sha1, SN_dsaWithSHA, LN_dsaWithSHA},
94 {NID_undef, EVP_sha1, SN_dsaWithSHA1, LN_dsaWithSHA1},
95 {NID_undef, EVP_sha1, SN_ecdsa_with_SHA1, NULL},
96 {NID_undef, EVP_md5, SN_md5WithRSAEncryption, LN_md5WithRSAEncryption},
97 {NID_undef, EVP_sha1, SN_sha1WithRSAEncryption, LN_sha1WithRSAEncryption},
98 {NID_undef, EVP_sha224, SN_sha224WithRSAEncryption,
99 LN_sha224WithRSAEncryption},
100 {NID_undef, EVP_sha256, SN_sha256WithRSAEncryption,
101 LN_sha256WithRSAEncryption},
102 {NID_undef, EVP_sha384, SN_sha384WithRSAEncryption,
103 LN_sha384WithRSAEncryption},
104 {NID_undef, EVP_sha512, SN_sha512WithRSAEncryption,
105 LN_sha512WithRSAEncryption},
Adam Langley95c29f32014-06-20 12:00:00 -0700106};
107
108const EVP_MD* EVP_get_digestbynid(int nid) {
David Benjamind2242402016-12-26 00:18:49 -0500109 if (nid == NID_undef) {
David Benjamin808f8322017-08-18 14:06:02 -0400110 // Skip the |NID_undef| entries in |nid_to_digest_mapping|.
David Benjamind2242402016-12-26 00:18:49 -0500111 return NULL;
112 }
Adam Langley95c29f32014-06-20 12:00:00 -0700113
David Benjamind2242402016-12-26 00:18:49 -0500114 for (unsigned i = 0; i < OPENSSL_ARRAY_SIZE(nid_to_digest_mapping); i++) {
Adam Langley95c29f32014-06-20 12:00:00 -0700115 if (nid_to_digest_mapping[i].nid == nid) {
116 return nid_to_digest_mapping[i].md_func();
117 }
118 }
119
120 return NULL;
121}
122
David Benjamina5eee1c2016-12-26 00:32:14 -0500123static const struct {
124 uint8_t oid[9];
125 uint8_t oid_len;
David Benjamin42e93b62017-09-25 16:30:28 -0400126 int nid;
David Benjamina5eee1c2016-12-26 00:32:14 -0500127} kMDOIDs[] = {
David Benjamin808f8322017-08-18 14:06:02 -0400128 // 1.2.840.113549.2.4
David Benjamin42e93b62017-09-25 16:30:28 -0400129 { {0x2a, 0x86, 0x48, 0x86, 0xf7, 0x0d, 0x02, 0x04}, 8, NID_md4 },
David Benjamin808f8322017-08-18 14:06:02 -0400130 // 1.2.840.113549.2.5
David Benjamin42e93b62017-09-25 16:30:28 -0400131 { {0x2a, 0x86, 0x48, 0x86, 0xf7, 0x0d, 0x02, 0x05}, 8, NID_md5 },
David Benjamin808f8322017-08-18 14:06:02 -0400132 // 1.3.14.3.2.26
David Benjamin42e93b62017-09-25 16:30:28 -0400133 { {0x2b, 0x0e, 0x03, 0x02, 0x1a}, 5, NID_sha1 },
David Benjamin808f8322017-08-18 14:06:02 -0400134 // 2.16.840.1.101.3.4.2.1
David Benjamin42e93b62017-09-25 16:30:28 -0400135 { {0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x01}, 9, NID_sha256 },
David Benjamin808f8322017-08-18 14:06:02 -0400136 // 2.16.840.1.101.3.4.2.2
David Benjamin42e93b62017-09-25 16:30:28 -0400137 { {0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x02}, 9, NID_sha384 },
David Benjamin808f8322017-08-18 14:06:02 -0400138 // 2.16.840.1.101.3.4.2.3
David Benjamin42e93b62017-09-25 16:30:28 -0400139 { {0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x03}, 9, NID_sha512 },
David Benjamin808f8322017-08-18 14:06:02 -0400140 // 2.16.840.1.101.3.4.2.4
David Benjamin42e93b62017-09-25 16:30:28 -0400141 { {0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x04}, 9, NID_sha224 },
David Benjamina5eee1c2016-12-26 00:32:14 -0500142};
143
David Benjamin3cb047e2017-03-14 00:48:11 -0400144static const EVP_MD *cbs_to_md(const CBS *cbs) {
145 for (size_t i = 0; i < OPENSSL_ARRAY_SIZE(kMDOIDs); i++) {
146 if (CBS_len(cbs) == kMDOIDs[i].oid_len &&
147 OPENSSL_memcmp(CBS_data(cbs), kMDOIDs[i].oid, kMDOIDs[i].oid_len) ==
148 0) {
David Benjamin42e93b62017-09-25 16:30:28 -0400149 return EVP_get_digestbynid(kMDOIDs[i].nid);
David Benjamin3cb047e2017-03-14 00:48:11 -0400150 }
151 }
152
153 return NULL;
154}
155
David Benjamina5eee1c2016-12-26 00:32:14 -0500156const EVP_MD *EVP_get_digestbyobj(const ASN1_OBJECT *obj) {
David Benjamin170045f2021-06-30 10:27:38 -0400157 // Handle objects with no corresponding OID. Note we don't use |OBJ_obj2nid|
158 // here to avoid pulling in the OID table.
David Benjamine0ca4872017-02-06 15:12:59 -0500159 if (obj->nid != NID_undef) {
160 return EVP_get_digestbynid(obj->nid);
161 }
162
David Benjamin3cb047e2017-03-14 00:48:11 -0400163 CBS cbs;
David Benjamin170045f2021-06-30 10:27:38 -0400164 CBS_init(&cbs, OBJ_get0_data(obj), OBJ_length(obj));
David Benjamin3cb047e2017-03-14 00:48:11 -0400165 return cbs_to_md(&cbs);
166}
167
168const EVP_MD *EVP_parse_digest_algorithm(CBS *cbs) {
169 CBS algorithm, oid;
170 if (!CBS_get_asn1(cbs, &algorithm, CBS_ASN1_SEQUENCE) ||
171 !CBS_get_asn1(&algorithm, &oid, CBS_ASN1_OBJECT)) {
172 OPENSSL_PUT_ERROR(DIGEST, DIGEST_R_DECODE_ERROR);
173 return NULL;
174 }
175
176 const EVP_MD *ret = cbs_to_md(&oid);
177 if (ret == NULL) {
178 OPENSSL_PUT_ERROR(DIGEST, DIGEST_R_UNKNOWN_HASH);
179 return NULL;
180 }
181
David Benjamin808f8322017-08-18 14:06:02 -0400182 // The parameters, if present, must be NULL. Historically, whether the NULL
183 // was included or omitted was not well-specified. When parsing an
184 // AlgorithmIdentifier, we allow both. (Note this code is not used when
185 // verifying RSASSA-PKCS1-v1_5 signatures.)
David Benjamin3cb047e2017-03-14 00:48:11 -0400186 if (CBS_len(&algorithm) > 0) {
187 CBS param;
188 if (!CBS_get_asn1(&algorithm, &param, CBS_ASN1_NULL) ||
189 CBS_len(&param) != 0 ||
190 CBS_len(&algorithm) != 0) {
191 OPENSSL_PUT_ERROR(DIGEST, DIGEST_R_DECODE_ERROR);
192 return NULL;
David Benjamina5eee1c2016-12-26 00:32:14 -0500193 }
194 }
195
David Benjamin3cb047e2017-03-14 00:48:11 -0400196 return ret;
Adam Langley95c29f32014-06-20 12:00:00 -0700197}
Matt Braithwaite9f8ef2d2015-04-28 19:38:03 -0700198
David Benjamin42e93b62017-09-25 16:30:28 -0400199int EVP_marshal_digest_algorithm(CBB *cbb, const EVP_MD *md) {
200 CBB algorithm, oid, null;
201 if (!CBB_add_asn1(cbb, &algorithm, CBS_ASN1_SEQUENCE) ||
202 !CBB_add_asn1(&algorithm, &oid, CBS_ASN1_OBJECT)) {
David Benjamin42e93b62017-09-25 16:30:28 -0400203 return 0;
204 }
205
206 int found = 0;
207 int nid = EVP_MD_type(md);
208 for (size_t i = 0; i < OPENSSL_ARRAY_SIZE(kMDOIDs); i++) {
209 if (nid == kMDOIDs[i].nid) {
210 if (!CBB_add_bytes(&oid, kMDOIDs[i].oid, kMDOIDs[i].oid_len)) {
David Benjamin42e93b62017-09-25 16:30:28 -0400211 return 0;
212 }
213 found = 1;
214 break;
215 }
216 }
217
218 if (!found) {
219 OPENSSL_PUT_ERROR(DIGEST, DIGEST_R_UNKNOWN_HASH);
220 return 0;
221 }
222
223 if (!CBB_add_asn1(&algorithm, &null, CBS_ASN1_NULL) ||
224 !CBB_flush(cbb)) {
David Benjamin42e93b62017-09-25 16:30:28 -0400225 return 0;
226 }
227
228 return 1;
229}
230
Matt Braithwaite9f8ef2d2015-04-28 19:38:03 -0700231const EVP_MD *EVP_get_digestbyname(const char *name) {
David Benjamind2242402016-12-26 00:18:49 -0500232 for (unsigned i = 0; i < OPENSSL_ARRAY_SIZE(nid_to_digest_mapping); i++) {
Matt Braithwaite9f8ef2d2015-04-28 19:38:03 -0700233 const char *short_name = nid_to_digest_mapping[i].short_name;
234 const char *long_name = nid_to_digest_mapping[i].long_name;
235 if ((short_name && strcmp(short_name, name) == 0) ||
236 (long_name && strcmp(long_name, name) == 0)) {
237 return nid_to_digest_mapping[i].md_func();
238 }
239 }
240
241 return NULL;
242}
Adam Langleye1333452021-01-21 11:56:52 -0800243
244static void blake2b256_init(EVP_MD_CTX *ctx) { BLAKE2B256_Init(ctx->md_data); }
245
246static void blake2b256_update(EVP_MD_CTX *ctx, const void *data, size_t len) {
247 BLAKE2B256_Update(ctx->md_data, data, len);
248}
249
250static void blake2b256_final(EVP_MD_CTX *ctx, uint8_t *md) {
251 BLAKE2B256_Final(md, ctx->md_data);
252}
253
254static const EVP_MD evp_md_blake2b256 = {
255 NID_undef,
256 BLAKE2B256_DIGEST_LENGTH,
257 0,
258 blake2b256_init,
259 blake2b256_update,
260 blake2b256_final,
261 BLAKE2B_CBLOCK,
262 sizeof(BLAKE2B_CTX),
263};
264
265const EVP_MD *EVP_blake2b256(void) { return &evp_md_blake2b256; }