1e1051a39Sopenharmony_ci/* 2e1051a39Sopenharmony_ci * Copyright 1995-2023 The OpenSSL Project Authors. All Rights Reserved. 3e1051a39Sopenharmony_ci * 4e1051a39Sopenharmony_ci * Licensed under the Apache License 2.0 (the "License"). You may not use 5e1051a39Sopenharmony_ci * this file except in compliance with the License. You can obtain a copy 6e1051a39Sopenharmony_ci * in the file LICENSE in the source distribution or at 7e1051a39Sopenharmony_ci * https://www.openssl.org/source/license.html 8e1051a39Sopenharmony_ci */ 9e1051a39Sopenharmony_ci 10e1051a39Sopenharmony_ci/* 11e1051a39Sopenharmony_ci * DSA low level APIs are deprecated for public use, but still ok for 12e1051a39Sopenharmony_ci * internal use. 13e1051a39Sopenharmony_ci */ 14e1051a39Sopenharmony_ci#include "internal/deprecated.h" 15e1051a39Sopenharmony_ci 16e1051a39Sopenharmony_ci#include <stdio.h> 17e1051a39Sopenharmony_ci#include <stdlib.h> 18e1051a39Sopenharmony_ci#include <string.h> 19e1051a39Sopenharmony_ci#include <sys/types.h> 20e1051a39Sopenharmony_ci#include <sys/stat.h> 21e1051a39Sopenharmony_ci 22e1051a39Sopenharmony_ci#include <openssl/crypto.h> 23e1051a39Sopenharmony_ci#include <openssl/rand.h> 24e1051a39Sopenharmony_ci#include <openssl/bn.h> 25e1051a39Sopenharmony_ci#include <openssl/dsa.h> 26e1051a39Sopenharmony_ci#include <openssl/evp.h> 27e1051a39Sopenharmony_ci#include <openssl/core_names.h> 28e1051a39Sopenharmony_ci 29e1051a39Sopenharmony_ci#include "testutil.h" 30e1051a39Sopenharmony_ci#include "internal/nelem.h" 31e1051a39Sopenharmony_ci 32e1051a39Sopenharmony_ci#ifndef OPENSSL_NO_DSA 33e1051a39Sopenharmony_cistatic int dsa_cb(int p, int n, BN_GENCB *arg); 34e1051a39Sopenharmony_ci 35e1051a39Sopenharmony_cistatic unsigned char out_p[] = { 36e1051a39Sopenharmony_ci 0x8d, 0xf2, 0xa4, 0x94, 0x49, 0x22, 0x76, 0xaa, 37e1051a39Sopenharmony_ci 0x3d, 0x25, 0x75, 0x9b, 0xb0, 0x68, 0x69, 0xcb, 38e1051a39Sopenharmony_ci 0xea, 0xc0, 0xd8, 0x3a, 0xfb, 0x8d, 0x0c, 0xf7, 39e1051a39Sopenharmony_ci 0xcb, 0xb8, 0x32, 0x4f, 0x0d, 0x78, 0x82, 0xe5, 40e1051a39Sopenharmony_ci 0xd0, 0x76, 0x2f, 0xc5, 0xb7, 0x21, 0x0e, 0xaf, 41e1051a39Sopenharmony_ci 0xc2, 0xe9, 0xad, 0xac, 0x32, 0xab, 0x7a, 0xac, 42e1051a39Sopenharmony_ci 0x49, 0x69, 0x3d, 0xfb, 0xf8, 0x37, 0x24, 0xc2, 43e1051a39Sopenharmony_ci 0xec, 0x07, 0x36, 0xee, 0x31, 0xc8, 0x02, 0x91, 44e1051a39Sopenharmony_ci}; 45e1051a39Sopenharmony_cistatic unsigned char out_q[] = { 46e1051a39Sopenharmony_ci 0xc7, 0x73, 0x21, 0x8c, 0x73, 0x7e, 0xc8, 0xee, 47e1051a39Sopenharmony_ci 0x99, 0x3b, 0x4f, 0x2d, 0xed, 0x30, 0xf4, 0x8e, 48e1051a39Sopenharmony_ci 0xda, 0xce, 0x91, 0x5f, 49e1051a39Sopenharmony_ci}; 50e1051a39Sopenharmony_cistatic unsigned char out_g[] = { 51e1051a39Sopenharmony_ci 0x62, 0x6d, 0x02, 0x78, 0x39, 0xea, 0x0a, 0x13, 52e1051a39Sopenharmony_ci 0x41, 0x31, 0x63, 0xa5, 0x5b, 0x4c, 0xb5, 0x00, 53e1051a39Sopenharmony_ci 0x29, 0x9d, 0x55, 0x22, 0x95, 0x6c, 0xef, 0xcb, 54e1051a39Sopenharmony_ci 0x3b, 0xff, 0x10, 0xf3, 0x99, 0xce, 0x2c, 0x2e, 55e1051a39Sopenharmony_ci 0x71, 0xcb, 0x9d, 0xe5, 0xfa, 0x24, 0xba, 0xbf, 56e1051a39Sopenharmony_ci 0x58, 0xe5, 0xb7, 0x95, 0x21, 0x92, 0x5c, 0x9c, 57e1051a39Sopenharmony_ci 0xc4, 0x2e, 0x9f, 0x6f, 0x46, 0x4b, 0x08, 0x8c, 58e1051a39Sopenharmony_ci 0xc5, 0x72, 0xaf, 0x53, 0xe6, 0xd7, 0x88, 0x02, 59e1051a39Sopenharmony_ci}; 60e1051a39Sopenharmony_ci 61e1051a39Sopenharmony_cistatic int dsa_test(void) 62e1051a39Sopenharmony_ci{ 63e1051a39Sopenharmony_ci BN_GENCB *cb; 64e1051a39Sopenharmony_ci DSA *dsa = NULL; 65e1051a39Sopenharmony_ci int counter, ret = 0, i, j; 66e1051a39Sopenharmony_ci unsigned char buf[256]; 67e1051a39Sopenharmony_ci unsigned long h; 68e1051a39Sopenharmony_ci unsigned char sig[256]; 69e1051a39Sopenharmony_ci unsigned int siglen; 70e1051a39Sopenharmony_ci const BIGNUM *p = NULL, *q = NULL, *g = NULL; 71e1051a39Sopenharmony_ci /* 72e1051a39Sopenharmony_ci * seed, out_p, out_q, out_g are taken from the updated Appendix 5 to FIPS 73e1051a39Sopenharmony_ci * PUB 186 and also appear in Appendix 5 to FIPS PIB 186-1 74e1051a39Sopenharmony_ci */ 75e1051a39Sopenharmony_ci static unsigned char seed[20] = { 76e1051a39Sopenharmony_ci 0xd5, 0x01, 0x4e, 0x4b, 0x60, 0xef, 0x2b, 0xa8, 77e1051a39Sopenharmony_ci 0xb6, 0x21, 0x1b, 0x40, 0x62, 0xba, 0x32, 0x24, 78e1051a39Sopenharmony_ci 0xe0, 0x42, 0x7d, 0xd3, 79e1051a39Sopenharmony_ci }; 80e1051a39Sopenharmony_ci static const unsigned char str1[] = "12345678901234567890"; 81e1051a39Sopenharmony_ci 82e1051a39Sopenharmony_ci if (!TEST_ptr(cb = BN_GENCB_new())) 83e1051a39Sopenharmony_ci goto end; 84e1051a39Sopenharmony_ci 85e1051a39Sopenharmony_ci BN_GENCB_set(cb, dsa_cb, NULL); 86e1051a39Sopenharmony_ci if (!TEST_ptr(dsa = DSA_new()) 87e1051a39Sopenharmony_ci || !TEST_true(DSA_generate_parameters_ex(dsa, 512, seed, 20, 88e1051a39Sopenharmony_ci &counter, &h, cb))) 89e1051a39Sopenharmony_ci goto end; 90e1051a39Sopenharmony_ci 91e1051a39Sopenharmony_ci if (!TEST_int_eq(counter, 105)) 92e1051a39Sopenharmony_ci goto end; 93e1051a39Sopenharmony_ci if (!TEST_int_eq(h, 2)) 94e1051a39Sopenharmony_ci goto end; 95e1051a39Sopenharmony_ci 96e1051a39Sopenharmony_ci DSA_get0_pqg(dsa, &p, &q, &g); 97e1051a39Sopenharmony_ci i = BN_bn2bin(q, buf); 98e1051a39Sopenharmony_ci j = sizeof(out_q); 99e1051a39Sopenharmony_ci if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_q, i)) 100e1051a39Sopenharmony_ci goto end; 101e1051a39Sopenharmony_ci 102e1051a39Sopenharmony_ci i = BN_bn2bin(p, buf); 103e1051a39Sopenharmony_ci j = sizeof(out_p); 104e1051a39Sopenharmony_ci if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_p, i)) 105e1051a39Sopenharmony_ci goto end; 106e1051a39Sopenharmony_ci 107e1051a39Sopenharmony_ci i = BN_bn2bin(g, buf); 108e1051a39Sopenharmony_ci j = sizeof(out_g); 109e1051a39Sopenharmony_ci if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_g, i)) 110e1051a39Sopenharmony_ci goto end; 111e1051a39Sopenharmony_ci 112e1051a39Sopenharmony_ci if (!TEST_true(DSA_generate_key(dsa))) 113e1051a39Sopenharmony_ci goto end; 114e1051a39Sopenharmony_ci if (!TEST_true(DSA_sign(0, str1, 20, sig, &siglen, dsa))) 115e1051a39Sopenharmony_ci goto end; 116e1051a39Sopenharmony_ci if (TEST_int_gt(DSA_verify(0, str1, 20, sig, siglen, dsa), 0)) 117e1051a39Sopenharmony_ci ret = 1; 118e1051a39Sopenharmony_ci end: 119e1051a39Sopenharmony_ci DSA_free(dsa); 120e1051a39Sopenharmony_ci BN_GENCB_free(cb); 121e1051a39Sopenharmony_ci return ret; 122e1051a39Sopenharmony_ci} 123e1051a39Sopenharmony_ci 124e1051a39Sopenharmony_cistatic int dsa_cb(int p, int n, BN_GENCB *arg) 125e1051a39Sopenharmony_ci{ 126e1051a39Sopenharmony_ci static int ok = 0, num = 0; 127e1051a39Sopenharmony_ci 128e1051a39Sopenharmony_ci if (p == 0) 129e1051a39Sopenharmony_ci num++; 130e1051a39Sopenharmony_ci if (p == 2) 131e1051a39Sopenharmony_ci ok++; 132e1051a39Sopenharmony_ci 133e1051a39Sopenharmony_ci if (!ok && (p == 0) && (num > 1)) { 134e1051a39Sopenharmony_ci TEST_error("dsa_cb error"); 135e1051a39Sopenharmony_ci return 0; 136e1051a39Sopenharmony_ci } 137e1051a39Sopenharmony_ci return 1; 138e1051a39Sopenharmony_ci} 139e1051a39Sopenharmony_ci 140e1051a39Sopenharmony_ci# define P 0 141e1051a39Sopenharmony_ci# define Q 1 142e1051a39Sopenharmony_ci# define G 2 143e1051a39Sopenharmony_ci# define SEED 3 144e1051a39Sopenharmony_ci# define PCOUNT 4 145e1051a39Sopenharmony_ci# define GINDEX 5 146e1051a39Sopenharmony_ci# define HCOUNT 6 147e1051a39Sopenharmony_ci# define GROUP 7 148e1051a39Sopenharmony_ci 149e1051a39Sopenharmony_cistatic int dsa_keygen_test(void) 150e1051a39Sopenharmony_ci{ 151e1051a39Sopenharmony_ci int ret = 0; 152e1051a39Sopenharmony_ci EVP_PKEY *param_key = NULL, *key = NULL; 153e1051a39Sopenharmony_ci EVP_PKEY_CTX *pg_ctx = NULL, *kg_ctx = NULL; 154e1051a39Sopenharmony_ci BIGNUM *p_in = NULL, *q_in = NULL, *g_in = NULL; 155e1051a39Sopenharmony_ci BIGNUM *p_out = NULL, *q_out = NULL, *g_out = NULL; 156e1051a39Sopenharmony_ci int gindex_out = 0, pcount_out = 0, hcount_out = 0; 157e1051a39Sopenharmony_ci unsigned char seed_out[32]; 158e1051a39Sopenharmony_ci char group_out[32]; 159e1051a39Sopenharmony_ci size_t len = 0; 160e1051a39Sopenharmony_ci const OSSL_PARAM *settables = NULL; 161e1051a39Sopenharmony_ci static const unsigned char seed_data[] = { 162e1051a39Sopenharmony_ci 0xa6, 0xf5, 0x28, 0x8c, 0x50, 0x77, 0xa5, 0x68, 163e1051a39Sopenharmony_ci 0x6d, 0x3a, 0xf5, 0xf1, 0xc6, 0x4c, 0xdc, 0x35, 164e1051a39Sopenharmony_ci 0x95, 0x26, 0x3f, 0x03, 0xdc, 0x00, 0x3f, 0x44, 165e1051a39Sopenharmony_ci 0x7b, 0x2a, 0xc7, 0x29 166e1051a39Sopenharmony_ci }; 167e1051a39Sopenharmony_ci static const unsigned char expected_p[]= { 168e1051a39Sopenharmony_ci 0xdb, 0x47, 0x07, 0xaf, 0xf0, 0x06, 0x49, 0x55, 169e1051a39Sopenharmony_ci 0xc9, 0xbb, 0x09, 0x41, 0xb8, 0xdb, 0x1f, 0xbc, 170e1051a39Sopenharmony_ci 0xa8, 0xed, 0x12, 0x06, 0x7f, 0x88, 0x49, 0xb8, 171e1051a39Sopenharmony_ci 0xc9, 0x12, 0x87, 0x21, 0xbb, 0x08, 0x6c, 0xbd, 172e1051a39Sopenharmony_ci 0xf1, 0x89, 0xef, 0x84, 0xd9, 0x7a, 0x93, 0xe8, 173e1051a39Sopenharmony_ci 0x45, 0x40, 0x81, 0xec, 0x37, 0x27, 0x1a, 0xa4, 174e1051a39Sopenharmony_ci 0x22, 0x51, 0x99, 0xf0, 0xde, 0x04, 0xdb, 0xea, 175e1051a39Sopenharmony_ci 0xa1, 0xf9, 0x37, 0x83, 0x80, 0x96, 0x36, 0x53, 176e1051a39Sopenharmony_ci 0xf6, 0xae, 0x14, 0x73, 0x33, 0x0f, 0xdf, 0x0b, 177e1051a39Sopenharmony_ci 0xf9, 0x2f, 0x08, 0x46, 0x31, 0xf9, 0x66, 0xcd, 178e1051a39Sopenharmony_ci 0x5a, 0xeb, 0x6c, 0xf3, 0xbb, 0x74, 0xf3, 0x88, 179e1051a39Sopenharmony_ci 0xf0, 0x31, 0x5c, 0xa4, 0xc8, 0x0f, 0x86, 0xf3, 180e1051a39Sopenharmony_ci 0x0f, 0x9f, 0xc0, 0x8c, 0x57, 0xe4, 0x7f, 0x95, 181e1051a39Sopenharmony_ci 0xb3, 0x62, 0xc8, 0x4e, 0xae, 0xf3, 0xd8, 0x14, 182e1051a39Sopenharmony_ci 0xcc, 0x47, 0xc2, 0x4b, 0x4f, 0xef, 0xaf, 0xcd, 183e1051a39Sopenharmony_ci 0xcf, 0xb2, 0xbb, 0xe8, 0xbe, 0x08, 0xca, 0x15, 184e1051a39Sopenharmony_ci 0x90, 0x59, 0x35, 0xef, 0x35, 0x1c, 0xfe, 0xeb, 185e1051a39Sopenharmony_ci 0x33, 0x2e, 0x25, 0x22, 0x57, 0x9c, 0x55, 0x23, 186e1051a39Sopenharmony_ci 0x0c, 0x6f, 0xed, 0x7c, 0xb6, 0xc7, 0x36, 0x0b, 187e1051a39Sopenharmony_ci 0xcb, 0x2b, 0x6a, 0x21, 0xa1, 0x1d, 0x55, 0x77, 188e1051a39Sopenharmony_ci 0xd9, 0x91, 0xcd, 0xc1, 0xcd, 0x3d, 0x82, 0x16, 189e1051a39Sopenharmony_ci 0x9c, 0xa0, 0x13, 0xa5, 0x83, 0x55, 0x3a, 0x73, 190e1051a39Sopenharmony_ci 0x7e, 0x2c, 0x44, 0x3e, 0x70, 0x2e, 0x50, 0x91, 191e1051a39Sopenharmony_ci 0x6e, 0xca, 0x3b, 0xef, 0xff, 0x85, 0x35, 0x70, 192e1051a39Sopenharmony_ci 0xff, 0x61, 0x0c, 0xb1, 0xb2, 0xb7, 0x94, 0x6f, 193e1051a39Sopenharmony_ci 0x65, 0xa4, 0x57, 0x62, 0xef, 0x21, 0x83, 0x0f, 194e1051a39Sopenharmony_ci 0x3e, 0x71, 0xae, 0x7d, 0xe4, 0xad, 0xfb, 0xe3, 195e1051a39Sopenharmony_ci 0xdd, 0xd6, 0x03, 0xda, 0x9a, 0xd8, 0x8f, 0x2d, 196e1051a39Sopenharmony_ci 0xbb, 0x90, 0x87, 0xf8, 0xdb, 0xdc, 0xec, 0x71, 197e1051a39Sopenharmony_ci 0xf2, 0xdb, 0x0b, 0x8e, 0xfc, 0x1a, 0x7e, 0x79, 198e1051a39Sopenharmony_ci 0xb1, 0x1b, 0x0d, 0xfc, 0x70, 0xec, 0x85, 0xc2, 199e1051a39Sopenharmony_ci 0xc5, 0xba, 0xb9, 0x69, 0x3f, 0x88, 0xbc, 0xcb 200e1051a39Sopenharmony_ci }; 201e1051a39Sopenharmony_ci static const unsigned char expected_q[]= { 202e1051a39Sopenharmony_ci 0x99, 0xb6, 0xa0, 0xee, 0xb3, 0xa6, 0x99, 0x1a, 203e1051a39Sopenharmony_ci 0xb6, 0x67, 0x8d, 0xc1, 0x2b, 0x9b, 0xce, 0x2b, 204e1051a39Sopenharmony_ci 0x01, 0x72, 0x5a, 0x65, 0x76, 0x3d, 0x93, 0x69, 205e1051a39Sopenharmony_ci 0xe2, 0x56, 0xae, 0xd7 206e1051a39Sopenharmony_ci }; 207e1051a39Sopenharmony_ci static const unsigned char expected_g[]= { 208e1051a39Sopenharmony_ci 0x63, 0xf8, 0xb6, 0xee, 0x2a, 0x27, 0xaf, 0x4f, 209e1051a39Sopenharmony_ci 0x4c, 0xf6, 0x08, 0x28, 0x87, 0x4a, 0xe7, 0x1f, 210e1051a39Sopenharmony_ci 0x45, 0x46, 0x27, 0x52, 0x3b, 0x7f, 0x6f, 0xd2, 211e1051a39Sopenharmony_ci 0x29, 0xcb, 0xe8, 0x11, 0x19, 0x25, 0x35, 0x76, 212e1051a39Sopenharmony_ci 0x99, 0xcb, 0x4f, 0x1b, 0xe0, 0xed, 0x32, 0x9e, 213e1051a39Sopenharmony_ci 0x05, 0xb5, 0xbe, 0xd7, 0xf6, 0x5a, 0xb2, 0xf6, 214e1051a39Sopenharmony_ci 0x0e, 0x0c, 0x7e, 0xf5, 0xe1, 0x05, 0xfe, 0xda, 215e1051a39Sopenharmony_ci 0xaf, 0x0f, 0x27, 0x1e, 0x40, 0x2a, 0xf7, 0xa7, 216e1051a39Sopenharmony_ci 0x23, 0x49, 0x2c, 0xd9, 0x1b, 0x0a, 0xbe, 0xff, 217e1051a39Sopenharmony_ci 0xc7, 0x7c, 0x7d, 0x60, 0xca, 0xa3, 0x19, 0xc3, 218e1051a39Sopenharmony_ci 0xb7, 0xe4, 0x43, 0xb0, 0xf5, 0x75, 0x44, 0x90, 219e1051a39Sopenharmony_ci 0x46, 0x47, 0xb1, 0xa6, 0x48, 0x0b, 0x21, 0x8e, 220e1051a39Sopenharmony_ci 0xee, 0x75, 0xe6, 0x3d, 0xa7, 0xd3, 0x7b, 0x31, 221e1051a39Sopenharmony_ci 0xd1, 0xd2, 0x9d, 0xe2, 0x8a, 0xfc, 0x57, 0xfd, 222e1051a39Sopenharmony_ci 0x8a, 0x10, 0x31, 0xeb, 0x87, 0x36, 0x3f, 0x65, 223e1051a39Sopenharmony_ci 0x72, 0x23, 0x2c, 0xd3, 0xd6, 0x17, 0xa5, 0x62, 224e1051a39Sopenharmony_ci 0x58, 0x65, 0x57, 0x6a, 0xd4, 0xa8, 0xfe, 0xec, 225e1051a39Sopenharmony_ci 0x57, 0x76, 0x0c, 0xb1, 0x4c, 0x93, 0xed, 0xb0, 226e1051a39Sopenharmony_ci 0xb4, 0xf9, 0x45, 0xb3, 0x3e, 0xdd, 0x47, 0xf1, 227e1051a39Sopenharmony_ci 0xfb, 0x7d, 0x25, 0x79, 0x3d, 0xfc, 0xa7, 0x39, 228e1051a39Sopenharmony_ci 0x90, 0x68, 0x6a, 0x6b, 0xae, 0xf2, 0x6e, 0x64, 229e1051a39Sopenharmony_ci 0x8c, 0xfb, 0xb8, 0xdd, 0x76, 0x4e, 0x4a, 0x69, 230e1051a39Sopenharmony_ci 0x8c, 0x97, 0x15, 0x77, 0xb2, 0x67, 0xdc, 0xeb, 231e1051a39Sopenharmony_ci 0x4a, 0x40, 0x6b, 0xb9, 0x47, 0x8f, 0xa6, 0xab, 232e1051a39Sopenharmony_ci 0x6e, 0x98, 0xc0, 0x97, 0x9a, 0x0c, 0xea, 0x00, 233e1051a39Sopenharmony_ci 0xfd, 0x56, 0x1a, 0x74, 0x9a, 0x32, 0x6b, 0xfe, 234e1051a39Sopenharmony_ci 0xbd, 0xdf, 0x6c, 0x82, 0x54, 0x53, 0x4d, 0x70, 235e1051a39Sopenharmony_ci 0x65, 0xe3, 0x8b, 0x37, 0xb8, 0xe4, 0x70, 0x08, 236e1051a39Sopenharmony_ci 0xb7, 0x3b, 0x30, 0x27, 0xaf, 0x1c, 0x77, 0xf3, 237e1051a39Sopenharmony_ci 0x62, 0xd4, 0x9a, 0x59, 0xba, 0xd1, 0x6e, 0x89, 238e1051a39Sopenharmony_ci 0x5c, 0x34, 0x9a, 0xa1, 0xb7, 0x4f, 0x7d, 0x8c, 239e1051a39Sopenharmony_ci 0xdc, 0xbc, 0x74, 0x25, 0x5e, 0xbf, 0x77, 0x46 240e1051a39Sopenharmony_ci }; 241e1051a39Sopenharmony_ci int expected_c = 1316; 242e1051a39Sopenharmony_ci int expected_h = 2; 243e1051a39Sopenharmony_ci 244e1051a39Sopenharmony_ci if (!TEST_ptr(p_in = BN_bin2bn(expected_p, sizeof(expected_p), NULL)) 245e1051a39Sopenharmony_ci || !TEST_ptr(q_in = BN_bin2bn(expected_q, sizeof(expected_q), NULL)) 246e1051a39Sopenharmony_ci || !TEST_ptr(g_in = BN_bin2bn(expected_g, sizeof(expected_g), NULL))) 247e1051a39Sopenharmony_ci goto end; 248e1051a39Sopenharmony_ci if (!TEST_ptr(pg_ctx = EVP_PKEY_CTX_new_from_name(NULL, "DSA", NULL)) 249e1051a39Sopenharmony_ci || !TEST_int_gt(EVP_PKEY_paramgen_init(pg_ctx), 0) 250e1051a39Sopenharmony_ci || !TEST_ptr_null(EVP_PKEY_CTX_gettable_params(pg_ctx)) 251e1051a39Sopenharmony_ci || !TEST_ptr(settables = EVP_PKEY_CTX_settable_params(pg_ctx)) 252e1051a39Sopenharmony_ci || !TEST_ptr(OSSL_PARAM_locate_const(settables, 253e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_FFC_PBITS)) 254e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_CTX_set_dsa_paramgen_type(pg_ctx, "fips186_4")) 255e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_CTX_set_dsa_paramgen_bits(pg_ctx, 2048)) 256e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_CTX_set_dsa_paramgen_q_bits(pg_ctx, 224)) 257e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_CTX_set_dsa_paramgen_seed(pg_ctx, seed_data, 258e1051a39Sopenharmony_ci sizeof(seed_data))) 259e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_CTX_set_dsa_paramgen_md_props(pg_ctx, "SHA256", 260e1051a39Sopenharmony_ci "")) 261e1051a39Sopenharmony_ci || !TEST_int_gt(EVP_PKEY_generate(pg_ctx, ¶m_key), 0) 262e1051a39Sopenharmony_ci || !TEST_ptr(kg_ctx = EVP_PKEY_CTX_new_from_pkey(NULL, param_key, NULL)) 263e1051a39Sopenharmony_ci || !TEST_int_gt(EVP_PKEY_keygen_init(kg_ctx), 0) 264e1051a39Sopenharmony_ci || !TEST_int_gt(EVP_PKEY_generate(kg_ctx, &key), 0)) 265e1051a39Sopenharmony_ci goto end; 266e1051a39Sopenharmony_ci 267e1051a39Sopenharmony_ci if (!TEST_true(EVP_PKEY_get_bn_param(key, OSSL_PKEY_PARAM_FFC_P, &p_out)) 268e1051a39Sopenharmony_ci || !TEST_BN_eq(p_in, p_out) 269e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_get_bn_param(key, OSSL_PKEY_PARAM_FFC_Q, &q_out)) 270e1051a39Sopenharmony_ci || !TEST_BN_eq(q_in, q_out) 271e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_get_bn_param(key, OSSL_PKEY_PARAM_FFC_G, &g_out)) 272e1051a39Sopenharmony_ci || !TEST_BN_eq(g_in, g_out) 273e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_get_octet_string_param( 274e1051a39Sopenharmony_ci key, OSSL_PKEY_PARAM_FFC_SEED, seed_out, 275e1051a39Sopenharmony_ci sizeof(seed_out), &len)) 276e1051a39Sopenharmony_ci || !TEST_mem_eq(seed_out, len, seed_data, sizeof(seed_data)) 277e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_get_int_param(key, OSSL_PKEY_PARAM_FFC_GINDEX, 278e1051a39Sopenharmony_ci &gindex_out)) 279e1051a39Sopenharmony_ci || !TEST_int_eq(gindex_out, -1) 280e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_get_int_param(key, OSSL_PKEY_PARAM_FFC_H, 281e1051a39Sopenharmony_ci &hcount_out)) 282e1051a39Sopenharmony_ci || !TEST_int_eq(hcount_out, expected_h) 283e1051a39Sopenharmony_ci || !TEST_true(EVP_PKEY_get_int_param(key, 284e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_FFC_PCOUNTER, 285e1051a39Sopenharmony_ci &pcount_out)) 286e1051a39Sopenharmony_ci || !TEST_int_eq(pcount_out, expected_c) 287e1051a39Sopenharmony_ci || !TEST_false(EVP_PKEY_get_utf8_string_param(key, 288e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_GROUP_NAME, 289e1051a39Sopenharmony_ci group_out, 290e1051a39Sopenharmony_ci sizeof(group_out), &len))) 291e1051a39Sopenharmony_ci goto end; 292e1051a39Sopenharmony_ci ret = 1; 293e1051a39Sopenharmony_ciend: 294e1051a39Sopenharmony_ci BN_free(p_in); 295e1051a39Sopenharmony_ci BN_free(q_in); 296e1051a39Sopenharmony_ci BN_free(g_in); 297e1051a39Sopenharmony_ci BN_free(p_out); 298e1051a39Sopenharmony_ci BN_free(q_out); 299e1051a39Sopenharmony_ci BN_free(g_out); 300e1051a39Sopenharmony_ci EVP_PKEY_free(param_key); 301e1051a39Sopenharmony_ci EVP_PKEY_free(key); 302e1051a39Sopenharmony_ci EVP_PKEY_CTX_free(kg_ctx); 303e1051a39Sopenharmony_ci EVP_PKEY_CTX_free(pg_ctx); 304e1051a39Sopenharmony_ci return ret; 305e1051a39Sopenharmony_ci} 306e1051a39Sopenharmony_ci 307e1051a39Sopenharmony_cistatic int test_dsa_default_paramgen_validate(int i) 308e1051a39Sopenharmony_ci{ 309e1051a39Sopenharmony_ci int ret; 310e1051a39Sopenharmony_ci EVP_PKEY_CTX *gen_ctx = NULL; 311e1051a39Sopenharmony_ci EVP_PKEY_CTX *check_ctx = NULL; 312e1051a39Sopenharmony_ci EVP_PKEY *params = NULL; 313e1051a39Sopenharmony_ci 314e1051a39Sopenharmony_ci ret = TEST_ptr(gen_ctx = EVP_PKEY_CTX_new_from_name(NULL, "DSA", NULL)) 315e1051a39Sopenharmony_ci && TEST_int_gt(EVP_PKEY_paramgen_init(gen_ctx), 0) 316e1051a39Sopenharmony_ci && (i == 0 317e1051a39Sopenharmony_ci || TEST_true(EVP_PKEY_CTX_set_dsa_paramgen_bits(gen_ctx, 512))) 318e1051a39Sopenharmony_ci && TEST_int_gt(EVP_PKEY_generate(gen_ctx, ¶ms), 0) 319e1051a39Sopenharmony_ci && TEST_ptr(check_ctx = EVP_PKEY_CTX_new_from_pkey(NULL, params, NULL)) 320e1051a39Sopenharmony_ci && TEST_int_gt(EVP_PKEY_param_check(check_ctx), 0); 321e1051a39Sopenharmony_ci 322e1051a39Sopenharmony_ci EVP_PKEY_free(params); 323e1051a39Sopenharmony_ci EVP_PKEY_CTX_free(check_ctx); 324e1051a39Sopenharmony_ci EVP_PKEY_CTX_free(gen_ctx); 325e1051a39Sopenharmony_ci return ret; 326e1051a39Sopenharmony_ci} 327e1051a39Sopenharmony_ci 328e1051a39Sopenharmony_cistatic int test_dsa_sig_infinite_loop(void) 329e1051a39Sopenharmony_ci{ 330e1051a39Sopenharmony_ci int ret = 0; 331e1051a39Sopenharmony_ci DSA *dsa = NULL; 332e1051a39Sopenharmony_ci BIGNUM *p = NULL, *q = NULL, *g = NULL, *priv = NULL, *pub = NULL, *priv2 = NULL; 333e1051a39Sopenharmony_ci BIGNUM *badq = NULL, *badpriv = NULL; 334e1051a39Sopenharmony_ci const unsigned char msg[] = { 0x00 }; 335e1051a39Sopenharmony_ci unsigned int signature_len0; 336e1051a39Sopenharmony_ci unsigned int signature_len; 337e1051a39Sopenharmony_ci unsigned char signature[64]; 338e1051a39Sopenharmony_ci 339e1051a39Sopenharmony_ci static unsigned char out_priv[] = { 340e1051a39Sopenharmony_ci 0x17, 0x00, 0xb2, 0x8d, 0xcb, 0x24, 0xc9, 0x98, 341e1051a39Sopenharmony_ci 0xd0, 0x7f, 0x1f, 0x83, 0x1a, 0xa1, 0xc4, 0xa4, 342e1051a39Sopenharmony_ci 0xf8, 0x0f, 0x7f, 0x12 343e1051a39Sopenharmony_ci }; 344e1051a39Sopenharmony_ci static unsigned char out_pub[] = { 345e1051a39Sopenharmony_ci 0x04, 0x72, 0xee, 0x8d, 0xaa, 0x4d, 0x89, 0x60, 346e1051a39Sopenharmony_ci 0x0e, 0xb2, 0xd4, 0x38, 0x84, 0xa2, 0x2a, 0x60, 347e1051a39Sopenharmony_ci 0x5f, 0x67, 0xd7, 0x9e, 0x24, 0xdd, 0xe8, 0x50, 348e1051a39Sopenharmony_ci 0xf2, 0x23, 0x71, 0x55, 0x53, 0x94, 0x0d, 0x6b, 349e1051a39Sopenharmony_ci 0x2e, 0xcd, 0x30, 0xda, 0x6f, 0x1e, 0x2c, 0xcf, 350e1051a39Sopenharmony_ci 0x59, 0xbe, 0x05, 0x6c, 0x07, 0x0e, 0xc6, 0x38, 351e1051a39Sopenharmony_ci 0x05, 0xcb, 0x0c, 0x44, 0x0a, 0x08, 0x13, 0xb6, 352e1051a39Sopenharmony_ci 0x0f, 0x14, 0xde, 0x4a, 0xf6, 0xed, 0x4e, 0xc3 353e1051a39Sopenharmony_ci }; 354e1051a39Sopenharmony_ci if (!TEST_ptr(p = BN_bin2bn(out_p, sizeof(out_p), NULL)) 355e1051a39Sopenharmony_ci || !TEST_ptr(q = BN_bin2bn(out_q, sizeof(out_q), NULL)) 356e1051a39Sopenharmony_ci || !TEST_ptr(g = BN_bin2bn(out_g, sizeof(out_g), NULL)) 357e1051a39Sopenharmony_ci || !TEST_ptr(pub = BN_bin2bn(out_pub, sizeof(out_pub), NULL)) 358e1051a39Sopenharmony_ci || !TEST_ptr(priv = BN_bin2bn(out_priv, sizeof(out_priv), NULL)) 359e1051a39Sopenharmony_ci || !TEST_ptr(priv2 = BN_dup(priv)) 360e1051a39Sopenharmony_ci || !TEST_ptr(badq = BN_new()) 361e1051a39Sopenharmony_ci || !TEST_true(BN_set_word(badq, 1)) 362e1051a39Sopenharmony_ci || !TEST_ptr(badpriv = BN_new()) 363e1051a39Sopenharmony_ci || !TEST_true(BN_set_word(badpriv, 0)) 364e1051a39Sopenharmony_ci || !TEST_ptr(dsa = DSA_new())) 365e1051a39Sopenharmony_ci goto err; 366e1051a39Sopenharmony_ci 367e1051a39Sopenharmony_ci if (!TEST_true(DSA_set0_pqg(dsa, p, q, g))) 368e1051a39Sopenharmony_ci goto err; 369e1051a39Sopenharmony_ci p = q = g = NULL; 370e1051a39Sopenharmony_ci 371e1051a39Sopenharmony_ci if (!TEST_true(DSA_set0_key(dsa, pub, priv))) 372e1051a39Sopenharmony_ci goto err; 373e1051a39Sopenharmony_ci pub = priv = NULL; 374e1051a39Sopenharmony_ci 375e1051a39Sopenharmony_ci if (!TEST_int_le(DSA_size(dsa), sizeof(signature))) 376e1051a39Sopenharmony_ci goto err; 377e1051a39Sopenharmony_ci 378e1051a39Sopenharmony_ci /* Test passing signature as NULL */ 379e1051a39Sopenharmony_ci if (!TEST_true(DSA_sign(0, msg, sizeof(msg), NULL, &signature_len0, dsa)) 380e1051a39Sopenharmony_ci || !TEST_int_gt(signature_len0, 0)) 381e1051a39Sopenharmony_ci goto err; 382e1051a39Sopenharmony_ci 383e1051a39Sopenharmony_ci if (!TEST_true(DSA_sign(0, msg, sizeof(msg), signature, &signature_len, dsa)) 384e1051a39Sopenharmony_ci || !TEST_int_gt(signature_len, 0) 385e1051a39Sopenharmony_ci || !TEST_int_le(signature_len, signature_len0)) 386e1051a39Sopenharmony_ci goto err; 387e1051a39Sopenharmony_ci 388e1051a39Sopenharmony_ci /* Test using a private key of zero fails - this causes an infinite loop without the retry test */ 389e1051a39Sopenharmony_ci if (!TEST_true(DSA_set0_key(dsa, NULL, badpriv))) 390e1051a39Sopenharmony_ci goto err; 391e1051a39Sopenharmony_ci badpriv = NULL; 392e1051a39Sopenharmony_ci if (!TEST_false(DSA_sign(0, msg, sizeof(msg), signature, &signature_len, dsa))) 393e1051a39Sopenharmony_ci goto err; 394e1051a39Sopenharmony_ci 395e1051a39Sopenharmony_ci /* Restore private and set a bad q - this caused an infinite loop in the setup */ 396e1051a39Sopenharmony_ci if (!TEST_true(DSA_set0_key(dsa, NULL, priv2))) 397e1051a39Sopenharmony_ci goto err; 398e1051a39Sopenharmony_ci priv2 = NULL; 399e1051a39Sopenharmony_ci if (!TEST_true(DSA_set0_pqg(dsa, NULL, badq, NULL))) 400e1051a39Sopenharmony_ci goto err; 401e1051a39Sopenharmony_ci badq = NULL; 402e1051a39Sopenharmony_ci if (!TEST_false(DSA_sign(0, msg, sizeof(msg), signature, &signature_len, dsa))) 403e1051a39Sopenharmony_ci goto err; 404e1051a39Sopenharmony_ci 405e1051a39Sopenharmony_ci ret = 1; 406e1051a39Sopenharmony_cierr: 407e1051a39Sopenharmony_ci BN_free(badq); 408e1051a39Sopenharmony_ci BN_free(badpriv); 409e1051a39Sopenharmony_ci BN_free(pub); 410e1051a39Sopenharmony_ci BN_free(priv); 411e1051a39Sopenharmony_ci BN_free(priv2); 412e1051a39Sopenharmony_ci BN_free(g); 413e1051a39Sopenharmony_ci BN_free(q); 414e1051a39Sopenharmony_ci BN_free(p); 415e1051a39Sopenharmony_ci DSA_free(dsa); 416e1051a39Sopenharmony_ci return ret; 417e1051a39Sopenharmony_ci} 418e1051a39Sopenharmony_ci 419e1051a39Sopenharmony_cistatic int test_dsa_sig_neg_param(void) 420e1051a39Sopenharmony_ci{ 421e1051a39Sopenharmony_ci int ret = 0, setpqg = 0; 422e1051a39Sopenharmony_ci DSA *dsa = NULL; 423e1051a39Sopenharmony_ci BIGNUM *p = NULL, *q = NULL, *g = NULL, *priv = NULL, *pub = NULL; 424e1051a39Sopenharmony_ci const unsigned char msg[] = { 0x00 }; 425e1051a39Sopenharmony_ci unsigned int signature_len; 426e1051a39Sopenharmony_ci unsigned char signature[64]; 427e1051a39Sopenharmony_ci 428e1051a39Sopenharmony_ci static unsigned char out_priv[] = { 429e1051a39Sopenharmony_ci 0x17, 0x00, 0xb2, 0x8d, 0xcb, 0x24, 0xc9, 0x98, 430e1051a39Sopenharmony_ci 0xd0, 0x7f, 0x1f, 0x83, 0x1a, 0xa1, 0xc4, 0xa4, 431e1051a39Sopenharmony_ci 0xf8, 0x0f, 0x7f, 0x12 432e1051a39Sopenharmony_ci }; 433e1051a39Sopenharmony_ci static unsigned char out_pub[] = { 434e1051a39Sopenharmony_ci 0x04, 0x72, 0xee, 0x8d, 0xaa, 0x4d, 0x89, 0x60, 435e1051a39Sopenharmony_ci 0x0e, 0xb2, 0xd4, 0x38, 0x84, 0xa2, 0x2a, 0x60, 436e1051a39Sopenharmony_ci 0x5f, 0x67, 0xd7, 0x9e, 0x24, 0xdd, 0xe8, 0x50, 437e1051a39Sopenharmony_ci 0xf2, 0x23, 0x71, 0x55, 0x53, 0x94, 0x0d, 0x6b, 438e1051a39Sopenharmony_ci 0x2e, 0xcd, 0x30, 0xda, 0x6f, 0x1e, 0x2c, 0xcf, 439e1051a39Sopenharmony_ci 0x59, 0xbe, 0x05, 0x6c, 0x07, 0x0e, 0xc6, 0x38, 440e1051a39Sopenharmony_ci 0x05, 0xcb, 0x0c, 0x44, 0x0a, 0x08, 0x13, 0xb6, 441e1051a39Sopenharmony_ci 0x0f, 0x14, 0xde, 0x4a, 0xf6, 0xed, 0x4e, 0xc3 442e1051a39Sopenharmony_ci }; 443e1051a39Sopenharmony_ci if (!TEST_ptr(p = BN_bin2bn(out_p, sizeof(out_p), NULL)) 444e1051a39Sopenharmony_ci || !TEST_ptr(q = BN_bin2bn(out_q, sizeof(out_q), NULL)) 445e1051a39Sopenharmony_ci || !TEST_ptr(g = BN_bin2bn(out_g, sizeof(out_g), NULL)) 446e1051a39Sopenharmony_ci || !TEST_ptr(pub = BN_bin2bn(out_pub, sizeof(out_pub), NULL)) 447e1051a39Sopenharmony_ci || !TEST_ptr(priv = BN_bin2bn(out_priv, sizeof(out_priv), NULL)) 448e1051a39Sopenharmony_ci || !TEST_ptr(dsa = DSA_new())) 449e1051a39Sopenharmony_ci goto err; 450e1051a39Sopenharmony_ci 451e1051a39Sopenharmony_ci if (!TEST_true(DSA_set0_pqg(dsa, p, q, g))) 452e1051a39Sopenharmony_ci goto err; 453e1051a39Sopenharmony_ci setpqg = 1; 454e1051a39Sopenharmony_ci 455e1051a39Sopenharmony_ci if (!TEST_true(DSA_set0_key(dsa, pub, priv))) 456e1051a39Sopenharmony_ci goto err; 457e1051a39Sopenharmony_ci pub = priv = NULL; 458e1051a39Sopenharmony_ci 459e1051a39Sopenharmony_ci BN_set_negative(p, 1); 460e1051a39Sopenharmony_ci if (!TEST_false(DSA_sign(0, msg, sizeof(msg), signature, &signature_len, dsa))) 461e1051a39Sopenharmony_ci goto err; 462e1051a39Sopenharmony_ci 463e1051a39Sopenharmony_ci BN_set_negative(p, 0); 464e1051a39Sopenharmony_ci BN_set_negative(q, 1); 465e1051a39Sopenharmony_ci if (!TEST_false(DSA_sign(0, msg, sizeof(msg), signature, &signature_len, dsa))) 466e1051a39Sopenharmony_ci goto err; 467e1051a39Sopenharmony_ci 468e1051a39Sopenharmony_ci BN_set_negative(q, 0); 469e1051a39Sopenharmony_ci BN_set_negative(g, 1); 470e1051a39Sopenharmony_ci if (!TEST_false(DSA_sign(0, msg, sizeof(msg), signature, &signature_len, dsa))) 471e1051a39Sopenharmony_ci goto err; 472e1051a39Sopenharmony_ci 473e1051a39Sopenharmony_ci BN_set_negative(p, 1); 474e1051a39Sopenharmony_ci BN_set_negative(q, 1); 475e1051a39Sopenharmony_ci BN_set_negative(g, 1); 476e1051a39Sopenharmony_ci if (!TEST_false(DSA_sign(0, msg, sizeof(msg), signature, &signature_len, dsa))) 477e1051a39Sopenharmony_ci goto err; 478e1051a39Sopenharmony_ci 479e1051a39Sopenharmony_ci ret = 1; 480e1051a39Sopenharmony_cierr: 481e1051a39Sopenharmony_ci BN_free(pub); 482e1051a39Sopenharmony_ci BN_free(priv); 483e1051a39Sopenharmony_ci 484e1051a39Sopenharmony_ci if (setpqg == 0) { 485e1051a39Sopenharmony_ci BN_free(g); 486e1051a39Sopenharmony_ci BN_free(q); 487e1051a39Sopenharmony_ci BN_free(p); 488e1051a39Sopenharmony_ci } 489e1051a39Sopenharmony_ci DSA_free(dsa); 490e1051a39Sopenharmony_ci return ret; 491e1051a39Sopenharmony_ci} 492e1051a39Sopenharmony_ci 493e1051a39Sopenharmony_ci#endif /* OPENSSL_NO_DSA */ 494e1051a39Sopenharmony_ci 495e1051a39Sopenharmony_ciint setup_tests(void) 496e1051a39Sopenharmony_ci{ 497e1051a39Sopenharmony_ci#ifndef OPENSSL_NO_DSA 498e1051a39Sopenharmony_ci ADD_TEST(dsa_test); 499e1051a39Sopenharmony_ci ADD_TEST(dsa_keygen_test); 500e1051a39Sopenharmony_ci ADD_TEST(test_dsa_sig_infinite_loop); 501e1051a39Sopenharmony_ci ADD_TEST(test_dsa_sig_neg_param); 502e1051a39Sopenharmony_ci ADD_ALL_TESTS(test_dsa_default_paramgen_validate, 2); 503e1051a39Sopenharmony_ci#endif 504e1051a39Sopenharmony_ci return 1; 505e1051a39Sopenharmony_ci} 506