blob: 8126ace9140b2ad14ca96c4aa6b2d501a3f9ece5 [file] [log] [blame]
Emilia Kasper1400f012016-03-30 22:37:05 +02001/*
Paulif5864222017-04-10 07:44:08 +10002 * Copyright 2016-2017 The OpenSSL Project Authors. All Rights Reserved.
Emilia Kasper1400f012016-03-30 22:37:05 +02003 *
Rich Salz440e5d82016-05-17 14:20:24 -04004 * 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
Emilia Kasper1400f012016-03-30 22:37:05 +02007 * https://www.openssl.org/source/license.html
Emilia Kasper1400f012016-03-30 22:37:05 +02008 */
9
10/* Regression tests for ASN.1 parsing bugs. */
11
12#include <stdio.h>
13#include <string.h>
14
15#include "testutil.h"
16
17#include <openssl/asn1.h>
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010018#include <openssl/asn1t.h>
Emilia Kasper1400f012016-03-30 22:37:05 +020019#include <openssl/bio.h>
20#include <openssl/err.h>
21#include <openssl/x509.h>
22#include <openssl/x509v3.h>
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010023#include "e_os.h"
Emilia Kasper1400f012016-03-30 22:37:05 +020024
25static const ASN1_ITEM *item_type;
26static const char *test_file;
27
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010028typedef enum {
29 ASN1_UNKNOWN,
30 ASN1_OK,
31 ASN1_BIO,
32 ASN1_DECODE,
33 ASN1_ENCODE,
34 ASN1_COMPARE
35} expected_error_t;
36
37typedef struct {
38 const char *str;
39 expected_error_t code;
40} error_enum;
41
42static expected_error_t expected_error = ASN1_UNKNOWN;
43
Emilia Kasper308b8762016-11-03 17:15:41 +010044static int test_bad_asn1()
Emilia Kasper1400f012016-03-30 22:37:05 +020045{
46 BIO *bio = NULL;
47 ASN1_VALUE *value = NULL;
Emilia Kasperababe862016-04-05 14:29:06 +020048 int ret = 0;
Emilia Kasper1400f012016-03-30 22:37:05 +020049 unsigned char buf[2048];
50 const unsigned char *buf_ptr = buf;
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010051 unsigned char *der = NULL;
52 int derlen;
Emilia Kasper1400f012016-03-30 22:37:05 +020053 int len;
54
Paulif5864222017-04-10 07:44:08 +100055 bio = BIO_new_file(test_file, "r");
56 if (!TEST_ptr(bio))
Emilia Kasperababe862016-04-05 14:29:06 +020057 return 0;
Emilia Kasper1400f012016-03-30 22:37:05 +020058
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010059 if (expected_error == ASN1_BIO) {
Paulif5864222017-04-10 07:44:08 +100060 if (TEST_ptr_null(ASN1_item_d2i_bio(item_type, bio, NULL)))
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010061 ret = 1;
62 goto err;
63 }
64
Emilia Kasper1400f012016-03-30 22:37:05 +020065 /*
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010066 * Unless we are testing it we don't use ASN1_item_d2i_bio because it
67 * performs sanity checks on the input and can reject it before the
68 * decoder is called.
Emilia Kasper1400f012016-03-30 22:37:05 +020069 */
70 len = BIO_read(bio, buf, sizeof buf);
Paulif5864222017-04-10 07:44:08 +100071 if (!TEST_int_ge(len, 0))
Emilia Kasper1400f012016-03-30 22:37:05 +020072 goto err;
73
74 value = ASN1_item_d2i(NULL, &buf_ptr, len, item_type);
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010075 if (value == NULL) {
Paulif5864222017-04-10 07:44:08 +100076 if (TEST_int_eq(expected_error, ASN1_DECODE))
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010077 ret = 1;
Emilia Kasper1400f012016-03-30 22:37:05 +020078 goto err;
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010079 }
Emilia Kasper1400f012016-03-30 22:37:05 +020080
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010081 derlen = ASN1_item_i2d(value, &der, item_type);
82
83 if (der == NULL || derlen < 0) {
Paulif5864222017-04-10 07:44:08 +100084 if (TEST_int_eq(expected_error, ASN1_ENCODE))
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010085 ret = 1;
86 goto err;
87 }
88
89 if (derlen != len || memcmp(der, buf, derlen) != 0) {
Paulif5864222017-04-10 07:44:08 +100090 if (TEST_int_eq(expected_error, ASN1_COMPARE))
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010091 ret = 1;
92 goto err;
93 }
94
Paulif5864222017-04-10 07:44:08 +100095 if (TEST_int_eq(expected_error, ASN1_OK))
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +010096 ret = 1;
Emilia Kasper1400f012016-03-30 22:37:05 +020097
98 err:
Dr. Stephen Henson53e409d2016-04-22 18:37:42 +010099 /* Don't indicate success for memory allocation errors */
Paulif5864222017-04-10 07:44:08 +1000100 if (ret == 1
101 && !TEST_false(ERR_GET_REASON(ERR_peek_error()) == ERR_R_MALLOC_FAILURE))
Dr. Stephen Henson53e409d2016-04-22 18:37:42 +0100102 ret = 0;
Emilia Kasper1400f012016-03-30 22:37:05 +0200103 BIO_free(bio);
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100104 OPENSSL_free(der);
Emilia Kasper1400f012016-03-30 22:37:05 +0200105 ASN1_item_free(value, item_type);
106 return ret;
107}
108
Emilia Kasper1400f012016-03-30 22:37:05 +0200109/*
110 * Usage: d2i_test <type> <file>, e.g.
111 * d2i_test generalname bad_generalname.der
112 */
Emilia Kaspere364c3b2016-11-07 16:53:15 +0100113int test_main(int argc, char *argv[])
Emilia Kasper1400f012016-03-30 22:37:05 +0200114{
Emilia Kasper1400f012016-03-30 22:37:05 +0200115 const char *test_type_name;
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100116 const char *expected_error_string;
Emilia Kasper1400f012016-03-30 22:37:05 +0200117
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100118 size_t i;
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100119
120 static error_enum expected_errors[] = {
121 {"OK", ASN1_OK},
122 {"BIO", ASN1_BIO},
123 {"decode", ASN1_DECODE},
124 {"encode", ASN1_ENCODE},
125 {"compare", ASN1_COMPARE}
126 };
127
Paulif5864222017-04-10 07:44:08 +1000128 if (!TEST_int_eq(argc, 4)) {
129 fprintf(stderr, "Usage: d2i_test item_name expected_error file.der\n");
Emilia Kasper1400f012016-03-30 22:37:05 +0200130 return 1;
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100131 }
Emilia Kasper1400f012016-03-30 22:37:05 +0200132
133 test_type_name = argv[1];
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100134 expected_error_string = argv[2];
135 test_file = argv[3];
Emilia Kasper1400f012016-03-30 22:37:05 +0200136
Dr. Stephen Hensonadffae12016-09-28 00:24:58 +0100137 item_type = ASN1_ITEM_lookup(test_type_name);
138
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100139 if (item_type == NULL) {
Paulif5864222017-04-10 07:44:08 +1000140 TEST_error("Unknown type %s\n", test_type_name);
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100141 fprintf(stderr, "Supported types:\n");
Dr. Stephen Hensonadffae12016-09-28 00:24:58 +0100142 for (i = 0;; i++) {
143 const ASN1_ITEM *it = ASN1_ITEM_get(i);
144
145 if (it == NULL)
146 break;
Dr. Stephen Henson48c1e152016-04-20 21:37:57 +0100147 fprintf(stderr, "\t%s\n", it->sname);
148 }
149 return 1;
150 }
151
152 for (i = 0; i < OSSL_NELEM(expected_errors); i++) {
153 if (strcmp(expected_errors[i].str, expected_error_string) == 0) {
154 expected_error = expected_errors[i].code;
155 break;
156 }
157 }
158
159 if (expected_error == ASN1_UNKNOWN) {
Paulif5864222017-04-10 07:44:08 +1000160 TEST_error("Unknown expected error %s\n", expected_error_string);
Emilia Kasper1400f012016-03-30 22:37:05 +0200161 return 1;
162 }
163
164 ADD_TEST(test_bad_asn1);
165
Emilia Kaspere364c3b2016-11-07 16:53:15 +0100166 return run_tests(argv[0]);
Emilia Kasper1400f012016-03-30 22:37:05 +0200167}