123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287 |
- /*
- * Copyright 2017-2021 The OpenSSL Project Authors. All Rights Reserved.
- *
- * Licensed under the Apache License 2.0 (the "License"). You may not use
- * 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
- */
- #include <stdio.h>
- #include "internal/cryptlib.h"
- #include "internal/numbers.h"
- #include <openssl/asn1t.h>
- #include <openssl/bn.h>
- #include "asn1_local.h"
- /*
- * Custom primitive types for handling int32_t, int64_t, uint32_t, uint64_t.
- * This converts between an ASN1_INTEGER and those types directly.
- * This is preferred to using the LONG / ZLONG primitives.
- */
- /*
- * We abuse the ASN1_ITEM fields |size| as a flags field
- */
- #define INTxx_FLAG_ZERO_DEFAULT (1<<0)
- #define INTxx_FLAG_SIGNED (1<<1)
- static int uint64_new(ASN1_VALUE **pval, const ASN1_ITEM *it)
- {
- if ((*pval = (ASN1_VALUE *)OPENSSL_zalloc(sizeof(uint64_t))) == NULL)
- return 0;
- return 1;
- }
- static void uint64_free(ASN1_VALUE **pval, const ASN1_ITEM *it)
- {
- OPENSSL_free(*pval);
- *pval = NULL;
- }
- static void uint64_clear(ASN1_VALUE **pval, const ASN1_ITEM *it)
- {
- **(uint64_t **)pval = 0;
- }
- static int uint64_i2c(const ASN1_VALUE **pval, unsigned char *cont, int *putype,
- const ASN1_ITEM *it)
- {
- uint64_t utmp;
- int neg = 0;
- /* this exists to bypass broken gcc optimization */
- char *cp = (char *)*pval;
- /* use memcpy, because we may not be uint64_t aligned */
- memcpy(&utmp, cp, sizeof(utmp));
- if ((it->size & INTxx_FLAG_ZERO_DEFAULT) == INTxx_FLAG_ZERO_DEFAULT
- && utmp == 0)
- return -1;
- if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED
- && (int64_t)utmp < 0) {
- /* ossl_i2c_uint64_int() assumes positive values */
- utmp = 0 - utmp;
- neg = 1;
- }
- return ossl_i2c_uint64_int(cont, utmp, neg);
- }
- static int uint64_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len,
- int utype, char *free_cont, const ASN1_ITEM *it)
- {
- uint64_t utmp = 0;
- char *cp;
- int neg = 0;
- if (*pval == NULL && !uint64_new(pval, it))
- return 0;
- cp = (char *)*pval;
- /*
- * Strictly speaking, zero length is malformed. However, long_c2i
- * (x_long.c) encodes 0 as a zero length INTEGER (wrongly, of course),
- * so for the sake of backward compatibility, we still decode zero
- * length INTEGERs as the number zero.
- */
- if (len == 0)
- goto long_compat;
- if (!ossl_c2i_uint64_int(&utmp, &neg, &cont, len))
- return 0;
- if ((it->size & INTxx_FLAG_SIGNED) == 0 && neg) {
- ERR_raise(ERR_LIB_ASN1, ASN1_R_ILLEGAL_NEGATIVE_VALUE);
- return 0;
- }
- if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED
- && !neg && utmp > INT64_MAX) {
- ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LARGE);
- return 0;
- }
- if (neg)
- /* ossl_c2i_uint64_int() returns positive values */
- utmp = 0 - utmp;
- long_compat:
- memcpy(cp, &utmp, sizeof(utmp));
- return 1;
- }
- static int uint64_print(BIO *out, const ASN1_VALUE **pval, const ASN1_ITEM *it,
- int indent, const ASN1_PCTX *pctx)
- {
- if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED)
- return BIO_printf(out, "%jd\n", **(int64_t **)pval);
- return BIO_printf(out, "%ju\n", **(uint64_t **)pval);
- }
- /* 32-bit variants */
- static int uint32_new(ASN1_VALUE **pval, const ASN1_ITEM *it)
- {
- if ((*pval = (ASN1_VALUE *)OPENSSL_zalloc(sizeof(uint32_t))) == NULL)
- return 0;
- return 1;
- }
- static void uint32_free(ASN1_VALUE **pval, const ASN1_ITEM *it)
- {
- OPENSSL_free(*pval);
- *pval = NULL;
- }
- static void uint32_clear(ASN1_VALUE **pval, const ASN1_ITEM *it)
- {
- **(uint32_t **)pval = 0;
- }
- static int uint32_i2c(const ASN1_VALUE **pval, unsigned char *cont, int *putype,
- const ASN1_ITEM *it)
- {
- uint32_t utmp;
- int neg = 0;
- /* this exists to bypass broken gcc optimization */
- char *cp = (char *)*pval;
- /* use memcpy, because we may not be uint32_t aligned */
- memcpy(&utmp, cp, sizeof(utmp));
- if ((it->size & INTxx_FLAG_ZERO_DEFAULT) == INTxx_FLAG_ZERO_DEFAULT
- && utmp == 0)
- return -1;
- if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED
- && (int32_t)utmp < 0) {
- /* ossl_i2c_uint64_int() assumes positive values */
- utmp = 0 - utmp;
- neg = 1;
- }
- return ossl_i2c_uint64_int(cont, (uint64_t)utmp, neg);
- }
- /*
- * Absolute value of INT32_MIN: we can't just use -INT32_MIN as it produces
- * overflow warnings.
- */
- #define ABS_INT32_MIN ((uint32_t)INT32_MAX + 1)
- static int uint32_c2i(ASN1_VALUE **pval, const unsigned char *cont, int len,
- int utype, char *free_cont, const ASN1_ITEM *it)
- {
- uint64_t utmp = 0;
- uint32_t utmp2 = 0;
- char *cp;
- int neg = 0;
- if (*pval == NULL && !uint64_new(pval, it))
- return 0;
- cp = (char *)*pval;
- /*
- * Strictly speaking, zero length is malformed. However, long_c2i
- * (x_long.c) encodes 0 as a zero length INTEGER (wrongly, of course),
- * so for the sake of backward compatibility, we still decode zero
- * length INTEGERs as the number zero.
- */
- if (len == 0)
- goto long_compat;
- if (!ossl_c2i_uint64_int(&utmp, &neg, &cont, len))
- return 0;
- if ((it->size & INTxx_FLAG_SIGNED) == 0 && neg) {
- ERR_raise(ERR_LIB_ASN1, ASN1_R_ILLEGAL_NEGATIVE_VALUE);
- return 0;
- }
- if (neg) {
- if (utmp > ABS_INT32_MIN) {
- ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_SMALL);
- return 0;
- }
- utmp = 0 - utmp;
- } else {
- if (((it->size & INTxx_FLAG_SIGNED) != 0 && utmp > INT32_MAX)
- || ((it->size & INTxx_FLAG_SIGNED) == 0 && utmp > UINT32_MAX)) {
- ERR_raise(ERR_LIB_ASN1, ASN1_R_TOO_LARGE);
- return 0;
- }
- }
- long_compat:
- utmp2 = (uint32_t)utmp;
- memcpy(cp, &utmp2, sizeof(utmp2));
- return 1;
- }
- static int uint32_print(BIO *out, const ASN1_VALUE **pval, const ASN1_ITEM *it,
- int indent, const ASN1_PCTX *pctx)
- {
- if ((it->size & INTxx_FLAG_SIGNED) == INTxx_FLAG_SIGNED)
- return BIO_printf(out, "%d\n", (int)**(int32_t **)pval);
- return BIO_printf(out, "%u\n", (unsigned int)**(uint32_t **)pval);
- }
- /* Define the primitives themselves */
- static ASN1_PRIMITIVE_FUNCS uint32_pf = {
- NULL, 0,
- uint32_new,
- uint32_free,
- uint32_clear,
- uint32_c2i,
- uint32_i2c,
- uint32_print
- };
- static ASN1_PRIMITIVE_FUNCS uint64_pf = {
- NULL, 0,
- uint64_new,
- uint64_free,
- uint64_clear,
- uint64_c2i,
- uint64_i2c,
- uint64_print
- };
- ASN1_ITEM_start(INT32)
- ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &uint32_pf,
- INTxx_FLAG_SIGNED, "INT32"
- ASN1_ITEM_end(INT32)
- ASN1_ITEM_start(UINT32)
- ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &uint32_pf, 0, "UINT32"
- ASN1_ITEM_end(UINT32)
- ASN1_ITEM_start(INT64)
- ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &uint64_pf,
- INTxx_FLAG_SIGNED, "INT64"
- ASN1_ITEM_end(INT64)
- ASN1_ITEM_start(UINT64)
- ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &uint64_pf, 0, "UINT64"
- ASN1_ITEM_end(UINT64)
- ASN1_ITEM_start(ZINT32)
- ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &uint32_pf,
- INTxx_FLAG_ZERO_DEFAULT|INTxx_FLAG_SIGNED, "ZINT32"
- ASN1_ITEM_end(ZINT32)
- ASN1_ITEM_start(ZUINT32)
- ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &uint32_pf,
- INTxx_FLAG_ZERO_DEFAULT, "ZUINT32"
- ASN1_ITEM_end(ZUINT32)
- ASN1_ITEM_start(ZINT64)
- ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &uint64_pf,
- INTxx_FLAG_ZERO_DEFAULT|INTxx_FLAG_SIGNED, "ZINT64"
- ASN1_ITEM_end(ZINT64)
- ASN1_ITEM_start(ZUINT64)
- ASN1_ITYPE_PRIMITIVE, V_ASN1_INTEGER, NULL, 0, &uint64_pf,
- INTxx_FLAG_ZERO_DEFAULT, "ZUINT64"
- ASN1_ITEM_end(ZUINT64)
|