|
|
|
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* This package is an SSL implementation written
|
|
|
|
* by Eric Young (eay@cryptsoft.com).
|
|
|
|
* The implementation was written so as to conform with Netscapes SSL.
|
|
|
|
*
|
|
|
|
* This library is free for commercial and non-commercial use as long as
|
|
|
|
* the following conditions are aheared to. The following conditions
|
|
|
|
* apply to all code found in this distribution, be it the RC4, RSA,
|
|
|
|
* lhash, DES, etc., code; not just the SSL code. The SSL documentation
|
|
|
|
* included with this distribution is covered by the same copyright terms
|
|
|
|
* except that the holder is Tim Hudson (tjh@cryptsoft.com).
|
|
|
|
*
|
|
|
|
* Copyright remains Eric Young's, and as such any Copyright notices in
|
|
|
|
* the code are not to be removed.
|
|
|
|
* If this package is used in a product, Eric Young should be given attribution
|
|
|
|
* as the author of the parts of the library used.
|
|
|
|
* This can be in the form of a textual message at program startup or
|
|
|
|
* in documentation (online or textual) provided with the package.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
* 3. All advertising materials mentioning features or use of this software
|
|
|
|
* must display the following acknowledgement:
|
|
|
|
* "This product includes cryptographic software written by
|
|
|
|
* Eric Young (eay@cryptsoft.com)"
|
|
|
|
* The word 'cryptographic' can be left out if the rouines from the library
|
|
|
|
* being used are not cryptographic related :-).
|
|
|
|
* 4. If you include any Windows specific code (or a derivative thereof) from
|
|
|
|
* the apps directory (application code) you must include an acknowledgement:
|
|
|
|
* "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*
|
|
|
|
* The licence and distribution terms for any publically available version or
|
|
|
|
* derivative of this code cannot be changed. i.e. this code cannot simply be
|
|
|
|
* copied and put under another distribution licence
|
|
|
|
* [including the GNU Public Licence.] */
|
|
|
|
|
|
|
|
#include <openssl/x509.h>
|
|
|
|
|
|
|
|
#include <limits.h>
|
|
|
|
|
|
|
|
#include <openssl/asn1.h>
|
|
|
|
#include <openssl/asn1t.h>
|
|
|
|
#include <openssl/bytestring.h>
|
|
|
|
#include <openssl/err.h>
|
|
|
|
#include <openssl/evp.h>
|
|
|
|
#include <openssl/mem.h>
|
|
|
|
#include <openssl/obj.h>
|
|
|
|
#include <openssl/thread.h>
|
|
|
|
|
|
|
|
#include "../internal.h"
|
|
|
|
|
|
|
|
/* Minor tweak to operation: free up EVP_PKEY */
|
|
|
|
static int pubkey_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
|
|
|
|
void *exarg)
|
|
|
|
{
|
|
|
|
if (operation == ASN1_OP_FREE_POST) {
|
|
|
|
X509_PUBKEY *pubkey = (X509_PUBKEY *)*pval;
|
|
|
|
EVP_PKEY_free(pubkey->pkey);
|
|
|
|
}
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
ASN1_SEQUENCE_cb(X509_PUBKEY, pubkey_cb) = {
|
|
|
|
ASN1_SIMPLE(X509_PUBKEY, algor, X509_ALGOR),
|
|
|
|
ASN1_SIMPLE(X509_PUBKEY, public_key, ASN1_BIT_STRING)
|
|
|
|
} ASN1_SEQUENCE_END_cb(X509_PUBKEY, X509_PUBKEY)
|
|
|
|
|
|
|
|
IMPLEMENT_ASN1_FUNCTIONS(X509_PUBKEY)
|
|
|
|
|
|
|
|
int X509_PUBKEY_set(X509_PUBKEY **x, EVP_PKEY *pkey)
|
|
|
|
{
|
|
|
|
X509_PUBKEY *pk = NULL;
|
|
|
|
uint8_t *spki = NULL;
|
|
|
|
size_t spki_len;
|
|
|
|
|
|
|
|
if (x == NULL)
|
|
|
|
return (0);
|
|
|
|
|
|
|
|
CBB cbb;
|
|
|
|
if (!CBB_init(&cbb, 0) ||
|
|
|
|
!EVP_marshal_public_key(&cbb, pkey) ||
|
|
|
|
!CBB_finish(&cbb, &spki, &spki_len) ||
|
|
|
|
spki_len > LONG_MAX) {
|
|
|
|
CBB_cleanup(&cbb);
|
|
|
|
OPENSSL_PUT_ERROR(X509, X509_R_PUBLIC_KEY_ENCODE_ERROR);
|
|
|
|
goto error;
|
|
|
|
}
|
|
|
|
|
|
|
|
const uint8_t *p = spki;
|
|
|
|
pk = d2i_X509_PUBKEY(NULL, &p, (long)spki_len);
|
|
|
|
if (pk == NULL || p != spki + spki_len) {
|
|
|
|
OPENSSL_PUT_ERROR(X509, X509_R_PUBLIC_KEY_DECODE_ERROR);
|
|
|
|
goto error;
|
|
|
|
}
|
|
|
|
|
|
|
|
OPENSSL_free(spki);
|
|
|
|
X509_PUBKEY_free(*x);
|
|
|
|
*x = pk;
|
|
|
|
|
|
|
|
return 1;
|
|
|
|
error:
|
|
|
|
X509_PUBKEY_free(pk);
|
|
|
|
OPENSSL_free(spki);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* g_pubkey_lock is used to protect the initialisation of the |pkey| member of
|
|
|
|
* |X509_PUBKEY| objects. Really |X509_PUBKEY| should have a |CRYPTO_once_t|
|
|
|
|
* inside it for this, but |CRYPTO_once_t| is private and |X509_PUBKEY| is
|
|
|
|
* not. */
|
|
|
|
static struct CRYPTO_STATIC_MUTEX g_pubkey_lock = CRYPTO_STATIC_MUTEX_INIT;
|
|
|
|
|
|
|
|
EVP_PKEY *X509_PUBKEY_get(X509_PUBKEY *key)
|
|
|
|
{
|
|
|
|
EVP_PKEY *ret = NULL;
|
|
|
|
uint8_t *spki = NULL;
|
|
|
|
|
|
|
|
if (key == NULL)
|
|
|
|
goto error;
|
|
|
|
|
|
|
|
CRYPTO_STATIC_MUTEX_lock_read(&g_pubkey_lock);
|
|
|
|
if (key->pkey != NULL) {
|
|
|
|
CRYPTO_STATIC_MUTEX_unlock_read(&g_pubkey_lock);
|
|
|
|
EVP_PKEY_up_ref(key->pkey);
|
|
|
|
return key->pkey;
|
|
|
|
}
|
|
|
|
CRYPTO_STATIC_MUTEX_unlock_read(&g_pubkey_lock);
|
|
|
|
|
|
|
|
/* Re-encode the |X509_PUBKEY| to DER and parse it. */
|
|
|
|
int spki_len = i2d_X509_PUBKEY(key, &spki);
|
|
|
|
if (spki_len < 0) {
|
|
|
|
goto error;
|
|
|
|
}
|
|
|
|
CBS cbs;
|
|
|
|
CBS_init(&cbs, spki, (size_t)spki_len);
|
|
|
|
ret = EVP_parse_public_key(&cbs);
|
|
|
|
if (ret == NULL || CBS_len(&cbs) != 0) {
|
|
|
|
OPENSSL_PUT_ERROR(X509, X509_R_PUBLIC_KEY_DECODE_ERROR);
|
|
|
|
goto error;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Check to see if another thread set key->pkey first */
|
|
|
|
CRYPTO_STATIC_MUTEX_lock_write(&g_pubkey_lock);
|
|
|
|
if (key->pkey) {
|
|
|
|
CRYPTO_STATIC_MUTEX_unlock_write(&g_pubkey_lock);
|
|
|
|
EVP_PKEY_free(ret);
|
|
|
|
ret = key->pkey;
|
|
|
|
} else {
|
|
|
|
key->pkey = ret;
|
|
|
|
CRYPTO_STATIC_MUTEX_unlock_write(&g_pubkey_lock);
|
|
|
|
}
|
|
|
|
|
|
|
|
OPENSSL_free(spki);
|
|
|
|
EVP_PKEY_up_ref(ret);
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
error:
|
|
|
|
OPENSSL_free(spki);
|
|
|
|
EVP_PKEY_free(ret);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
Align with OpenSSL on constness of static ASN1_OBJECTs.
ASN1_OBJECTs are awkward. Sometimes they are static, when returned from
OBJ_nid2obj, and sometimes they are dynamic, when parsed from
crypto/asn1.
Most structures in crypto/asn1 need to support unknown OIDs and thus
must own their ASN1_OBJECTs. But they also may be initialized with
static ones in various APIs, such as X509_ALGOR_set0. To make that work,
ASN1_OBJECT_free detects static ASN1_OBJECTs and is a no-op.
Functions like X509_ALGOR_set0 take ownership, so OpenSSL has them take
a non-const ASN1_OBJECT*. To match, OBJ_nid2obj then returns a non-const
ASN1_OBJECT*, to signal that it is freeable.
However, this means OBJ_nid2obj's mutability doesn't match its return
type. In the fork, we switched OBJ_nid2obj to return const. But, in
doing so, we had to make X509_ALGOR_set0 and X509_PUBKEY_set0_param take
const ASN1_OBJECT, even though they would actually take ownership of
dynamic ASN1_OBJECTs. There are also a few internal casts with a TODO to
be const-correct.
Neither situation is ideal. (Perhaps a more sound model would be to copy
static ASN1_OBJECTs before putting them in most structs. But that would
not match current usage.) But I think aligning with OpenSSL is the
lesser evil here, since it avoids misleading set0 functions. Managing
ownership of ASN1_OBJECTs is much more common than mutating them. To
that end, I've added a note that ASN1_OBJECTs you didn't create must be
assumed immutable[*].
Update-Note: The change to OBJ_nid2obj should be compatible. The changes
to X509_PUBKEY_set0_param and X509_ALGOR_set0 may require fixing some
pointer types.
[*] This is *almost* honored by all of our functions. The exception is
c2i_ASN1_OBJECT, which instead checks the DYNAMIC flag as part of the
object reuse business. This would come up if we ever embedded
ASN1_OBJECTs directly in structs.
Change-Id: I1e6c700645c12b43323dd3887adb74e795c285b9
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/46164
Commit-Queue: David Benjamin <davidben@google.com>
Commit-Queue: Adam Langley <agl@google.com>
Reviewed-by: Adam Langley <agl@google.com>
4 years ago
|
|
|
int X509_PUBKEY_set0_param(X509_PUBKEY *pub, ASN1_OBJECT *aobj, int ptype,
|
|
|
|
void *pval, unsigned char *penc, int penclen)
|
|
|
|
{
|
|
|
|
if (!X509_ALGOR_set0(pub->algor, aobj, ptype, pval))
|
|
|
|
return 0;
|
|
|
|
if (penc) {
|
|
|
|
if (pub->public_key->data)
|
|
|
|
OPENSSL_free(pub->public_key->data);
|
|
|
|
pub->public_key->data = penc;
|
|
|
|
pub->public_key->length = penclen;
|
|
|
|
/* Set number of unused bits to zero */
|
|
|
|
pub->public_key->flags &= ~(ASN1_STRING_FLAG_BITS_LEFT | 0x07);
|
|
|
|
pub->public_key->flags |= ASN1_STRING_FLAG_BITS_LEFT;
|
|
|
|
}
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
int X509_PUBKEY_get0_param(ASN1_OBJECT **ppkalg,
|
|
|
|
const unsigned char **pk, int *ppklen,
|
|
|
|
X509_ALGOR **pa, X509_PUBKEY *pub)
|
|
|
|
{
|
|
|
|
if (ppkalg)
|
|
|
|
*ppkalg = pub->algor->algorithm;
|
|
|
|
if (pk) {
|
|
|
|
*pk = pub->public_key->data;
|
|
|
|
*ppklen = pub->public_key->length;
|
|
|
|
}
|
|
|
|
if (pa)
|
|
|
|
*pa = pub->algor;
|
|
|
|
return 1;
|
|
|
|
}
|