Marco Zecchini / Mbed OS Example_RTOS

Rtos API example

mbed-os/features/mbedtls/src/x509_crl.c@0:9fca2b23d0ba, 2019-02-23 (annotated)

Committer:
marcozecchini
Date:
Sat Feb 23 12:13:36 2019 +0000
Revision:
0:9fca2b23d0ba
final commit

Who changed what in which revision?

UserRevisionLine numberNew contents of line
marcozecchini 0:9fca2b23d0ba 1 /*
marcozecchini 0:9fca2b23d0ba 2 * X.509 Certidicate Revocation List (CRL) parsing
marcozecchini 0:9fca2b23d0ba 3 *
marcozecchini 0:9fca2b23d0ba 4 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
marcozecchini 0:9fca2b23d0ba 5 * SPDX-License-Identifier: Apache-2.0
marcozecchini 0:9fca2b23d0ba 6 *
marcozecchini 0:9fca2b23d0ba 7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
marcozecchini 0:9fca2b23d0ba 8 * not use this file except in compliance with the License.
marcozecchini 0:9fca2b23d0ba 9 * You may obtain a copy of the License at
marcozecchini 0:9fca2b23d0ba 10 *
marcozecchini 0:9fca2b23d0ba 11 * http://www.apache.org/licenses/LICENSE-2.0
marcozecchini 0:9fca2b23d0ba 12 *
marcozecchini 0:9fca2b23d0ba 13 * Unless required by applicable law or agreed to in writing, software
marcozecchini 0:9fca2b23d0ba 14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
marcozecchini 0:9fca2b23d0ba 15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
marcozecchini 0:9fca2b23d0ba 16 * See the License for the specific language governing permissions and
marcozecchini 0:9fca2b23d0ba 17 * limitations under the License.
marcozecchini 0:9fca2b23d0ba 18 *
marcozecchini 0:9fca2b23d0ba 19 * This file is part of mbed TLS (https://tls.mbed.org)
marcozecchini 0:9fca2b23d0ba 20 */
marcozecchini 0:9fca2b23d0ba 21 /*
marcozecchini 0:9fca2b23d0ba 22 * The ITU-T X.509 standard defines a certificate format for PKI.
marcozecchini 0:9fca2b23d0ba 23 *
marcozecchini 0:9fca2b23d0ba 24 * http://www.ietf.org/rfc/rfc5280.txt (Certificates and CRLs)
marcozecchini 0:9fca2b23d0ba 25 * http://www.ietf.org/rfc/rfc3279.txt (Alg IDs for CRLs)
marcozecchini 0:9fca2b23d0ba 26 * http://www.ietf.org/rfc/rfc2986.txt (CSRs, aka PKCS#10)
marcozecchini 0:9fca2b23d0ba 27 *
marcozecchini 0:9fca2b23d0ba 28 * http://www.itu.int/ITU-T/studygroups/com17/languages/X.680-0207.pdf
marcozecchini 0:9fca2b23d0ba 29 * http://www.itu.int/ITU-T/studygroups/com17/languages/X.690-0207.pdf
marcozecchini 0:9fca2b23d0ba 30 */
marcozecchini 0:9fca2b23d0ba 31
marcozecchini 0:9fca2b23d0ba 32 #if !defined(MBEDTLS_CONFIG_FILE)
marcozecchini 0:9fca2b23d0ba 33 #include "mbedtls/config.h"
marcozecchini 0:9fca2b23d0ba 34 #else
marcozecchini 0:9fca2b23d0ba 35 #include MBEDTLS_CONFIG_FILE
marcozecchini 0:9fca2b23d0ba 36 #endif
marcozecchini 0:9fca2b23d0ba 37
marcozecchini 0:9fca2b23d0ba 38 #if defined(MBEDTLS_X509_CRL_PARSE_C)
marcozecchini 0:9fca2b23d0ba 39
marcozecchini 0:9fca2b23d0ba 40 #include "mbedtls/x509_crl.h"
marcozecchini 0:9fca2b23d0ba 41 #include "mbedtls/oid.h"
marcozecchini 0:9fca2b23d0ba 42
marcozecchini 0:9fca2b23d0ba 43 #include <string.h>
marcozecchini 0:9fca2b23d0ba 44
marcozecchini 0:9fca2b23d0ba 45 #if defined(MBEDTLS_PEM_PARSE_C)
marcozecchini 0:9fca2b23d0ba 46 #include "mbedtls/pem.h"
marcozecchini 0:9fca2b23d0ba 47 #endif
marcozecchini 0:9fca2b23d0ba 48
marcozecchini 0:9fca2b23d0ba 49 #if defined(MBEDTLS_PLATFORM_C)
marcozecchini 0:9fca2b23d0ba 50 #include "mbedtls/platform.h"
marcozecchini 0:9fca2b23d0ba 51 #else
marcozecchini 0:9fca2b23d0ba 52 #include <stdlib.h>
marcozecchini 0:9fca2b23d0ba 53 #include <stdio.h>
marcozecchini 0:9fca2b23d0ba 54 #define mbedtls_free free
marcozecchini 0:9fca2b23d0ba 55 #define mbedtls_calloc calloc
marcozecchini 0:9fca2b23d0ba 56 #define mbedtls_snprintf snprintf
marcozecchini 0:9fca2b23d0ba 57 #endif
marcozecchini 0:9fca2b23d0ba 58
marcozecchini 0:9fca2b23d0ba 59 #if defined(_WIN32) && !defined(EFIX64) && !defined(EFI32)
marcozecchini 0:9fca2b23d0ba 60 #include <windows.h>
marcozecchini 0:9fca2b23d0ba 61 #else
marcozecchini 0:9fca2b23d0ba 62 #include <time.h>
marcozecchini 0:9fca2b23d0ba 63 #endif
marcozecchini 0:9fca2b23d0ba 64
marcozecchini 0:9fca2b23d0ba 65 #if defined(MBEDTLS_FS_IO) || defined(EFIX64) || defined(EFI32)
marcozecchini 0:9fca2b23d0ba 66 #include <stdio.h>
marcozecchini 0:9fca2b23d0ba 67 #endif
marcozecchini 0:9fca2b23d0ba 68
marcozecchini 0:9fca2b23d0ba 69 /* Implementation that should never be optimized out by the compiler */
marcozecchini 0:9fca2b23d0ba 70 static void mbedtls_zeroize( void *v, size_t n ) {
marcozecchini 0:9fca2b23d0ba 71 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
marcozecchini 0:9fca2b23d0ba 72 }
marcozecchini 0:9fca2b23d0ba 73
marcozecchini 0:9fca2b23d0ba 74 /*
marcozecchini 0:9fca2b23d0ba 75 * Version ::= INTEGER { v1(0), v2(1) }
marcozecchini 0:9fca2b23d0ba 76 */
marcozecchini 0:9fca2b23d0ba 77 static int x509_crl_get_version( unsigned char **p,
marcozecchini 0:9fca2b23d0ba 78 const unsigned char *end,
marcozecchini 0:9fca2b23d0ba 79 int *ver )
marcozecchini 0:9fca2b23d0ba 80 {
marcozecchini 0:9fca2b23d0ba 81 int ret;
marcozecchini 0:9fca2b23d0ba 82
marcozecchini 0:9fca2b23d0ba 83 if( ( ret = mbedtls_asn1_get_int( p, end, ver ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 84 {
marcozecchini 0:9fca2b23d0ba 85 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
marcozecchini 0:9fca2b23d0ba 86 {
marcozecchini 0:9fca2b23d0ba 87 *ver = 0;
marcozecchini 0:9fca2b23d0ba 88 return( 0 );
marcozecchini 0:9fca2b23d0ba 89 }
marcozecchini 0:9fca2b23d0ba 90
marcozecchini 0:9fca2b23d0ba 91 return( MBEDTLS_ERR_X509_INVALID_VERSION + ret );
marcozecchini 0:9fca2b23d0ba 92 }
marcozecchini 0:9fca2b23d0ba 93
marcozecchini 0:9fca2b23d0ba 94 return( 0 );
marcozecchini 0:9fca2b23d0ba 95 }
marcozecchini 0:9fca2b23d0ba 96
marcozecchini 0:9fca2b23d0ba 97 /*
marcozecchini 0:9fca2b23d0ba 98 * X.509 CRL v2 extensions (no extensions parsed yet.)
marcozecchini 0:9fca2b23d0ba 99 */
marcozecchini 0:9fca2b23d0ba 100 static int x509_get_crl_ext( unsigned char **p,
marcozecchini 0:9fca2b23d0ba 101 const unsigned char *end,
marcozecchini 0:9fca2b23d0ba 102 mbedtls_x509_buf *ext )
marcozecchini 0:9fca2b23d0ba 103 {
marcozecchini 0:9fca2b23d0ba 104 int ret;
marcozecchini 0:9fca2b23d0ba 105 size_t len = 0;
marcozecchini 0:9fca2b23d0ba 106
marcozecchini 0:9fca2b23d0ba 107 /* Get explicit tag */
marcozecchini 0:9fca2b23d0ba 108 if( ( ret = mbedtls_x509_get_ext( p, end, ext, 0) ) != 0 )
marcozecchini 0:9fca2b23d0ba 109 {
marcozecchini 0:9fca2b23d0ba 110 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
marcozecchini 0:9fca2b23d0ba 111 return( 0 );
marcozecchini 0:9fca2b23d0ba 112
marcozecchini 0:9fca2b23d0ba 113 return( ret );
marcozecchini 0:9fca2b23d0ba 114 }
marcozecchini 0:9fca2b23d0ba 115
marcozecchini 0:9fca2b23d0ba 116 while( *p < end )
marcozecchini 0:9fca2b23d0ba 117 {
marcozecchini 0:9fca2b23d0ba 118 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
marcozecchini 0:9fca2b23d0ba 119 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 120 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
marcozecchini 0:9fca2b23d0ba 121
marcozecchini 0:9fca2b23d0ba 122 *p += len;
marcozecchini 0:9fca2b23d0ba 123 }
marcozecchini 0:9fca2b23d0ba 124
marcozecchini 0:9fca2b23d0ba 125 if( *p != end )
marcozecchini 0:9fca2b23d0ba 126 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
marcozecchini 0:9fca2b23d0ba 127 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
marcozecchini 0:9fca2b23d0ba 128
marcozecchini 0:9fca2b23d0ba 129 return( 0 );
marcozecchini 0:9fca2b23d0ba 130 }
marcozecchini 0:9fca2b23d0ba 131
marcozecchini 0:9fca2b23d0ba 132 /*
marcozecchini 0:9fca2b23d0ba 133 * X.509 CRL v2 entry extensions (no extensions parsed yet.)
marcozecchini 0:9fca2b23d0ba 134 */
marcozecchini 0:9fca2b23d0ba 135 static int x509_get_crl_entry_ext( unsigned char **p,
marcozecchini 0:9fca2b23d0ba 136 const unsigned char *end,
marcozecchini 0:9fca2b23d0ba 137 mbedtls_x509_buf *ext )
marcozecchini 0:9fca2b23d0ba 138 {
marcozecchini 0:9fca2b23d0ba 139 int ret;
marcozecchini 0:9fca2b23d0ba 140 size_t len = 0;
marcozecchini 0:9fca2b23d0ba 141
marcozecchini 0:9fca2b23d0ba 142 /* OPTIONAL */
marcozecchini 0:9fca2b23d0ba 143 if( end <= *p )
marcozecchini 0:9fca2b23d0ba 144 return( 0 );
marcozecchini 0:9fca2b23d0ba 145
marcozecchini 0:9fca2b23d0ba 146 ext->tag = **p;
marcozecchini 0:9fca2b23d0ba 147 ext->p = *p;
marcozecchini 0:9fca2b23d0ba 148
marcozecchini 0:9fca2b23d0ba 149 /*
marcozecchini 0:9fca2b23d0ba 150 * Get CRL-entry extension sequence header
marcozecchini 0:9fca2b23d0ba 151 * crlEntryExtensions Extensions OPTIONAL -- if present, MUST be v2
marcozecchini 0:9fca2b23d0ba 152 */
marcozecchini 0:9fca2b23d0ba 153 if( ( ret = mbedtls_asn1_get_tag( p, end, &ext->len,
marcozecchini 0:9fca2b23d0ba 154 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 155 {
marcozecchini 0:9fca2b23d0ba 156 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
marcozecchini 0:9fca2b23d0ba 157 {
marcozecchini 0:9fca2b23d0ba 158 ext->p = NULL;
marcozecchini 0:9fca2b23d0ba 159 return( 0 );
marcozecchini 0:9fca2b23d0ba 160 }
marcozecchini 0:9fca2b23d0ba 161 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
marcozecchini 0:9fca2b23d0ba 162 }
marcozecchini 0:9fca2b23d0ba 163
marcozecchini 0:9fca2b23d0ba 164 end = *p + ext->len;
marcozecchini 0:9fca2b23d0ba 165
marcozecchini 0:9fca2b23d0ba 166 if( end != *p + ext->len )
marcozecchini 0:9fca2b23d0ba 167 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
marcozecchini 0:9fca2b23d0ba 168 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
marcozecchini 0:9fca2b23d0ba 169
marcozecchini 0:9fca2b23d0ba 170 while( *p < end )
marcozecchini 0:9fca2b23d0ba 171 {
marcozecchini 0:9fca2b23d0ba 172 if( ( ret = mbedtls_asn1_get_tag( p, end, &len,
marcozecchini 0:9fca2b23d0ba 173 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 174 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS + ret );
marcozecchini 0:9fca2b23d0ba 175
marcozecchini 0:9fca2b23d0ba 176 *p += len;
marcozecchini 0:9fca2b23d0ba 177 }
marcozecchini 0:9fca2b23d0ba 178
marcozecchini 0:9fca2b23d0ba 179 if( *p != end )
marcozecchini 0:9fca2b23d0ba 180 return( MBEDTLS_ERR_X509_INVALID_EXTENSIONS +
marcozecchini 0:9fca2b23d0ba 181 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
marcozecchini 0:9fca2b23d0ba 182
marcozecchini 0:9fca2b23d0ba 183 return( 0 );
marcozecchini 0:9fca2b23d0ba 184 }
marcozecchini 0:9fca2b23d0ba 185
marcozecchini 0:9fca2b23d0ba 186 /*
marcozecchini 0:9fca2b23d0ba 187 * X.509 CRL Entries
marcozecchini 0:9fca2b23d0ba 188 */
marcozecchini 0:9fca2b23d0ba 189 static int x509_get_entries( unsigned char **p,
marcozecchini 0:9fca2b23d0ba 190 const unsigned char *end,
marcozecchini 0:9fca2b23d0ba 191 mbedtls_x509_crl_entry *entry )
marcozecchini 0:9fca2b23d0ba 192 {
marcozecchini 0:9fca2b23d0ba 193 int ret;
marcozecchini 0:9fca2b23d0ba 194 size_t entry_len;
marcozecchini 0:9fca2b23d0ba 195 mbedtls_x509_crl_entry *cur_entry = entry;
marcozecchini 0:9fca2b23d0ba 196
marcozecchini 0:9fca2b23d0ba 197 if( *p == end )
marcozecchini 0:9fca2b23d0ba 198 return( 0 );
marcozecchini 0:9fca2b23d0ba 199
marcozecchini 0:9fca2b23d0ba 200 if( ( ret = mbedtls_asn1_get_tag( p, end, &entry_len,
marcozecchini 0:9fca2b23d0ba 201 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 202 {
marcozecchini 0:9fca2b23d0ba 203 if( ret == MBEDTLS_ERR_ASN1_UNEXPECTED_TAG )
marcozecchini 0:9fca2b23d0ba 204 return( 0 );
marcozecchini 0:9fca2b23d0ba 205
marcozecchini 0:9fca2b23d0ba 206 return( ret );
marcozecchini 0:9fca2b23d0ba 207 }
marcozecchini 0:9fca2b23d0ba 208
marcozecchini 0:9fca2b23d0ba 209 end = *p + entry_len;
marcozecchini 0:9fca2b23d0ba 210
marcozecchini 0:9fca2b23d0ba 211 while( *p < end )
marcozecchini 0:9fca2b23d0ba 212 {
marcozecchini 0:9fca2b23d0ba 213 size_t len2;
marcozecchini 0:9fca2b23d0ba 214 const unsigned char *end2;
marcozecchini 0:9fca2b23d0ba 215
marcozecchini 0:9fca2b23d0ba 216 if( ( ret = mbedtls_asn1_get_tag( p, end, &len2,
marcozecchini 0:9fca2b23d0ba 217 MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 218 {
marcozecchini 0:9fca2b23d0ba 219 return( ret );
marcozecchini 0:9fca2b23d0ba 220 }
marcozecchini 0:9fca2b23d0ba 221
marcozecchini 0:9fca2b23d0ba 222 cur_entry->raw.tag = **p;
marcozecchini 0:9fca2b23d0ba 223 cur_entry->raw.p = *p;
marcozecchini 0:9fca2b23d0ba 224 cur_entry->raw.len = len2;
marcozecchini 0:9fca2b23d0ba 225 end2 = *p + len2;
marcozecchini 0:9fca2b23d0ba 226
marcozecchini 0:9fca2b23d0ba 227 if( ( ret = mbedtls_x509_get_serial( p, end2, &cur_entry->serial ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 228 return( ret );
marcozecchini 0:9fca2b23d0ba 229
marcozecchini 0:9fca2b23d0ba 230 if( ( ret = mbedtls_x509_get_time( p, end2,
marcozecchini 0:9fca2b23d0ba 231 &cur_entry->revocation_date ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 232 return( ret );
marcozecchini 0:9fca2b23d0ba 233
marcozecchini 0:9fca2b23d0ba 234 if( ( ret = x509_get_crl_entry_ext( p, end2,
marcozecchini 0:9fca2b23d0ba 235 &cur_entry->entry_ext ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 236 return( ret );
marcozecchini 0:9fca2b23d0ba 237
marcozecchini 0:9fca2b23d0ba 238 if( *p < end )
marcozecchini 0:9fca2b23d0ba 239 {
marcozecchini 0:9fca2b23d0ba 240 cur_entry->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl_entry ) );
marcozecchini 0:9fca2b23d0ba 241
marcozecchini 0:9fca2b23d0ba 242 if( cur_entry->next == NULL )
marcozecchini 0:9fca2b23d0ba 243 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
marcozecchini 0:9fca2b23d0ba 244
marcozecchini 0:9fca2b23d0ba 245 cur_entry = cur_entry->next;
marcozecchini 0:9fca2b23d0ba 246 }
marcozecchini 0:9fca2b23d0ba 247 }
marcozecchini 0:9fca2b23d0ba 248
marcozecchini 0:9fca2b23d0ba 249 return( 0 );
marcozecchini 0:9fca2b23d0ba 250 }
marcozecchini 0:9fca2b23d0ba 251
marcozecchini 0:9fca2b23d0ba 252 /*
marcozecchini 0:9fca2b23d0ba 253 * Parse one CRLs in DER format and append it to the chained list
marcozecchini 0:9fca2b23d0ba 254 */
marcozecchini 0:9fca2b23d0ba 255 int mbedtls_x509_crl_parse_der( mbedtls_x509_crl *chain,
marcozecchini 0:9fca2b23d0ba 256 const unsigned char *buf, size_t buflen )
marcozecchini 0:9fca2b23d0ba 257 {
marcozecchini 0:9fca2b23d0ba 258 int ret;
marcozecchini 0:9fca2b23d0ba 259 size_t len;
marcozecchini 0:9fca2b23d0ba 260 unsigned char *p, *end;
marcozecchini 0:9fca2b23d0ba 261 mbedtls_x509_buf sig_params1, sig_params2, sig_oid2;
marcozecchini 0:9fca2b23d0ba 262 mbedtls_x509_crl *crl = chain;
marcozecchini 0:9fca2b23d0ba 263
marcozecchini 0:9fca2b23d0ba 264 /*
marcozecchini 0:9fca2b23d0ba 265 * Check for valid input
marcozecchini 0:9fca2b23d0ba 266 */
marcozecchini 0:9fca2b23d0ba 267 if( crl == NULL || buf == NULL )
marcozecchini 0:9fca2b23d0ba 268 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
marcozecchini 0:9fca2b23d0ba 269
marcozecchini 0:9fca2b23d0ba 270 memset( &sig_params1, 0, sizeof( mbedtls_x509_buf ) );
marcozecchini 0:9fca2b23d0ba 271 memset( &sig_params2, 0, sizeof( mbedtls_x509_buf ) );
marcozecchini 0:9fca2b23d0ba 272 memset( &sig_oid2, 0, sizeof( mbedtls_x509_buf ) );
marcozecchini 0:9fca2b23d0ba 273
marcozecchini 0:9fca2b23d0ba 274 /*
marcozecchini 0:9fca2b23d0ba 275 * Add new CRL on the end of the chain if needed.
marcozecchini 0:9fca2b23d0ba 276 */
marcozecchini 0:9fca2b23d0ba 277 while( crl->version != 0 && crl->next != NULL )
marcozecchini 0:9fca2b23d0ba 278 crl = crl->next;
marcozecchini 0:9fca2b23d0ba 279
marcozecchini 0:9fca2b23d0ba 280 if( crl->version != 0 && crl->next == NULL )
marcozecchini 0:9fca2b23d0ba 281 {
marcozecchini 0:9fca2b23d0ba 282 crl->next = mbedtls_calloc( 1, sizeof( mbedtls_x509_crl ) );
marcozecchini 0:9fca2b23d0ba 283
marcozecchini 0:9fca2b23d0ba 284 if( crl->next == NULL )
marcozecchini 0:9fca2b23d0ba 285 {
marcozecchini 0:9fca2b23d0ba 286 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 287 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
marcozecchini 0:9fca2b23d0ba 288 }
marcozecchini 0:9fca2b23d0ba 289
marcozecchini 0:9fca2b23d0ba 290 mbedtls_x509_crl_init( crl->next );
marcozecchini 0:9fca2b23d0ba 291 crl = crl->next;
marcozecchini 0:9fca2b23d0ba 292 }
marcozecchini 0:9fca2b23d0ba 293
marcozecchini 0:9fca2b23d0ba 294 /*
marcozecchini 0:9fca2b23d0ba 295 * Copy raw DER-encoded CRL
marcozecchini 0:9fca2b23d0ba 296 */
marcozecchini 0:9fca2b23d0ba 297 if( ( p = mbedtls_calloc( 1, buflen ) ) == NULL )
marcozecchini 0:9fca2b23d0ba 298 return( MBEDTLS_ERR_X509_ALLOC_FAILED );
marcozecchini 0:9fca2b23d0ba 299
marcozecchini 0:9fca2b23d0ba 300 memcpy( p, buf, buflen );
marcozecchini 0:9fca2b23d0ba 301
marcozecchini 0:9fca2b23d0ba 302 crl->raw.p = p;
marcozecchini 0:9fca2b23d0ba 303 crl->raw.len = buflen;
marcozecchini 0:9fca2b23d0ba 304
marcozecchini 0:9fca2b23d0ba 305 end = p + buflen;
marcozecchini 0:9fca2b23d0ba 306
marcozecchini 0:9fca2b23d0ba 307 /*
marcozecchini 0:9fca2b23d0ba 308 * CertificateList ::= SEQUENCE {
marcozecchini 0:9fca2b23d0ba 309 * tbsCertList TBSCertList,
marcozecchini 0:9fca2b23d0ba 310 * signatureAlgorithm AlgorithmIdentifier,
marcozecchini 0:9fca2b23d0ba 311 * signatureValue BIT STRING }
marcozecchini 0:9fca2b23d0ba 312 */
marcozecchini 0:9fca2b23d0ba 313 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
marcozecchini 0:9fca2b23d0ba 314 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 315 {
marcozecchini 0:9fca2b23d0ba 316 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 317 return( MBEDTLS_ERR_X509_INVALID_FORMAT );
marcozecchini 0:9fca2b23d0ba 318 }
marcozecchini 0:9fca2b23d0ba 319
marcozecchini 0:9fca2b23d0ba 320 if( len != (size_t) ( end - p ) )
marcozecchini 0:9fca2b23d0ba 321 {
marcozecchini 0:9fca2b23d0ba 322 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 323 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
marcozecchini 0:9fca2b23d0ba 324 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
marcozecchini 0:9fca2b23d0ba 325 }
marcozecchini 0:9fca2b23d0ba 326
marcozecchini 0:9fca2b23d0ba 327 /*
marcozecchini 0:9fca2b23d0ba 328 * TBSCertList ::= SEQUENCE {
marcozecchini 0:9fca2b23d0ba 329 */
marcozecchini 0:9fca2b23d0ba 330 crl->tbs.p = p;
marcozecchini 0:9fca2b23d0ba 331
marcozecchini 0:9fca2b23d0ba 332 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
marcozecchini 0:9fca2b23d0ba 333 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 334 {
marcozecchini 0:9fca2b23d0ba 335 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 336 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
marcozecchini 0:9fca2b23d0ba 337 }
marcozecchini 0:9fca2b23d0ba 338
marcozecchini 0:9fca2b23d0ba 339 end = p + len;
marcozecchini 0:9fca2b23d0ba 340 crl->tbs.len = end - crl->tbs.p;
marcozecchini 0:9fca2b23d0ba 341
marcozecchini 0:9fca2b23d0ba 342 /*
marcozecchini 0:9fca2b23d0ba 343 * Version ::= INTEGER OPTIONAL { v1(0), v2(1) }
marcozecchini 0:9fca2b23d0ba 344 * -- if present, MUST be v2
marcozecchini 0:9fca2b23d0ba 345 *
marcozecchini 0:9fca2b23d0ba 346 * signature AlgorithmIdentifier
marcozecchini 0:9fca2b23d0ba 347 */
marcozecchini 0:9fca2b23d0ba 348 if( ( ret = x509_crl_get_version( &p, end, &crl->version ) ) != 0 ||
marcozecchini 0:9fca2b23d0ba 349 ( ret = mbedtls_x509_get_alg( &p, end, &crl->sig_oid, &sig_params1 ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 350 {
marcozecchini 0:9fca2b23d0ba 351 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 352 return( ret );
marcozecchini 0:9fca2b23d0ba 353 }
marcozecchini 0:9fca2b23d0ba 354
marcozecchini 0:9fca2b23d0ba 355 if( crl->version < 0 || crl->version > 1 )
marcozecchini 0:9fca2b23d0ba 356 {
marcozecchini 0:9fca2b23d0ba 357 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 358 return( MBEDTLS_ERR_X509_UNKNOWN_VERSION );
marcozecchini 0:9fca2b23d0ba 359 }
marcozecchini 0:9fca2b23d0ba 360
marcozecchini 0:9fca2b23d0ba 361 crl->version++;
marcozecchini 0:9fca2b23d0ba 362
marcozecchini 0:9fca2b23d0ba 363 if( ( ret = mbedtls_x509_get_sig_alg( &crl->sig_oid, &sig_params1,
marcozecchini 0:9fca2b23d0ba 364 &crl->sig_md, &crl->sig_pk,
marcozecchini 0:9fca2b23d0ba 365 &crl->sig_opts ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 366 {
marcozecchini 0:9fca2b23d0ba 367 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 368 return( MBEDTLS_ERR_X509_UNKNOWN_SIG_ALG );
marcozecchini 0:9fca2b23d0ba 369 }
marcozecchini 0:9fca2b23d0ba 370
marcozecchini 0:9fca2b23d0ba 371 /*
marcozecchini 0:9fca2b23d0ba 372 * issuer Name
marcozecchini 0:9fca2b23d0ba 373 */
marcozecchini 0:9fca2b23d0ba 374 crl->issuer_raw.p = p;
marcozecchini 0:9fca2b23d0ba 375
marcozecchini 0:9fca2b23d0ba 376 if( ( ret = mbedtls_asn1_get_tag( &p, end, &len,
marcozecchini 0:9fca2b23d0ba 377 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 378 {
marcozecchini 0:9fca2b23d0ba 379 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 380 return( MBEDTLS_ERR_X509_INVALID_FORMAT + ret );
marcozecchini 0:9fca2b23d0ba 381 }
marcozecchini 0:9fca2b23d0ba 382
marcozecchini 0:9fca2b23d0ba 383 if( ( ret = mbedtls_x509_get_name( &p, p + len, &crl->issuer ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 384 {
marcozecchini 0:9fca2b23d0ba 385 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 386 return( ret );
marcozecchini 0:9fca2b23d0ba 387 }
marcozecchini 0:9fca2b23d0ba 388
marcozecchini 0:9fca2b23d0ba 389 crl->issuer_raw.len = p - crl->issuer_raw.p;
marcozecchini 0:9fca2b23d0ba 390
marcozecchini 0:9fca2b23d0ba 391 /*
marcozecchini 0:9fca2b23d0ba 392 * thisUpdate Time
marcozecchini 0:9fca2b23d0ba 393 * nextUpdate Time OPTIONAL
marcozecchini 0:9fca2b23d0ba 394 */
marcozecchini 0:9fca2b23d0ba 395 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->this_update ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 396 {
marcozecchini 0:9fca2b23d0ba 397 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 398 return( ret );
marcozecchini 0:9fca2b23d0ba 399 }
marcozecchini 0:9fca2b23d0ba 400
marcozecchini 0:9fca2b23d0ba 401 if( ( ret = mbedtls_x509_get_time( &p, end, &crl->next_update ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 402 {
marcozecchini 0:9fca2b23d0ba 403 if( ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
marcozecchini 0:9fca2b23d0ba 404 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG ) &&
marcozecchini 0:9fca2b23d0ba 405 ret != ( MBEDTLS_ERR_X509_INVALID_DATE +
marcozecchini 0:9fca2b23d0ba 406 MBEDTLS_ERR_ASN1_OUT_OF_DATA ) )
marcozecchini 0:9fca2b23d0ba 407 {
marcozecchini 0:9fca2b23d0ba 408 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 409 return( ret );
marcozecchini 0:9fca2b23d0ba 410 }
marcozecchini 0:9fca2b23d0ba 411 }
marcozecchini 0:9fca2b23d0ba 412
marcozecchini 0:9fca2b23d0ba 413 /*
marcozecchini 0:9fca2b23d0ba 414 * revokedCertificates SEQUENCE OF SEQUENCE {
marcozecchini 0:9fca2b23d0ba 415 * userCertificate CertificateSerialNumber,
marcozecchini 0:9fca2b23d0ba 416 * revocationDate Time,
marcozecchini 0:9fca2b23d0ba 417 * crlEntryExtensions Extensions OPTIONAL
marcozecchini 0:9fca2b23d0ba 418 * -- if present, MUST be v2
marcozecchini 0:9fca2b23d0ba 419 * } OPTIONAL
marcozecchini 0:9fca2b23d0ba 420 */
marcozecchini 0:9fca2b23d0ba 421 if( ( ret = x509_get_entries( &p, end, &crl->entry ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 422 {
marcozecchini 0:9fca2b23d0ba 423 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 424 return( ret );
marcozecchini 0:9fca2b23d0ba 425 }
marcozecchini 0:9fca2b23d0ba 426
marcozecchini 0:9fca2b23d0ba 427 /*
marcozecchini 0:9fca2b23d0ba 428 * crlExtensions EXPLICIT Extensions OPTIONAL
marcozecchini 0:9fca2b23d0ba 429 * -- if present, MUST be v2
marcozecchini 0:9fca2b23d0ba 430 */
marcozecchini 0:9fca2b23d0ba 431 if( crl->version == 2 )
marcozecchini 0:9fca2b23d0ba 432 {
marcozecchini 0:9fca2b23d0ba 433 ret = x509_get_crl_ext( &p, end, &crl->crl_ext );
marcozecchini 0:9fca2b23d0ba 434
marcozecchini 0:9fca2b23d0ba 435 if( ret != 0 )
marcozecchini 0:9fca2b23d0ba 436 {
marcozecchini 0:9fca2b23d0ba 437 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 438 return( ret );
marcozecchini 0:9fca2b23d0ba 439 }
marcozecchini 0:9fca2b23d0ba 440 }
marcozecchini 0:9fca2b23d0ba 441
marcozecchini 0:9fca2b23d0ba 442 if( p != end )
marcozecchini 0:9fca2b23d0ba 443 {
marcozecchini 0:9fca2b23d0ba 444 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 445 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
marcozecchini 0:9fca2b23d0ba 446 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
marcozecchini 0:9fca2b23d0ba 447 }
marcozecchini 0:9fca2b23d0ba 448
marcozecchini 0:9fca2b23d0ba 449 end = crl->raw.p + crl->raw.len;
marcozecchini 0:9fca2b23d0ba 450
marcozecchini 0:9fca2b23d0ba 451 /*
marcozecchini 0:9fca2b23d0ba 452 * signatureAlgorithm AlgorithmIdentifier,
marcozecchini 0:9fca2b23d0ba 453 * signatureValue BIT STRING
marcozecchini 0:9fca2b23d0ba 454 */
marcozecchini 0:9fca2b23d0ba 455 if( ( ret = mbedtls_x509_get_alg( &p, end, &sig_oid2, &sig_params2 ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 456 {
marcozecchini 0:9fca2b23d0ba 457 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 458 return( ret );
marcozecchini 0:9fca2b23d0ba 459 }
marcozecchini 0:9fca2b23d0ba 460
marcozecchini 0:9fca2b23d0ba 461 if( crl->sig_oid.len != sig_oid2.len ||
marcozecchini 0:9fca2b23d0ba 462 memcmp( crl->sig_oid.p, sig_oid2.p, crl->sig_oid.len ) != 0 ||
marcozecchini 0:9fca2b23d0ba 463 sig_params1.len != sig_params2.len ||
marcozecchini 0:9fca2b23d0ba 464 ( sig_params1.len != 0 &&
marcozecchini 0:9fca2b23d0ba 465 memcmp( sig_params1.p, sig_params2.p, sig_params1.len ) != 0 ) )
marcozecchini 0:9fca2b23d0ba 466 {
marcozecchini 0:9fca2b23d0ba 467 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 468 return( MBEDTLS_ERR_X509_SIG_MISMATCH );
marcozecchini 0:9fca2b23d0ba 469 }
marcozecchini 0:9fca2b23d0ba 470
marcozecchini 0:9fca2b23d0ba 471 if( ( ret = mbedtls_x509_get_sig( &p, end, &crl->sig ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 472 {
marcozecchini 0:9fca2b23d0ba 473 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 474 return( ret );
marcozecchini 0:9fca2b23d0ba 475 }
marcozecchini 0:9fca2b23d0ba 476
marcozecchini 0:9fca2b23d0ba 477 if( p != end )
marcozecchini 0:9fca2b23d0ba 478 {
marcozecchini 0:9fca2b23d0ba 479 mbedtls_x509_crl_free( crl );
marcozecchini 0:9fca2b23d0ba 480 return( MBEDTLS_ERR_X509_INVALID_FORMAT +
marcozecchini 0:9fca2b23d0ba 481 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
marcozecchini 0:9fca2b23d0ba 482 }
marcozecchini 0:9fca2b23d0ba 483
marcozecchini 0:9fca2b23d0ba 484 return( 0 );
marcozecchini 0:9fca2b23d0ba 485 }
marcozecchini 0:9fca2b23d0ba 486
marcozecchini 0:9fca2b23d0ba 487 /*
marcozecchini 0:9fca2b23d0ba 488 * Parse one or more CRLs and add them to the chained list
marcozecchini 0:9fca2b23d0ba 489 */
marcozecchini 0:9fca2b23d0ba 490 int mbedtls_x509_crl_parse( mbedtls_x509_crl *chain, const unsigned char *buf, size_t buflen )
marcozecchini 0:9fca2b23d0ba 491 {
marcozecchini 0:9fca2b23d0ba 492 #if defined(MBEDTLS_PEM_PARSE_C)
marcozecchini 0:9fca2b23d0ba 493 int ret;
marcozecchini 0:9fca2b23d0ba 494 size_t use_len;
marcozecchini 0:9fca2b23d0ba 495 mbedtls_pem_context pem;
marcozecchini 0:9fca2b23d0ba 496 int is_pem = 0;
marcozecchini 0:9fca2b23d0ba 497
marcozecchini 0:9fca2b23d0ba 498 if( chain == NULL || buf == NULL )
marcozecchini 0:9fca2b23d0ba 499 return( MBEDTLS_ERR_X509_BAD_INPUT_DATA );
marcozecchini 0:9fca2b23d0ba 500
marcozecchini 0:9fca2b23d0ba 501 do
marcozecchini 0:9fca2b23d0ba 502 {
marcozecchini 0:9fca2b23d0ba 503 mbedtls_pem_init( &pem );
marcozecchini 0:9fca2b23d0ba 504
marcozecchini 0:9fca2b23d0ba 505 // Avoid calling mbedtls_pem_read_buffer() on non-null-terminated
marcozecchini 0:9fca2b23d0ba 506 // string
marcozecchini 0:9fca2b23d0ba 507 if( buflen == 0 || buf[buflen - 1] != '\0' )
marcozecchini 0:9fca2b23d0ba 508 ret = MBEDTLS_ERR_PEM_NO_HEADER_FOOTER_PRESENT;
marcozecchini 0:9fca2b23d0ba 509 else
marcozecchini 0:9fca2b23d0ba 510 ret = mbedtls_pem_read_buffer( &pem,
marcozecchini 0:9fca2b23d0ba 511 "-----BEGIN X509 CRL-----",
marcozecchini 0:9fca2b23d0ba 512 "-----END X509 CRL-----",
marcozecchini 0:9fca2b23d0ba 513 buf, NULL, 0, &use_len );
marcozecchini 0:9fca2b23d0ba 514
marcozecchini 0:9fca2b23d0ba 515 if( ret == 0 )
marcozecchini 0:9fca2b23d0ba 516 {
marcozecchini 0:9fca2b23d0ba 517 /*
marcozecchini 0:9fca2b23d0ba 518 * Was PEM encoded
marcozecchini 0:9fca2b23d0ba 519 */
marcozecchini 0:9fca2b23d0ba 520 is_pem = 1;
marcozecchini 0:9fca2b23d0ba 521
marcozecchini 0:9fca2b23d0ba 522 buflen -= use_len;
marcozecchini 0:9fca2b23d0ba 523 buf += use_len;
marcozecchini 0:9fca2b23d0ba 524
marcozecchini 0:9fca2b23d0ba 525 if( ( ret = mbedtls_x509_crl_parse_der( chain,
marcozecchini 0:9fca2b23d0ba 526 pem.buf, pem.buflen ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 527 {
marcozecchini 0:9fca2b23d0ba 528 mbedtls_pem_free( &pem );
marcozecchini 0:9fca2b23d0ba 529 return( ret );
marcozecchini 0:9fca2b23d0ba 530 }
marcozecchini 0:9fca2b23d0ba 531 }
marcozecchini 0:9fca2b23d0ba 532 else if( is_pem )
marcozecchini 0:9fca2b23d0ba 533 {
marcozecchini 0:9fca2b23d0ba 534 mbedtls_pem_free( &pem );
marcozecchini 0:9fca2b23d0ba 535 return( ret );
marcozecchini 0:9fca2b23d0ba 536 }
marcozecchini 0:9fca2b23d0ba 537
marcozecchini 0:9fca2b23d0ba 538 mbedtls_pem_free( &pem );
marcozecchini 0:9fca2b23d0ba 539 }
marcozecchini 0:9fca2b23d0ba 540 /* In the PEM case, buflen is 1 at the end, for the terminated NULL byte.
marcozecchini 0:9fca2b23d0ba 541 * And a valid CRL cannot be less than 1 byte anyway. */
marcozecchini 0:9fca2b23d0ba 542 while( is_pem && buflen > 1 );
marcozecchini 0:9fca2b23d0ba 543
marcozecchini 0:9fca2b23d0ba 544 if( is_pem )
marcozecchini 0:9fca2b23d0ba 545 return( 0 );
marcozecchini 0:9fca2b23d0ba 546 else
marcozecchini 0:9fca2b23d0ba 547 #endif /* MBEDTLS_PEM_PARSE_C */
marcozecchini 0:9fca2b23d0ba 548 return( mbedtls_x509_crl_parse_der( chain, buf, buflen ) );
marcozecchini 0:9fca2b23d0ba 549 }
marcozecchini 0:9fca2b23d0ba 550
marcozecchini 0:9fca2b23d0ba 551 #if defined(MBEDTLS_FS_IO)
marcozecchini 0:9fca2b23d0ba 552 /*
marcozecchini 0:9fca2b23d0ba 553 * Load one or more CRLs and add them to the chained list
marcozecchini 0:9fca2b23d0ba 554 */
marcozecchini 0:9fca2b23d0ba 555 int mbedtls_x509_crl_parse_file( mbedtls_x509_crl *chain, const char *path )
marcozecchini 0:9fca2b23d0ba 556 {
marcozecchini 0:9fca2b23d0ba 557 int ret;
marcozecchini 0:9fca2b23d0ba 558 size_t n;
marcozecchini 0:9fca2b23d0ba 559 unsigned char *buf;
marcozecchini 0:9fca2b23d0ba 560
marcozecchini 0:9fca2b23d0ba 561 if( ( ret = mbedtls_pk_load_file( path, &buf, &n ) ) != 0 )
marcozecchini 0:9fca2b23d0ba 562 return( ret );
marcozecchini 0:9fca2b23d0ba 563
marcozecchini 0:9fca2b23d0ba 564 ret = mbedtls_x509_crl_parse( chain, buf, n );
marcozecchini 0:9fca2b23d0ba 565
marcozecchini 0:9fca2b23d0ba 566 mbedtls_zeroize( buf, n );
marcozecchini 0:9fca2b23d0ba 567 mbedtls_free( buf );
marcozecchini 0:9fca2b23d0ba 568
marcozecchini 0:9fca2b23d0ba 569 return( ret );
marcozecchini 0:9fca2b23d0ba 570 }
marcozecchini 0:9fca2b23d0ba 571 #endif /* MBEDTLS_FS_IO */
marcozecchini 0:9fca2b23d0ba 572
marcozecchini 0:9fca2b23d0ba 573 /*
marcozecchini 0:9fca2b23d0ba 574 * Return an informational string about the certificate.
marcozecchini 0:9fca2b23d0ba 575 */
marcozecchini 0:9fca2b23d0ba 576 #define BEFORE_COLON 14
marcozecchini 0:9fca2b23d0ba 577 #define BC "14"
marcozecchini 0:9fca2b23d0ba 578 /*
marcozecchini 0:9fca2b23d0ba 579 * Return an informational string about the CRL.
marcozecchini 0:9fca2b23d0ba 580 */
marcozecchini 0:9fca2b23d0ba 581 int mbedtls_x509_crl_info( char *buf, size_t size, const char *prefix,
marcozecchini 0:9fca2b23d0ba 582 const mbedtls_x509_crl *crl )
marcozecchini 0:9fca2b23d0ba 583 {
marcozecchini 0:9fca2b23d0ba 584 int ret;
marcozecchini 0:9fca2b23d0ba 585 size_t n;
marcozecchini 0:9fca2b23d0ba 586 char *p;
marcozecchini 0:9fca2b23d0ba 587 const mbedtls_x509_crl_entry *entry;
marcozecchini 0:9fca2b23d0ba 588
marcozecchini 0:9fca2b23d0ba 589 p = buf;
marcozecchini 0:9fca2b23d0ba 590 n = size;
marcozecchini 0:9fca2b23d0ba 591
marcozecchini 0:9fca2b23d0ba 592 ret = mbedtls_snprintf( p, n, "%sCRL version : %d",
marcozecchini 0:9fca2b23d0ba 593 prefix, crl->version );
marcozecchini 0:9fca2b23d0ba 594 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 595
marcozecchini 0:9fca2b23d0ba 596 ret = mbedtls_snprintf( p, n, "\n%sissuer name : ", prefix );
marcozecchini 0:9fca2b23d0ba 597 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 598 ret = mbedtls_x509_dn_gets( p, n, &crl->issuer );
marcozecchini 0:9fca2b23d0ba 599 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 600
marcozecchini 0:9fca2b23d0ba 601 ret = mbedtls_snprintf( p, n, "\n%sthis update : " \
marcozecchini 0:9fca2b23d0ba 602 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
marcozecchini 0:9fca2b23d0ba 603 crl->this_update.year, crl->this_update.mon,
marcozecchini 0:9fca2b23d0ba 604 crl->this_update.day, crl->this_update.hour,
marcozecchini 0:9fca2b23d0ba 605 crl->this_update.min, crl->this_update.sec );
marcozecchini 0:9fca2b23d0ba 606 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 607
marcozecchini 0:9fca2b23d0ba 608 ret = mbedtls_snprintf( p, n, "\n%snext update : " \
marcozecchini 0:9fca2b23d0ba 609 "%04d-%02d-%02d %02d:%02d:%02d", prefix,
marcozecchini 0:9fca2b23d0ba 610 crl->next_update.year, crl->next_update.mon,
marcozecchini 0:9fca2b23d0ba 611 crl->next_update.day, crl->next_update.hour,
marcozecchini 0:9fca2b23d0ba 612 crl->next_update.min, crl->next_update.sec );
marcozecchini 0:9fca2b23d0ba 613 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 614
marcozecchini 0:9fca2b23d0ba 615 entry = &crl->entry;
marcozecchini 0:9fca2b23d0ba 616
marcozecchini 0:9fca2b23d0ba 617 ret = mbedtls_snprintf( p, n, "\n%sRevoked certificates:",
marcozecchini 0:9fca2b23d0ba 618 prefix );
marcozecchini 0:9fca2b23d0ba 619 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 620
marcozecchini 0:9fca2b23d0ba 621 while( entry != NULL && entry->raw.len != 0 )
marcozecchini 0:9fca2b23d0ba 622 {
marcozecchini 0:9fca2b23d0ba 623 ret = mbedtls_snprintf( p, n, "\n%sserial number: ",
marcozecchini 0:9fca2b23d0ba 624 prefix );
marcozecchini 0:9fca2b23d0ba 625 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 626
marcozecchini 0:9fca2b23d0ba 627 ret = mbedtls_x509_serial_gets( p, n, &entry->serial );
marcozecchini 0:9fca2b23d0ba 628 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 629
marcozecchini 0:9fca2b23d0ba 630 ret = mbedtls_snprintf( p, n, " revocation date: " \
marcozecchini 0:9fca2b23d0ba 631 "%04d-%02d-%02d %02d:%02d:%02d",
marcozecchini 0:9fca2b23d0ba 632 entry->revocation_date.year, entry->revocation_date.mon,
marcozecchini 0:9fca2b23d0ba 633 entry->revocation_date.day, entry->revocation_date.hour,
marcozecchini 0:9fca2b23d0ba 634 entry->revocation_date.min, entry->revocation_date.sec );
marcozecchini 0:9fca2b23d0ba 635 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 636
marcozecchini 0:9fca2b23d0ba 637 entry = entry->next;
marcozecchini 0:9fca2b23d0ba 638 }
marcozecchini 0:9fca2b23d0ba 639
marcozecchini 0:9fca2b23d0ba 640 ret = mbedtls_snprintf( p, n, "\n%ssigned using : ", prefix );
marcozecchini 0:9fca2b23d0ba 641 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 642
marcozecchini 0:9fca2b23d0ba 643 ret = mbedtls_x509_sig_alg_gets( p, n, &crl->sig_oid, crl->sig_pk, crl->sig_md,
marcozecchini 0:9fca2b23d0ba 644 crl->sig_opts );
marcozecchini 0:9fca2b23d0ba 645 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 646
marcozecchini 0:9fca2b23d0ba 647 ret = mbedtls_snprintf( p, n, "\n" );
marcozecchini 0:9fca2b23d0ba 648 MBEDTLS_X509_SAFE_SNPRINTF;
marcozecchini 0:9fca2b23d0ba 649
marcozecchini 0:9fca2b23d0ba 650 return( (int) ( size - n ) );
marcozecchini 0:9fca2b23d0ba 651 }
marcozecchini 0:9fca2b23d0ba 652
marcozecchini 0:9fca2b23d0ba 653 /*
marcozecchini 0:9fca2b23d0ba 654 * Initialize a CRL chain
marcozecchini 0:9fca2b23d0ba 655 */
marcozecchini 0:9fca2b23d0ba 656 void mbedtls_x509_crl_init( mbedtls_x509_crl *crl )
marcozecchini 0:9fca2b23d0ba 657 {
marcozecchini 0:9fca2b23d0ba 658 memset( crl, 0, sizeof(mbedtls_x509_crl) );
marcozecchini 0:9fca2b23d0ba 659 }
marcozecchini 0:9fca2b23d0ba 660
marcozecchini 0:9fca2b23d0ba 661 /*
marcozecchini 0:9fca2b23d0ba 662 * Unallocate all CRL data
marcozecchini 0:9fca2b23d0ba 663 */
marcozecchini 0:9fca2b23d0ba 664 void mbedtls_x509_crl_free( mbedtls_x509_crl *crl )
marcozecchini 0:9fca2b23d0ba 665 {
marcozecchini 0:9fca2b23d0ba 666 mbedtls_x509_crl *crl_cur = crl;
marcozecchini 0:9fca2b23d0ba 667 mbedtls_x509_crl *crl_prv;
marcozecchini 0:9fca2b23d0ba 668 mbedtls_x509_name *name_cur;
marcozecchini 0:9fca2b23d0ba 669 mbedtls_x509_name *name_prv;
marcozecchini 0:9fca2b23d0ba 670 mbedtls_x509_crl_entry *entry_cur;
marcozecchini 0:9fca2b23d0ba 671 mbedtls_x509_crl_entry *entry_prv;
marcozecchini 0:9fca2b23d0ba 672
marcozecchini 0:9fca2b23d0ba 673 if( crl == NULL )
marcozecchini 0:9fca2b23d0ba 674 return;
marcozecchini 0:9fca2b23d0ba 675
marcozecchini 0:9fca2b23d0ba 676 do
marcozecchini 0:9fca2b23d0ba 677 {
marcozecchini 0:9fca2b23d0ba 678 #if defined(MBEDTLS_X509_RSASSA_PSS_SUPPORT)
marcozecchini 0:9fca2b23d0ba 679 mbedtls_free( crl_cur->sig_opts );
marcozecchini 0:9fca2b23d0ba 680 #endif
marcozecchini 0:9fca2b23d0ba 681
marcozecchini 0:9fca2b23d0ba 682 name_cur = crl_cur->issuer.next;
marcozecchini 0:9fca2b23d0ba 683 while( name_cur != NULL )
marcozecchini 0:9fca2b23d0ba 684 {
marcozecchini 0:9fca2b23d0ba 685 name_prv = name_cur;
marcozecchini 0:9fca2b23d0ba 686 name_cur = name_cur->next;
marcozecchini 0:9fca2b23d0ba 687 mbedtls_zeroize( name_prv, sizeof( mbedtls_x509_name ) );
marcozecchini 0:9fca2b23d0ba 688 mbedtls_free( name_prv );
marcozecchini 0:9fca2b23d0ba 689 }
marcozecchini 0:9fca2b23d0ba 690
marcozecchini 0:9fca2b23d0ba 691 entry_cur = crl_cur->entry.next;
marcozecchini 0:9fca2b23d0ba 692 while( entry_cur != NULL )
marcozecchini 0:9fca2b23d0ba 693 {
marcozecchini 0:9fca2b23d0ba 694 entry_prv = entry_cur;
marcozecchini 0:9fca2b23d0ba 695 entry_cur = entry_cur->next;
marcozecchini 0:9fca2b23d0ba 696 mbedtls_zeroize( entry_prv, sizeof( mbedtls_x509_crl_entry ) );
marcozecchini 0:9fca2b23d0ba 697 mbedtls_free( entry_prv );
marcozecchini 0:9fca2b23d0ba 698 }
marcozecchini 0:9fca2b23d0ba 699
marcozecchini 0:9fca2b23d0ba 700 if( crl_cur->raw.p != NULL )
marcozecchini 0:9fca2b23d0ba 701 {
marcozecchini 0:9fca2b23d0ba 702 mbedtls_zeroize( crl_cur->raw.p, crl_cur->raw.len );
marcozecchini 0:9fca2b23d0ba 703 mbedtls_free( crl_cur->raw.p );
marcozecchini 0:9fca2b23d0ba 704 }
marcozecchini 0:9fca2b23d0ba 705
marcozecchini 0:9fca2b23d0ba 706 crl_cur = crl_cur->next;
marcozecchini 0:9fca2b23d0ba 707 }
marcozecchini 0:9fca2b23d0ba 708 while( crl_cur != NULL );
marcozecchini 0:9fca2b23d0ba 709
marcozecchini 0:9fca2b23d0ba 710 crl_cur = crl;
marcozecchini 0:9fca2b23d0ba 711 do
marcozecchini 0:9fca2b23d0ba 712 {
marcozecchini 0:9fca2b23d0ba 713 crl_prv = crl_cur;
marcozecchini 0:9fca2b23d0ba 714 crl_cur = crl_cur->next;
marcozecchini 0:9fca2b23d0ba 715
marcozecchini 0:9fca2b23d0ba 716 mbedtls_zeroize( crl_prv, sizeof( mbedtls_x509_crl ) );
marcozecchini 0:9fca2b23d0ba 717 if( crl_prv != crl )
marcozecchini 0:9fca2b23d0ba 718 mbedtls_free( crl_prv );
marcozecchini 0:9fca2b23d0ba 719 }
marcozecchini 0:9fca2b23d0ba 720 while( crl_cur != NULL );
marcozecchini 0:9fca2b23d0ba 721 }
marcozecchini 0:9fca2b23d0ba 722
marcozecchini 0:9fca2b23d0ba 723 #endif /* MBEDTLS_X509_CRL_PARSE_C */