xref: /optee_os/lib/libmbedtls/mbedtls/library/asn1parse.c (revision 3d3b05918ec9052ba13de82fbcaba204766eb636)
1c6672fdcSEdison 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"
31*3d3b0591SJens Wiklander #include "mbedtls/platform_util.h"
32817466cbSJens Wiklander 
33817466cbSJens Wiklander #include <string.h>
34817466cbSJens Wiklander 
35817466cbSJens Wiklander #if defined(MBEDTLS_BIGNUM_C)
36817466cbSJens Wiklander #include "mbedtls/bignum.h"
37817466cbSJens Wiklander #endif
38817466cbSJens Wiklander 
39817466cbSJens Wiklander #if defined(MBEDTLS_PLATFORM_C)
40817466cbSJens Wiklander #include "mbedtls/platform.h"
41817466cbSJens Wiklander #else
42817466cbSJens Wiklander #include <stdlib.h>
43817466cbSJens Wiklander #define mbedtls_calloc    calloc
44817466cbSJens Wiklander #define mbedtls_free       free
45817466cbSJens Wiklander #endif
46817466cbSJens Wiklander 
47817466cbSJens Wiklander /*
48817466cbSJens Wiklander  * ASN.1 DER decoding routines
49817466cbSJens Wiklander  */
50817466cbSJens Wiklander int mbedtls_asn1_get_len( unsigned char **p,
51817466cbSJens Wiklander                   const unsigned char *end,
52817466cbSJens Wiklander                   size_t *len )
53817466cbSJens Wiklander {
54817466cbSJens Wiklander     if( ( end - *p ) < 1 )
55817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
56817466cbSJens Wiklander 
57817466cbSJens Wiklander     if( ( **p & 0x80 ) == 0 )
58817466cbSJens Wiklander         *len = *(*p)++;
59817466cbSJens Wiklander     else
60817466cbSJens Wiklander     {
61817466cbSJens Wiklander         switch( **p & 0x7F )
62817466cbSJens Wiklander         {
63817466cbSJens Wiklander         case 1:
64817466cbSJens Wiklander             if( ( end - *p ) < 2 )
65817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
66817466cbSJens Wiklander 
67817466cbSJens Wiklander             *len = (*p)[1];
68817466cbSJens Wiklander             (*p) += 2;
69817466cbSJens Wiklander             break;
70817466cbSJens Wiklander 
71817466cbSJens Wiklander         case 2:
72817466cbSJens Wiklander             if( ( end - *p ) < 3 )
73817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
74817466cbSJens Wiklander 
75817466cbSJens Wiklander             *len = ( (size_t)(*p)[1] << 8 ) | (*p)[2];
76817466cbSJens Wiklander             (*p) += 3;
77817466cbSJens Wiklander             break;
78817466cbSJens Wiklander 
79817466cbSJens Wiklander         case 3:
80817466cbSJens Wiklander             if( ( end - *p ) < 4 )
81817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
82817466cbSJens Wiklander 
83817466cbSJens Wiklander             *len = ( (size_t)(*p)[1] << 16 ) |
84817466cbSJens Wiklander                    ( (size_t)(*p)[2] << 8  ) | (*p)[3];
85817466cbSJens Wiklander             (*p) += 4;
86817466cbSJens Wiklander             break;
87817466cbSJens Wiklander 
88817466cbSJens Wiklander         case 4:
89817466cbSJens Wiklander             if( ( end - *p ) < 5 )
90817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
91817466cbSJens Wiklander 
92817466cbSJens Wiklander             *len = ( (size_t)(*p)[1] << 24 ) | ( (size_t)(*p)[2] << 16 ) |
93817466cbSJens Wiklander                    ( (size_t)(*p)[3] << 8  ) |           (*p)[4];
94817466cbSJens Wiklander             (*p) += 5;
95817466cbSJens Wiklander             break;
96817466cbSJens Wiklander 
97817466cbSJens Wiklander         default:
98817466cbSJens Wiklander             return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
99817466cbSJens Wiklander         }
100817466cbSJens Wiklander     }
101817466cbSJens Wiklander 
102817466cbSJens Wiklander     if( *len > (size_t) ( end - *p ) )
103817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
104817466cbSJens Wiklander 
105817466cbSJens Wiklander     return( 0 );
106817466cbSJens Wiklander }
107817466cbSJens Wiklander 
108817466cbSJens Wiklander int mbedtls_asn1_get_tag( unsigned char **p,
109817466cbSJens Wiklander                   const unsigned char *end,
110817466cbSJens Wiklander                   size_t *len, int tag )
111817466cbSJens Wiklander {
112817466cbSJens Wiklander     if( ( end - *p ) < 1 )
113817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
114817466cbSJens Wiklander 
115817466cbSJens Wiklander     if( **p != tag )
116817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_UNEXPECTED_TAG );
117817466cbSJens Wiklander 
118817466cbSJens Wiklander     (*p)++;
119817466cbSJens Wiklander 
120817466cbSJens Wiklander     return( mbedtls_asn1_get_len( p, end, len ) );
121817466cbSJens Wiklander }
122817466cbSJens Wiklander 
123817466cbSJens Wiklander int mbedtls_asn1_get_bool( unsigned char **p,
124817466cbSJens Wiklander                    const unsigned char *end,
125817466cbSJens Wiklander                    int *val )
126817466cbSJens Wiklander {
127817466cbSJens Wiklander     int ret;
128817466cbSJens Wiklander     size_t len;
129817466cbSJens Wiklander 
130817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_BOOLEAN ) ) != 0 )
131817466cbSJens Wiklander         return( ret );
132817466cbSJens Wiklander 
133817466cbSJens Wiklander     if( len != 1 )
134817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
135817466cbSJens Wiklander 
136817466cbSJens Wiklander     *val = ( **p != 0 ) ? 1 : 0;
137817466cbSJens Wiklander     (*p)++;
138817466cbSJens Wiklander 
139817466cbSJens Wiklander     return( 0 );
140817466cbSJens Wiklander }
141817466cbSJens Wiklander 
142817466cbSJens Wiklander int mbedtls_asn1_get_int( unsigned char **p,
143817466cbSJens Wiklander                   const unsigned char *end,
144817466cbSJens Wiklander                   int *val )
145817466cbSJens Wiklander {
146817466cbSJens Wiklander     int ret;
147817466cbSJens Wiklander     size_t len;
148817466cbSJens Wiklander 
149817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_INTEGER ) ) != 0 )
150817466cbSJens Wiklander         return( ret );
151817466cbSJens Wiklander 
152817466cbSJens Wiklander     if( len == 0 || len > sizeof( int ) || ( **p & 0x80 ) != 0 )
153817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
154817466cbSJens Wiklander 
155817466cbSJens Wiklander     *val = 0;
156817466cbSJens Wiklander 
157817466cbSJens Wiklander     while( len-- > 0 )
158817466cbSJens Wiklander     {
159817466cbSJens Wiklander         *val = ( *val << 8 ) | **p;
160817466cbSJens Wiklander         (*p)++;
161817466cbSJens Wiklander     }
162817466cbSJens Wiklander 
163817466cbSJens Wiklander     return( 0 );
164817466cbSJens Wiklander }
165817466cbSJens Wiklander 
166817466cbSJens Wiklander #if defined(MBEDTLS_BIGNUM_C)
167817466cbSJens Wiklander int mbedtls_asn1_get_mpi( unsigned char **p,
168817466cbSJens Wiklander                   const unsigned char *end,
169817466cbSJens Wiklander                   mbedtls_mpi *X )
170817466cbSJens Wiklander {
171817466cbSJens Wiklander     int ret;
172817466cbSJens Wiklander     size_t len;
173817466cbSJens Wiklander 
174817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_INTEGER ) ) != 0 )
175817466cbSJens Wiklander         return( ret );
176817466cbSJens Wiklander 
177817466cbSJens Wiklander     ret = mbedtls_mpi_read_binary( X, *p, len );
178817466cbSJens Wiklander 
179817466cbSJens Wiklander     *p += len;
180817466cbSJens Wiklander 
181817466cbSJens Wiklander     return( ret );
182817466cbSJens Wiklander }
183817466cbSJens Wiklander #endif /* MBEDTLS_BIGNUM_C */
184817466cbSJens Wiklander 
185817466cbSJens Wiklander int mbedtls_asn1_get_bitstring( unsigned char **p, const unsigned char *end,
186817466cbSJens Wiklander                         mbedtls_asn1_bitstring *bs)
187817466cbSJens Wiklander {
188817466cbSJens Wiklander     int ret;
189817466cbSJens Wiklander 
190817466cbSJens Wiklander     /* Certificate type is a single byte bitstring */
191817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &bs->len, MBEDTLS_ASN1_BIT_STRING ) ) != 0 )
192817466cbSJens Wiklander         return( ret );
193817466cbSJens Wiklander 
194817466cbSJens Wiklander     /* Check length, subtract one for actual bit string length */
195817466cbSJens Wiklander     if( bs->len < 1 )
196817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
197817466cbSJens Wiklander     bs->len -= 1;
198817466cbSJens Wiklander 
199817466cbSJens Wiklander     /* Get number of unused bits, ensure unused bits <= 7 */
200817466cbSJens Wiklander     bs->unused_bits = **p;
201817466cbSJens Wiklander     if( bs->unused_bits > 7 )
202817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_LENGTH );
203817466cbSJens Wiklander     (*p)++;
204817466cbSJens Wiklander 
205817466cbSJens Wiklander     /* Get actual bitstring */
206817466cbSJens Wiklander     bs->p = *p;
207817466cbSJens Wiklander     *p += bs->len;
208817466cbSJens Wiklander 
209817466cbSJens Wiklander     if( *p != end )
210817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
211817466cbSJens Wiklander 
212817466cbSJens Wiklander     return( 0 );
213817466cbSJens Wiklander }
214817466cbSJens Wiklander 
215817466cbSJens Wiklander /*
216817466cbSJens Wiklander  * Get a bit string without unused bits
217817466cbSJens Wiklander  */
218817466cbSJens Wiklander int mbedtls_asn1_get_bitstring_null( unsigned char **p, const unsigned char *end,
219817466cbSJens Wiklander                              size_t *len )
220817466cbSJens Wiklander {
221817466cbSJens Wiklander     int ret;
222817466cbSJens Wiklander 
223817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, len, MBEDTLS_ASN1_BIT_STRING ) ) != 0 )
224817466cbSJens Wiklander         return( ret );
225817466cbSJens Wiklander 
226817466cbSJens Wiklander     if( (*len)-- < 2 || *(*p)++ != 0 )
227817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_DATA );
228817466cbSJens Wiklander 
229817466cbSJens Wiklander     return( 0 );
230817466cbSJens Wiklander }
231817466cbSJens Wiklander 
232817466cbSJens Wiklander 
233817466cbSJens Wiklander 
234817466cbSJens Wiklander /*
235817466cbSJens Wiklander  *  Parses and splits an ASN.1 "SEQUENCE OF <tag>"
236817466cbSJens Wiklander  */
237817466cbSJens Wiklander int mbedtls_asn1_get_sequence_of( unsigned char **p,
238817466cbSJens Wiklander                           const unsigned char *end,
239817466cbSJens Wiklander                           mbedtls_asn1_sequence *cur,
240817466cbSJens Wiklander                           int tag)
241817466cbSJens Wiklander {
242817466cbSJens Wiklander     int ret;
243817466cbSJens Wiklander     size_t len;
244817466cbSJens Wiklander     mbedtls_asn1_buf *buf;
245817466cbSJens Wiklander 
246817466cbSJens Wiklander     /* Get main sequence tag */
247817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
248817466cbSJens Wiklander             MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
249817466cbSJens Wiklander         return( ret );
250817466cbSJens Wiklander 
251817466cbSJens Wiklander     if( *p + len != end )
252817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
253817466cbSJens Wiklander 
254817466cbSJens Wiklander     while( *p < end )
255817466cbSJens Wiklander     {
256817466cbSJens Wiklander         buf = &(cur->buf);
257817466cbSJens Wiklander         buf->tag = **p;
258817466cbSJens Wiklander 
259817466cbSJens Wiklander         if( ( ret = mbedtls_asn1_get_tag( p, end, &buf->len, tag ) ) != 0 )
260817466cbSJens Wiklander             return( ret );
261817466cbSJens Wiklander 
262817466cbSJens Wiklander         buf->p = *p;
263817466cbSJens Wiklander         *p += buf->len;
264817466cbSJens Wiklander 
265817466cbSJens Wiklander         /* Allocate and assign next pointer */
266817466cbSJens Wiklander         if( *p < end )
267817466cbSJens Wiklander         {
268817466cbSJens Wiklander             cur->next = (mbedtls_asn1_sequence*)mbedtls_calloc( 1,
269817466cbSJens Wiklander                                             sizeof( mbedtls_asn1_sequence ) );
270817466cbSJens Wiklander 
271817466cbSJens Wiklander             if( cur->next == NULL )
272817466cbSJens Wiklander                 return( MBEDTLS_ERR_ASN1_ALLOC_FAILED );
273817466cbSJens Wiklander 
274817466cbSJens Wiklander             cur = cur->next;
275817466cbSJens Wiklander         }
276817466cbSJens Wiklander     }
277817466cbSJens Wiklander 
278817466cbSJens Wiklander     /* Set final sequence entry's next pointer to NULL */
279817466cbSJens Wiklander     cur->next = NULL;
280817466cbSJens Wiklander 
281817466cbSJens Wiklander     if( *p != end )
282817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
283817466cbSJens Wiklander 
284817466cbSJens Wiklander     return( 0 );
285817466cbSJens Wiklander }
286817466cbSJens Wiklander 
287817466cbSJens Wiklander int mbedtls_asn1_get_alg( unsigned char **p,
288817466cbSJens Wiklander                   const unsigned char *end,
289817466cbSJens Wiklander                   mbedtls_asn1_buf *alg, mbedtls_asn1_buf *params )
290817466cbSJens Wiklander {
291817466cbSJens Wiklander     int ret;
292817466cbSJens Wiklander     size_t len;
293817466cbSJens Wiklander 
294817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
295817466cbSJens Wiklander             MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
296817466cbSJens Wiklander         return( ret );
297817466cbSJens Wiklander 
298817466cbSJens Wiklander     if( ( end - *p ) < 1 )
299817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
300817466cbSJens Wiklander 
301817466cbSJens Wiklander     alg->tag = **p;
302817466cbSJens Wiklander     end = *p + len;
303817466cbSJens Wiklander 
304817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_tag( p, end, &alg->len, MBEDTLS_ASN1_OID ) ) != 0 )
305817466cbSJens Wiklander         return( ret );
306817466cbSJens Wiklander 
307817466cbSJens Wiklander     alg->p = *p;
308817466cbSJens Wiklander     *p += alg->len;
309817466cbSJens Wiklander 
310817466cbSJens Wiklander     if( *p == end )
311817466cbSJens Wiklander     {
312*3d3b0591SJens Wiklander         mbedtls_platform_zeroize( params, sizeof(mbedtls_asn1_buf) );
313817466cbSJens Wiklander         return( 0 );
314817466cbSJens Wiklander     }
315817466cbSJens Wiklander 
316817466cbSJens Wiklander     params->tag = **p;
317817466cbSJens Wiklander     (*p)++;
318817466cbSJens Wiklander 
319817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_len( p, end, &params->len ) ) != 0 )
320817466cbSJens Wiklander         return( ret );
321817466cbSJens Wiklander 
322817466cbSJens Wiklander     params->p = *p;
323817466cbSJens Wiklander     *p += params->len;
324817466cbSJens Wiklander 
325817466cbSJens Wiklander     if( *p != end )
326817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
327817466cbSJens Wiklander 
328817466cbSJens Wiklander     return( 0 );
329817466cbSJens Wiklander }
330817466cbSJens Wiklander 
331817466cbSJens Wiklander int mbedtls_asn1_get_alg_null( unsigned char **p,
332817466cbSJens Wiklander                        const unsigned char *end,
333817466cbSJens Wiklander                        mbedtls_asn1_buf *alg )
334817466cbSJens Wiklander {
335817466cbSJens Wiklander     int ret;
336817466cbSJens Wiklander     mbedtls_asn1_buf params;
337817466cbSJens Wiklander 
338817466cbSJens Wiklander     memset( &params, 0, sizeof(mbedtls_asn1_buf) );
339817466cbSJens Wiklander 
340817466cbSJens Wiklander     if( ( ret = mbedtls_asn1_get_alg( p, end, alg, &params ) ) != 0 )
341817466cbSJens Wiklander         return( ret );
342817466cbSJens Wiklander 
343817466cbSJens Wiklander     if( ( params.tag != MBEDTLS_ASN1_NULL && params.tag != 0 ) || params.len != 0 )
344817466cbSJens Wiklander         return( MBEDTLS_ERR_ASN1_INVALID_DATA );
345817466cbSJens Wiklander 
346817466cbSJens Wiklander     return( 0 );
347817466cbSJens Wiklander }
348817466cbSJens Wiklander 
349817466cbSJens Wiklander void mbedtls_asn1_free_named_data( mbedtls_asn1_named_data *cur )
350817466cbSJens Wiklander {
351817466cbSJens Wiklander     if( cur == NULL )
352817466cbSJens Wiklander         return;
353817466cbSJens Wiklander 
354817466cbSJens Wiklander     mbedtls_free( cur->oid.p );
355817466cbSJens Wiklander     mbedtls_free( cur->val.p );
356817466cbSJens Wiklander 
357*3d3b0591SJens Wiklander     mbedtls_platform_zeroize( cur, sizeof( mbedtls_asn1_named_data ) );
358817466cbSJens Wiklander }
359817466cbSJens Wiklander 
360817466cbSJens Wiklander void mbedtls_asn1_free_named_data_list( mbedtls_asn1_named_data **head )
361817466cbSJens Wiklander {
362817466cbSJens Wiklander     mbedtls_asn1_named_data *cur;
363817466cbSJens Wiklander 
364817466cbSJens Wiklander     while( ( cur = *head ) != NULL )
365817466cbSJens Wiklander     {
366817466cbSJens Wiklander         *head = cur->next;
367817466cbSJens Wiklander         mbedtls_asn1_free_named_data( cur );
368817466cbSJens Wiklander         mbedtls_free( cur );
369817466cbSJens Wiklander     }
370817466cbSJens Wiklander }
371817466cbSJens Wiklander 
372817466cbSJens Wiklander mbedtls_asn1_named_data *mbedtls_asn1_find_named_data( mbedtls_asn1_named_data *list,
373817466cbSJens Wiklander                                        const char *oid, size_t len )
374817466cbSJens Wiklander {
375817466cbSJens Wiklander     while( list != NULL )
376817466cbSJens Wiklander     {
377817466cbSJens Wiklander         if( list->oid.len == len &&
378817466cbSJens Wiklander             memcmp( list->oid.p, oid, len ) == 0 )
379817466cbSJens Wiklander         {
380817466cbSJens Wiklander             break;
381817466cbSJens Wiklander         }
382817466cbSJens Wiklander 
383817466cbSJens Wiklander         list = list->next;
384817466cbSJens Wiklander     }
385817466cbSJens Wiklander 
386817466cbSJens Wiklander     return( list );
387817466cbSJens Wiklander }
388817466cbSJens Wiklander 
389817466cbSJens Wiklander #endif /* MBEDTLS_ASN1_PARSE_C */
390