1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
|
/* der-iterator.c
*
* Parses DER encoded objects.
*/
/* nettle, low-level cryptographics library
*
* Copyright (C) 2005 Niels Möller
*
* The nettle library is free software; you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation; either version 2.1 of the License, or (at your
* option) any later version.
*
* The nettle library is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
* License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with the nettle library; see the file COPYING.LIB. If not, write to
* the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
* MA 02111-1301, USA.
*/
#if HAVE_CONFIG_H
# include "config.h"
#endif
#include <assert.h>
#include <stdlib.h>
#if HAVE_LIBGMP
#include "bignum.h"
#endif
#include "asn1.h"
#include "macros.h"
/* Basic DER syntax: (reference: A Layman's Guide to a Subset of ASN.1, BER, and DER,
http://luca.ntop.org/Teaching/Appunti/asn1.html)
The DER header contains a tag and a length. First, the tag. cls is
the class number, c is one if the object is "constructed" and zero
if it is primitive. The tag is represented either using a single
byte,
7 6 5 4 3 2 1 0
_____________________
|_cls_|_c_|_______tag_| 0 <= tag <= 30
or multiple bytes
7 6 5 4 3 2 1 0
_____________________
|_cls_|_c_|_1_1_1_1_1_|
followed by the real tag number, in base 128, with all but the
final byte having the most significant bit set. The tag must be
represented with as few bytes as possible. High tag numbers are
currently *not* supported.
Next, the length, either a single byte with the most significant bit clear, or
7 6 5 4 3 2 1 0
_________________
|_1_|___________k_|
followed by k additional bytes that give the length, in network
byte order. The length must be encoded using as few bytes as
possible, and k = 0 is reserved for the "indefinite length form"
which is not supported.
After the length comes the contets. For primitive objects (c == 0),
it's depends on the type. For constructed objects, it's a
concatenation of the DER encodings of zero or more other objects.
*/
enum {
TAG_MASK = 0x1f,
CLASS_MASK = 0xc0,
CONSTRUCTED_MASK = 0x20,
};
/* Initializes the iterator, but one has to call next to get to the
* first element. */
static void
asn1_der_iterator_init(struct asn1_der_iterator *iterator,
size_t length, const uint8_t *input)
{
iterator->buffer_length = length;
iterator->buffer = input;
iterator->pos = 0;
iterator->type = 0;
iterator->length = 0;
iterator->data = NULL;
}
#define LEFT(i) ((i)->buffer_length - (i)->pos)
#define NEXT(i) ((i)->buffer[(i)->pos++])
/* Gets type and length of the next object. */
enum asn1_iterator_result
asn1_der_iterator_next(struct asn1_der_iterator *i)
{
uint8_t tag;
if (!LEFT(i))
return ASN1_ITERATOR_END;
tag = NEXT(i);
if (!LEFT(i))
return ASN1_ITERATOR_ERROR;
if ( (tag & TAG_MASK) == TAG_MASK)
{
/* FIXME: Long tags not supported */
return ASN1_ITERATOR_ERROR;
}
i->length = NEXT(i);
if (i->length & 0x80)
{
unsigned k = i->length & 0x7f;
unsigned j;
const uint8_t *data = i->buffer + i->pos;
if (k == 0)
/* Indefinite encoding. Not supported. */
return ASN1_ITERATOR_ERROR;
if (LEFT(i) < k)
return ASN1_ITERATOR_ERROR;
if (k > sizeof(i->length))
return ASN1_ITERATOR_ERROR;
i->pos += k;
i->length = data[0];
if (i->length == 0
|| (k == 1 && i->length < 0x80))
return ASN1_ITERATOR_ERROR;
for (j = 1; j < k; j++)
i->length = (i->length << 8) | data[j];
}
if (LEFT(i) < i->length)
return ASN1_ITERATOR_ERROR;
i->data = i->buffer + i->pos;
i->pos += i->length;
i->type = tag & TAG_MASK;
i->type |= (tag & CLASS_MASK) << (ASN1_CLASS_SHIFT - 6);
if (tag & CONSTRUCTED_MASK)
{
i->type |= ASN1_TYPE_CONSTRUCTED;
return ASN1_ITERATOR_CONSTRUCTED;
}
else
return ASN1_ITERATOR_PRIMITIVE;
}
enum asn1_iterator_result
asn1_der_iterator_first(struct asn1_der_iterator *i,
size_t length, const uint8_t *input)
{
asn1_der_iterator_init(i, length, input);
return asn1_der_iterator_next(i);
}
enum asn1_iterator_result
asn1_der_decode_constructed(struct asn1_der_iterator *i,
struct asn1_der_iterator *contents)
{
assert(i->type & ASN1_TYPE_CONSTRUCTED);
return asn1_der_iterator_first(contents, i->length, i->data);
}
enum asn1_iterator_result
asn1_der_decode_constructed_last(struct asn1_der_iterator *i)
{
if (LEFT(i) > 0)
return ASN1_ITERATOR_ERROR;
return asn1_der_decode_constructed(i, i);
}
/* Decoding a DER object which is wrapped in a bit string. */
enum asn1_iterator_result
asn1_der_decode_bitstring(struct asn1_der_iterator *i,
struct asn1_der_iterator *contents)
{
assert(i->type == ASN1_BITSTRING);
/* First byte is the number of padding bits, which must be zero. */
if (i->length == 0 || i->data[0] != 0)
return ASN1_ITERATOR_ERROR;
return asn1_der_iterator_first(contents, i->length - 1, i->data + 1);
}
enum asn1_iterator_result
asn1_der_decode_bitstring_last(struct asn1_der_iterator *i)
{
if (LEFT(i) > 0)
return ASN1_ITERATOR_ERROR;
return asn1_der_decode_bitstring(i, i);
}
int
asn1_der_get_uint32(struct asn1_der_iterator *i,
uint32_t *x)
{
/* Big endian, two's complement, minimum number of octets (except 0,
which is encoded as a single octet */
uint32_t value = 0;
size_t length = i->length;
unsigned k;
if (!length || length > 5)
return 0;
if (i->data[length - 1] >= 0x80)
/* Signed number */
return 0;
if (length > 1
&& i->data[length -1] == 0
&& i->data[length -2] < 0x80)
/* Non-minimal number of digits */
return 0;
if (length == 5)
{
if (i->data[4])
return 0;
length--;
}
for (value = k = 0; k < length; k++)
value = (value << 8) | i->data[k];
*x = value;
return 1;
}
#if HAVE_LIBGMP
int
asn1_der_get_bignum(struct asn1_der_iterator *i,
mpz_t x, unsigned max_bits)
{
if (i->length > 1
&& ((i->data[0] == 0 && i->data[1] < 0x80)
|| (i->data[0] == 0xff && i->data[1] >= 0x80)))
/* Non-minimal number of digits */
return 0;
/* Allow some extra here, for leading sign octets. */
if (max_bits && (8 * i->length > (16 + max_bits)))
return 0;
nettle_mpz_set_str_256_s(x, i->length, i->data);
/* FIXME: How to interpret a max_bits for negative numbers? */
if (max_bits && mpz_sizeinbase(x, 2) > max_bits)
return 0;
return 1;
}
#endif /* HAVE_LIBGMP */
|