1*817466cbSJens Wiklander /* 2*817466cbSJens Wiklander * Generic ASN.1 parsing 3*817466cbSJens Wiklander * 4*817466cbSJens Wiklander * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved 5*817466cbSJens Wiklander * SPDX-License-Identifier: Apache-2.0 6*817466cbSJens Wiklander * 7*817466cbSJens Wiklander * Licensed under the Apache License, Version 2.0 (the "License"); you may 8*817466cbSJens Wiklander * not use this file except in compliance with the License. 9*817466cbSJens Wiklander * You may obtain a copy of the License at 10*817466cbSJens Wiklander * 11*817466cbSJens Wiklander * http://www.apache.org/licenses/LICENSE-2.0 12*817466cbSJens Wiklander * 13*817466cbSJens Wiklander * Unless required by applicable law or agreed to in writing, software 14*817466cbSJens Wiklander * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 15*817466cbSJens Wiklander * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 16*817466cbSJens Wiklander * See the License for the specific language governing permissions and 17*817466cbSJens Wiklander * limitations under the License. 18*817466cbSJens Wiklander * 19*817466cbSJens Wiklander * This file is part of mbed TLS (https://tls.mbed.org) 20*817466cbSJens Wiklander */ 21*817466cbSJens Wiklander 22*817466cbSJens Wiklander #if !defined(MBEDTLS_CONFIG_FILE) 23*817466cbSJens Wiklander #include "mbedtls/config.h" 24*817466cbSJens Wiklander #else 25*817466cbSJens Wiklander #include MBEDTLS_CONFIG_FILE 26*817466cbSJens Wiklander #endif 27*817466cbSJens Wiklander 28*817466cbSJens Wiklander #if defined(MBEDTLS_ASN1_PARSE_C) 29*817466cbSJens Wiklander 30*817466cbSJens Wiklander #include "mbedtls/asn1.h" 31*817466cbSJens Wiklander 32*817466cbSJens Wiklander #include <string.h> 33*817466cbSJens Wiklander 34*817466cbSJens Wiklander #if defined(MBEDTLS_BIGNUM_C) 35*817466cbSJens Wiklander #include "mbedtls/bignum.h" 36*817466cbSJens Wiklander #endif 37*817466cbSJens Wiklander 38*817466cbSJens Wiklander #if defined(MBEDTLS_PLATFORM_C) 39*817466cbSJens Wiklander #include "mbedtls/platform.h" 40*817466cbSJens Wiklander #else 41*817466cbSJens Wiklander #include <stdlib.h> 42*817466cbSJens Wiklander #define mbedtls_calloc calloc 43*817466cbSJens Wiklander #define mbedtls_free free 44*817466cbSJens Wiklander #endif 45*817466cbSJens Wiklander 46*817466cbSJens Wiklander /* Implementation that should never be optimized out by the compiler */ 47*817466cbSJens Wiklander static void mbedtls_zeroize( void *v, size_t n ) { 48*817466cbSJens Wiklander volatile unsigned char *p = (unsigned char*)v; while( n-- ) *p++ = 0; 49*817466cbSJens Wiklander } 50*817466cbSJens Wiklander 51*817466cbSJens Wiklander /* 52*817466cbSJens Wiklander * ASN.1 DER decoding routines 53*817466cbSJens Wiklander */ 54*817466cbSJens Wiklander int mbedtls_asn1_get_len( unsigned char **p, 55*817466cbSJens Wiklander const unsigned char *end, 56*817466cbSJens Wiklander size_t *len ) 57*817466cbSJens Wiklander { 58*817466cbSJens Wiklander if( ( end - *p ) < 1 ) 59*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 60*817466cbSJens Wiklander 61*817466cbSJens Wiklander if( ( **p & 0x80 ) == 0 ) 62*817466cbSJens Wiklander *len = *(*p)++; 63*817466cbSJens Wiklander else 64*817466cbSJens Wiklander { 65*817466cbSJens Wiklander switch( **p & 0x7F ) 66*817466cbSJens Wiklander { 67*817466cbSJens Wiklander case 1: 68*817466cbSJens Wiklander if( ( end - *p ) < 2 ) 69*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 70*817466cbSJens Wiklander 71*817466cbSJens Wiklander *len = (*p)[1]; 72*817466cbSJens Wiklander (*p) += 2; 73*817466cbSJens Wiklander break; 74*817466cbSJens Wiklander 75*817466cbSJens Wiklander case 2: 76*817466cbSJens Wiklander if( ( end - *p ) < 3 ) 77*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 78*817466cbSJens Wiklander 79*817466cbSJens Wiklander *len = ( (size_t)(*p)[1] << 8 ) | (*p)[2]; 80*817466cbSJens Wiklander (*p) += 3; 81*817466cbSJens Wiklander break; 82*817466cbSJens Wiklander 83*817466cbSJens Wiklander case 3: 84*817466cbSJens Wiklander if( ( end - *p ) < 4 ) 85*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 86*817466cbSJens Wiklander 87*817466cbSJens Wiklander *len = ( (size_t)(*p)[1] << 16 ) | 88*817466cbSJens Wiklander ( (size_t)(*p)[2] << 8 ) | (*p)[3]; 89*817466cbSJens Wiklander (*p) += 4; 90*817466cbSJens Wiklander break; 91*817466cbSJens Wiklander 92*817466cbSJens Wiklander case 4: 93*817466cbSJens Wiklander if( ( end - *p ) < 5 ) 94*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 95*817466cbSJens Wiklander 96*817466cbSJens Wiklander *len = ( (size_t)(*p)[1] << 24 ) | ( (size_t)(*p)[2] << 16 ) | 97*817466cbSJens Wiklander ( (size_t)(*p)[3] << 8 ) | (*p)[4]; 98*817466cbSJens Wiklander (*p) += 5; 99*817466cbSJens Wiklander break; 100*817466cbSJens Wiklander 101*817466cbSJens Wiklander default: 102*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_INVALID_LENGTH ); 103*817466cbSJens Wiklander } 104*817466cbSJens Wiklander } 105*817466cbSJens Wiklander 106*817466cbSJens Wiklander if( *len > (size_t) ( end - *p ) ) 107*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 108*817466cbSJens Wiklander 109*817466cbSJens Wiklander return( 0 ); 110*817466cbSJens Wiklander } 111*817466cbSJens Wiklander 112*817466cbSJens Wiklander int mbedtls_asn1_get_tag( unsigned char **p, 113*817466cbSJens Wiklander const unsigned char *end, 114*817466cbSJens Wiklander size_t *len, int tag ) 115*817466cbSJens Wiklander { 116*817466cbSJens Wiklander if( ( end - *p ) < 1 ) 117*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 118*817466cbSJens Wiklander 119*817466cbSJens Wiklander if( **p != tag ) 120*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ); 121*817466cbSJens Wiklander 122*817466cbSJens Wiklander (*p)++; 123*817466cbSJens Wiklander 124*817466cbSJens Wiklander return( mbedtls_asn1_get_len( p, end, len ) ); 125*817466cbSJens Wiklander } 126*817466cbSJens Wiklander 127*817466cbSJens Wiklander int mbedtls_asn1_get_bool( unsigned char **p, 128*817466cbSJens Wiklander const unsigned char *end, 129*817466cbSJens Wiklander int *val ) 130*817466cbSJens Wiklander { 131*817466cbSJens Wiklander int ret; 132*817466cbSJens Wiklander size_t len; 133*817466cbSJens Wiklander 134*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_BOOLEAN ) ) != 0 ) 135*817466cbSJens Wiklander return( ret ); 136*817466cbSJens Wiklander 137*817466cbSJens Wiklander if( len != 1 ) 138*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_INVALID_LENGTH ); 139*817466cbSJens Wiklander 140*817466cbSJens Wiklander *val = ( **p != 0 ) ? 1 : 0; 141*817466cbSJens Wiklander (*p)++; 142*817466cbSJens Wiklander 143*817466cbSJens Wiklander return( 0 ); 144*817466cbSJens Wiklander } 145*817466cbSJens Wiklander 146*817466cbSJens Wiklander int mbedtls_asn1_get_int( unsigned char **p, 147*817466cbSJens Wiklander const unsigned char *end, 148*817466cbSJens Wiklander int *val ) 149*817466cbSJens Wiklander { 150*817466cbSJens Wiklander int ret; 151*817466cbSJens Wiklander size_t len; 152*817466cbSJens Wiklander 153*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_INTEGER ) ) != 0 ) 154*817466cbSJens Wiklander return( ret ); 155*817466cbSJens Wiklander 156*817466cbSJens Wiklander if( len == 0 || len > sizeof( int ) || ( **p & 0x80 ) != 0 ) 157*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_INVALID_LENGTH ); 158*817466cbSJens Wiklander 159*817466cbSJens Wiklander *val = 0; 160*817466cbSJens Wiklander 161*817466cbSJens Wiklander while( len-- > 0 ) 162*817466cbSJens Wiklander { 163*817466cbSJens Wiklander *val = ( *val << 8 ) | **p; 164*817466cbSJens Wiklander (*p)++; 165*817466cbSJens Wiklander } 166*817466cbSJens Wiklander 167*817466cbSJens Wiklander return( 0 ); 168*817466cbSJens Wiklander } 169*817466cbSJens Wiklander 170*817466cbSJens Wiklander #if defined(MBEDTLS_BIGNUM_C) 171*817466cbSJens Wiklander int mbedtls_asn1_get_mpi( unsigned char **p, 172*817466cbSJens Wiklander const unsigned char *end, 173*817466cbSJens Wiklander mbedtls_mpi *X ) 174*817466cbSJens Wiklander { 175*817466cbSJens Wiklander int ret; 176*817466cbSJens Wiklander size_t len; 177*817466cbSJens Wiklander 178*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, &len, MBEDTLS_ASN1_INTEGER ) ) != 0 ) 179*817466cbSJens Wiklander return( ret ); 180*817466cbSJens Wiklander 181*817466cbSJens Wiklander ret = mbedtls_mpi_read_binary( X, *p, len ); 182*817466cbSJens Wiklander 183*817466cbSJens Wiklander *p += len; 184*817466cbSJens Wiklander 185*817466cbSJens Wiklander return( ret ); 186*817466cbSJens Wiklander } 187*817466cbSJens Wiklander #endif /* MBEDTLS_BIGNUM_C */ 188*817466cbSJens Wiklander 189*817466cbSJens Wiklander int mbedtls_asn1_get_bitstring( unsigned char **p, const unsigned char *end, 190*817466cbSJens Wiklander mbedtls_asn1_bitstring *bs) 191*817466cbSJens Wiklander { 192*817466cbSJens Wiklander int ret; 193*817466cbSJens Wiklander 194*817466cbSJens Wiklander /* Certificate type is a single byte bitstring */ 195*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, &bs->len, MBEDTLS_ASN1_BIT_STRING ) ) != 0 ) 196*817466cbSJens Wiklander return( ret ); 197*817466cbSJens Wiklander 198*817466cbSJens Wiklander /* Check length, subtract one for actual bit string length */ 199*817466cbSJens Wiklander if( bs->len < 1 ) 200*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 201*817466cbSJens Wiklander bs->len -= 1; 202*817466cbSJens Wiklander 203*817466cbSJens Wiklander /* Get number of unused bits, ensure unused bits <= 7 */ 204*817466cbSJens Wiklander bs->unused_bits = **p; 205*817466cbSJens Wiklander if( bs->unused_bits > 7 ) 206*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_INVALID_LENGTH ); 207*817466cbSJens Wiklander (*p)++; 208*817466cbSJens Wiklander 209*817466cbSJens Wiklander /* Get actual bitstring */ 210*817466cbSJens Wiklander bs->p = *p; 211*817466cbSJens Wiklander *p += bs->len; 212*817466cbSJens Wiklander 213*817466cbSJens Wiklander if( *p != end ) 214*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH ); 215*817466cbSJens Wiklander 216*817466cbSJens Wiklander return( 0 ); 217*817466cbSJens Wiklander } 218*817466cbSJens Wiklander 219*817466cbSJens Wiklander /* 220*817466cbSJens Wiklander * Get a bit string without unused bits 221*817466cbSJens Wiklander */ 222*817466cbSJens Wiklander int mbedtls_asn1_get_bitstring_null( unsigned char **p, const unsigned char *end, 223*817466cbSJens Wiklander size_t *len ) 224*817466cbSJens Wiklander { 225*817466cbSJens Wiklander int ret; 226*817466cbSJens Wiklander 227*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, len, MBEDTLS_ASN1_BIT_STRING ) ) != 0 ) 228*817466cbSJens Wiklander return( ret ); 229*817466cbSJens Wiklander 230*817466cbSJens Wiklander if( (*len)-- < 2 || *(*p)++ != 0 ) 231*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_INVALID_DATA ); 232*817466cbSJens Wiklander 233*817466cbSJens Wiklander return( 0 ); 234*817466cbSJens Wiklander } 235*817466cbSJens Wiklander 236*817466cbSJens Wiklander 237*817466cbSJens Wiklander 238*817466cbSJens Wiklander /* 239*817466cbSJens Wiklander * Parses and splits an ASN.1 "SEQUENCE OF <tag>" 240*817466cbSJens Wiklander */ 241*817466cbSJens Wiklander int mbedtls_asn1_get_sequence_of( unsigned char **p, 242*817466cbSJens Wiklander const unsigned char *end, 243*817466cbSJens Wiklander mbedtls_asn1_sequence *cur, 244*817466cbSJens Wiklander int tag) 245*817466cbSJens Wiklander { 246*817466cbSJens Wiklander int ret; 247*817466cbSJens Wiklander size_t len; 248*817466cbSJens Wiklander mbedtls_asn1_buf *buf; 249*817466cbSJens Wiklander 250*817466cbSJens Wiklander /* Get main sequence tag */ 251*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, &len, 252*817466cbSJens Wiklander MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 ) 253*817466cbSJens Wiklander return( ret ); 254*817466cbSJens Wiklander 255*817466cbSJens Wiklander if( *p + len != end ) 256*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH ); 257*817466cbSJens Wiklander 258*817466cbSJens Wiklander while( *p < end ) 259*817466cbSJens Wiklander { 260*817466cbSJens Wiklander buf = &(cur->buf); 261*817466cbSJens Wiklander buf->tag = **p; 262*817466cbSJens Wiklander 263*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, &buf->len, tag ) ) != 0 ) 264*817466cbSJens Wiklander return( ret ); 265*817466cbSJens Wiklander 266*817466cbSJens Wiklander buf->p = *p; 267*817466cbSJens Wiklander *p += buf->len; 268*817466cbSJens Wiklander 269*817466cbSJens Wiklander /* Allocate and assign next pointer */ 270*817466cbSJens Wiklander if( *p < end ) 271*817466cbSJens Wiklander { 272*817466cbSJens Wiklander cur->next = (mbedtls_asn1_sequence*)mbedtls_calloc( 1, 273*817466cbSJens Wiklander sizeof( mbedtls_asn1_sequence ) ); 274*817466cbSJens Wiklander 275*817466cbSJens Wiklander if( cur->next == NULL ) 276*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_ALLOC_FAILED ); 277*817466cbSJens Wiklander 278*817466cbSJens Wiklander cur = cur->next; 279*817466cbSJens Wiklander } 280*817466cbSJens Wiklander } 281*817466cbSJens Wiklander 282*817466cbSJens Wiklander /* Set final sequence entry's next pointer to NULL */ 283*817466cbSJens Wiklander cur->next = NULL; 284*817466cbSJens Wiklander 285*817466cbSJens Wiklander if( *p != end ) 286*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH ); 287*817466cbSJens Wiklander 288*817466cbSJens Wiklander return( 0 ); 289*817466cbSJens Wiklander } 290*817466cbSJens Wiklander 291*817466cbSJens Wiklander int mbedtls_asn1_get_alg( unsigned char **p, 292*817466cbSJens Wiklander const unsigned char *end, 293*817466cbSJens Wiklander mbedtls_asn1_buf *alg, mbedtls_asn1_buf *params ) 294*817466cbSJens Wiklander { 295*817466cbSJens Wiklander int ret; 296*817466cbSJens Wiklander size_t len; 297*817466cbSJens Wiklander 298*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, &len, 299*817466cbSJens Wiklander MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 ) 300*817466cbSJens Wiklander return( ret ); 301*817466cbSJens Wiklander 302*817466cbSJens Wiklander if( ( end - *p ) < 1 ) 303*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_OUT_OF_DATA ); 304*817466cbSJens Wiklander 305*817466cbSJens Wiklander alg->tag = **p; 306*817466cbSJens Wiklander end = *p + len; 307*817466cbSJens Wiklander 308*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_tag( p, end, &alg->len, MBEDTLS_ASN1_OID ) ) != 0 ) 309*817466cbSJens Wiklander return( ret ); 310*817466cbSJens Wiklander 311*817466cbSJens Wiklander alg->p = *p; 312*817466cbSJens Wiklander *p += alg->len; 313*817466cbSJens Wiklander 314*817466cbSJens Wiklander if( *p == end ) 315*817466cbSJens Wiklander { 316*817466cbSJens Wiklander mbedtls_zeroize( params, sizeof(mbedtls_asn1_buf) ); 317*817466cbSJens Wiklander return( 0 ); 318*817466cbSJens Wiklander } 319*817466cbSJens Wiklander 320*817466cbSJens Wiklander params->tag = **p; 321*817466cbSJens Wiklander (*p)++; 322*817466cbSJens Wiklander 323*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_len( p, end, ¶ms->len ) ) != 0 ) 324*817466cbSJens Wiklander return( ret ); 325*817466cbSJens Wiklander 326*817466cbSJens Wiklander params->p = *p; 327*817466cbSJens Wiklander *p += params->len; 328*817466cbSJens Wiklander 329*817466cbSJens Wiklander if( *p != end ) 330*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH ); 331*817466cbSJens Wiklander 332*817466cbSJens Wiklander return( 0 ); 333*817466cbSJens Wiklander } 334*817466cbSJens Wiklander 335*817466cbSJens Wiklander int mbedtls_asn1_get_alg_null( unsigned char **p, 336*817466cbSJens Wiklander const unsigned char *end, 337*817466cbSJens Wiklander mbedtls_asn1_buf *alg ) 338*817466cbSJens Wiklander { 339*817466cbSJens Wiklander int ret; 340*817466cbSJens Wiklander mbedtls_asn1_buf params; 341*817466cbSJens Wiklander 342*817466cbSJens Wiklander memset( ¶ms, 0, sizeof(mbedtls_asn1_buf) ); 343*817466cbSJens Wiklander 344*817466cbSJens Wiklander if( ( ret = mbedtls_asn1_get_alg( p, end, alg, ¶ms ) ) != 0 ) 345*817466cbSJens Wiklander return( ret ); 346*817466cbSJens Wiklander 347*817466cbSJens Wiklander if( ( params.tag != MBEDTLS_ASN1_NULL && params.tag != 0 ) || params.len != 0 ) 348*817466cbSJens Wiklander return( MBEDTLS_ERR_ASN1_INVALID_DATA ); 349*817466cbSJens Wiklander 350*817466cbSJens Wiklander return( 0 ); 351*817466cbSJens Wiklander } 352*817466cbSJens Wiklander 353*817466cbSJens Wiklander void mbedtls_asn1_free_named_data( mbedtls_asn1_named_data *cur ) 354*817466cbSJens Wiklander { 355*817466cbSJens Wiklander if( cur == NULL ) 356*817466cbSJens Wiklander return; 357*817466cbSJens Wiklander 358*817466cbSJens Wiklander mbedtls_free( cur->oid.p ); 359*817466cbSJens Wiklander mbedtls_free( cur->val.p ); 360*817466cbSJens Wiklander 361*817466cbSJens Wiklander mbedtls_zeroize( cur, sizeof( mbedtls_asn1_named_data ) ); 362*817466cbSJens Wiklander } 363*817466cbSJens Wiklander 364*817466cbSJens Wiklander void mbedtls_asn1_free_named_data_list( mbedtls_asn1_named_data **head ) 365*817466cbSJens Wiklander { 366*817466cbSJens Wiklander mbedtls_asn1_named_data *cur; 367*817466cbSJens Wiklander 368*817466cbSJens Wiklander while( ( cur = *head ) != NULL ) 369*817466cbSJens Wiklander { 370*817466cbSJens Wiklander *head = cur->next; 371*817466cbSJens Wiklander mbedtls_asn1_free_named_data( cur ); 372*817466cbSJens Wiklander mbedtls_free( cur ); 373*817466cbSJens Wiklander } 374*817466cbSJens Wiklander } 375*817466cbSJens Wiklander 376*817466cbSJens Wiklander mbedtls_asn1_named_data *mbedtls_asn1_find_named_data( mbedtls_asn1_named_data *list, 377*817466cbSJens Wiklander const char *oid, size_t len ) 378*817466cbSJens Wiklander { 379*817466cbSJens Wiklander while( list != NULL ) 380*817466cbSJens Wiklander { 381*817466cbSJens Wiklander if( list->oid.len == len && 382*817466cbSJens Wiklander memcmp( list->oid.p, oid, len ) == 0 ) 383*817466cbSJens Wiklander { 384*817466cbSJens Wiklander break; 385*817466cbSJens Wiklander } 386*817466cbSJens Wiklander 387*817466cbSJens Wiklander list = list->next; 388*817466cbSJens Wiklander } 389*817466cbSJens Wiklander 390*817466cbSJens Wiklander return( list ); 391*817466cbSJens Wiklander } 392*817466cbSJens Wiklander 393*817466cbSJens Wiklander #endif /* MBEDTLS_ASN1_PARSE_C */ 394