xref: /optee_os/lib/libmbedtls/mbedtls/library/asn1parse.c (revision c6672fdcd95b9a895eb5b4191f8ba3483a34a442)
1*c6672fdcSEdison Ai // SPDX-License-Identifier: Apache-2.0
2817466cbSJens Wiklander /*
3817466cbSJens Wiklander  *  Generic ASN.1 parsing
4817466cbSJens Wiklander  *
5817466cbSJens Wiklander  *  Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
6817466cbSJens Wiklander  *
7817466cbSJens Wiklander  *  Licensed under the Apache License, Version 2.0 (the "License"); you may
8817466cbSJens Wiklander  *  not use this file except in compliance with the License.
9817466cbSJens Wiklander  *  You may obtain a copy of the License at
10817466cbSJens Wiklander  *
11817466cbSJens Wiklander  *  http://www.apache.org/licenses/LICENSE-2.0
12817466cbSJens Wiklander  *
13817466cbSJens Wiklander  *  Unless required by applicable law or agreed to in writing, software
14817466cbSJens Wiklander  *  distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15817466cbSJens Wiklander  *  WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16817466cbSJens Wiklander  *  See the License for the specific language governing permissions and
17817466cbSJens Wiklander  *  limitations under the License.
18817466cbSJens Wiklander  *
19817466cbSJens Wiklander  *  This file is part of mbed TLS (https://tls.mbed.org)
20817466cbSJens Wiklander  */
21817466cbSJens Wiklander 
22817466cbSJens Wiklander #if !defined(MBEDTLS_CONFIG_FILE)
23817466cbSJens Wiklander #include "mbedtls/config.h"
24817466cbSJens Wiklander #else
25817466cbSJens Wiklander #include MBEDTLS_CONFIG_FILE
26817466cbSJens Wiklander #endif
27817466cbSJens Wiklander 
28817466cbSJens Wiklander #if defined(MBEDTLS_ASN1_PARSE_C)
29817466cbSJens Wiklander 
30817466cbSJens Wiklander #include "mbedtls/asn1.h"
31817466cbSJens Wiklander 
32817466cbSJens Wiklander #include <string.h>
33817466cbSJens Wiklander 
34817466cbSJens Wiklander #if defined(MBEDTLS_BIGNUM_C)
35817466cbSJens Wiklander #include "mbedtls/bignum.h"
36817466cbSJens Wiklander #endif
37817466cbSJens Wiklander 
38817466cbSJens Wiklander #if defined(MBEDTLS_PLATFORM_C)
39817466cbSJens Wiklander #include "mbedtls/platform.h"
40817466cbSJens Wiklander #else
41817466cbSJens Wiklander #include <stdlib.h>
42817466cbSJens Wiklander #define mbedtls_calloc    calloc
43817466cbSJens Wiklander #define mbedtls_free       free
44817466cbSJens Wiklander #endif
45817466cbSJens Wiklander 
46817466cbSJens Wiklander /* Implementation that should never be optimized out by the compiler */
47817466cbSJens Wiklander static void mbedtls_zeroize( void *v, size_t n ) {
48817466cbSJens Wiklander     volatile unsigned char *p = (unsigned char*)v; while( n-- ) *p++ = 0;
49817466cbSJens Wiklander }
50817466cbSJens Wiklander 
51817466cbSJens Wiklander /*
52817466cbSJens Wiklander  * ASN.1 DER decoding routines
53817466cbSJens Wiklander  */
54817466cbSJens Wiklander int mbedtls_asn1_get_len( unsigned char **p,
55817466cbSJens Wiklander                   const unsigned char *end,
56817466cbSJens Wiklander                   size_t *len )
57817466cbSJens Wiklander {
58817466cbSJens Wiklander     if( ( end - *p ) < 1 )
59817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
60817466cbSJens Wiklander 
61817466cbSJens Wiklander     if( ( **p & 0x80 ) == 0 )
62817466cbSJens Wiklander         *len = *(*p)++;
63817466cbSJens Wiklander     else
64817466cbSJens Wiklander     {
65817466cbSJens Wiklander         switch( **p & 0x7F )
66817466cbSJens Wiklander         {
67817466cbSJens Wiklander         case 1:
68817466cbSJens Wiklander             if( ( end - *p ) < 2 )
69817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
70817466cbSJens Wiklander 
71817466cbSJens Wiklander             *len = (*p)[1];
72817466cbSJens Wiklander             (*p) += 2;
73817466cbSJens Wiklander             break;
74817466cbSJens Wiklander 
75817466cbSJens Wiklander         case 2:
76817466cbSJens Wiklander             if( ( end - *p ) < 3 )
77817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
78817466cbSJens Wiklander 
79817466cbSJens Wiklander             *len = ( (size_t)(*p)[1] << 8 ) | (*p)[2];
80817466cbSJens Wiklander             (*p) += 3;
81817466cbSJens Wiklander             break;
82817466cbSJens Wiklander 
83817466cbSJens Wiklander         case 3:
84817466cbSJens Wiklander             if( ( end - *p ) < 4 )
85817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
86817466cbSJens Wiklander 
87817466cbSJens Wiklander             *len = ( (size_t)(*p)[1] << 16 ) |
88817466cbSJens Wiklander                    ( (size_t)(*p)[2] << 8  ) | (*p)[3];
89817466cbSJens Wiklander             (*p) += 4;
90817466cbSJens Wiklander             break;
91817466cbSJens Wiklander 
92817466cbSJens Wiklander         case 4:
93817466cbSJens Wiklander             if( ( end - *p ) < 5 )
94817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
95817466cbSJens Wiklander 
96817466cbSJens Wiklander             *len = ( (size_t)(*p)[1] << 24 ) | ( (size_t)(*p)[2] << 16 ) |
97817466cbSJens Wiklander                    ( (size_t)(*p)[3] << 8  ) |           (*p)[4];
98817466cbSJens Wiklander             (*p) += 5;
99817466cbSJens Wiklander             break;
100817466cbSJens Wiklander 
101817466cbSJens Wiklander         default:
102817466cbSJens Wiklander             return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
103817466cbSJens Wiklander         }
104817466cbSJens Wiklander     }
105817466cbSJens Wiklander 
106817466cbSJens Wiklander     if( *len > (size_t) ( end - *p ) )
107817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
108817466cbSJens Wiklander 
109817466cbSJens Wiklander     return( 0 );
110817466cbSJens Wiklander }
111817466cbSJens Wiklander 
112817466cbSJens Wiklander int mbedtls_asn1_get_tag( unsigned char **p,
113817466cbSJens Wiklander                   const unsigned char *end,
114817466cbSJens Wiklander                   size_t *len, int tag )
115817466cbSJens Wiklander {
116817466cbSJens Wiklander     if( ( end - *p ) < 1 )
117817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
118817466cbSJens Wiklander 
119817466cbSJens Wiklander     if( **p != tag )
120817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_UNEXPECTED_TAG );
121817466cbSJens Wiklander 
122817466cbSJens Wiklander     (*p)++;
123817466cbSJens Wiklander 
124817466cbSJens Wiklander     return( mbedtls_asn1_get_len( p, end, len ) );
125817466cbSJens Wiklander }
126817466cbSJens Wiklander 
127817466cbSJens Wiklander int mbedtls_asn1_get_bool( unsigned char **p,
128817466cbSJens Wiklander                    const unsigned char *end,
129817466cbSJens Wiklander                    int *val )
130817466cbSJens Wiklander {
131817466cbSJens Wiklander     int ret;
132817466cbSJens Wiklander     size_t len;
133817466cbSJens Wiklander 
134817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_BOOLEAN ) ) != 0 )
135817466cbSJens Wiklander         return( ret );
136817466cbSJens Wiklander 
137817466cbSJens Wiklander     if( len != 1 )
138817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
139817466cbSJens Wiklander 
140817466cbSJens Wiklander     *val = ( **p != 0 ) ? 1 : 0;
141817466cbSJens Wiklander     (*p)++;
142817466cbSJens Wiklander 
143817466cbSJens Wiklander     return( 0 );
144817466cbSJens Wiklander }
145817466cbSJens Wiklander 
146817466cbSJens Wiklander int mbedtls_asn1_get_int( unsigned char **p,
147817466cbSJens Wiklander                   const unsigned char *end,
148817466cbSJens Wiklander                   int *val )
149817466cbSJens Wiklander {
150817466cbSJens Wiklander     int ret;
151817466cbSJens Wiklander     size_t len;
152817466cbSJens Wiklander 
153817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_INTEGER ) ) != 0 )
154817466cbSJens Wiklander         return( ret );
155817466cbSJens Wiklander 
156817466cbSJens Wiklander     if( len == 0 || len > sizeof( int ) || ( **p & 0x80 ) != 0 )
157817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
158817466cbSJens Wiklander 
159817466cbSJens Wiklander     *val = 0;
160817466cbSJens Wiklander 
161817466cbSJens Wiklander     while( len-- > 0 )
162817466cbSJens Wiklander     {
163817466cbSJens Wiklander         *val = ( *val << 8 ) | **p;
164817466cbSJens Wiklander         (*p)++;
165817466cbSJens Wiklander     }
166817466cbSJens Wiklander 
167817466cbSJens Wiklander     return( 0 );
168817466cbSJens Wiklander }
169817466cbSJens Wiklander 
170817466cbSJens Wiklander #if defined(MBEDTLS_BIGNUM_C)
171817466cbSJens Wiklander int mbedtls_asn1_get_mpi( unsigned char **p,
172817466cbSJens Wiklander                   const unsigned char *end,
173817466cbSJens Wiklander                   mbedtls_mpi *X )
174817466cbSJens Wiklander {
175817466cbSJens Wiklander     int ret;
176817466cbSJens Wiklander     size_t len;
177817466cbSJens Wiklander 
178817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_INTEGER ) ) != 0 )
179817466cbSJens Wiklander         return( ret );
180817466cbSJens Wiklander 
181817466cbSJens Wiklander     ret = mbedtls_mpi_read_binary( X, *p, len );
182817466cbSJens Wiklander 
183817466cbSJens Wiklander     *p += len;
184817466cbSJens Wiklander 
185817466cbSJens Wiklander     return( ret );
186817466cbSJens Wiklander }
187817466cbSJens Wiklander #endif /* MBEDTLS_BIGNUM_C */
188817466cbSJens Wiklander 
189817466cbSJens Wiklander int mbedtls_asn1_get_bitstring( unsigned char **p, const unsigned char *end,
190817466cbSJens Wiklander                         mbedtls_asn1_bitstring *bs)
191817466cbSJens Wiklander {
192817466cbSJens Wiklander     int ret;
193817466cbSJens Wiklander 
194817466cbSJens Wiklander     /* Certificate type is a single byte bitstring */
195817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &bs->len, MBEDTLS_ASN1_BIT_STRING ) ) != 0 )
196817466cbSJens Wiklander         return( ret );
197817466cbSJens Wiklander 
198817466cbSJens Wiklander     /* Check length, subtract one for actual bit string length */
199817466cbSJens Wiklander     if( bs->len < 1 )
200817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
201817466cbSJens Wiklander     bs->len -= 1;
202817466cbSJens Wiklander 
203817466cbSJens Wiklander     /* Get number of unused bits, ensure unused bits <= 7 */
204817466cbSJens Wiklander     bs->unused_bits = **p;
205817466cbSJens Wiklander     if( bs->unused_bits > 7 )
206817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
207817466cbSJens Wiklander     (*p)++;
208817466cbSJens Wiklander 
209817466cbSJens Wiklander     /* Get actual bitstring */
210817466cbSJens Wiklander     bs->p = *p;
211817466cbSJens Wiklander     *p += bs->len;
212817466cbSJens Wiklander 
213817466cbSJens Wiklander     if( *p != end )
214817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
215817466cbSJens Wiklander 
216817466cbSJens Wiklander     return( 0 );
217817466cbSJens Wiklander }
218817466cbSJens Wiklander 
219817466cbSJens Wiklander /*
220817466cbSJens Wiklander  * Get a bit string without unused bits
221817466cbSJens Wiklander  */
222817466cbSJens Wiklander int mbedtls_asn1_get_bitstring_null( unsigned char **p, const unsigned char *end,
223817466cbSJens Wiklander                              size_t *len )
224817466cbSJens Wiklander {
225817466cbSJens Wiklander     int ret;
226817466cbSJens Wiklander 
227817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, len, MBEDTLS_ASN1_BIT_STRING ) ) != 0 )
228817466cbSJens Wiklander         return( ret );
229817466cbSJens Wiklander 
230817466cbSJens Wiklander     if( (*len)-- < 2 || *(*p)++ != 0 )
231817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_DATA );
232817466cbSJens Wiklander 
233817466cbSJens Wiklander     return( 0 );
234817466cbSJens Wiklander }
235817466cbSJens Wiklander 
236817466cbSJens Wiklander 
237817466cbSJens Wiklander 
238817466cbSJens Wiklander /*
239817466cbSJens Wiklander  *  Parses and splits an ASN.1 "SEQUENCE OF <tag>"
240817466cbSJens Wiklander  */
241817466cbSJens Wiklander int mbedtls_asn1_get_sequence_of( unsigned char **p,
242817466cbSJens Wiklander                           const unsigned char *end,
243817466cbSJens Wiklander                           mbedtls_asn1_sequence *cur,
244817466cbSJens Wiklander                           int tag)
245817466cbSJens Wiklander {
246817466cbSJens Wiklander     int ret;
247817466cbSJens Wiklander     size_t len;
248817466cbSJens Wiklander     mbedtls_asn1_buf *buf;
249817466cbSJens Wiklander 
250817466cbSJens Wiklander     /* Get main sequence tag */
251817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
252817466cbSJens Wiklander             MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
253817466cbSJens Wiklander         return( ret );
254817466cbSJens Wiklander 
255817466cbSJens Wiklander     if( *p + len != end )
256817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
257817466cbSJens Wiklander 
258817466cbSJens Wiklander     while( *p < end )
259817466cbSJens Wiklander     {
260817466cbSJens Wiklander         buf = &(cur->buf);
261817466cbSJens Wiklander         buf->tag = **p;
262817466cbSJens Wiklander 
263817466cbSJens Wiklander         if( ( ret = mbedtls_asn1_get_tag( p, end, &buf->len, tag ) ) != 0 )
264817466cbSJens Wiklander             return( ret );
265817466cbSJens Wiklander 
266817466cbSJens Wiklander         buf->p = *p;
267817466cbSJens Wiklander         *p += buf->len;
268817466cbSJens Wiklander 
269817466cbSJens Wiklander         /* Allocate and assign next pointer */
270817466cbSJens Wiklander         if( *p < end )
271817466cbSJens Wiklander         {
272817466cbSJens Wiklander             cur->next = (mbedtls_asn1_sequence*)mbedtls_calloc( 1,
273817466cbSJens Wiklander                                             sizeof( mbedtls_asn1_sequence ) );
274817466cbSJens Wiklander 
275817466cbSJens Wiklander             if( cur->next == NULL )
276817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_ALLOC_FAILED );
277817466cbSJens Wiklander 
278817466cbSJens Wiklander             cur = cur->next;
279817466cbSJens Wiklander         }
280817466cbSJens Wiklander     }
281817466cbSJens Wiklander 
282817466cbSJens Wiklander     /* Set final sequence entry's next pointer to NULL */
283817466cbSJens Wiklander     cur->next = NULL;
284817466cbSJens Wiklander 
285817466cbSJens Wiklander     if( *p != end )
286817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
287817466cbSJens Wiklander 
288817466cbSJens Wiklander     return( 0 );
289817466cbSJens Wiklander }
290817466cbSJens Wiklander 
291817466cbSJens Wiklander int mbedtls_asn1_get_alg( unsigned char **p,
292817466cbSJens Wiklander                   const unsigned char *end,
293817466cbSJens Wiklander                   mbedtls_asn1_buf *alg, mbedtls_asn1_buf *params )
294817466cbSJens Wiklander {
295817466cbSJens Wiklander     int ret;
296817466cbSJens Wiklander     size_t len;
297817466cbSJens Wiklander 
298817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
299817466cbSJens Wiklander             MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
300817466cbSJens Wiklander         return( ret );
301817466cbSJens Wiklander 
302817466cbSJens Wiklander     if( ( end - *p ) < 1 )
303817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
304817466cbSJens Wiklander 
305817466cbSJens Wiklander     alg->tag = **p;
306817466cbSJens Wiklander     end = *p + len;
307817466cbSJens Wiklander 
308817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &alg->len, MBEDTLS_ASN1_OID ) ) != 0 )
309817466cbSJens Wiklander         return( ret );
310817466cbSJens Wiklander 
311817466cbSJens Wiklander     alg->p = *p;
312817466cbSJens Wiklander     *p += alg->len;
313817466cbSJens Wiklander 
314817466cbSJens Wiklander     if( *p == end )
315817466cbSJens Wiklander     {
316817466cbSJens Wiklander         mbedtls_zeroize( params, sizeof(mbedtls_asn1_buf) );
317817466cbSJens Wiklander         return( 0 );
318817466cbSJens Wiklander     }
319817466cbSJens Wiklander 
320817466cbSJens Wiklander     params->tag = **p;
321817466cbSJens Wiklander     (*p)++;
322817466cbSJens Wiklander 
323817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_len( p, end, &params->len ) ) != 0 )
324817466cbSJens Wiklander         return( ret );
325817466cbSJens Wiklander 
326817466cbSJens Wiklander     params->p = *p;
327817466cbSJens Wiklander     *p += params->len;
328817466cbSJens Wiklander 
329817466cbSJens Wiklander     if( *p != end )
330817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
331817466cbSJens Wiklander 
332817466cbSJens Wiklander     return( 0 );
333817466cbSJens Wiklander }
334817466cbSJens Wiklander 
335817466cbSJens Wiklander int mbedtls_asn1_get_alg_null( unsigned char **p,
336817466cbSJens Wiklander                        const unsigned char *end,
337817466cbSJens Wiklander                        mbedtls_asn1_buf *alg )
338817466cbSJens Wiklander {
339817466cbSJens Wiklander     int ret;
340817466cbSJens Wiklander     mbedtls_asn1_buf params;
341817466cbSJens Wiklander 
342817466cbSJens Wiklander     memset( &params, 0, sizeof(mbedtls_asn1_buf) );
343817466cbSJens Wiklander 
344817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_alg( p, end, alg, &params ) ) != 0 )
345817466cbSJens Wiklander         return( ret );
346817466cbSJens Wiklander 
347817466cbSJens Wiklander     if( ( params.tag != MBEDTLS_ASN1_NULL && params.tag != 0 ) || params.len != 0 )
348817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_DATA );
349817466cbSJens Wiklander 
350817466cbSJens Wiklander     return( 0 );
351817466cbSJens Wiklander }
352817466cbSJens Wiklander 
353817466cbSJens Wiklander void mbedtls_asn1_free_named_data( mbedtls_asn1_named_data *cur )
354817466cbSJens Wiklander {
355817466cbSJens Wiklander     if( cur == NULL )
356817466cbSJens Wiklander         return;
357817466cbSJens Wiklander 
358817466cbSJens Wiklander     mbedtls_free( cur->oid.p );
359817466cbSJens Wiklander     mbedtls_free( cur->val.p );
360817466cbSJens Wiklander 
361817466cbSJens Wiklander     mbedtls_zeroize( cur, sizeof( mbedtls_asn1_named_data ) );
362817466cbSJens Wiklander }
363817466cbSJens Wiklander 
364817466cbSJens Wiklander void mbedtls_asn1_free_named_data_list( mbedtls_asn1_named_data **head )
365817466cbSJens Wiklander {
366817466cbSJens Wiklander     mbedtls_asn1_named_data *cur;
367817466cbSJens Wiklander 
368817466cbSJens Wiklander     while( ( cur = *head ) != NULL )
369817466cbSJens Wiklander     {
370817466cbSJens Wiklander         *head = cur->next;
371817466cbSJens Wiklander         mbedtls_asn1_free_named_data( cur );
372817466cbSJens Wiklander         mbedtls_free( cur );
373817466cbSJens Wiklander     }
374817466cbSJens Wiklander }
375817466cbSJens Wiklander 
376817466cbSJens Wiklander mbedtls_asn1_named_data *mbedtls_asn1_find_named_data( mbedtls_asn1_named_data *list,
377817466cbSJens Wiklander                                        const char *oid, size_t len )
378817466cbSJens Wiklander {
379817466cbSJens Wiklander     while( list != NULL )
380817466cbSJens Wiklander     {
381817466cbSJens Wiklander         if( list->oid.len == len &&
382817466cbSJens Wiklander             memcmp( list->oid.p, oid, len ) == 0 )
383817466cbSJens Wiklander         {
384817466cbSJens Wiklander             break;
385817466cbSJens Wiklander         }
386817466cbSJens Wiklander 
387817466cbSJens Wiklander         list = list->next;
388817466cbSJens Wiklander     }
389817466cbSJens Wiklander 
390817466cbSJens Wiklander     return( list );
391817466cbSJens Wiklander }
392817466cbSJens Wiklander 
393817466cbSJens Wiklander #endif /* MBEDTLS_ASN1_PARSE_C */
394