blob: 10854224aaac0ab8e81cb6d318efc14bff1b3fbf [file] [log] [blame]
Rich Salz440e5d82016-05-17 14:20:24 -04001/*
2 * Copyright 1995-2016 The OpenSSL Project Authors. All Rights Reserved.
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003 *
Rich Salz440e5d82016-05-17 14:20:24 -04004 * Licensed under the OpenSSL license (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00008 */
9
10#include <stdio.h>
11#include <stdlib.h>
12#include <string.h>
13#include <sys/types.h>
14#include <sys/stat.h>
Richard Levitte55f78ba2002-11-28 18:54:30 +000015
16#include "../e_os.h"
17
Bodo Möllerec577821999-04-23 22:13:45 +000018#include <openssl/crypto.h>
19#include <openssl/rand.h>
20#include <openssl/bio.h>
21#include <openssl/err.h>
Nils Larsch3eeaab42005-07-16 12:37:36 +000022#include <openssl/bn.h>
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000023
Richard Levittecf1b7d92001-02-19 16:06:34 +000024#ifdef OPENSSL_NO_DSA
Ulf Möllerf5d7a031999-04-27 01:14:46 +000025int main(int argc, char *argv[])
26{
27 printf("No DSA support\n");
Matt Caswell0f113f32015-01-22 03:40:55 +000028 return (0);
Ulf Möllerf5d7a031999-04-27 01:14:46 +000029}
30#else
Matt Caswell0f113f32015-01-22 03:40:55 +000031# include <openssl/dsa.h>
Ulf Möllerf5d7a031999-04-27 01:14:46 +000032
Rich Salz6d23cf92015-01-12 17:29:26 -050033static int dsa_cb(int p, int n, BN_GENCB *arg);
Bodo Möllera87030a2000-01-30 02:23:03 +000034
Matt Caswell0f113f32015-01-22 03:40:55 +000035/*
36 * seed, out_p, out_q, out_g are taken from the updated Appendix 5 to FIPS
37 * PUB 186 and also appear in Appendix 5 to FIPS PIB 186-1
38 */
39static unsigned char seed[20] = {
40 0xd5, 0x01, 0x4e, 0x4b, 0x60, 0xef, 0x2b, 0xa8, 0xb6, 0x21, 0x1b, 0x40,
41 0x62, 0xba, 0x32, 0x24, 0xe0, 0x42, 0x7d, 0xd3,
42};
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000043
Matt Caswell0f113f32015-01-22 03:40:55 +000044static unsigned char out_p[] = {
45 0x8d, 0xf2, 0xa4, 0x94, 0x49, 0x22, 0x76, 0xaa,
46 0x3d, 0x25, 0x75, 0x9b, 0xb0, 0x68, 0x69, 0xcb,
47 0xea, 0xc0, 0xd8, 0x3a, 0xfb, 0x8d, 0x0c, 0xf7,
48 0xcb, 0xb8, 0x32, 0x4f, 0x0d, 0x78, 0x82, 0xe5,
49 0xd0, 0x76, 0x2f, 0xc5, 0xb7, 0x21, 0x0e, 0xaf,
50 0xc2, 0xe9, 0xad, 0xac, 0x32, 0xab, 0x7a, 0xac,
51 0x49, 0x69, 0x3d, 0xfb, 0xf8, 0x37, 0x24, 0xc2,
52 0xec, 0x07, 0x36, 0xee, 0x31, 0xc8, 0x02, 0x91,
53};
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000054
Matt Caswell0f113f32015-01-22 03:40:55 +000055static unsigned char out_q[] = {
56 0xc7, 0x73, 0x21, 0x8c, 0x73, 0x7e, 0xc8, 0xee,
57 0x99, 0x3b, 0x4f, 0x2d, 0xed, 0x30, 0xf4, 0x8e,
58 0xda, 0xce, 0x91, 0x5f,
59};
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000060
Matt Caswell0f113f32015-01-22 03:40:55 +000061static unsigned char out_g[] = {
62 0x62, 0x6d, 0x02, 0x78, 0x39, 0xea, 0x0a, 0x13,
63 0x41, 0x31, 0x63, 0xa5, 0x5b, 0x4c, 0xb5, 0x00,
64 0x29, 0x9d, 0x55, 0x22, 0x95, 0x6c, 0xef, 0xcb,
65 0x3b, 0xff, 0x10, 0xf3, 0x99, 0xce, 0x2c, 0x2e,
66 0x71, 0xcb, 0x9d, 0xe5, 0xfa, 0x24, 0xba, 0xbf,
67 0x58, 0xe5, 0xb7, 0x95, 0x21, 0x92, 0x5c, 0x9c,
68 0xc4, 0x2e, 0x9f, 0x6f, 0x46, 0x4b, 0x08, 0x8c,
69 0xc5, 0x72, 0xaf, 0x53, 0xe6, 0xd7, 0x88, 0x02,
70};
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000071
Matt Caswell0f113f32015-01-22 03:40:55 +000072static const unsigned char str1[] = "12345678901234567890";
Ben Laurie61f5b6f1999-04-23 15:01:15 +000073
Matt Caswell0f113f32015-01-22 03:40:55 +000074static const char rnd_seed[] =
75 "string to make the random number generator think it has entropy";
Bodo Möller7d388202000-01-15 21:48:46 +000076
Matt Caswell0f113f32015-01-22 03:40:55 +000077static BIO *bio_err = NULL;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000078
Ulf Möller6b691a51999-04-19 21:31:43 +000079int main(int argc, char **argv)
Matt Caswell0f113f32015-01-22 03:40:55 +000080{
81 BN_GENCB *cb;
82 DSA *dsa = NULL;
83 int counter, ret = 0, i, j;
84 unsigned char buf[256];
85 unsigned long h;
86 unsigned char sig[256];
87 unsigned int siglen;
Matt Caswellb84e1222016-06-16 10:07:32 +010088 const BIGNUM *p = NULL, *q = NULL, *g = NULL;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000089
Matt Caswell0f113f32015-01-22 03:40:55 +000090 if (bio_err == NULL)
Richard Levitte0f81f5f2015-09-04 14:07:57 +020091 bio_err = BIO_new_fp(stderr, BIO_NOCLOSE | BIO_FP_TEXT);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000092
Rich Salzbbd86bf2016-01-07 15:06:38 -050093 CRYPTO_set_mem_debug(1);
Matt Caswell0f113f32015-01-22 03:40:55 +000094 CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ON);
Bodo Möller227cd061999-06-25 13:41:35 +000095
Matt Caswell0f113f32015-01-22 03:40:55 +000096 RAND_seed(rnd_seed, sizeof rnd_seed);
Geoff Thorpecb784862001-09-25 20:23:40 +000097
Matt Caswell0f113f32015-01-22 03:40:55 +000098 BIO_printf(bio_err, "test generation of DSA parameters\n");
Bodo Möllera87030a2000-01-30 02:23:03 +000099
Matt Caswell0f113f32015-01-22 03:40:55 +0000100 cb = BN_GENCB_new();
101 if (!cb)
102 goto end;
Matt Caswellc0d43902014-10-28 22:56:18 +0000103
Matt Caswell0f113f32015-01-22 03:40:55 +0000104 BN_GENCB_set(cb, dsa_cb, bio_err);
105 if (((dsa = DSA_new()) == NULL) || !DSA_generate_parameters_ex(dsa, 512,
106 seed, 20,
107 &counter,
108 &h, cb))
109 goto end;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000110
Matt Caswell0f113f32015-01-22 03:40:55 +0000111 BIO_printf(bio_err, "seed\n");
112 for (i = 0; i < 20; i += 4) {
113 BIO_printf(bio_err, "%02X%02X%02X%02X ",
114 seed[i], seed[i + 1], seed[i + 2], seed[i + 3]);
115 }
116 BIO_printf(bio_err, "\ncounter=%d h=%ld\n", counter, h);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000117
Matt Caswell0f113f32015-01-22 03:40:55 +0000118 DSA_print(bio_err, dsa, 0);
119 if (counter != 105) {
120 BIO_printf(bio_err, "counter should be 105\n");
121 goto end;
122 }
123 if (h != 2) {
124 BIO_printf(bio_err, "h should be 2\n");
125 goto end;
126 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000127
Matt Caswell6e9fa572016-03-30 17:18:55 +0100128 DSA_get0_pqg(dsa, &p, &q, &g);
129 i = BN_bn2bin(q, buf);
Matt Caswell0f113f32015-01-22 03:40:55 +0000130 j = sizeof(out_q);
131 if ((i != j) || (memcmp(buf, out_q, i) != 0)) {
132 BIO_printf(bio_err, "q value is wrong\n");
133 goto end;
134 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000135
Matt Caswell6e9fa572016-03-30 17:18:55 +0100136 i = BN_bn2bin(p, buf);
Matt Caswell0f113f32015-01-22 03:40:55 +0000137 j = sizeof(out_p);
138 if ((i != j) || (memcmp(buf, out_p, i) != 0)) {
139 BIO_printf(bio_err, "p value is wrong\n");
140 goto end;
141 }
Bodo Möller46a64372005-05-16 01:43:31 +0000142
Matt Caswell6e9fa572016-03-30 17:18:55 +0100143 i = BN_bn2bin(g, buf);
Matt Caswell0f113f32015-01-22 03:40:55 +0000144 j = sizeof(out_g);
145 if ((i != j) || (memcmp(buf, out_g, i) != 0)) {
146 BIO_printf(bio_err, "g value is wrong\n");
147 goto end;
148 }
Bodo Möller46a64372005-05-16 01:43:31 +0000149
Matt Caswell0f113f32015-01-22 03:40:55 +0000150 DSA_generate_key(dsa);
151 DSA_sign(0, str1, 20, sig, &siglen, dsa);
152 if (DSA_verify(0, str1, 20, sig, siglen, dsa) == 1)
153 ret = 1;
154
155 end:
156 if (!ret)
157 ERR_print_errors(bio_err);
Rich Salzd6407082015-03-24 10:17:37 -0400158 DSA_free(dsa);
Rich Salz23a1d5e2015-04-30 21:37:06 -0400159 BN_GENCB_free(cb);
Matt Caswell8793f012016-02-08 16:45:35 +0000160
Viktor Dukhovnic2e27312016-01-10 14:42:10 -0500161#ifndef OPENSSL_NO_CRYPTO_MDEBUG
Dr. Stephen Henson541e9562016-01-14 22:00:03 +0000162 if (CRYPTO_mem_leaks(bio_err) <= 0)
163 ret = 0;
Rich Salzbbd86bf2016-01-07 15:06:38 -0500164#endif
Rich Salzca3a82c2015-03-25 11:31:18 -0400165 BIO_free(bio_err);
166 bio_err = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +0000167 EXIT(!ret);
Matt Caswell0f113f32015-01-22 03:40:55 +0000168}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000169
Rich Salz6d23cf92015-01-12 17:29:26 -0500170static int dsa_cb(int p, int n, BN_GENCB *arg)
Matt Caswell0f113f32015-01-22 03:40:55 +0000171{
172 char c = '*';
173 static int ok = 0, num = 0;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000174
Matt Caswell0f113f32015-01-22 03:40:55 +0000175 if (p == 0) {
176 c = '.';
177 num++;
178 };
179 if (p == 1)
180 c = '+';
181 if (p == 2) {
182 c = '*';
183 ok++;
184 }
185 if (p == 3)
186 c = '\n';
187 BIO_write(BN_GENCB_get_arg(arg), &c, 1);
188 (void)BIO_flush(BN_GENCB_get_arg(arg));
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000189
Matt Caswell0f113f32015-01-22 03:40:55 +0000190 if (!ok && (p == 0) && (num > 1)) {
Marcus Meissner70c9f1c2015-12-03 15:19:53 +0100191 BIO_printf(BN_GENCB_get_arg(arg), "error in dsatest\n");
Matt Caswell0f113f32015-01-22 03:40:55 +0000192 return 0;
193 }
194 return 1;
195}
Ulf Möllerf5d7a031999-04-27 01:14:46 +0000196#endif