proxmark3/common/mbedtls/asn1parse.c

370 lines
9.3 KiB
C
Raw Normal View History

2018-11-08 00:05:02 +08:00
/*
* Generic ASN.1 parsing
*
* Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
* SPDX-License-Identifier: GPL-2.0
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program 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 General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*
* This file is part of mbed TLS (https://tls.mbed.org)
*/
#if !defined(MBEDTLS_CONFIG_FILE)
#include "mbedtls/config.h"
#else
#include MBEDTLS_CONFIG_FILE
#endif
#if defined(MBEDTLS_ASN1_PARSE_C)
#include "mbedtls/asn1.h"
#include "mbedtls/platform_util.h"
#include <string.h>
#if defined(MBEDTLS_BIGNUM_C)
#include "mbedtls/bignum.h"
#endif
#if defined(MBEDTLS_PLATFORM_C)
#include "mbedtls/platform.h"
#else
#include <stdlib.h>
#define mbedtls_calloc calloc
#define mbedtls_free free
#endif
/*
* ASN.1 DER decoding routines
*/
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_len(unsigned char **p,
const unsigned char *end,
size_t *len) {
2019-03-10 07:00:59 +08:00
if ((end - *p) < 1)
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if ((**p & 0x80) == 0)
2018-11-08 00:05:02 +08:00
*len = *(*p)++;
2019-03-10 07:00:59 +08:00
else {
switch (**p & 0x7F) {
case 1:
if ((end - *p) < 2)
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
*len = (*p)[1];
(*p) += 2;
break;
case 2:
if ((end - *p) < 3)
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
*len = ((size_t)(*p)[1] << 8) | (*p)[2];
(*p) += 3;
break;
case 3:
if ((end - *p) < 4)
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
*len = ((size_t)(*p)[1] << 16) |
((size_t)(*p)[2] << 8) | (*p)[3];
(*p) += 4;
break;
case 4:
if ((end - *p) < 5)
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
*len = ((size_t)(*p)[1] << 24) | ((size_t)(*p)[2] << 16) |
((size_t)(*p)[3] << 8) | (*p)[4];
(*p) += 5;
break;
default:
return (MBEDTLS_ERR_ASN1_INVALID_LENGTH);
2018-11-08 00:05:02 +08:00
}
}
2019-03-10 07:00:59 +08:00
if (*len > (size_t)(end - *p))
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
return (0);
2018-11-08 00:05:02 +08:00
}
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_tag(unsigned char **p,
const unsigned char *end,
size_t *len, int tag) {
2019-03-10 07:00:59 +08:00
if ((end - *p) < 1)
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if (**p != tag)
return (MBEDTLS_ERR_ASN1_UNEXPECTED_TAG);
2018-11-08 00:05:02 +08:00
(*p)++;
2019-03-10 07:00:59 +08:00
return (mbedtls_asn1_get_len(p, end, len));
2018-11-08 00:05:02 +08:00
}
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_bool(unsigned char **p,
const unsigned char *end,
int *val) {
2018-11-08 00:05:02 +08:00
int ret;
size_t len;
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, &len, MBEDTLS_ASN1_BOOLEAN)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if (len != 1)
return (MBEDTLS_ERR_ASN1_INVALID_LENGTH);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
*val = (**p != 0) ? 1 : 0;
2018-11-08 00:05:02 +08:00
(*p)++;
2019-03-10 07:00:59 +08:00
return (0);
2018-11-08 00:05:02 +08:00
}
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_int(unsigned char **p,
const unsigned char *end,
int *val) {
2018-11-08 00:05:02 +08:00
int ret;
size_t len;
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, &len, MBEDTLS_ASN1_INTEGER)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if (len == 0 || len > sizeof(int) || (**p & 0x80) != 0)
return (MBEDTLS_ERR_ASN1_INVALID_LENGTH);
2018-11-08 00:05:02 +08:00
*val = 0;
2019-03-10 07:00:59 +08:00
while (len-- > 0) {
*val = (*val << 8) | **p;
2018-11-08 00:05:02 +08:00
(*p)++;
}
2019-03-10 07:00:59 +08:00
return (0);
2018-11-08 00:05:02 +08:00
}
#if defined(MBEDTLS_BIGNUM_C)
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_mpi(unsigned char **p,
const unsigned char *end,
mbedtls_mpi *X) {
2018-11-08 00:05:02 +08:00
int ret;
size_t len;
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, &len, MBEDTLS_ASN1_INTEGER)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
ret = mbedtls_mpi_read_binary(X, *p, len);
2018-11-08 00:05:02 +08:00
*p += len;
2019-03-10 07:00:59 +08:00
return (ret);
2018-11-08 00:05:02 +08:00
}
#endif /* MBEDTLS_BIGNUM_C */
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_bitstring(unsigned char **p, const unsigned char *end,
mbedtls_asn1_bitstring *bs) {
2018-11-08 00:05:02 +08:00
int ret;
/* Certificate type is a single byte bitstring */
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, &bs->len, MBEDTLS_ASN1_BIT_STRING)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
/* Check length, subtract one for actual bit string length */
2019-03-10 07:00:59 +08:00
if (bs->len < 1)
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
2018-11-08 00:05:02 +08:00
bs->len -= 1;
/* Get number of unused bits, ensure unused bits <= 7 */
bs->unused_bits = **p;
2019-03-10 07:00:59 +08:00
if (bs->unused_bits > 7)
return (MBEDTLS_ERR_ASN1_INVALID_LENGTH);
2018-11-08 00:05:02 +08:00
(*p)++;
/* Get actual bitstring */
bs->p = *p;
*p += bs->len;
2019-03-10 07:00:59 +08:00
if (*p != end)
return (MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
return (0);
2018-11-08 00:05:02 +08:00
}
/*
* Get a bit string without unused bits
*/
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_bitstring_null(unsigned char **p, const unsigned char *end,
size_t *len) {
2018-11-08 00:05:02 +08:00
int ret;
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, len, MBEDTLS_ASN1_BIT_STRING)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if ((*len)-- < 2 || *(*p)++ != 0)
return (MBEDTLS_ERR_ASN1_INVALID_DATA);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
return (0);
2018-11-08 00:05:02 +08:00
}
/*
* Parses and splits an ASN.1 "SEQUENCE OF <tag>"
*/
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_sequence_of(unsigned char **p,
const unsigned char *end,
mbedtls_asn1_sequence *cur,
int tag) {
2018-11-08 00:05:02 +08:00
int ret;
size_t len;
mbedtls_asn1_buf *buf;
/* Get main sequence tag */
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, &len,
MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if (*p + len != end)
return (MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
while (*p < end) {
2018-11-08 00:05:02 +08:00
buf = &(cur->buf);
buf->tag = **p;
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, &buf->len, tag)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
buf->p = *p;
*p += buf->len;
/* Allocate and assign next pointer */
2019-03-10 07:00:59 +08:00
if (*p < end) {
cur->next = (mbedtls_asn1_sequence *)mbedtls_calloc(1,
sizeof(mbedtls_asn1_sequence));
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if (cur->next == NULL)
return (MBEDTLS_ERR_ASN1_ALLOC_FAILED);
2018-11-08 00:05:02 +08:00
cur = cur->next;
}
}
/* Set final sequence entry's next pointer to NULL */
cur->next = NULL;
2019-03-10 07:00:59 +08:00
if (*p != end)
return (MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
return (0);
2018-11-08 00:05:02 +08:00
}
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_alg(unsigned char **p,
const unsigned char *end,
mbedtls_asn1_buf *alg, mbedtls_asn1_buf *params) {
2018-11-08 00:05:02 +08:00
int ret;
size_t len;
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, &len,
MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if ((end - *p) < 1)
return (MBEDTLS_ERR_ASN1_OUT_OF_DATA);
2018-11-08 00:05:02 +08:00
alg->tag = **p;
end = *p + len;
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_tag(p, end, &alg->len, MBEDTLS_ASN1_OID)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
alg->p = *p;
*p += alg->len;
2019-03-10 07:00:59 +08:00
if (*p == end) {
mbedtls_platform_zeroize(params, sizeof(mbedtls_asn1_buf));
return (0);
2018-11-08 00:05:02 +08:00
}
params->tag = **p;
(*p)++;
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_len(p, end, &params->len)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
params->p = *p;
*p += params->len;
2019-03-10 07:00:59 +08:00
if (*p != end)
return (MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
return (0);
2018-11-08 00:05:02 +08:00
}
2019-03-10 07:00:59 +08:00
int mbedtls_asn1_get_alg_null(unsigned char **p,
const unsigned char *end,
mbedtls_asn1_buf *alg) {
2018-11-08 00:05:02 +08:00
int ret;
mbedtls_asn1_buf params;
2019-03-10 07:00:59 +08:00
memset(&params, 0, sizeof(mbedtls_asn1_buf));
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if ((ret = mbedtls_asn1_get_alg(p, end, alg, &params)) != 0)
return (ret);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
if ((params.tag != MBEDTLS_ASN1_NULL && params.tag != 0) || params.len != 0)
return (MBEDTLS_ERR_ASN1_INVALID_DATA);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
return (0);
2018-11-08 00:05:02 +08:00
}
void mbedtls_asn1_free_named_data(mbedtls_asn1_named_data *cur) {
2019-03-10 07:00:59 +08:00
if (cur == NULL)
2018-11-08 00:05:02 +08:00
return;
2019-03-10 07:00:59 +08:00
mbedtls_free(cur->oid.p);
mbedtls_free(cur->val.p);
2018-11-08 00:05:02 +08:00
2019-03-10 07:00:59 +08:00
mbedtls_platform_zeroize(cur, sizeof(mbedtls_asn1_named_data));
2018-11-08 00:05:02 +08:00
}
void mbedtls_asn1_free_named_data_list(mbedtls_asn1_named_data **head) {
2018-11-08 00:05:02 +08:00
mbedtls_asn1_named_data *cur;
2019-03-10 07:00:59 +08:00
while ((cur = *head) != NULL) {
2018-11-08 00:05:02 +08:00
*head = cur->next;
2019-03-10 07:00:59 +08:00
mbedtls_asn1_free_named_data(cur);
mbedtls_free(cur);
2018-11-08 00:05:02 +08:00
}
}
2019-03-10 07:00:59 +08:00
mbedtls_asn1_named_data *mbedtls_asn1_find_named_data(mbedtls_asn1_named_data *list,
const char *oid, size_t len) {
2019-03-10 07:00:59 +08:00
while (list != NULL) {
if (list->oid.len == len &&
memcmp(list->oid.p, oid, len) == 0) {
2018-11-08 00:05:02 +08:00
break;
}
list = list->next;
}
2019-03-10 07:00:59 +08:00
return (list);
2018-11-08 00:05:02 +08:00
}
#endif /* MBEDTLS_ASN1_PARSE_C */