2002-12-04 17:38:40 +00:00
|
|
|
/*
|
2018-03-20 13:00:17 +00:00
|
|
|
* Copyright 2002-2018 The OpenSSL Project Authors. All Rights Reserved.
|
2017-06-15 14:16:46 +00:00
|
|
|
* Copyright (c) 2002, Oracle and/or its affiliates. All rights reserved
|
2002-02-13 18:21:51 +00:00
|
|
|
*
|
2018-12-06 12:05:25 +00:00
|
|
|
* Licensed under the Apache License 2.0 (the "License"). You may not use
|
2016-05-17 18:20:24 +00:00
|
|
|
* this file except in compliance with the License. You can obtain a copy
|
|
|
|
* in the file LICENSE in the source distribution or at
|
|
|
|
* https://www.openssl.org/source/license.html
|
2002-02-13 18:21:51 +00:00
|
|
|
*/
|
2016-05-17 18:20:24 +00:00
|
|
|
|
2002-02-13 18:21:51 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
|
2015-03-10 23:09:27 +00:00
|
|
|
#include <openssl/opensslconf.h> /* To see if OPENSSL_NO_EC is defined */
|
2018-10-07 21:14:08 +00:00
|
|
|
#include "testutil.h"
|
2003-03-20 23:22:31 +00:00
|
|
|
|
2017-06-21 23:35:08 +00:00
|
|
|
#ifndef OPENSSL_NO_EC
|
2002-02-13 18:21:51 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
# include <openssl/crypto.h>
|
|
|
|
# include <openssl/bio.h>
|
|
|
|
# include <openssl/evp.h>
|
|
|
|
# include <openssl/bn.h>
|
2015-10-27 19:39:32 +00:00
|
|
|
# include <openssl/ec.h>
|
2015-01-22 03:40:55 +00:00
|
|
|
# ifndef OPENSSL_NO_ENGINE
|
|
|
|
# include <openssl/engine.h>
|
|
|
|
# endif
|
2018-10-08 11:16:22 +00:00
|
|
|
# include <openssl/sha.h>
|
2015-01-22 03:40:55 +00:00
|
|
|
# include <openssl/err.h>
|
|
|
|
# include <openssl/rand.h>
|
2002-03-14 09:52:03 +00:00
|
|
|
|
2002-12-04 17:38:40 +00:00
|
|
|
/* functions to change the RAND_METHOD */
|
2017-04-18 18:34:43 +00:00
|
|
|
static int fbytes(unsigned char *buf, int num);
|
2002-12-04 17:38:40 +00:00
|
|
|
|
2015-09-05 12:32:58 +00:00
|
|
|
static RAND_METHOD fake_rand;
|
|
|
|
static const RAND_METHOD *old_rand;
|
2002-12-04 17:38:40 +00:00
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
static int change_rand(void)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
/* save old rand method */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(old_rand = RAND_get_rand_method()))
|
2015-01-22 03:40:55 +00:00
|
|
|
return 0;
|
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
fake_rand = *old_rand;
|
2015-01-22 03:40:55 +00:00
|
|
|
/* use own random function */
|
|
|
|
fake_rand.bytes = fbytes;
|
|
|
|
/* set new RAND_METHOD */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(RAND_set_rand_method(&fake_rand)))
|
2015-01-22 03:40:55 +00:00
|
|
|
return 0;
|
|
|
|
return 1;
|
|
|
|
}
|
2002-12-04 17:38:40 +00:00
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
static int restore_rand(void)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(RAND_set_rand_method(old_rand)))
|
2015-01-22 03:40:55 +00:00
|
|
|
return 0;
|
2017-04-18 18:34:43 +00:00
|
|
|
return 1;
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
2002-02-13 18:21:51 +00:00
|
|
|
|
2011-04-06 23:42:55 +00:00
|
|
|
static int fbytes_counter = 0, use_fake = 0;
|
2002-12-04 17:38:40 +00:00
|
|
|
static const char *numbers[8] = {
|
2015-01-22 03:40:55 +00:00
|
|
|
"651056770906015076056810763456358567190100156695615665659",
|
|
|
|
"6140507067065001063065065565667405560006161556565665656654",
|
|
|
|
"8763001015071075675010661307616710783570106710677817767166"
|
|
|
|
"71676178726717",
|
|
|
|
"7000000175690566466555057817571571075705015757757057795755"
|
|
|
|
"55657156756655",
|
|
|
|
"1275552191113212300012030439187146164646146646466749494799",
|
|
|
|
"1542725565216523985789236956265265265235675811949404040041",
|
|
|
|
"1456427555219115346513212300075341203043918714616464614664"
|
|
|
|
"64667494947990",
|
|
|
|
"1712787255652165239672857892369562652652652356758119494040"
|
|
|
|
"40041670216363"
|
|
|
|
};
|
2002-12-04 17:38:40 +00:00
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
static int fbytes(unsigned char *buf, int num)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
2017-04-18 18:34:43 +00:00
|
|
|
int ret = 0;
|
2015-01-22 03:40:55 +00:00
|
|
|
BIGNUM *tmp = NULL;
|
|
|
|
|
|
|
|
if (use_fake == 0)
|
|
|
|
return old_rand->bytes(buf, num);
|
|
|
|
|
|
|
|
use_fake = 0;
|
|
|
|
|
|
|
|
if (fbytes_counter >= 8)
|
|
|
|
return 0;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(tmp = BN_new()))
|
2015-01-22 03:40:55 +00:00
|
|
|
return 0;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(BN_dec2bn(&tmp, numbers[fbytes_counter]))) {
|
2015-01-22 03:40:55 +00:00
|
|
|
BN_free(tmp);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
fbytes_counter++;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (TEST_int_eq(BN_num_bytes(tmp), num)
|
|
|
|
&& TEST_true(BN_bn2bin(tmp, buf)))
|
2015-01-22 03:40:55 +00:00
|
|
|
ret = 1;
|
|
|
|
BN_free(tmp);
|
|
|
|
return ret;
|
|
|
|
}
|
2002-12-04 17:38:40 +00:00
|
|
|
|
|
|
|
/* some tests from the X9.62 draft */
|
2017-04-18 18:34:43 +00:00
|
|
|
static int x9_62_test_internal(int nid, const char *r_in, const char *s_in)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
int ret = 0;
|
|
|
|
const char message[] = "abc";
|
2018-10-07 21:14:08 +00:00
|
|
|
unsigned char digest[SHA_DIGEST_LENGTH];
|
2015-01-22 03:40:55 +00:00
|
|
|
unsigned int dgst_len = 0;
|
2017-04-18 18:34:43 +00:00
|
|
|
EVP_MD_CTX *md_ctx;
|
2015-01-22 03:40:55 +00:00
|
|
|
EC_KEY *key = NULL;
|
|
|
|
ECDSA_SIG *signature = NULL;
|
|
|
|
BIGNUM *r = NULL, *s = NULL;
|
|
|
|
BIGNUM *kinv = NULL, *rp = NULL;
|
2016-06-09 21:09:48 +00:00
|
|
|
const BIGNUM *sig_r, *sig_s;
|
2015-01-22 03:40:55 +00:00
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(md_ctx = EVP_MD_CTX_new()))
|
2015-11-27 13:02:12 +00:00
|
|
|
goto x962_int_err;
|
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* get the message digest */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(EVP_DigestInit(md_ctx, EVP_sha1()))
|
|
|
|
|| !TEST_true(EVP_DigestUpdate(md_ctx, (const void *)message, 3))
|
|
|
|
|| !TEST_true(EVP_DigestFinal(md_ctx, digest, &dgst_len)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
TEST_info("testing %s", OBJ_nid2sn(nid));
|
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* create the key */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(key = EC_KEY_new_by_curve_name(nid)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
|
|
|
use_fake = 1;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(EC_KEY_generate_key(key)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* create the signature */
|
|
|
|
use_fake = 1;
|
|
|
|
/* Use ECDSA_sign_setup to avoid use of ECDSA nonces */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(ECDSA_sign_setup(key, NULL, &kinv, &rp)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
2018-10-07 21:23:44 +00:00
|
|
|
if (!TEST_ptr(signature =
|
2018-10-07 21:14:08 +00:00
|
|
|
ECDSA_do_sign_ex(digest, SHA_DIGEST_LENGTH, kinv, rp, key)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* compare the created signature with the expected signature */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(r = BN_new()) || !TEST_ptr(s = BN_new()))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(BN_dec2bn(&r, r_in)) || !TEST_true(BN_dec2bn(&s, s_in)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
2016-06-09 21:09:48 +00:00
|
|
|
ECDSA_SIG_get0(signature, &sig_r, &sig_s);
|
2017-05-08 02:09:41 +00:00
|
|
|
if (!TEST_BN_eq(sig_r, r)
|
|
|
|
|| !TEST_BN_eq(sig_s, s))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* verify the signature */
|
2018-10-07 21:14:08 +00:00
|
|
|
if (!TEST_int_eq(ECDSA_do_verify(digest, SHA_DIGEST_LENGTH,
|
2018-10-07 21:23:44 +00:00
|
|
|
signature, key), 1))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_int_err;
|
|
|
|
|
|
|
|
ret = 1;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
x962_int_err:
|
2015-03-25 22:35:24 +00:00
|
|
|
EC_KEY_free(key);
|
2015-05-01 18:37:16 +00:00
|
|
|
ECDSA_SIG_free(signature);
|
2015-05-01 01:37:06 +00:00
|
|
|
BN_free(r);
|
|
|
|
BN_free(s);
|
2015-12-01 23:49:35 +00:00
|
|
|
EVP_MD_CTX_free(md_ctx);
|
2015-05-01 01:37:06 +00:00
|
|
|
BN_clear_free(kinv);
|
|
|
|
BN_clear_free(rp);
|
2015-01-22 03:40:55 +00:00
|
|
|
return ret;
|
|
|
|
}
|
2002-02-13 18:21:51 +00:00
|
|
|
|
2017-08-15 21:39:03 +00:00
|
|
|
static int x9_62_tests(void)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
int ret = 0;
|
|
|
|
|
|
|
|
/* set own rand method */
|
|
|
|
if (!change_rand())
|
|
|
|
goto x962_err;
|
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(x9_62_test_internal(NID_X9_62_prime192v1,
|
|
|
|
"3342403536405981729393488334694600415596881826869351677613",
|
|
|
|
"5735822328888155254683894997897571951568553642892029982342")))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(x9_62_test_internal(NID_X9_62_prime239v1,
|
|
|
|
"3086361431751678114926225473006680188549593787585317781474"
|
2015-01-22 03:40:55 +00:00
|
|
|
"62058306432176",
|
2017-04-18 18:34:43 +00:00
|
|
|
"3238135532097973577080787768312505059318910517550078427819"
|
|
|
|
"78505179448783")))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
# ifndef OPENSSL_NO_EC2M
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(x9_62_test_internal(NID_X9_62_c2tnb191v1,
|
|
|
|
"87194383164871543355722284926904419997237591535066528048",
|
|
|
|
"308992691965804947361541664549085895292153777025772063598")))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(x9_62_test_internal(NID_X9_62_c2tnb239v1,
|
|
|
|
"2159633321041961198501834003903461262881815148684178964245"
|
2015-01-22 03:40:55 +00:00
|
|
|
"5876922391552",
|
2017-04-18 18:34:43 +00:00
|
|
|
"1970303740007316867383349976549972270528498040721988191026"
|
|
|
|
"49413465737174")))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto x962_err;
|
|
|
|
# endif
|
|
|
|
ret = 1;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
x962_err:
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(restore_rand()))
|
2015-01-22 03:40:55 +00:00
|
|
|
ret = 0;
|
|
|
|
return ret;
|
|
|
|
}
|
2002-12-04 17:38:40 +00:00
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
static int test_builtin(void)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
EC_builtin_curve *curves = NULL;
|
|
|
|
size_t crv_len = 0, n = 0;
|
|
|
|
EC_KEY *eckey = NULL, *wrong_eckey = NULL;
|
|
|
|
EC_GROUP *group;
|
2016-06-09 21:09:48 +00:00
|
|
|
ECDSA_SIG *ecdsa_sig = NULL, *modified_sig = NULL;
|
2018-10-07 21:23:44 +00:00
|
|
|
unsigned char digest[SHA512_DIGEST_LENGTH];
|
|
|
|
unsigned char wrong_digest[SHA512_DIGEST_LENGTH];
|
2015-01-22 03:40:55 +00:00
|
|
|
unsigned char *signature = NULL;
|
|
|
|
const unsigned char *sig_ptr;
|
|
|
|
unsigned char *sig_ptr2;
|
|
|
|
unsigned char *raw_buf = NULL;
|
2016-06-09 21:09:48 +00:00
|
|
|
const BIGNUM *sig_r, *sig_s;
|
|
|
|
BIGNUM *modified_r = NULL, *modified_s = NULL;
|
|
|
|
BIGNUM *unmodified_r = NULL, *unmodified_s = NULL;
|
2015-01-22 03:40:55 +00:00
|
|
|
unsigned int sig_len, degree, r_len, s_len, bn_len, buf_len;
|
|
|
|
int nid, ret = 0;
|
|
|
|
|
|
|
|
/* fill digest values with some random data */
|
2018-10-07 21:14:08 +00:00
|
|
|
if (!TEST_true(RAND_bytes(digest, SHA512_DIGEST_LENGTH))
|
|
|
|
|| !TEST_true(RAND_bytes(wrong_digest, SHA512_DIGEST_LENGTH)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
/* create and verify a ecdsa signature with every available curve */
|
2015-01-22 03:40:55 +00:00
|
|
|
/* get a list of all internal curves */
|
|
|
|
crv_len = EC_get_builtin_curves(NULL, 0);
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(curves = OPENSSL_malloc(sizeof(*curves) * crv_len))
|
|
|
|
|| !TEST_true(EC_get_builtin_curves(curves, crv_len)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
|
|
|
|
/* now create and verify a signature for every curve */
|
|
|
|
for (n = 0; n < crv_len; n++) {
|
|
|
|
unsigned char dirt, offset;
|
|
|
|
|
|
|
|
nid = curves[n].nid;
|
2018-10-07 21:14:08 +00:00
|
|
|
if (nid == NID_ipsec4 || nid == NID_ipsec3)
|
2015-01-22 03:40:55 +00:00
|
|
|
continue;
|
|
|
|
/* create new ecdsa key (== EC_KEY) */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(eckey = EC_KEY_new())
|
|
|
|
|| !TEST_ptr(group = EC_GROUP_new_by_curve_name(nid))
|
|
|
|
|| !TEST_true(EC_KEY_set_group(eckey, group)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
EC_GROUP_free(group);
|
|
|
|
degree = EC_GROUP_get_degree(EC_KEY_get0_group(eckey));
|
2018-10-07 21:14:08 +00:00
|
|
|
|
2017-04-18 18:34:43 +00:00
|
|
|
TEST_info("testing %s", OBJ_nid2sn(nid));
|
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* create key */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(EC_KEY_generate_key(eckey)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
/* create second key */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(wrong_eckey = EC_KEY_new())
|
|
|
|
|| !TEST_ptr(group = EC_GROUP_new_by_curve_name(nid))
|
|
|
|
|| !TEST_true(EC_KEY_set_group(wrong_eckey, group)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
EC_GROUP_free(group);
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(EC_KEY_generate_key(wrong_eckey)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
|
|
|
|
/* check key */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_true(EC_KEY_check_key(eckey)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* create signature */
|
|
|
|
sig_len = ECDSA_size(eckey);
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(signature = OPENSSL_malloc(sig_len))
|
2018-10-07 21:23:44 +00:00
|
|
|
|| !TEST_true(ECDSA_sign(0, digest, SHA512_DIGEST_LENGTH,
|
|
|
|
signature, &sig_len, eckey)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* verify signature */
|
2018-10-07 21:14:08 +00:00
|
|
|
if (!TEST_int_eq(ECDSA_verify(0, digest, SHA512_DIGEST_LENGTH,
|
|
|
|
signature, sig_len, eckey),
|
|
|
|
1))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* verify signature with the wrong key */
|
2018-10-07 21:14:08 +00:00
|
|
|
if (!TEST_int_ne(ECDSA_verify(0, digest, SHA512_DIGEST_LENGTH,
|
|
|
|
signature, sig_len, wrong_eckey),
|
|
|
|
1))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* wrong digest */
|
2018-10-07 21:14:08 +00:00
|
|
|
if (!TEST_int_ne(ECDSA_verify(0, wrong_digest, SHA512_DIGEST_LENGTH,
|
|
|
|
signature, sig_len, eckey),
|
|
|
|
1))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* wrong length */
|
2018-10-07 21:14:08 +00:00
|
|
|
if (!TEST_int_ne(ECDSA_verify(0, digest, SHA512_DIGEST_LENGTH,
|
|
|
|
signature, sig_len - 1, eckey),
|
|
|
|
1))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Modify a single byte of the signature: to ensure we don't garble
|
|
|
|
* the ASN1 structure, we read the raw signature and modify a byte in
|
|
|
|
* one of the bignums directly.
|
|
|
|
*/
|
|
|
|
sig_ptr = signature;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(ecdsa_sig = d2i_ECDSA_SIG(NULL, &sig_ptr, sig_len)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
|
2016-06-09 21:09:48 +00:00
|
|
|
ECDSA_SIG_get0(ecdsa_sig, &sig_r, &sig_s);
|
2015-10-27 18:51:37 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* Store the two BIGNUMs in raw_buf. */
|
2015-10-27 18:51:37 +00:00
|
|
|
r_len = BN_num_bytes(sig_r);
|
|
|
|
s_len = BN_num_bytes(sig_s);
|
2015-01-22 03:40:55 +00:00
|
|
|
bn_len = (degree + 7) / 8;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_false(r_len > bn_len)
|
|
|
|
|| !TEST_false(s_len > bn_len))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
buf_len = 2 * bn_len;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(raw_buf = OPENSSL_zalloc(buf_len)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2015-10-27 18:51:37 +00:00
|
|
|
BN_bn2bin(sig_r, raw_buf + bn_len - r_len);
|
|
|
|
BN_bn2bin(sig_s, raw_buf + buf_len - s_len);
|
2015-01-22 03:40:55 +00:00
|
|
|
|
|
|
|
/* Modify a single byte in the buffer. */
|
|
|
|
offset = raw_buf[10] % buf_len;
|
|
|
|
dirt = raw_buf[11] ? raw_buf[11] : 1;
|
|
|
|
raw_buf[offset] ^= dirt;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
/* Now read the BIGNUMs back in from raw_buf. */
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(modified_sig = ECDSA_SIG_new()))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(modified_r = BN_bin2bn(raw_buf, bn_len, NULL))
|
|
|
|
|| !TEST_ptr(modified_s = BN_bin2bn(raw_buf + bn_len,
|
2018-10-07 21:23:44 +00:00
|
|
|
bn_len, NULL))
|
2017-04-18 18:34:43 +00:00
|
|
|
|| !TEST_true(ECDSA_SIG_set0(modified_sig,
|
|
|
|
modified_r, modified_s))) {
|
2016-06-09 21:09:48 +00:00
|
|
|
BN_free(modified_r);
|
|
|
|
BN_free(modified_s);
|
|
|
|
goto builtin_err;
|
|
|
|
}
|
2015-01-22 03:40:55 +00:00
|
|
|
sig_ptr2 = signature;
|
2016-06-09 21:09:48 +00:00
|
|
|
sig_len = i2d_ECDSA_SIG(modified_sig, &sig_ptr2);
|
2018-10-07 21:14:08 +00:00
|
|
|
if (!TEST_false(ECDSA_verify(0, digest, SHA512_DIGEST_LENGTH,
|
|
|
|
signature, sig_len, eckey)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2017-04-18 18:34:43 +00:00
|
|
|
|
|
|
|
/* Sanity check: undo the modification and verify signature. */
|
2015-01-22 03:40:55 +00:00
|
|
|
raw_buf[offset] ^= dirt;
|
2017-04-18 18:34:43 +00:00
|
|
|
if (!TEST_ptr(unmodified_r = BN_bin2bn(raw_buf, bn_len, NULL))
|
|
|
|
|| !TEST_ptr(unmodified_s = BN_bin2bn(raw_buf + bn_len,
|
2018-10-07 21:23:44 +00:00
|
|
|
bn_len, NULL))
|
2017-04-18 18:34:43 +00:00
|
|
|
|| !TEST_true(ECDSA_SIG_set0(modified_sig, unmodified_r,
|
|
|
|
unmodified_s))) {
|
2016-06-09 21:09:48 +00:00
|
|
|
BN_free(unmodified_r);
|
|
|
|
BN_free(unmodified_s);
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
2016-06-09 21:09:48 +00:00
|
|
|
}
|
2015-01-22 03:40:55 +00:00
|
|
|
|
|
|
|
sig_ptr2 = signature;
|
2016-06-09 21:09:48 +00:00
|
|
|
sig_len = i2d_ECDSA_SIG(modified_sig, &sig_ptr2);
|
2018-10-07 21:14:08 +00:00
|
|
|
if (!TEST_true(ECDSA_verify(0, digest, SHA512_DIGEST_LENGTH,
|
|
|
|
signature, sig_len, eckey)))
|
2015-01-22 03:40:55 +00:00
|
|
|
goto builtin_err;
|
|
|
|
|
|
|
|
/* cleanup */
|
|
|
|
ERR_clear_error();
|
|
|
|
OPENSSL_free(signature);
|
|
|
|
signature = NULL;
|
|
|
|
EC_KEY_free(eckey);
|
|
|
|
eckey = NULL;
|
|
|
|
EC_KEY_free(wrong_eckey);
|
|
|
|
wrong_eckey = NULL;
|
|
|
|
ECDSA_SIG_free(ecdsa_sig);
|
|
|
|
ecdsa_sig = NULL;
|
2016-06-09 21:09:48 +00:00
|
|
|
ECDSA_SIG_free(modified_sig);
|
|
|
|
modified_sig = NULL;
|
2015-01-22 03:40:55 +00:00
|
|
|
OPENSSL_free(raw_buf);
|
|
|
|
raw_buf = NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
ret = 1;
|
|
|
|
builtin_err:
|
2015-03-25 22:35:24 +00:00
|
|
|
EC_KEY_free(eckey);
|
|
|
|
EC_KEY_free(wrong_eckey);
|
2015-05-01 18:37:16 +00:00
|
|
|
ECDSA_SIG_free(ecdsa_sig);
|
2016-06-09 21:09:48 +00:00
|
|
|
ECDSA_SIG_free(modified_sig);
|
2015-05-01 14:02:07 +00:00
|
|
|
OPENSSL_free(signature);
|
|
|
|
OPENSSL_free(raw_buf);
|
|
|
|
OPENSSL_free(curves);
|
2015-01-22 03:40:55 +00:00
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
2017-06-30 18:55:47 +00:00
|
|
|
#endif
|
2002-02-13 18:21:51 +00:00
|
|
|
|
2017-07-18 01:48:27 +00:00
|
|
|
int setup_tests(void)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
2017-06-21 23:35:08 +00:00
|
|
|
#ifdef OPENSSL_NO_EC
|
|
|
|
TEST_note("Elliptic curves are disabled.");
|
|
|
|
#else
|
2017-04-18 18:34:43 +00:00
|
|
|
ADD_TEST(x9_62_tests);
|
|
|
|
ADD_TEST(test_builtin);
|
2017-06-21 23:35:08 +00:00
|
|
|
#endif
|
2017-07-18 01:48:27 +00:00
|
|
|
return 1;
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|