blob: c2a0b84f074ed2185e3a54a2d093b65b8f0f6a0c [file] [log] [blame]
Gilles Peskine570e5482024-01-02 18:11:10 +01001MBEDTLS_TEST_PATH = .
Gilles Peskinef3d1ae12023-12-22 11:40:58 +01002include ../scripts/common.make
Paul Bakker0049c2f2009-07-11 19:15:43 +00003
Gilles Peskine396853a2021-09-20 18:57:55 +02004# Set this to -v to see the details of failing test cases
5TEST_FLAGS ?= $(if $(filter-out 0 OFF Off off NO No no FALSE False false N n,$(CTEST_OUTPUT_ON_FAILURE)),-v,)
6
Gilles Peskinef5c5ce72023-12-22 11:36:53 +01007# Also include library headers, for the sake of invasive tests.
8LOCAL_CFLAGS += -I../library
Paul Bakker0049c2f2009-07-11 19:15:43 +00009
Nicholas Wilson61fa4362018-06-25 12:10:00 +010010# Enable definition of various functions used throughout the testsuite
11# (gethostname, strdup, fileno...) even when compiling with -std=c99. Harmless
12# on non-POSIX platforms.
13LOCAL_CFLAGS += -D_POSIX_C_SOURCE=200809L
14
Gilles Peskine51681552019-05-20 19:35:37 +020015ifdef RECORD_PSA_STATUS_COVERAGE_LOG
16LOCAL_CFLAGS += -Werror -DRECORD_PSA_STATUS_COVERAGE_LOG
17endif
18
Gilles Peskine687d1ab2021-04-22 01:01:56 +020019.PHONY: generated_files
Werner Lewis8b2df742022-07-08 13:54:57 +010020GENERATED_BIGNUM_DATA_FILES := $(patsubst tests/%,%,$(shell \
21 $(PYTHON) scripts/generate_bignum_tests.py --list || \
22 echo FAILED \
23))
24ifeq ($(GENERATED_BIGNUM_DATA_FILES),FAILED)
25$(error "$(PYTHON) scripts/generate_bignum_tests.py --list" failed)
26endif
Gabor Mezei95ecaaf2023-01-16 16:53:29 +010027GENERATED_ECP_DATA_FILES := $(patsubst tests/%,%,$(shell \
28 $(PYTHON) scripts/generate_ecp_tests.py --list || \
29 echo FAILED \
30))
31ifeq ($(GENERATED_ECP_DATA_FILES),FAILED)
32$(error "$(PYTHON) scripts/generate_ecp_tests.py --list" failed)
33endif
Werner Lewis8b2df742022-07-08 13:54:57 +010034GENERATED_PSA_DATA_FILES := $(patsubst tests/%,%,$(shell \
Gilles Peskinee9ad95a2021-07-13 18:36:05 +020035 $(PYTHON) scripts/generate_psa_tests.py --list || \
36 echo FAILED \
37))
Werner Lewis8b2df742022-07-08 13:54:57 +010038ifeq ($(GENERATED_PSA_DATA_FILES),FAILED)
Gilles Peskinee9ad95a2021-07-13 18:36:05 +020039$(error "$(PYTHON) scripts/generate_psa_tests.py --list" failed)
40endif
Gabor Mezei95ecaaf2023-01-16 16:53:29 +010041GENERATED_FILES := $(GENERATED_PSA_DATA_FILES) $(GENERATED_ECP_DATA_FILES) $(GENERATED_BIGNUM_DATA_FILES)
Gilles Peskine687d1ab2021-04-22 01:01:56 +020042generated_files: $(GENERATED_FILES)
43
Werner Lewis8b2df742022-07-08 13:54:57 +010044# generate_bignum_tests.py and generate_psa_tests.py spend more time analyzing
45# inputs than generating outputs. Its inputs are the same no matter which files
46# are being generated.
Gilles Peskine5df77c62021-07-13 17:22:58 +020047# It's rare not to want all the outputs. So always generate all of its outputs.
48# Use an intermediate phony dependency so that parallel builds don't run
49# a separate instance of the recipe for each output file.
Gabor Mezei95ecaaf2023-01-16 16:53:29 +010050.SECONDARY: generated_bignum_test_data generated_ecp_test_data generated_psa_test_data
Gilles Peskine0b62b7a2023-09-08 16:19:13 +020051$(GENERATED_BIGNUM_DATA_FILES): $(gen_file_dep) generated_bignum_test_data
Werner Lewis8b2df742022-07-08 13:54:57 +010052generated_bignum_test_data: scripts/generate_bignum_tests.py
Werner Lewis99e81782022-09-30 16:28:43 +010053generated_bignum_test_data: ../scripts/mbedtls_dev/bignum_common.py
54generated_bignum_test_data: ../scripts/mbedtls_dev/bignum_core.py
Gabor Mezeic426d9b2022-11-15 18:51:20 +010055generated_bignum_test_data: ../scripts/mbedtls_dev/bignum_mod_raw.py
Werner Lewisc84b7312022-11-30 14:43:31 +000056generated_bignum_test_data: ../scripts/mbedtls_dev/bignum_mod.py
Werner Lewis8b2df742022-07-08 13:54:57 +010057generated_bignum_test_data: ../scripts/mbedtls_dev/test_case.py
Gilles Peskine64f2efd2022-09-16 21:41:47 +020058generated_bignum_test_data: ../scripts/mbedtls_dev/test_data_generation.py
Werner Lewis8b2df742022-07-08 13:54:57 +010059generated_bignum_test_data:
60 echo " Gen $(GENERATED_BIGNUM_DATA_FILES)"
61 $(PYTHON) scripts/generate_bignum_tests.py
62
Gilles Peskine0b62b7a2023-09-08 16:19:13 +020063$(GENERATED_ECP_DATA_FILES): $(gen_file_dep) generated_ecp_test_data
Gabor Mezei95ecaaf2023-01-16 16:53:29 +010064generated_ecp_test_data: scripts/generate_ecp_tests.py
65generated_ecp_test_data: ../scripts/mbedtls_dev/bignum_common.py
66generated_ecp_test_data: ../scripts/mbedtls_dev/ecp.py
67generated_ecp_test_data: ../scripts/mbedtls_dev/test_case.py
68generated_ecp_test_data: ../scripts/mbedtls_dev/test_data_generation.py
69generated_ecp_test_data:
70 echo " Gen $(GENERATED_ECP_DATA_FILES)"
71 $(PYTHON) scripts/generate_ecp_tests.py
72
Gilles Peskine0b62b7a2023-09-08 16:19:13 +020073$(GENERATED_PSA_DATA_FILES): $(gen_file_dep) generated_psa_test_data
Gilles Peskine5df77c62021-07-13 17:22:58 +020074generated_psa_test_data: scripts/generate_psa_tests.py
Gilles Peskinec9187c52023-06-20 15:22:53 +020075generated_psa_test_data: ../scripts/mbedtls_dev/crypto_data_tests.py
Gilles Peskine26f90542022-03-15 16:39:51 +010076generated_psa_test_data: ../scripts/mbedtls_dev/crypto_knowledge.py
77generated_psa_test_data: ../scripts/mbedtls_dev/macro_collector.py
Gilles Peskinefdb72232023-06-19 20:46:47 +020078generated_psa_test_data: ../scripts/mbedtls_dev/psa_information.py
Gilles Peskine26f90542022-03-15 16:39:51 +010079generated_psa_test_data: ../scripts/mbedtls_dev/psa_storage.py
80generated_psa_test_data: ../scripts/mbedtls_dev/test_case.py
Gilles Peskine64f2efd2022-09-16 21:41:47 +020081generated_psa_test_data: ../scripts/mbedtls_dev/test_data_generation.py
Gilles Peskine1411c7c2021-04-22 14:50:16 +020082## The generated file only depends on the options that are present in
83## crypto_config.h, not on which options are set. To avoid regenerating this
84## file all the time when switching between configurations, don't declare
85## crypto_config.h as a dependency. Remove this file from your working tree
86## if you've just added or removed an option in crypto_config.h.
Gilles Peskine5df77c62021-07-13 17:22:58 +020087#generated_psa_test_data: ../include/psa/crypto_config.h
88generated_psa_test_data: ../include/psa/crypto_values.h
89generated_psa_test_data: ../include/psa/crypto_extra.h
90generated_psa_test_data: suites/test_suite_psa_crypto_metadata.data
91generated_psa_test_data:
Werner Lewis8b2df742022-07-08 13:54:57 +010092 echo " Gen $(GENERATED_PSA_DATA_FILES) ..."
Gilles Peskine687d1ab2021-04-22 01:01:56 +020093 $(PYTHON) scripts/generate_psa_tests.py
94
Azim Khan27a35e72018-06-29 12:39:19 +010095# A test application is built for each suites/test_suite_*.data file.
96# Application name is same as .data file's base name and can be
97# constructed by stripping path 'suites/' and extension .data.
Gilles Peskine687d1ab2021-04-22 01:01:56 +020098DATA_FILES := $(wildcard suites/test_suite_*.data)
99# Make sure that generated data files are included even if they don't
100# exist yet when the makefile is parsed.
Werner Lewis8b2df742022-07-08 13:54:57 +0100101DATA_FILES += $(filter-out $(DATA_FILES),$(GENERATED_FILES))
Gilles Peskine687d1ab2021-04-22 01:01:56 +0200102APPS = $(basename $(subst suites/,,$(DATA_FILES)))
Mohammad Azim Khan94aefaf2017-03-23 12:32:54 +0000103
Azim Khan27a35e72018-06-29 12:39:19 +0100104# Construct executable name by adding OS specific suffix $(EXEXT).
Mohammad Azim Khan94aefaf2017-03-23 12:32:54 +0000105BINARIES := $(addsuffix $(EXEXT),$(APPS))
106
Paul Bakker0049c2f2009-07-11 19:15:43 +0000107.SILENT:
108
Manuel Pégourié-Gonnard5c59a4f2015-06-24 13:06:24 +0200109.PHONY: all check test clean
110
Azim Khan1de892b2017-06-09 15:02:36 +0100111all: $(BINARIES)
112
Ronald Cronddaf99c2020-06-19 11:27:26 +0200113mbedtls_test: $(MBEDTLS_TEST_OBJS)
114
Gilles Peskinee1d51bd2021-01-20 19:47:23 +0100115TEST_OBJS_DEPS = $(wildcard include/test/*.h include/test/*/*.h)
Gilles Peskined71539f2020-11-25 18:17:17 +0100116ifdef RECORD_PSA_STATUS_COVERAGE_LOG
Gilles Peskine75829a42021-01-25 13:46:14 +0100117# Explicitly depend on this header because on a clean copy of the source tree,
118# it doesn't exist yet and must be generated as part of the build, and
119# therefore the wildcard enumeration above doesn't include it.
Gilles Peskined71539f2020-11-25 18:17:17 +0100120TEST_OBJS_DEPS += include/test/instrument_record_status.h
121endif
122
Ronald Cronb6d6d4c2020-06-03 10:11:18 +0200123# Rule to compile common test C files in src folder
Gilles Peskined71539f2020-11-25 18:17:17 +0100124src/%.o : src/%.c $(TEST_OBJS_DEPS)
Ronald Cronb6d6d4c2020-06-03 10:11:18 +0200125 echo " CC $<"
126 $(CC) $(LOCAL_CFLAGS) $(CFLAGS) -o $@ -c $<
127
Steven Cooremana70d5882020-07-16 20:26:18 +0200128src/drivers/%.o : src/drivers/%.c
129 echo " CC $<"
130 $(CC) $(LOCAL_CFLAGS) $(CFLAGS) -o $@ -c $<
131
Yanray Wangb458b8c2022-10-28 11:49:33 +0800132src/test_helpers/%.o : src/test_helpers/%.c
133 echo " CC $<"
134 $(CC) $(LOCAL_CFLAGS) $(CFLAGS) -o $@ -c $<
135
Mohammad Azim Khan94aefaf2017-03-23 12:32:54 +0000136C_FILES := $(addsuffix .c,$(APPS))
Gilles Peskine1d7cc082022-11-10 19:50:34 +0100137c: $(C_FILES)
Mohammad Azim Khan94aefaf2017-03-23 12:32:54 +0000138
Azim Khan27a35e72018-06-29 12:39:19 +0100139# Wildcard target for test code generation:
140# A .c file is generated for each .data file in the suites/ directory. Each .c
141# file depends on a .data and .function file from suites/ directory. Following
142# nameing convention is followed:
143#
144# C file | Depends on
145#-----------------------------------------------------------------------------
146# foo.c | suites/foo.function suites/foo.data
147# foo.bar.c | suites/foo.function suites/foo.bar.data
148#
149# Note above that .c and .data files have same base name.
150# However, corresponding .function file's base name is the word before first
151# dot in .c file's base name.
152#
Mohammad Azim Khan94aefaf2017-03-23 12:32:54 +0000153.SECONDEXPANSION:
Azim Khan27a35e72018-06-29 12:39:19 +0100154%.c: suites/$$(firstword $$(subst ., ,$$*)).function suites/%.data scripts/generate_test_code.py suites/helpers.function suites/main_test.function suites/host_test.function
Manuel Pégourié-Gonnard78ec2b02015-07-08 22:12:06 +0100155 echo " Gen $@"
Azim Khan27a35e72018-06-29 12:39:19 +0100156 $(PYTHON) scripts/generate_test_code.py -f suites/$(firstword $(subst ., ,$*)).function \
Mohammad Azim Khanfff49042017-03-28 01:48:31 +0100157 -d suites/$*.data \
Azim Khan1de892b2017-06-09 15:02:36 +0100158 -t suites/main_test.function \
Mohammad Azim Khan95402612017-07-19 10:15:54 +0100159 -p suites/host_test.function \
Mohammad Azim Khanfff49042017-03-28 01:48:31 +0100160 -s suites \
Azim Khane3b26af2018-06-29 02:36:57 +0100161 --helpers-file suites/helpers.function \
Mohammad Azim Khanfff49042017-03-28 01:48:31 +0100162 -o .
Paul Bakker286bf3c2013-04-08 18:09:51 +0200163
Paul Bakker286bf3c2013-04-08 18:09:51 +0200164
Gilles Peskined71539f2020-11-25 18:17:17 +0100165$(BINARIES): %$(EXEXT): %.c $(MBEDLIBS) $(TEST_OBJS_DEPS) $(MBEDTLS_TEST_OBJS)
Manuel Pégourié-Gonnard78ec2b02015-07-08 22:12:06 +0100166 echo " CC $<"
Gilles Peskine4ad57332023-12-22 11:30:30 +0100167 $(CC) $(LOCAL_CFLAGS) $(CFLAGS) $< $(LOCAL_LDFLAGS) $(LDFLAGS) -o $@
Paul Bakker286bf3c2013-04-08 18:09:51 +0200168
Paul Bakker0049c2f2009-07-11 19:15:43 +0000169clean:
Paul Bakker62f88dc2012-05-10 21:26:28 +0000170ifndef WINDOWS
Gilles Peskined0254222021-09-14 11:28:22 +0200171 rm -rf $(BINARIES) *.c *.datax
Yanray Wangb458b8c2022-10-28 11:49:33 +0800172 rm -f src/*.o src/drivers/*.o src/test_helpers/*.o src/libmbed*
Gilles Peskined71539f2020-11-25 18:17:17 +0100173 rm -f include/test/instrument_record_status.h
Gilles Peskinedf6e84a2023-02-22 22:09:51 +0100174 rm -f include/alt-extra/*/*_alt.h
Ronald Cron72b25da2021-04-28 18:29:24 +0200175 rm -rf libtestdriver1
Manuel Pégourié-Gonnard85101052022-12-29 16:04:35 +0100176 rm -f ../library/libtestdriver1.a
Manuel Pégourié-Gonnard5c59a4f2015-06-24 13:06:24 +0200177else
Darryl Green6c0f94c2018-10-17 16:12:33 +0100178 if exist *.c del /Q /F *.c
179 if exist *.exe del /Q /F *.exe
180 if exist *.datax del /Q /F *.datax
Ronald Cronb6d6d4c2020-06-03 10:11:18 +0200181 if exist src/*.o del /Q /F src/*.o
Steven Cooremana70d5882020-07-16 20:26:18 +0200182 if exist src/drivers/*.o del /Q /F src/drivers/*.o
Yanray Wangb458b8c2022-10-28 11:49:33 +0800183 if exist src/test_helpers/*.o del /Q /F src/test_helpers/*.o
Ronald Cronb6d6d4c2020-06-03 10:11:18 +0200184 if exist src/libmbed* del /Q /F src/libmed*
Gilles Peskined71539f2020-11-25 18:17:17 +0100185 if exist include/test/instrument_record_status.h del /Q /F include/test/instrument_record_status.h
Azim Khan27a35e72018-06-29 12:39:19 +0100186endif
Paul Bakker0049c2f2009-07-11 19:15:43 +0000187
Gilles Peskineac372cc2018-11-29 10:15:06 +0000188# Test suites caught by SKIP_TEST_SUITES are built but not executed.
Mohammad Azim Khan94aefaf2017-03-23 12:32:54 +0000189check: $(BINARIES)
Gilles Peskine396853a2021-09-20 18:57:55 +0200190 perl scripts/run-test-suites.pl $(TEST_FLAGS) --skip=$(SKIP_TEST_SUITES)
Manuel Pégourié-Gonnard5c59a4f2015-06-24 13:06:24 +0200191
192test: check
Mohammad Azim Khan1f29be72017-03-20 22:21:22 +0000193
Gilles Peskinedf6e84a2023-02-22 22:09:51 +0100194# Generate variants of some headers for testing
195include/alt-extra/%_alt.h: ../include/%.h
196 perl -p -e 's/^(# *(define|ifndef) +\w+_)H\b/$${1}ALT_H/' $< >$@
197
Ronald Cron72b25da2021-04-28 18:29:24 +0200198# Generate test library
199
200# Perl code that is executed to transform each original line from a library
201# source file into the corresponding line in the test driver copy of the
202# library. Add a LIBTESTDRIVER1_/libtestdriver1_ to mbedtls_xxx and psa_xxx
203# symbols.
204define libtestdriver1_rewrite :=
205 s!^(\s*#\s*include\s*[\"<])(mbedtls|psa)/!$${1}libtestdriver1/include/$${2}/!; \
206 next if /^\s*#\s*include/; \
207 s/\b(?=MBEDTLS_|PSA_)/LIBTESTDRIVER1_/g; \
208 s/\b(?=mbedtls_|psa_)/libtestdriver1_/g;
209endef
210
Gilles Peskine1c13aa72024-03-04 11:06:56 +0100211libtestdriver1.a: export MBEDTLS_PATH := $(patsubst ../..//%,/%,../../$(MBEDTLS_PATH))
Ronald Cron72b25da2021-04-28 18:29:24 +0200212libtestdriver1.a:
213 # Copy the library and fake a 3rdparty Makefile include.
214 rm -Rf ./libtestdriver1
215 mkdir ./libtestdriver1
216 cp -Rf ../library ./libtestdriver1
217 cp -Rf ../include ./libtestdriver1
218 cp -Rf ../scripts ./libtestdriver1
219 mkdir ./libtestdriver1/3rdparty
220 touch ./libtestdriver1/3rdparty/Makefile.inc
221
222 # Set the test driver base (minimal) configuration.
223 cp ./include/test/drivers/config_test_driver.h ./libtestdriver1/include/mbedtls/mbedtls_config.h
224
225 # Set the PSA cryptography configuration for the test library.
226 # It is set from the copied include/psa/crypto_config.h of the Mbed TLS
227 # library the test library is intended to be linked with extended by
228 # ./include/test/drivers/crypto_config_test_driver_extension.h to
229 # mirror the PSA_ACCEL_* macros.
230 mv ./libtestdriver1/include/psa/crypto_config.h ./libtestdriver1/include/psa/crypto_config.h.bak
231 head -n -1 ./libtestdriver1/include/psa/crypto_config.h.bak > ./libtestdriver1/include/psa/crypto_config.h
232 cat ./include/test/drivers/crypto_config_test_driver_extension.h >> ./libtestdriver1/include/psa/crypto_config.h
233 echo "#endif /* PSA_CRYPTO_CONFIG_H */" >> ./libtestdriver1/include/psa/crypto_config.h
234
235 # Prefix MBEDTLS_* PSA_* symbols with LIBTESTDRIVER1_ as well as
236 # mbedtls_* psa_* symbols with libtestdriver1_ to avoid symbol clash
237 # when this test driver library is linked with the Mbed TLS library.
238 perl -pi -e '$(libtestdriver1_rewrite)' ./libtestdriver1/library/*.[ch]
239 perl -pi -e '$(libtestdriver1_rewrite)' ./libtestdriver1/include/*/*.h
240
241 $(MAKE) -C ./libtestdriver1/library CFLAGS="-I../../ $(CFLAGS)" LDFLAGS="$(LDFLAGS)" libmbedcrypto.a
242 cp ./libtestdriver1/library/libmbedcrypto.a ../library/libtestdriver1.a
243
Gilles Peskine51681552019-05-20 19:35:37 +0200244ifdef RECORD_PSA_STATUS_COVERAGE_LOG
Ronald Cron02c78b72020-05-27 09:22:32 +0200245include/test/instrument_record_status.h: ../include/psa/crypto.h Makefile
Gilles Peskined71539f2020-11-25 18:17:17 +0100246 echo " Gen $@"
Gilles Peskine51681552019-05-20 19:35:37 +0200247 sed <../include/psa/crypto.h >$@ -n 's/^psa_status_t \([A-Za-z0-9_]*\)(.*/#define \1(...) RECORD_STATUS("\1", \1(__VA_ARGS__))/p'
248endif