| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291 | 
							- /*
 
-  * Copyright 2017-2022 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) {
 
-         ERR_raise(ERR_LIB_ASN1, ERR_R_MALLOC_FAILURE);
 
-         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) {
 
-         ERR_raise(ERR_LIB_ASN1, ERR_R_MALLOC_FAILURE);
 
-         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)
 
 
  |