Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 1 | /* |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 2 | * Copyright 2016-2017 The OpenSSL Project Authors. All Rights Reserved. |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 3 | * |
Rich Salz | 440e5d8 | 2016-05-17 14:20:24 -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 |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 7 | * https://www.openssl.org/source/license.html |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 8 | */ |
| 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 Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 18 | #include <openssl/asn1t.h> |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 19 | #include <openssl/bio.h> |
| 20 | #include <openssl/err.h> |
| 21 | #include <openssl/x509.h> |
| 22 | #include <openssl/x509v3.h> |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 23 | #include "e_os.h" |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 24 | |
| 25 | static const ASN1_ITEM *item_type; |
| 26 | static const char *test_file; |
| 27 | |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 28 | typedef enum { |
| 29 | ASN1_UNKNOWN, |
| 30 | ASN1_OK, |
| 31 | ASN1_BIO, |
| 32 | ASN1_DECODE, |
| 33 | ASN1_ENCODE, |
| 34 | ASN1_COMPARE |
| 35 | } expected_error_t; |
| 36 | |
| 37 | typedef struct { |
| 38 | const char *str; |
| 39 | expected_error_t code; |
| 40 | } error_enum; |
| 41 | |
| 42 | static expected_error_t expected_error = ASN1_UNKNOWN; |
| 43 | |
Emilia Kasper | 308b876 | 2016-11-03 17:15:41 +0100 | [diff] [blame] | 44 | static int test_bad_asn1() |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 45 | { |
| 46 | BIO *bio = NULL; |
| 47 | ASN1_VALUE *value = NULL; |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 48 | int ret = 0; |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 49 | unsigned char buf[2048]; |
| 50 | const unsigned char *buf_ptr = buf; |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 51 | unsigned char *der = NULL; |
| 52 | int derlen; |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 53 | int len; |
| 54 | |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 55 | bio = BIO_new_file(test_file, "r"); |
| 56 | if (!TEST_ptr(bio)) |
Emilia Kasper | ababe86 | 2016-04-05 14:29:06 +0200 | [diff] [blame] | 57 | return 0; |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 58 | |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 59 | if (expected_error == ASN1_BIO) { |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 60 | if (TEST_ptr_null(ASN1_item_d2i_bio(item_type, bio, NULL))) |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 61 | ret = 1; |
| 62 | goto err; |
| 63 | } |
| 64 | |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 65 | /* |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 66 | * 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 Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 69 | */ |
| 70 | len = BIO_read(bio, buf, sizeof buf); |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 71 | if (!TEST_int_ge(len, 0)) |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 72 | goto err; |
| 73 | |
| 74 | value = ASN1_item_d2i(NULL, &buf_ptr, len, item_type); |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 75 | if (value == NULL) { |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 76 | if (TEST_int_eq(expected_error, ASN1_DECODE)) |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 77 | ret = 1; |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 78 | goto err; |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 79 | } |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 80 | |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 81 | derlen = ASN1_item_i2d(value, &der, item_type); |
| 82 | |
| 83 | if (der == NULL || derlen < 0) { |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 84 | if (TEST_int_eq(expected_error, ASN1_ENCODE)) |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 85 | ret = 1; |
| 86 | goto err; |
| 87 | } |
| 88 | |
| 89 | if (derlen != len || memcmp(der, buf, derlen) != 0) { |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 90 | if (TEST_int_eq(expected_error, ASN1_COMPARE)) |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 91 | ret = 1; |
| 92 | goto err; |
| 93 | } |
| 94 | |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 95 | if (TEST_int_eq(expected_error, ASN1_OK)) |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 96 | ret = 1; |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 97 | |
| 98 | err: |
Dr. Stephen Henson | 53e409d | 2016-04-22 18:37:42 +0100 | [diff] [blame] | 99 | /* Don't indicate success for memory allocation errors */ |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 100 | if (ret == 1 |
| 101 | && !TEST_false(ERR_GET_REASON(ERR_peek_error()) == ERR_R_MALLOC_FAILURE)) |
Dr. Stephen Henson | 53e409d | 2016-04-22 18:37:42 +0100 | [diff] [blame] | 102 | ret = 0; |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 103 | BIO_free(bio); |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 104 | OPENSSL_free(der); |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 105 | ASN1_item_free(value, item_type); |
| 106 | return ret; |
| 107 | } |
| 108 | |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 109 | /* |
| 110 | * Usage: d2i_test <type> <file>, e.g. |
| 111 | * d2i_test generalname bad_generalname.der |
| 112 | */ |
Emilia Kasper | e364c3b | 2016-11-07 16:53:15 +0100 | [diff] [blame] | 113 | int test_main(int argc, char *argv[]) |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 114 | { |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 115 | const char *test_type_name; |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 116 | const char *expected_error_string; |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 117 | |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 118 | size_t i; |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 119 | |
| 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 | |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 128 | if (!TEST_int_eq(argc, 4)) { |
| 129 | fprintf(stderr, "Usage: d2i_test item_name expected_error file.der\n"); |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 130 | return 1; |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 131 | } |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 132 | |
| 133 | test_type_name = argv[1]; |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 134 | expected_error_string = argv[2]; |
| 135 | test_file = argv[3]; |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 136 | |
Dr. Stephen Henson | adffae1 | 2016-09-28 00:24:58 +0100 | [diff] [blame] | 137 | item_type = ASN1_ITEM_lookup(test_type_name); |
| 138 | |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 139 | if (item_type == NULL) { |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 140 | TEST_error("Unknown type %s\n", test_type_name); |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 141 | fprintf(stderr, "Supported types:\n"); |
Dr. Stephen Henson | adffae1 | 2016-09-28 00:24:58 +0100 | [diff] [blame] | 142 | for (i = 0;; i++) { |
| 143 | const ASN1_ITEM *it = ASN1_ITEM_get(i); |
| 144 | |
| 145 | if (it == NULL) |
| 146 | break; |
Dr. Stephen Henson | 48c1e15 | 2016-04-20 21:37:57 +0100 | [diff] [blame] | 147 | 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) { |
Pauli | f586422 | 2017-04-10 07:44:08 +1000 | [diff] [blame] | 160 | TEST_error("Unknown expected error %s\n", expected_error_string); |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 161 | return 1; |
| 162 | } |
| 163 | |
| 164 | ADD_TEST(test_bad_asn1); |
| 165 | |
Emilia Kasper | e364c3b | 2016-11-07 16:53:15 +0100 | [diff] [blame] | 166 | return run_tests(argv[0]); |
Emilia Kasper | 1400f01 | 2016-03-30 22:37:05 +0200 | [diff] [blame] | 167 | } |