Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 1 | /* |
Rich Salz | 2039c42 | 2016-05-17 14:51:34 -0400 | [diff] [blame] | 2 | * Copyright 2000-2016 The OpenSSL Project Authors. All Rights Reserved. |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 3 | * |
Rich Salz | 2039c42 | 2016-05-17 14:51:34 -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 | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 8 | */ |
| 9 | |
| 10 | #include <stdio.h> |
Richard Levitte | b39fc56 | 2015-05-14 16:56:48 +0200 | [diff] [blame] | 11 | #include "internal/cryptlib.h" |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 12 | #include <openssl/asn1t.h> |
Geoff Thorpe | 0f81468 | 2004-05-17 19:14:22 +0000 | [diff] [blame] | 13 | #include <openssl/bn.h> |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 14 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 15 | /* |
| 16 | * Custom primitive type for BIGNUM handling. This reads in an ASN1_INTEGER |
| 17 | * as a BIGNUM directly. Currently it ignores the sign which isn't a problem |
| 18 | * since all BIGNUMs used are non negative and anything that looks negative |
| 19 | * is normally due to an encoding error. |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 20 | */ |
| 21 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 22 | #define BN_SENSITIVE 1 |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 23 | |
| 24 | static int bn_new(ASN1_VALUE **pval, const ASN1_ITEM *it); |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 25 | static int bn_secure_new(ASN1_VALUE **pval, const ASN1_ITEM *it); |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 26 | static void bn_free(ASN1_VALUE **pval, const ASN1_ITEM *it); |
| 27 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 28 | static int bn_i2c(ASN1_VALUE **pval, unsigned char *cont, int *putype, |
| 29 | const ASN1_ITEM *it); |
| 30 | static int bn_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len, |
| 31 | int utype, char *free_cont, const ASN1_ITEM *it); |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 32 | static int bn_secure_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len, |
| 33 | int utype, char *free_cont, const ASN1_ITEM *it); |
Dr. Stephen Henson | 3cea73a | 2016-07-18 17:52:56 +0100 | [diff] [blame] | 34 | static int bn_print(BIO *out, ASN1_VALUE **pval, const ASN1_ITEM *it, |
| 35 | int indent, const ASN1_PCTX *pctx); |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 36 | |
| 37 | static ASN1_PRIMITIVE_FUNCS bignum_pf = { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 38 | NULL, 0, |
| 39 | bn_new, |
| 40 | bn_free, |
| 41 | 0, |
| 42 | bn_c2i, |
Dr. Stephen Henson | 3cea73a | 2016-07-18 17:52:56 +0100 | [diff] [blame] | 43 | bn_i2c, |
| 44 | bn_print |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 45 | }; |
| 46 | |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 47 | static ASN1_PRIMITIVE_FUNCS cbignum_pf = { |
| 48 | NULL, 0, |
| 49 | bn_secure_new, |
| 50 | bn_free, |
| 51 | 0, |
| 52 | bn_secure_c2i, |
Dr. Stephen Henson | 3cea73a | 2016-07-18 17:52:56 +0100 | [diff] [blame] | 53 | bn_i2c, |
| 54 | bn_print |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 55 | }; |
| 56 | |
Dr. Stephen Henson | bb5ea36 | 2001-02-23 03:16:09 +0000 | [diff] [blame] | 57 | ASN1_ITEM_start(BIGNUM) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 58 | ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &bignum_pf, 0, "BIGNUM" |
Dr. Stephen Henson | d339187 | 2001-02-23 12:47:06 +0000 | [diff] [blame] | 59 | ASN1_ITEM_end(BIGNUM) |
Dr. Stephen Henson | bb5ea36 | 2001-02-23 03:16:09 +0000 | [diff] [blame] | 60 | |
| 61 | ASN1_ITEM_start(CBIGNUM) |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 62 | ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &cbignum_pf, BN_SENSITIVE, "CBIGNUM" |
Dr. Stephen Henson | d339187 | 2001-02-23 12:47:06 +0000 | [diff] [blame] | 63 | ASN1_ITEM_end(CBIGNUM) |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 64 | |
| 65 | static int bn_new(ASN1_VALUE **pval, const ASN1_ITEM *it) |
| 66 | { |
Dr. Stephen Henson | 437b14b | 2015-03-02 13:26:29 +0000 | [diff] [blame] | 67 | *pval = (ASN1_VALUE *)BN_new(); |
Matt Caswell | 90945fa | 2015-10-30 11:12:26 +0000 | [diff] [blame] | 68 | if (*pval != NULL) |
Dr. Stephen Henson | 437b14b | 2015-03-02 13:26:29 +0000 | [diff] [blame] | 69 | return 1; |
| 70 | else |
| 71 | return 0; |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 72 | } |
| 73 | |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 74 | static int bn_secure_new(ASN1_VALUE **pval, const ASN1_ITEM *it) |
| 75 | { |
| 76 | *pval = (ASN1_VALUE *)BN_secure_new(); |
Matt Caswell | 90945fa | 2015-10-30 11:12:26 +0000 | [diff] [blame] | 77 | if (*pval != NULL) |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 78 | return 1; |
| 79 | else |
| 80 | return 0; |
| 81 | } |
| 82 | |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 83 | static void bn_free(ASN1_VALUE **pval, const ASN1_ITEM *it) |
| 84 | { |
Dr. Stephen Henson | 437b14b | 2015-03-02 13:26:29 +0000 | [diff] [blame] | 85 | if (!*pval) |
| 86 | return; |
| 87 | if (it->size & BN_SENSITIVE) |
| 88 | BN_clear_free((BIGNUM *)*pval); |
| 89 | else |
| 90 | BN_free((BIGNUM *)*pval); |
| 91 | *pval = NULL; |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 92 | } |
| 93 | |
Dr. Stephen Henson | 437b14b | 2015-03-02 13:26:29 +0000 | [diff] [blame] | 94 | static int bn_i2c(ASN1_VALUE **pval, unsigned char *cont, int *putype, |
| 95 | const ASN1_ITEM *it) |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 96 | { |
Dr. Stephen Henson | 437b14b | 2015-03-02 13:26:29 +0000 | [diff] [blame] | 97 | BIGNUM *bn; |
| 98 | int pad; |
| 99 | if (!*pval) |
| 100 | return -1; |
| 101 | bn = (BIGNUM *)*pval; |
| 102 | /* If MSB set in an octet we need a padding byte */ |
| 103 | if (BN_num_bits(bn) & 0x7) |
| 104 | pad = 0; |
| 105 | else |
| 106 | pad = 1; |
| 107 | if (cont) { |
| 108 | if (pad) |
| 109 | *cont++ = 0; |
| 110 | BN_bn2bin(bn, cont); |
| 111 | } |
| 112 | return pad + BN_num_bytes(bn); |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 113 | } |
| 114 | |
Richard Levitte | 875a644 | 2004-03-15 23:15:26 +0000 | [diff] [blame] | 115 | static int bn_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len, |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 116 | int utype, char *free_cont, const ASN1_ITEM *it) |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 117 | { |
Dr. Stephen Henson | 437b14b | 2015-03-02 13:26:29 +0000 | [diff] [blame] | 118 | BIGNUM *bn; |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 119 | |
mrpre | a7e974c | 2015-08-28 16:12:51 +0800 | [diff] [blame] | 120 | if (*pval == NULL && !bn_new(pval, it)) |
| 121 | return 0; |
Dr. Stephen Henson | 437b14b | 2015-03-02 13:26:29 +0000 | [diff] [blame] | 122 | bn = (BIGNUM *)*pval; |
| 123 | if (!BN_bin2bn(cont, len, bn)) { |
| 124 | bn_free(pval, it); |
| 125 | return 0; |
| 126 | } |
| 127 | return 1; |
Dr. Stephen Henson | 9d6b1ce | 2000-12-08 19:09:35 +0000 | [diff] [blame] | 128 | } |
Rich Salz | 74924dc | 2015-04-24 16:39:40 -0400 | [diff] [blame] | 129 | |
| 130 | static int bn_secure_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len, |
| 131 | int utype, char *free_cont, const ASN1_ITEM *it) |
| 132 | { |
| 133 | if (!*pval) |
| 134 | bn_secure_new(pval, it); |
| 135 | return bn_c2i(pval, cont, len, utype, free_cont, it); |
| 136 | } |
Dr. Stephen Henson | 3cea73a | 2016-07-18 17:52:56 +0100 | [diff] [blame] | 137 | |
| 138 | static int bn_print(BIO *out, ASN1_VALUE **pval, const ASN1_ITEM *it, |
| 139 | int indent, const ASN1_PCTX *pctx) |
| 140 | { |
| 141 | if (!BN_print(out, *(BIGNUM **)pval)) |
| 142 | return 0; |
| 143 | if (BIO_puts(out, "\n") <= 0) |
| 144 | return 0; |
| 145 | return 1; |
| 146 | } |