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