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 | 7ff7965 | 2023-11-03 12:04:52 +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 | |
| 10 | #if defined(MBEDTLS_SSL_PROTO_TLS1_3_EXPERIMENTAL) |
| 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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +0100 | [diff] [blame] | 86 | printf("| "); |
Hanno Becker | b910016 | 2021-01-12 09:46:03 +0000 | [diff] [blame] | 87 | } |
| 88 | |
Gilles Peskine | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 | 1b6c09a | 2023-01-11 14:52:35 +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 */ |
Hanno Becker | 43c8f8c | 2021-03-05 05:16:45 +0000 | [diff] [blame] | 112 | #endif /* MBEDTLS_SSL_PROTO_TLS1_3_EXPERIMENTAL */ |