Rich Salz | 846e33c | 2016-05-17 14:18:30 -0400 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2004-2016 The OpenSSL Project Authors. All Rights Reserved. |
Dr. Stephen Henson | b08868c | 2005-04-26 23:02:52 +0000 | [diff] [blame] | 3 | * |
Rich Salz | 846e33c | 2016-05-17 14:18:30 -0400 | [diff] [blame] | 4 | * 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 |
Dr. Stephen Henson | b08868c | 2005-04-26 23:02:52 +0000 | [diff] [blame] | 8 | */ |
| 9 | |
| 10 | #include <string.h> |
| 11 | |
| 12 | #include "apps.h" |
| 13 | #include <openssl/bn.h> |
| 14 | |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 15 | typedef enum OPTION_choice { |
| 16 | OPT_ERR = -1, OPT_EOF = 0, OPT_HELP, |
| 17 | OPT_HEX, OPT_GENERATE, OPT_BITS, OPT_SAFE, OPT_CHECKS |
| 18 | } OPTION_CHOICE; |
Dr. Stephen Henson | b08868c | 2005-04-26 23:02:52 +0000 | [diff] [blame] | 19 | |
FdaSilvaYY | 44c83eb | 2016-03-13 14:07:50 +0100 | [diff] [blame] | 20 | const OPTIONS prime_options[] = { |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 21 | {OPT_HELP_STR, 1, '-', "Usage: %s [options] [number...]\n"}, |
| 22 | {OPT_HELP_STR, 1, '-', |
Michal Bozon | e61434b | 2015-10-29 16:48:00 +0100 | [diff] [blame] | 23 | " number Number to check for primality\n"}, |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 24 | {"help", OPT_HELP, '-', "Display this summary"}, |
| 25 | {"hex", OPT_HEX, '-', "Hex output"}, |
| 26 | {"generate", OPT_GENERATE, '-', "Generate a prime"}, |
| 27 | {"bits", OPT_BITS, 'p', "Size of number in bits"}, |
| 28 | {"safe", OPT_SAFE, '-', |
| 29 | "When used with -generate, generate a safe prime"}, |
| 30 | {"checks", OPT_CHECKS, 'p', "Number of checks"}, |
| 31 | {NULL} |
| 32 | }; |
Ben Laurie | 0ff469d | 2005-05-01 13:49:56 +0000 | [diff] [blame] | 33 | |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 34 | int prime_main(int argc, char **argv) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 35 | { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 36 | BIGNUM *bn = NULL; |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 37 | int hex = 0, checks = 20, generate = 0, bits = 0, safe = 0, ret = 1; |
| 38 | char *prog; |
| 39 | OPTION_CHOICE o; |
Dr. Stephen Henson | b08868c | 2005-04-26 23:02:52 +0000 | [diff] [blame] | 40 | |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 41 | prog = opt_init(argc, argv, prime_options); |
| 42 | while ((o = opt_next()) != OPT_EOF) { |
| 43 | switch (o) { |
| 44 | case OPT_EOF: |
| 45 | case OPT_ERR: |
| 46 | BIO_printf(bio_err, "%s: Use -help for summary.\n", prog); |
| 47 | goto end; |
| 48 | case OPT_HELP: |
| 49 | opt_help(prime_options); |
| 50 | ret = 0; |
| 51 | goto end; |
| 52 | case OPT_HEX: |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 53 | hex = 1; |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 54 | break; |
| 55 | case OPT_GENERATE: |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 56 | generate = 1; |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 57 | break; |
| 58 | case OPT_BITS: |
| 59 | bits = atoi(opt_arg()); |
| 60 | break; |
| 61 | case OPT_SAFE: |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 62 | safe = 1; |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 63 | break; |
| 64 | case OPT_CHECKS: |
| 65 | checks = atoi(opt_arg()); |
| 66 | break; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 67 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 68 | } |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 69 | argc = opt_num_rest(); |
| 70 | argv = opt_rest(); |
Dr. Stephen Henson | b08868c | 2005-04-26 23:02:52 +0000 | [diff] [blame] | 71 | |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 72 | if (argc == 0 && !generate) { |
| 73 | BIO_printf(bio_err, "%s: No prime specified\n", prog); |
| 74 | goto end; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 75 | } |
Dr. Stephen Henson | b08868c | 2005-04-26 23:02:52 +0000 | [diff] [blame] | 76 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 77 | if (generate) { |
| 78 | char *s; |
Dr. Stephen Henson | b08868c | 2005-04-26 23:02:52 +0000 | [diff] [blame] | 79 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 80 | if (!bits) { |
Michal Bozon | 5573ee3 | 2015-09-28 12:59:27 -0400 | [diff] [blame] | 81 | BIO_printf(bio_err, "Specify the number of bits.\n"); |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 82 | goto end; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 83 | } |
| 84 | bn = BN_new(); |
Dr. Stephen Henson | 9b5164c | 2016-05-10 20:49:50 +0100 | [diff] [blame] | 85 | if (bn == NULL) { |
| 86 | BIO_printf(bio_err, "Out of memory.\n"); |
| 87 | goto end; |
| 88 | } |
Matt Caswell | e69f2a2 | 2016-04-15 14:31:03 +0100 | [diff] [blame] | 89 | if (!BN_generate_prime_ex(bn, bits, safe, NULL, NULL, NULL)) { |
| 90 | BIO_printf(bio_err, "Failed to generate prime.\n"); |
| 91 | goto end; |
| 92 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 93 | s = hex ? BN_bn2hex(bn) : BN_bn2dec(bn); |
Dr. Stephen Henson | 9b5164c | 2016-05-10 20:49:50 +0100 | [diff] [blame] | 94 | if (s == NULL) { |
| 95 | BIO_printf(bio_err, "Out of memory.\n"); |
| 96 | goto end; |
| 97 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 98 | BIO_printf(bio_out, "%s\n", s); |
| 99 | OPENSSL_free(s); |
| 100 | } else { |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 101 | for ( ; *argv; argv++) { |
Matt Caswell | e69f2a2 | 2016-04-15 14:31:03 +0100 | [diff] [blame] | 102 | int r; |
| 103 | |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 104 | if (hex) |
Matt Caswell | e69f2a2 | 2016-04-15 14:31:03 +0100 | [diff] [blame] | 105 | r = BN_hex2bn(&bn, argv[0]); |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 106 | else |
Matt Caswell | e69f2a2 | 2016-04-15 14:31:03 +0100 | [diff] [blame] | 107 | r = BN_dec2bn(&bn, argv[0]); |
| 108 | |
FdaSilvaYY | 28b86f3 | 2016-08-24 00:17:31 +0200 | [diff] [blame] | 109 | if (!r) { |
Matt Caswell | e69f2a2 | 2016-04-15 14:31:03 +0100 | [diff] [blame] | 110 | BIO_printf(bio_err, "Failed to process value (%s)\n", argv[0]); |
| 111 | goto end; |
| 112 | } |
Ben Laurie | 2c2e46d | 2005-08-23 13:48:17 +0000 | [diff] [blame] | 113 | |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 114 | BN_print(bio_out, bn); |
| 115 | BIO_printf(bio_out, " (%s) %s prime\n", |
| 116 | argv[0], |
| 117 | BN_is_prime_ex(bn, checks, NULL, NULL) |
| 118 | ? "is" : "is not"); |
| 119 | } |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 120 | } |
Dr. Stephen Henson | b08868c | 2005-04-26 23:02:52 +0000 | [diff] [blame] | 121 | |
Matt Caswell | e69f2a2 | 2016-04-15 14:31:03 +0100 | [diff] [blame] | 122 | ret = 0; |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 123 | end: |
Matt Caswell | 5bf7c77 | 2016-04-26 18:29:49 +0100 | [diff] [blame] | 124 | BN_free(bn); |
Rich Salz | 7e1b748 | 2015-04-24 15:26:15 -0400 | [diff] [blame] | 125 | return ret; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 126 | } |