113d40330Schristos /*
221497c5cSchristos * Copyright 2017-2021 The OpenSSL Project Authors. All Rights Reserved.
313d40330Schristos *
4*b0d17251Schristos * Licensed under the Apache License 2.0 (the "License"). You may not use
513d40330Schristos * this file except in compliance with the License. You can obtain a copy
613d40330Schristos * in the file LICENSE in the source distribution or at
713d40330Schristos * https://www.openssl.org/source/license.html
813d40330Schristos */
913d40330Schristos
1013d40330Schristos #include <stdio.h>
1113d40330Schristos #include <string.h>
1213d40330Schristos
1313d40330Schristos #include <openssl/rand.h>
1413d40330Schristos #include <openssl/asn1t.h>
1521497c5cSchristos #include <openssl/obj_mac.h>
1613d40330Schristos #include "internal/numbers.h"
1713d40330Schristos #include "testutil.h"
1813d40330Schristos
1913d40330Schristos #ifdef __GNUC__
2013d40330Schristos # pragma GCC diagnostic ignored "-Wunused-function"
2113d40330Schristos #endif
2213d40330Schristos #ifdef __clang__
2313d40330Schristos # pragma clang diagnostic ignored "-Wunused-function"
2413d40330Schristos #endif
2513d40330Schristos
2613d40330Schristos /* Badly coded ASN.1 INTEGER zero wrapped in a sequence */
2713d40330Schristos static unsigned char t_invalid_zero[] = {
2813d40330Schristos 0x30, 0x02, /* SEQUENCE tag + length */
2913d40330Schristos 0x02, 0x00 /* INTEGER tag + length */
3013d40330Schristos };
3113d40330Schristos
32*b0d17251Schristos #ifndef OPENSSL_NO_DEPRECATED_3_0
3313d40330Schristos /* LONG case ************************************************************* */
3413d40330Schristos
3513d40330Schristos typedef struct {
3613d40330Schristos long test_long;
3713d40330Schristos } ASN1_LONG_DATA;
3813d40330Schristos
3913d40330Schristos ASN1_SEQUENCE(ASN1_LONG_DATA) = {
4013d40330Schristos ASN1_EMBED(ASN1_LONG_DATA, test_long, LONG),
4113d40330Schristos } static_ASN1_SEQUENCE_END(ASN1_LONG_DATA)
4213d40330Schristos
4313d40330Schristos IMPLEMENT_STATIC_ASN1_ENCODE_FUNCTIONS(ASN1_LONG_DATA)
4413d40330Schristos IMPLEMENT_STATIC_ASN1_ALLOC_FUNCTIONS(ASN1_LONG_DATA)
4513d40330Schristos
4613d40330Schristos static int test_long(void)
4713d40330Schristos {
4813d40330Schristos const unsigned char *p = t_invalid_zero;
4913d40330Schristos ASN1_LONG_DATA *dectst =
5013d40330Schristos d2i_ASN1_LONG_DATA(NULL, &p, sizeof(t_invalid_zero));
5113d40330Schristos
5213d40330Schristos if (dectst == NULL)
5313d40330Schristos return 0; /* Fail */
5413d40330Schristos
5513d40330Schristos ASN1_LONG_DATA_free(dectst);
5613d40330Schristos return 1;
5713d40330Schristos }
5813d40330Schristos #endif
5913d40330Schristos
6013d40330Schristos /* INT32 case ************************************************************* */
6113d40330Schristos
6213d40330Schristos typedef struct {
6313d40330Schristos int32_t test_int32;
6413d40330Schristos } ASN1_INT32_DATA;
6513d40330Schristos
6613d40330Schristos ASN1_SEQUENCE(ASN1_INT32_DATA) = {
6713d40330Schristos ASN1_EMBED(ASN1_INT32_DATA, test_int32, INT32),
6813d40330Schristos } static_ASN1_SEQUENCE_END(ASN1_INT32_DATA)
6913d40330Schristos
7013d40330Schristos IMPLEMENT_STATIC_ASN1_ENCODE_FUNCTIONS(ASN1_INT32_DATA)
7113d40330Schristos IMPLEMENT_STATIC_ASN1_ALLOC_FUNCTIONS(ASN1_INT32_DATA)
7213d40330Schristos
7313d40330Schristos static int test_int32(void)
7413d40330Schristos {
7513d40330Schristos const unsigned char *p = t_invalid_zero;
7613d40330Schristos ASN1_INT32_DATA *dectst =
7713d40330Schristos d2i_ASN1_INT32_DATA(NULL, &p, sizeof(t_invalid_zero));
7813d40330Schristos
7913d40330Schristos if (dectst == NULL)
8013d40330Schristos return 0; /* Fail */
8113d40330Schristos
8213d40330Schristos ASN1_INT32_DATA_free(dectst);
8313d40330Schristos return 1;
8413d40330Schristos }
8513d40330Schristos
8613d40330Schristos /* UINT32 case ************************************************************* */
8713d40330Schristos
8813d40330Schristos typedef struct {
8913d40330Schristos uint32_t test_uint32;
9013d40330Schristos } ASN1_UINT32_DATA;
9113d40330Schristos
9213d40330Schristos ASN1_SEQUENCE(ASN1_UINT32_DATA) = {
9313d40330Schristos ASN1_EMBED(ASN1_UINT32_DATA, test_uint32, UINT32),
9413d40330Schristos } static_ASN1_SEQUENCE_END(ASN1_UINT32_DATA)
9513d40330Schristos
9613d40330Schristos IMPLEMENT_STATIC_ASN1_ENCODE_FUNCTIONS(ASN1_UINT32_DATA)
9713d40330Schristos IMPLEMENT_STATIC_ASN1_ALLOC_FUNCTIONS(ASN1_UINT32_DATA)
9813d40330Schristos
9913d40330Schristos static int test_uint32(void)
10013d40330Schristos {
10113d40330Schristos const unsigned char *p = t_invalid_zero;
10213d40330Schristos ASN1_UINT32_DATA *dectst =
10313d40330Schristos d2i_ASN1_UINT32_DATA(NULL, &p, sizeof(t_invalid_zero));
10413d40330Schristos
10513d40330Schristos if (dectst == NULL)
10613d40330Schristos return 0; /* Fail */
10713d40330Schristos
10813d40330Schristos ASN1_UINT32_DATA_free(dectst);
10913d40330Schristos return 1;
11013d40330Schristos }
11113d40330Schristos
11213d40330Schristos /* INT64 case ************************************************************* */
11313d40330Schristos
11413d40330Schristos typedef struct {
11513d40330Schristos int64_t test_int64;
11613d40330Schristos } ASN1_INT64_DATA;
11713d40330Schristos
11813d40330Schristos ASN1_SEQUENCE(ASN1_INT64_DATA) = {
11913d40330Schristos ASN1_EMBED(ASN1_INT64_DATA, test_int64, INT64),
12013d40330Schristos } static_ASN1_SEQUENCE_END(ASN1_INT64_DATA)
12113d40330Schristos
12213d40330Schristos IMPLEMENT_STATIC_ASN1_ENCODE_FUNCTIONS(ASN1_INT64_DATA)
12313d40330Schristos IMPLEMENT_STATIC_ASN1_ALLOC_FUNCTIONS(ASN1_INT64_DATA)
12413d40330Schristos
12513d40330Schristos static int test_int64(void)
12613d40330Schristos {
12713d40330Schristos const unsigned char *p = t_invalid_zero;
12813d40330Schristos ASN1_INT64_DATA *dectst =
12913d40330Schristos d2i_ASN1_INT64_DATA(NULL, &p, sizeof(t_invalid_zero));
13013d40330Schristos
13113d40330Schristos if (dectst == NULL)
13213d40330Schristos return 0; /* Fail */
13313d40330Schristos
13413d40330Schristos ASN1_INT64_DATA_free(dectst);
13513d40330Schristos return 1;
13613d40330Schristos }
13713d40330Schristos
13813d40330Schristos /* UINT64 case ************************************************************* */
13913d40330Schristos
14013d40330Schristos typedef struct {
14113d40330Schristos uint64_t test_uint64;
14213d40330Schristos } ASN1_UINT64_DATA;
14313d40330Schristos
14413d40330Schristos ASN1_SEQUENCE(ASN1_UINT64_DATA) = {
14513d40330Schristos ASN1_EMBED(ASN1_UINT64_DATA, test_uint64, UINT64),
14613d40330Schristos } static_ASN1_SEQUENCE_END(ASN1_UINT64_DATA)
14713d40330Schristos
14813d40330Schristos IMPLEMENT_STATIC_ASN1_ENCODE_FUNCTIONS(ASN1_UINT64_DATA)
14913d40330Schristos IMPLEMENT_STATIC_ASN1_ALLOC_FUNCTIONS(ASN1_UINT64_DATA)
15013d40330Schristos
15113d40330Schristos static int test_uint64(void)
15213d40330Schristos {
15313d40330Schristos const unsigned char *p = t_invalid_zero;
15413d40330Schristos ASN1_UINT64_DATA *dectst =
15513d40330Schristos d2i_ASN1_UINT64_DATA(NULL, &p, sizeof(t_invalid_zero));
15613d40330Schristos
15713d40330Schristos if (dectst == NULL)
15813d40330Schristos return 0; /* Fail */
15913d40330Schristos
16013d40330Schristos ASN1_UINT64_DATA_free(dectst);
16113d40330Schristos return 1;
16213d40330Schristos }
16313d40330Schristos
164f30e0929Schristos typedef struct {
165f30e0929Schristos ASN1_STRING *invalidDirString;
166f30e0929Schristos } INVALIDTEMPLATE;
167f30e0929Schristos
168f30e0929Schristos ASN1_SEQUENCE(INVALIDTEMPLATE) = {
169f30e0929Schristos /*
170f30e0929Schristos * DirectoryString is a CHOICE type so it must use explicit tagging -
171f30e0929Schristos * but we deliberately use implicit here, which makes this template invalid.
172f30e0929Schristos */
173f30e0929Schristos ASN1_IMP(INVALIDTEMPLATE, invalidDirString, DIRECTORYSTRING, 12)
174f30e0929Schristos } static_ASN1_SEQUENCE_END(INVALIDTEMPLATE)
175f30e0929Schristos
176f30e0929Schristos IMPLEMENT_STATIC_ASN1_ENCODE_FUNCTIONS(INVALIDTEMPLATE)
177f30e0929Schristos IMPLEMENT_STATIC_ASN1_ALLOC_FUNCTIONS(INVALIDTEMPLATE)
178f30e0929Schristos
179f30e0929Schristos /* Empty sequence for invalid template test */
180f30e0929Schristos static unsigned char t_invalid_template[] = {
181f30e0929Schristos 0x30, 0x03, /* SEQUENCE tag + length */
182f30e0929Schristos 0x0c, 0x01, 0x41 /* UTF8String, length 1, "A" */
183f30e0929Schristos };
184f30e0929Schristos
test_invalid_template(void)185f30e0929Schristos static int test_invalid_template(void)
186f30e0929Schristos {
187f30e0929Schristos const unsigned char *p = t_invalid_template;
188f30e0929Schristos INVALIDTEMPLATE *tmp = d2i_INVALIDTEMPLATE(NULL, &p,
189f30e0929Schristos sizeof(t_invalid_template));
190f30e0929Schristos
191f30e0929Schristos /* We expect a NULL pointer return */
192f30e0929Schristos if (TEST_ptr_null(tmp))
193f30e0929Schristos return 1;
194f30e0929Schristos
195f30e0929Schristos INVALIDTEMPLATE_free(tmp);
196f30e0929Schristos return 0;
197f30e0929Schristos }
198f30e0929Schristos
test_reuse_asn1_object(void)19921497c5cSchristos static int test_reuse_asn1_object(void)
20021497c5cSchristos {
20121497c5cSchristos static unsigned char cn_der[] = { 0x06, 0x03, 0x55, 0x04, 0x06 };
20221497c5cSchristos static unsigned char oid_der[] = {
20321497c5cSchristos 0x06, 0x06, 0x2a, 0x03, 0x04, 0x05, 0x06, 0x07
20421497c5cSchristos };
20521497c5cSchristos int ret = 0;
20621497c5cSchristos ASN1_OBJECT *obj;
20721497c5cSchristos unsigned char const *p = oid_der;
20821497c5cSchristos
20921497c5cSchristos /* Create an object that owns dynamically allocated 'sn' and 'ln' fields */
21021497c5cSchristos
21121497c5cSchristos if (!TEST_ptr(obj = ASN1_OBJECT_create(NID_undef, cn_der, sizeof(cn_der),
21221497c5cSchristos "C", "countryName")))
21321497c5cSchristos goto err;
21421497c5cSchristos /* reuse obj - this should not leak sn and ln */
21521497c5cSchristos if (!TEST_ptr(d2i_ASN1_OBJECT(&obj, &p, sizeof(oid_der))))
21621497c5cSchristos goto err;
21721497c5cSchristos ret = 1;
21821497c5cSchristos err:
21921497c5cSchristos ASN1_OBJECT_free(obj);
22021497c5cSchristos return ret;
22121497c5cSchristos }
22221497c5cSchristos
setup_tests(void)22313d40330Schristos int setup_tests(void)
22413d40330Schristos {
225*b0d17251Schristos #ifndef OPENSSL_NO_DEPRECATED_3_0
22613d40330Schristos ADD_TEST(test_long);
22713d40330Schristos #endif
22813d40330Schristos ADD_TEST(test_int32);
22913d40330Schristos ADD_TEST(test_uint32);
23013d40330Schristos ADD_TEST(test_int64);
23113d40330Schristos ADD_TEST(test_uint64);
232f30e0929Schristos ADD_TEST(test_invalid_template);
23321497c5cSchristos ADD_TEST(test_reuse_asn1_object);
23413d40330Schristos return 1;
23513d40330Schristos }
236