Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Debugging routines |
| 3 | * |
Paul Bakker | 84f12b7 | 2010-07-18 10:13:04 +0000 | [diff] [blame] | 4 | * Copyright (C) 2006-2010, Brainspark B.V. |
Paul Bakker | b96f154 | 2010-07-18 20:36:00 +0000 | [diff] [blame] | 5 | * |
| 6 | * This file is part of PolarSSL (http://www.polarssl.org) |
Paul Bakker | 84f12b7 | 2010-07-18 10:13:04 +0000 | [diff] [blame] | 7 | * Lead Maintainer: Paul Bakker <polarssl_maintainer at polarssl.org> |
Paul Bakker | b96f154 | 2010-07-18 20:36:00 +0000 | [diff] [blame] | 8 | * |
Paul Bakker | 77b385e | 2009-07-28 17:23:11 +0000 | [diff] [blame] | 9 | * All rights reserved. |
Paul Bakker | e0ccd0a | 2009-01-04 16:27:10 +0000 | [diff] [blame] | 10 | * |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 11 | * This program is free software; you can redistribute it and/or modify |
| 12 | * it under the terms of the GNU General Public License as published by |
| 13 | * the Free Software Foundation; either version 2 of the License, or |
| 14 | * (at your option) any later version. |
| 15 | * |
| 16 | * This program is distributed in the hope that it will be useful, |
| 17 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 18 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 19 | * GNU General Public License for more details. |
| 20 | * |
| 21 | * You should have received a copy of the GNU General Public License along |
| 22 | * with this program; if not, write to the Free Software Foundation, Inc., |
| 23 | * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. |
| 24 | */ |
| 25 | |
Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 26 | #include "polarssl/config.h" |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 27 | |
Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 28 | #if defined(POLARSSL_DEBUG_C) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 29 | |
Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 30 | #include "polarssl/debug.h" |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 31 | |
| 32 | #include <stdarg.h> |
| 33 | #include <stdlib.h> |
| 34 | |
Paul Bakker | fa6a620 | 2013-10-28 18:48:30 +0100 | [diff] [blame] | 35 | #if defined(EFIX64) || defined(EFI32) |
| 36 | #include <stdio.h> |
| 37 | #endif |
| 38 | |
Paul Bakker | 6edcd41 | 2013-10-29 15:22:54 +0100 | [diff] [blame] | 39 | #if defined(_MSC_VER) && !defined(EFIX64) && !defined(EFI32) |
| 40 | #if !defined snprintf |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 41 | #define snprintf _snprintf |
| 42 | #endif |
| 43 | |
Paul Bakker | 6edcd41 | 2013-10-29 15:22:54 +0100 | [diff] [blame] | 44 | #if !defined vsnprintf |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 45 | #define vsnprintf _vsnprintf |
| 46 | #endif |
Paul Bakker | 6edcd41 | 2013-10-29 15:22:54 +0100 | [diff] [blame] | 47 | #endif /* _MSC_VER */ |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 48 | |
| 49 | char *debug_fmt( const char *format, ... ) |
| 50 | { |
| 51 | va_list argp; |
| 52 | static char str[512]; |
| 53 | int maxlen = sizeof( str ) - 1; |
| 54 | |
| 55 | va_start( argp, format ); |
| 56 | vsnprintf( str, maxlen, format, argp ); |
| 57 | va_end( argp ); |
| 58 | |
| 59 | str[maxlen] = '\0'; |
| 60 | return( str ); |
| 61 | } |
| 62 | |
Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 63 | void debug_print_msg( const ssl_context *ssl, int level, |
| 64 | const char *file, int line, const char *text ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 65 | { |
| 66 | char str[512]; |
| 67 | int maxlen = sizeof( str ) - 1; |
| 68 | |
| 69 | if( ssl->f_dbg == NULL ) |
| 70 | return; |
| 71 | |
| 72 | snprintf( str, maxlen, "%s(%04d): %s\n", file, line, text ); |
| 73 | str[maxlen] = '\0'; |
| 74 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 75 | } |
| 76 | |
Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 77 | void debug_print_ret( const ssl_context *ssl, int level, |
| 78 | const char *file, int line, |
| 79 | const char *text, int ret ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 80 | { |
| 81 | char str[512]; |
| 82 | int maxlen = sizeof( str ) - 1; |
| 83 | |
| 84 | if( ssl->f_dbg == NULL ) |
| 85 | return; |
| 86 | |
| 87 | snprintf( str, maxlen, "%s(%04d): %s() returned %d (0x%x)\n", |
| 88 | file, line, text, ret, ret ); |
| 89 | |
| 90 | str[maxlen] = '\0'; |
| 91 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 92 | } |
| 93 | |
Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 94 | void debug_print_buf( const ssl_context *ssl, int level, |
| 95 | const char *file, int line, const char *text, |
Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 96 | unsigned char *buf, size_t len ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 97 | { |
| 98 | char str[512]; |
Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 99 | size_t i, maxlen = sizeof( str ) - 1; |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 100 | |
Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 101 | if( ssl->f_dbg == NULL ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 102 | return; |
| 103 | |
| 104 | snprintf( str, maxlen, "%s(%04d): dumping '%s' (%d bytes)\n", |
Paul Bakker | f4f6968 | 2011-04-24 16:08:12 +0000 | [diff] [blame] | 105 | file, line, text, (unsigned int) len ); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 106 | |
| 107 | str[maxlen] = '\0'; |
| 108 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 109 | |
| 110 | for( i = 0; i < len; i++ ) |
| 111 | { |
| 112 | if( i >= 4096 ) |
| 113 | break; |
| 114 | |
| 115 | if( i % 16 == 0 ) |
| 116 | { |
| 117 | if( i > 0 ) |
| 118 | ssl->f_dbg( ssl->p_dbg, level, "\n" ); |
| 119 | |
Paul Bakker | f4f6968 | 2011-04-24 16:08:12 +0000 | [diff] [blame] | 120 | snprintf( str, maxlen, "%s(%04d): %04x: ", file, line, |
| 121 | (unsigned int) i ); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 122 | |
| 123 | str[maxlen] = '\0'; |
| 124 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 125 | } |
| 126 | |
| 127 | snprintf( str, maxlen, " %02x", (unsigned int) buf[i] ); |
| 128 | |
| 129 | str[maxlen] = '\0'; |
| 130 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 131 | } |
| 132 | |
| 133 | if( len > 0 ) |
| 134 | ssl->f_dbg( ssl->p_dbg, level, "\n" ); |
| 135 | } |
| 136 | |
Paul Bakker | 41c83d3 | 2013-03-20 14:39:14 +0100 | [diff] [blame] | 137 | #if defined(POLARSSL_ECP_C) |
| 138 | void debug_print_ecp( const ssl_context *ssl, int level, |
| 139 | const char *file, int line, |
| 140 | const char *text, const ecp_point *X ) |
| 141 | { |
| 142 | char str[512]; |
| 143 | int maxlen = sizeof( str ) - 1; |
| 144 | |
| 145 | snprintf( str, maxlen, "%s(X)", text ); |
| 146 | str[maxlen] = '\0'; |
| 147 | debug_print_mpi( ssl, level, file, line, str, &X->X ); |
| 148 | |
| 149 | snprintf( str, maxlen, "%s(Y)", text ); |
| 150 | str[maxlen] = '\0'; |
| 151 | debug_print_mpi( ssl, level, file, line, str, &X->Y ); |
| 152 | |
| 153 | snprintf( str, maxlen, "%s(Z)", text ); |
| 154 | str[maxlen] = '\0'; |
| 155 | debug_print_mpi( ssl, level, file, line, str, &X->Z ); |
| 156 | } |
| 157 | #endif /* POLARSSL_ECP_C */ |
| 158 | |
Paul Bakker | ed27a04 | 2013-04-18 22:46:23 +0200 | [diff] [blame] | 159 | #if defined(POLARSSL_BIGNUM_C) |
Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 160 | void debug_print_mpi( const ssl_context *ssl, int level, |
| 161 | const char *file, int line, |
| 162 | const char *text, const mpi *X ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 163 | { |
| 164 | char str[512]; |
Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 165 | int j, k, maxlen = sizeof( str ) - 1, zeros = 1; |
| 166 | size_t i, n; |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 167 | |
| 168 | if( ssl->f_dbg == NULL || X == NULL ) |
| 169 | return; |
| 170 | |
Paul Bakker | be4e7dc | 2011-03-14 20:41:31 +0000 | [diff] [blame] | 171 | for( n = X->n - 1; n > 0; n-- ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 172 | if( X->p[n] != 0 ) |
| 173 | break; |
| 174 | |
Paul Bakker | a755ca1 | 2011-04-24 09:11:17 +0000 | [diff] [blame] | 175 | for( j = ( sizeof(t_uint) << 3 ) - 1; j >= 0; j-- ) |
Paul Bakker | be4e7dc | 2011-03-14 20:41:31 +0000 | [diff] [blame] | 176 | if( ( ( X->p[n] >> j ) & 1 ) != 0 ) |
| 177 | break; |
| 178 | |
Paul Bakker | 5c2364c | 2012-10-01 14:41:15 +0000 | [diff] [blame] | 179 | snprintf( str, maxlen, "%s(%04d): value of '%s' (%d bits) is:\n", |
Paul Bakker | 4ed999c | 2010-03-16 21:16:16 +0000 | [diff] [blame] | 180 | file, line, text, |
Paul Bakker | 5c2364c | 2012-10-01 14:41:15 +0000 | [diff] [blame] | 181 | (int) ( ( n * ( sizeof(t_uint) << 3 ) ) + j + 1 ) ); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 182 | |
| 183 | str[maxlen] = '\0'; |
| 184 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 185 | |
Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 186 | for( i = n + 1, j = 0; i > 0; i-- ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 187 | { |
Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 188 | if( zeros && X->p[i - 1] == 0 ) |
Paul Bakker | be4e7dc | 2011-03-14 20:41:31 +0000 | [diff] [blame] | 189 | continue; |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 190 | |
Paul Bakker | a755ca1 | 2011-04-24 09:11:17 +0000 | [diff] [blame] | 191 | for( k = sizeof( t_uint ) - 1; k >= 0; k-- ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 192 | { |
Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 193 | if( zeros && ( ( X->p[i - 1] >> (k << 3) ) & 0xFF ) == 0 ) |
Paul Bakker | be4e7dc | 2011-03-14 20:41:31 +0000 | [diff] [blame] | 194 | continue; |
| 195 | else |
| 196 | zeros = 0; |
| 197 | |
| 198 | if( j % 16 == 0 ) |
| 199 | { |
| 200 | if( j > 0 ) |
| 201 | ssl->f_dbg( ssl->p_dbg, level, "\n" ); |
| 202 | |
| 203 | snprintf( str, maxlen, "%s(%04d): ", file, line ); |
| 204 | |
| 205 | str[maxlen] = '\0'; |
| 206 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 207 | } |
| 208 | |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 209 | snprintf( str, maxlen, " %02x", (unsigned int) |
Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 210 | ( X->p[i - 1] >> (k << 3) ) & 0xFF ); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 211 | |
| 212 | str[maxlen] = '\0'; |
| 213 | ssl->f_dbg( ssl->p_dbg, level, str ); |
Paul Bakker | be4e7dc | 2011-03-14 20:41:31 +0000 | [diff] [blame] | 214 | |
| 215 | j++; |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 216 | } |
Paul Bakker | be4e7dc | 2011-03-14 20:41:31 +0000 | [diff] [blame] | 217 | |
| 218 | } |
| 219 | |
| 220 | if( zeros == 1 ) |
| 221 | { |
| 222 | snprintf( str, maxlen, "%s(%04d): ", file, line ); |
| 223 | |
| 224 | str[maxlen] = '\0'; |
| 225 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 226 | ssl->f_dbg( ssl->p_dbg, level, " 00" ); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 227 | } |
| 228 | |
| 229 | ssl->f_dbg( ssl->p_dbg, level, "\n" ); |
| 230 | } |
Paul Bakker | ed27a04 | 2013-04-18 22:46:23 +0200 | [diff] [blame] | 231 | #endif /* POLARSSL_BIGNUM_C */ |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 232 | |
Paul Bakker | 7c6b2c3 | 2013-09-16 13:49:26 +0200 | [diff] [blame] | 233 | #if defined(POLARSSL_X509_CRT_PARSE_C) |
Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 234 | static void debug_print_pk( const ssl_context *ssl, int level, |
| 235 | const char *file, int line, |
| 236 | const char *text, const pk_context *pk ) |
| 237 | { |
| 238 | size_t i; |
| 239 | pk_debug_item items[POLARSSL_PK_DEBUG_MAX_ITEMS]; |
| 240 | char name[16]; |
| 241 | |
| 242 | memset( items, 0, sizeof( items ) ); |
| 243 | |
| 244 | if( pk_debug( pk, items ) != 0 ) |
| 245 | { |
| 246 | debug_print_msg( ssl, level, file, line, "invalid PK context" ); |
| 247 | return; |
| 248 | } |
| 249 | |
| 250 | for( i = 0; i < sizeof( items ); i++ ) |
| 251 | { |
| 252 | if( items[i].type == POLARSSL_PK_DEBUG_NONE ) |
| 253 | return; |
| 254 | |
| 255 | snprintf( name, sizeof( name ), "%s%s", text, items[i].name ); |
| 256 | name[sizeof( name ) - 1] = '\0'; |
| 257 | |
| 258 | if( items[i].type == POLARSSL_PK_DEBUG_MPI ) |
| 259 | debug_print_mpi( ssl, level, file, line, name, items[i].value ); |
Manuel Pégourié-Gonnard | bac0e3b | 2013-10-15 11:54:47 +0200 | [diff] [blame] | 260 | else |
| 261 | #if defined(POLARSSL_ECP_C) |
| 262 | if( items[i].type == POLARSSL_PK_DEBUG_ECP ) |
Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 263 | debug_print_ecp( ssl, level, file, line, name, items[i].value ); |
| 264 | else |
Manuel Pégourié-Gonnard | bac0e3b | 2013-10-15 11:54:47 +0200 | [diff] [blame] | 265 | #endif |
Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 266 | debug_print_msg( ssl, level, file, line, "should not happen" ); |
| 267 | } |
| 268 | } |
| 269 | |
Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 270 | void debug_print_crt( const ssl_context *ssl, int level, |
| 271 | const char *file, int line, |
Paul Bakker | c559c7a | 2013-09-18 14:13:26 +0200 | [diff] [blame] | 272 | const char *text, const x509_crt *crt ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 273 | { |
Paul Bakker | d98030e | 2009-05-02 15:13:40 +0000 | [diff] [blame] | 274 | char str[1024], prefix[64]; |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 275 | int i = 0, maxlen = sizeof( prefix ) - 1; |
| 276 | |
| 277 | if( ssl->f_dbg == NULL || crt == NULL ) |
| 278 | return; |
| 279 | |
| 280 | snprintf( prefix, maxlen, "%s(%04d): ", file, line ); |
| 281 | prefix[maxlen] = '\0'; |
| 282 | maxlen = sizeof( str ) - 1; |
| 283 | |
Paul Bakker | 2908713 | 2010-03-21 21:03:34 +0000 | [diff] [blame] | 284 | while( crt != NULL ) |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 285 | { |
Paul Bakker | d98030e | 2009-05-02 15:13:40 +0000 | [diff] [blame] | 286 | char buf[1024]; |
Paul Bakker | ddf26b4 | 2013-09-18 13:46:23 +0200 | [diff] [blame] | 287 | x509_crt_info( buf, sizeof( buf ) - 1, prefix, crt ); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 288 | |
| 289 | snprintf( str, maxlen, "%s(%04d): %s #%d:\n%s", |
Paul Bakker | d98030e | 2009-05-02 15:13:40 +0000 | [diff] [blame] | 290 | file, line, text, ++i, buf ); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 291 | |
| 292 | str[maxlen] = '\0'; |
| 293 | ssl->f_dbg( ssl->p_dbg, level, str ); |
| 294 | |
Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 295 | debug_print_pk( ssl, level, file, line, "crt->", &crt->pk ); |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 296 | |
| 297 | crt = crt->next; |
| 298 | } |
| 299 | } |
Paul Bakker | 7c6b2c3 | 2013-09-16 13:49:26 +0200 | [diff] [blame] | 300 | #endif /* POLARSSL_X509_CRT_PARSE_C */ |
Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 301 | |
| 302 | #endif |