Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 1 | #! /usr/bin/env perl |
| 2 | |
| 3 | # Generate query_config.c |
| 4 | # |
| 5 | # The file query_config.c contains a C function that can be used to check if |
| 6 | # a configuration macro is defined and to retrieve its expansion in string |
| 7 | # form (if any). This facilitates querying the compile time configuration of |
| 8 | # the library, for example, for testing. |
| 9 | # |
Ronald Cron | eab2055 | 2023-08-30 17:36:25 +0200 | [diff] [blame] | 10 | # The query_config.c is generated from the default configuration files |
| 11 | # include/mbedtls/mbedtls_config.h and include/psa/crypto_config.h. |
| 12 | # The idea is that mbedtls_config.h and crypto_config.h contain ALL the |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 13 | # compile time configurations available in Mbed TLS (commented or uncommented). |
Ronald Cron | eab2055 | 2023-08-30 17:36:25 +0200 | [diff] [blame] | 14 | # This script extracts the configuration macros from the two files and this |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 15 | # information is used to automatically generate the body of the query_config() |
| 16 | # function by using the template in scripts/data_files/query_config.fmt. |
| 17 | # |
Manuel Pégourié-Gonnard | 3a8413d | 2021-05-14 09:23:57 +0200 | [diff] [blame] | 18 | # Usage: scripts/generate_query_config.pl without arguments, or |
Ronald Cron | eab2055 | 2023-08-30 17:36:25 +0200 | [diff] [blame] | 19 | # generate_query_config.pl mbedtls_config_file psa_crypto_config_file template_file output_file |
Bence Szépkúti | 700ee44 | 2020-05-26 00:33:31 +0200 | [diff] [blame] | 20 | # |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 21 | # Copyright The Mbed TLS Contributors |
Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 22 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 23 | |
| 24 | use strict; |
| 25 | |
Ronald Cron | eab2055 | 2023-08-30 17:36:25 +0200 | [diff] [blame] | 26 | my ($mbedtls_config_file, $psa_crypto_config_file, $query_config_format_file, $query_config_file); |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 27 | |
| 28 | my $default_mbedtls_config_file = "./include/mbedtls/mbedtls_config.h"; |
Ronald Cron | c7e9e36 | 2024-06-10 09:41:49 +0200 | [diff] [blame^] | 29 | my $default_psa_crypto_config_file = "./tf-psa-crypto/include/psa/crypto_config.h"; |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 30 | my $default_query_config_format_file = "./scripts/data_files/query_config.fmt"; |
| 31 | my $default_query_config_file = "./programs/test/query_config.c"; |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 32 | |
Manuel Pégourié-Gonnard | 3a8413d | 2021-05-14 09:23:57 +0200 | [diff] [blame] | 33 | if( @ARGV ) { |
Ronald Cron | d7a983a | 2023-09-08 10:53:35 +0200 | [diff] [blame] | 34 | die "Invalid number of arguments - usage: $0 [MBED_TLS_CONFIG_FILE PSA_CRYPTO_CONFIG_FILE TEMPLATE_FILE OUTPUT_FILE]" if scalar @ARGV != 4; |
Ronald Cron | eab2055 | 2023-08-30 17:36:25 +0200 | [diff] [blame] | 35 | ($mbedtls_config_file, $psa_crypto_config_file, $query_config_format_file, $query_config_file) = @ARGV; |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 36 | |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 37 | -f $mbedtls_config_file or die "No such file: $mbedtls_config_file"; |
Ronald Cron | eab2055 | 2023-08-30 17:36:25 +0200 | [diff] [blame] | 38 | -f $psa_crypto_config_file or die "No such file: $psa_crypto_config_file"; |
Manuel Pégourié-Gonnard | 3a8413d | 2021-05-14 09:23:57 +0200 | [diff] [blame] | 39 | -f $query_config_format_file or die "No such file: $query_config_format_file"; |
| 40 | } else { |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 41 | $mbedtls_config_file = $default_mbedtls_config_file; |
Ronald Cron | eab2055 | 2023-08-30 17:36:25 +0200 | [diff] [blame] | 42 | $psa_crypto_config_file = $default_psa_crypto_config_file; |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 43 | $query_config_format_file = $default_query_config_format_file; |
| 44 | $query_config_file = $default_query_config_file; |
Manuel Pégourié-Gonnard | 3a8413d | 2021-05-14 09:23:57 +0200 | [diff] [blame] | 45 | |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 46 | unless(-f $mbedtls_config_file && -f $query_config_format_file && -f $psa_crypto_config_file) { |
Manuel Pégourié-Gonnard | 3a8413d | 2021-05-14 09:23:57 +0200 | [diff] [blame] | 47 | chdir '..' or die; |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 48 | -f $mbedtls_config_file && -f $query_config_format_file && -f $psa_crypto_config_file |
David Horstmann | d64f4b2 | 2021-10-20 12:29:47 +0100 | [diff] [blame] | 49 | or die "No arguments supplied, must be run from project root or a first-level subdirectory\n"; |
Manuel Pégourié-Gonnard | 3a8413d | 2021-05-14 09:23:57 +0200 | [diff] [blame] | 50 | } |
Gilles Peskine | c86f20a | 2021-04-22 00:20:47 +0200 | [diff] [blame] | 51 | } |
| 52 | |
Andres Amaya Garcia | ef672f0 | 2019-01-03 20:16:43 +0000 | [diff] [blame] | 53 | # Excluded macros from the generated query_config.c. For example, macros that |
| 54 | # have commas or function-like macros cannot be transformed into strings easily |
| 55 | # using the preprocessor, so they should be excluded or the preprocessor will |
| 56 | # throw errors. |
| 57 | my @excluded = qw( |
| 58 | MBEDTLS_SSL_CIPHERSUITES |
| 59 | ); |
| 60 | my $excluded_re = join '|', @excluded; |
| 61 | |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 62 | # This variable will contain the string to replace in the CHECK_CONFIG of the |
| 63 | # format file |
| 64 | my $config_check = ""; |
Jerry Yu | 84e63a7 | 2021-12-06 13:40:37 +0800 | [diff] [blame] | 65 | my $list_config = ""; |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 66 | |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 67 | for my $config_file ($mbedtls_config_file, $psa_crypto_config_file) { |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 68 | |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 69 | next unless defined($config_file); # we might not have been given a PSA crypto config file |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 70 | |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 71 | open(CONFIG_FILE, "<", $config_file) or die "Opening config file '$config_file': $!"; |
Andres Amaya Garcia | ef672f0 | 2019-01-03 20:16:43 +0000 | [diff] [blame] | 72 | |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 73 | while (my $line = <CONFIG_FILE>) { |
| 74 | if ($line =~ /^(\/\/)?\s*#\s*define\s+(MBEDTLS_\w+|PSA_WANT_\w+).*/) { |
| 75 | my $name = $2; |
| 76 | |
Tom Cosgrove | 5900c1d | 2022-07-27 08:55:03 +0100 | [diff] [blame] | 77 | # Skip over the macro if it is in the excluded list |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 78 | next if $name =~ /$excluded_re/; |
| 79 | |
| 80 | $config_check .= <<EOT; |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 81 | #if defined($name) |
| 82 | if( strcmp( "$name", config ) == 0 ) |
| 83 | { |
| 84 | MACRO_EXPANSION_TO_STR( $name ); |
| 85 | return( 0 ); |
| 86 | } |
| 87 | #endif /* $name */ |
Jerry Yu | 84e63a7 | 2021-12-06 13:40:37 +0800 | [diff] [blame] | 88 | |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 89 | EOT |
| 90 | |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 91 | $list_config .= <<EOT; |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 92 | #if defined($name) |
| 93 | OUTPUT_MACRO_NAME_VALUE($name); |
| 94 | #endif /* $name */ |
| 95 | |
| 96 | EOT |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 97 | } |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 98 | } |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 99 | |
Tom Cosgrove | ff3c6c1 | 2022-07-25 12:19:35 +0100 | [diff] [blame] | 100 | close(CONFIG_FILE); |
| 101 | } |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 102 | |
Andres Amaya Garcia | 109f8b6 | 2018-10-23 19:53:14 +0100 | [diff] [blame] | 103 | # Read the full format file into a string |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 104 | local $/; |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 105 | open(FORMAT_FILE, "<", $query_config_format_file) or die "Opening query config format file '$query_config_format_file': $!"; |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 106 | my $query_config_format = <FORMAT_FILE>; |
| 107 | close(FORMAT_FILE); |
| 108 | |
| 109 | # Replace the body of the query_config() function with the code we just wrote |
| 110 | $query_config_format =~ s/CHECK_CONFIG/$config_check/g; |
Jerry Yu | 84e63a7 | 2021-12-06 13:40:37 +0800 | [diff] [blame] | 111 | $query_config_format =~ s/LIST_CONFIG/$list_config/g; |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 112 | |
| 113 | # Rewrite the query_config.c file |
Tom Cosgrove | ef83b83 | 2022-07-25 11:42:38 +0100 | [diff] [blame] | 114 | open(QUERY_CONFIG_FILE, ">", $query_config_file) or die "Opening destination file '$query_config_file': $!"; |
Andres Amaya Garcia | 88121a9 | 2018-10-16 22:00:13 +0100 | [diff] [blame] | 115 | print QUERY_CONFIG_FILE $query_config_format; |
| 116 | close(QUERY_CONFIG_FILE); |