]>
Commit | Line | Data |
---|---|---|
1400f013 | 1 | /* |
f5864227 | 2 | * Copyright 2016-2017 The OpenSSL Project Authors. All Rights Reserved. |
1400f013 | 3 | * |
440e5d80 RS |
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 | |
1400f013 | 7 | * https://www.openssl.org/source/license.html |
1400f013 EK |
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> | |
48c1e15c | 18 | #include <openssl/asn1t.h> |
1400f013 EK |
19 | #include <openssl/bio.h> |
20 | #include <openssl/err.h> | |
21 | #include <openssl/x509.h> | |
22 | #include <openssl/x509v3.h> | |
176db6dc | 23 | #include "internal/nelem.h" |
1400f013 EK |
24 | |
25 | static const ASN1_ITEM *item_type; | |
26 | static const char *test_file; | |
27 | ||
48c1e15c DSH |
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 | ||
31a80694 | 44 | static int test_bad_asn1(void) |
1400f013 EK |
45 | { |
46 | BIO *bio = NULL; | |
47 | ASN1_VALUE *value = NULL; | |
ababe86b | 48 | int ret = 0; |
1400f013 EK |
49 | unsigned char buf[2048]; |
50 | const unsigned char *buf_ptr = buf; | |
48c1e15c DSH |
51 | unsigned char *der = NULL; |
52 | int derlen; | |
1400f013 EK |
53 | int len; |
54 | ||
f5864227 P |
55 | bio = BIO_new_file(test_file, "r"); |
56 | if (!TEST_ptr(bio)) | |
ababe86b | 57 | return 0; |
1400f013 | 58 | |
48c1e15c | 59 | if (expected_error == ASN1_BIO) { |
f5864227 | 60 | if (TEST_ptr_null(ASN1_item_d2i_bio(item_type, bio, NULL))) |
48c1e15c DSH |
61 | ret = 1; |
62 | goto err; | |
63 | } | |
64 | ||
1400f013 | 65 | /* |
48c1e15c DSH |
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. | |
1400f013 | 69 | */ |
cbe29648 | 70 | len = BIO_read(bio, buf, sizeof(buf)); |
f5864227 | 71 | if (!TEST_int_ge(len, 0)) |
1400f013 EK |
72 | goto err; |
73 | ||
74 | value = ASN1_item_d2i(NULL, &buf_ptr, len, item_type); | |
48c1e15c | 75 | if (value == NULL) { |
f5864227 | 76 | if (TEST_int_eq(expected_error, ASN1_DECODE)) |
48c1e15c | 77 | ret = 1; |
1400f013 | 78 | goto err; |
48c1e15c DSH |
79 | } |
80 | ||
81 | derlen = ASN1_item_i2d(value, &der, item_type); | |
1400f013 | 82 | |
48c1e15c | 83 | if (der == NULL || derlen < 0) { |
f5864227 | 84 | if (TEST_int_eq(expected_error, ASN1_ENCODE)) |
48c1e15c DSH |
85 | ret = 1; |
86 | goto err; | |
87 | } | |
88 | ||
89 | if (derlen != len || memcmp(der, buf, derlen) != 0) { | |
f5864227 | 90 | if (TEST_int_eq(expected_error, ASN1_COMPARE)) |
48c1e15c DSH |
91 | ret = 1; |
92 | goto err; | |
93 | } | |
94 | ||
f5864227 | 95 | if (TEST_int_eq(expected_error, ASN1_OK)) |
48c1e15c | 96 | ret = 1; |
1400f013 EK |
97 | |
98 | err: | |
53e409db | 99 | /* Don't indicate success for memory allocation errors */ |
f5864227 P |
100 | if (ret == 1 |
101 | && !TEST_false(ERR_GET_REASON(ERR_peek_error()) == ERR_R_MALLOC_FAILURE)) | |
53e409db | 102 | ret = 0; |
1400f013 | 103 | BIO_free(bio); |
48c1e15c | 104 | OPENSSL_free(der); |
1400f013 EK |
105 | ASN1_item_free(value, item_type); |
106 | return ret; | |
107 | } | |
108 | ||
1400f013 | 109 | /* |
ad887416 | 110 | * Usage: d2i_test <name> <type> <file>, e.g. |
1400f013 EK |
111 | * d2i_test generalname bad_generalname.der |
112 | */ | |
ad887416 | 113 | int setup_tests(void) |
1400f013 | 114 | { |
1400f013 | 115 | const char *test_type_name; |
48c1e15c DSH |
116 | const char *expected_error_string; |
117 | ||
118 | size_t i; | |
48c1e15c DSH |
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 | ||
ad887416 P |
128 | if (!TEST_ptr(test_type_name = test_get_argument(0)) |
129 | || !TEST_ptr(expected_error_string = test_get_argument(1)) | |
130 | || !TEST_ptr(test_file = test_get_argument(2))) { | |
131 | TEST_note("Usage: d2i_test item_name expected_error file.der"); | |
132 | return 0; | |
48c1e15c | 133 | } |
1400f013 | 134 | |
adffae15 DSH |
135 | item_type = ASN1_ITEM_lookup(test_type_name); |
136 | ||
48c1e15c | 137 | if (item_type == NULL) { |
8fe3127c P |
138 | TEST_error("Unknown type %s", test_type_name); |
139 | TEST_note("Supported types:"); | |
adffae15 DSH |
140 | for (i = 0;; i++) { |
141 | const ASN1_ITEM *it = ASN1_ITEM_get(i); | |
142 | ||
143 | if (it == NULL) | |
144 | break; | |
8fe3127c | 145 | TEST_note("\t%s", it->sname); |
48c1e15c | 146 | } |
ad887416 | 147 | return 0; |
48c1e15c DSH |
148 | } |
149 | ||
150 | for (i = 0; i < OSSL_NELEM(expected_errors); i++) { | |
151 | if (strcmp(expected_errors[i].str, expected_error_string) == 0) { | |
152 | expected_error = expected_errors[i].code; | |
153 | break; | |
154 | } | |
155 | } | |
156 | ||
157 | if (expected_error == ASN1_UNKNOWN) { | |
f5864227 | 158 | TEST_error("Unknown expected error %s\n", expected_error_string); |
ad887416 | 159 | return 0; |
1400f013 EK |
160 | } |
161 | ||
162 | ADD_TEST(test_bad_asn1); | |
ad887416 | 163 | return 1; |
1400f013 | 164 | } |