| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 1 | /* | 
|  | 2 | *  Message Processing Stack, Trace module | 
|  | 3 | * | 
|  | 4 | *  Copyright The Mbed TLS Contributors | 
| Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 5 | *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 6 | */ | 
|  | 7 |  | 
| Hanno Becker | 43c8f8c | 2021-03-05 05:16:45 +0000 | [diff] [blame] | 8 | #include "common.h" | 
|  | 9 |  | 
| Ronald Cron | 6f135e1 | 2021-12-08 16:57:54 +0100 | [diff] [blame] | 10 | #if defined(MBEDTLS_SSL_PROTO_TLS1_3) | 
| Hanno Becker | 43c8f8c | 2021-03-05 05:16:45 +0000 | [diff] [blame] | 11 |  | 
| Hanno Becker | c518c3b | 2021-01-28 07:08:08 +0000 | [diff] [blame] | 12 | #include "mps_common.h" | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 13 |  | 
| Hanno Becker | 984fbde | 2021-01-28 09:02:18 +0000 | [diff] [blame] | 14 | #if defined(MBEDTLS_MPS_ENABLE_TRACE) | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 15 |  | 
| Hanno Becker | c518c3b | 2021-01-28 07:08:08 +0000 | [diff] [blame] | 16 | #include "mps_trace.h" | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 17 | #include <stdarg.h> | 
|  | 18 |  | 
| Hanno Becker | 2332f8f | 2021-02-22 16:58:16 +0000 | [diff] [blame] | 19 | static int trace_depth = 0; | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 20 |  | 
|  | 21 | #define color_default  "\x1B[0m" | 
|  | 22 | #define color_red      "\x1B[1;31m" | 
|  | 23 | #define color_green    "\x1B[1;32m" | 
|  | 24 | #define color_yellow   "\x1B[1;33m" | 
|  | 25 | #define color_blue     "\x1B[1;34m" | 
|  | 26 | #define color_magenta  "\x1B[1;35m" | 
|  | 27 | #define color_cyan     "\x1B[1;36m" | 
|  | 28 | #define color_white    "\x1B[1;37m" | 
|  | 29 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 30 | static char const *colors[] = | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 31 | { | 
|  | 32 | color_default, | 
|  | 33 | color_green, | 
|  | 34 | color_yellow, | 
|  | 35 | color_magenta, | 
|  | 36 | color_cyan, | 
|  | 37 | color_blue, | 
|  | 38 | color_white | 
|  | 39 | }; | 
|  | 40 |  | 
|  | 41 | #define MPS_TRACE_BUF_SIZE 100 | 
|  | 42 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 43 | void mbedtls_mps_trace_print_msg(int id, int line, const char *format, ...) | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 44 | { | 
|  | 45 | int ret; | 
|  | 46 | char str[MPS_TRACE_BUF_SIZE]; | 
|  | 47 | va_list argp; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 48 | va_start(argp, format); | 
|  | 49 | ret = mbedtls_vsnprintf(str, MPS_TRACE_BUF_SIZE, format, argp); | 
|  | 50 | va_end(argp); | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 51 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 52 | if (ret >= 0 && ret < MPS_TRACE_BUF_SIZE) { | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 53 | str[ret] = '\0'; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 54 | mbedtls_printf("[%d|L%d]: %s\n", id, line, str); | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 55 | } | 
|  | 56 | } | 
|  | 57 |  | 
| Hanno Becker | 984fbde | 2021-01-28 09:02:18 +0000 | [diff] [blame] | 58 | int mbedtls_mps_trace_get_depth() | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 59 | { | 
| Hanno Becker | 2332f8f | 2021-02-22 16:58:16 +0000 | [diff] [blame] | 60 | return trace_depth; | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 61 | } | 
| Hanno Becker | 984fbde | 2021-01-28 09:02:18 +0000 | [diff] [blame] | 62 | void mbedtls_mps_trace_dec_depth() | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 63 | { | 
| Hanno Becker | 2332f8f | 2021-02-22 16:58:16 +0000 | [diff] [blame] | 64 | trace_depth--; | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 65 | } | 
| Hanno Becker | 984fbde | 2021-01-28 09:02:18 +0000 | [diff] [blame] | 66 | void mbedtls_mps_trace_inc_depth() | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 67 | { | 
| Hanno Becker | 2332f8f | 2021-02-22 16:58:16 +0000 | [diff] [blame] | 68 | trace_depth++; | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 69 | } | 
|  | 70 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 71 | void mbedtls_mps_trace_color(int id) | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 72 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 73 | if (id > (int) (sizeof(colors) / sizeof(*colors))) { | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 74 | return; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 75 | } | 
|  | 76 | printf("%s", colors[id]); | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 77 | } | 
|  | 78 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 79 | void mbedtls_mps_trace_indent(int level, mbedtls_mps_trace_type ty) | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 80 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 81 | if (level > 0) { | 
|  | 82 | while (--level) { | 
|  | 83 | printf("|  "); | 
|  | 84 | } | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 85 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 86 | printf("|  "); | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 87 | } | 
|  | 88 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 89 | switch (ty) { | 
| Dave Rodgman | b746825 | 2021-04-07 12:44:02 +0100 | [diff] [blame] | 90 | case MBEDTLS_MPS_TRACE_TYPE_COMMENT: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 91 | mbedtls_printf("@ "); | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 92 | break; | 
|  | 93 |  | 
| Dave Rodgman | b746825 | 2021-04-07 12:44:02 +0100 | [diff] [blame] | 94 | case MBEDTLS_MPS_TRACE_TYPE_CALL: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 95 | mbedtls_printf("+--> "); | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 96 | break; | 
|  | 97 |  | 
| Dave Rodgman | b746825 | 2021-04-07 12:44:02 +0100 | [diff] [blame] | 98 | case MBEDTLS_MPS_TRACE_TYPE_ERROR: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 99 | mbedtls_printf("E "); | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 100 | break; | 
|  | 101 |  | 
| Dave Rodgman | b746825 | 2021-04-07 12:44:02 +0100 | [diff] [blame] | 102 | case MBEDTLS_MPS_TRACE_TYPE_RETURN: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 103 | mbedtls_printf("< "); | 
| Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 104 | break; | 
|  | 105 |  | 
|  | 106 | default: | 
|  | 107 | break; | 
|  | 108 | } | 
|  | 109 | } | 
|  | 110 |  | 
| Hanno Becker | 984fbde | 2021-01-28 09:02:18 +0000 | [diff] [blame] | 111 | #endif /* MBEDTLS_MPS_ENABLE_TRACE */ | 
| Ronald Cron | 6f135e1 | 2021-12-08 16:57:54 +0100 | [diff] [blame] | 112 | #endif /* MBEDTLS_SSL_PROTO_TLS1_3 */ |