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