blob: ad59cfe9199ce6b2b6c44691ffc80294065791e7 [file] [log] [blame]
Andres AG31f9b5b2016-10-04 17:14:38 +01001#! /usr/bin/env sh
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +01002
Simon Butcher3ea7f522016-03-07 23:22:10 +00003# all.sh
4#
SimonB2e23c822016-04-16 21:54:39 +01005# This file is part of mbed TLS (https://tls.mbed.org)
6#
Gilles Peskine192c72f2017-12-21 15:59:21 +01007# Copyright (c) 2014-2017, ARM Limited, All Rights Reserved
8
9
10
11################################################################
12#### Documentation
13################################################################
14
Simon Butcher3ea7f522016-03-07 23:22:10 +000015# Purpose
Gilles Peskine192c72f2017-12-21 15:59:21 +010016# -------
Simon Butcher3ea7f522016-03-07 23:22:10 +000017#
SimonB2e23c822016-04-16 21:54:39 +010018# To run all tests possible or available on the platform.
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +010019#
Gilles Peskine192c72f2017-12-21 15:59:21 +010020# Notes for users
21# ---------------
22#
SimonB2e23c822016-04-16 21:54:39 +010023# Warning: the test is destructive. It includes various build modes and
24# configurations, and can and will arbitrarily change the current CMake
Gilles Peskine192c72f2017-12-21 15:59:21 +010025# configuration. The following files must be committed into git:
26# * include/mbedtls/config.h
27# * Makefile, library/Makefile, programs/Makefile, tests/Makefile
28# After running this script, the CMake cache will be lost and CMake
29# will no longer be initialised.
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +010030#
Gilles Peskine192c72f2017-12-21 15:59:21 +010031# The script assumes the presence of a number of tools:
32# * Basic Unix tools (Windows users note: a Unix-style find must be before
33# the Windows find in the PATH)
34# * Perl
35# * GNU Make
36# * CMake
37# * GCC and Clang (recent enough for using ASan with gcc and MemSan with clang, or valgrind)
Andrzej Kurek05be06c2018-06-28 04:41:50 -040038# * G++
Gilles Peskine192c72f2017-12-21 15:59:21 +010039# * arm-gcc and mingw-gcc
40# * ArmCC 5 and ArmCC 6, unless invoked with --no-armcc
Gilles Peskine192c72f2017-12-21 15:59:21 +010041# * OpenSSL and GnuTLS command line tools, recent enough for the
42# interoperability tests. If they don't support SSLv3 then a legacy
43# version of these tools must be present as well (search for LEGACY
44# below).
45# See the invocation of check_tools below for details.
46#
47# This script must be invoked from the toplevel directory of a git
48# working copy of Mbed TLS.
49#
50# Note that the output is not saved. You may want to run
51# script -c tests/scripts/all.sh
52# or
53# tests/scripts/all.sh >all.log 2>&1
54#
55# Notes for maintainers
56# ---------------------
57#
Gilles Peskine8f073122018-11-27 15:58:47 +010058# The bulk of the code is organized into functions that follow one of the
59# following naming conventions:
60# * pre_XXX: things to do before running the tests, in order.
61# * component_XXX: independent components. They can be run in any order.
Gilles Peskine92bff7f2019-01-09 22:29:17 +010062# * component_check_XXX: quick tests that aren't worth parallelizing.
63# * component_build_XXX: build things but don't run them.
64# * component_test_XXX: build and test.
Gilles Peskine10726102019-01-06 20:50:38 +000065# * support_XXX: if support_XXX exists and returns false then
66# component_XXX is not run by default.
Gilles Peskine8f073122018-11-27 15:58:47 +010067# * post_XXX: things to do after running the tests.
68# * other: miscellaneous support functions.
69#
Gilles Peskine92bff7f2019-01-09 22:29:17 +010070# Each component must start by invoking `msg` with a short informative message.
71#
72# The framework performs some cleanup tasks after each component. This
73# means that components can assume that the working directory is in a
74# cleaned-up state, and don't need to perform the cleanup themselves.
75# * Run `make clean`.
76# * Restore `include/mbedtks/config.h` from a backup made before running
77# the component.
78# * Check out `Makefile`, `library/Makefile`, `programs/Makefile` and
79# `tests/Makefile` from git. This cleans up after an in-tree use of
80# CMake.
81#
82# Any command that is expected to fail must be protected so that the
83# script keeps running in --keep-going mode despite `set -e`. In keep-going
84# mode, if a protected command fails, this is logged as a failure and the
85# script will exit with a failure status once it has run all components.
86# Commands can be protected in any of the following ways:
87# * `make` is a function which runs the `make` command with protection.
88# Note that you must write `make VAR=value`, not `VAR=value make`,
89# because the `VAR=value make` syntax doesn't work with functions.
90# * Put `report_status` before the command to protect it.
91# * Put `if_build_successful` before a command. This protects it, and
92# additionally skips it if a prior invocation of `make` in the same
93# component failed.
94#
Gilles Peskine192c72f2017-12-21 15:59:21 +010095# The tests are roughly in order from fastest to slowest. This doesn't
96# have to be exact, but in general you should add slower tests towards
97# the end and fast checks near the beginning.
Gilles Peskine192c72f2017-12-21 15:59:21 +010098
99
100
101################################################################
102#### Initialization and command line parsing
103################################################################
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100104
SimonB2e23c822016-04-16 21:54:39 +0100105# Abort on errors (and uninitialised variables)
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100106set -eu
107
Gilles Peskine8f073122018-11-27 15:58:47 +0100108pre_check_environment () {
Gilles Peskinebdf3f522019-01-06 19:58:02 +0000109 if [ -d library -a -d include -a -d tests ]; then :; else
Gilles Peskine8f073122018-11-27 15:58:47 +0100110 echo "Must be run from mbed TLS root" >&2
111 exit 1
112 fi
113}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100114
Gilles Peskine8f073122018-11-27 15:58:47 +0100115pre_initialize_variables () {
116 CONFIG_H='include/mbedtls/config.h'
117 CONFIG_BAK="$CONFIG_H.bak"
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200118
Gilles Peskine8f073122018-11-27 15:58:47 +0100119 MEMORY=0
120 FORCE=0
121 KEEP_GOING=0
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100122
Gilles Peskine8f073122018-11-27 15:58:47 +0100123 # Default commands, can be overriden by the environment
124 : ${OPENSSL:="openssl"}
125 : ${OPENSSL_LEGACY:="$OPENSSL"}
126 : ${OPENSSL_NEXT:="$OPENSSL"}
127 : ${GNUTLS_CLI:="gnutls-cli"}
128 : ${GNUTLS_SERV:="gnutls-serv"}
129 : ${GNUTLS_LEGACY_CLI:="$GNUTLS_CLI"}
130 : ${GNUTLS_LEGACY_SERV:="$GNUTLS_SERV"}
131 : ${OUT_OF_SOURCE_DIR:=./mbedtls_out_of_source_build}
132 : ${ARMC5_BIN_DIR:=/usr/bin}
133 : ${ARMC6_BIN_DIR:=/usr/bin}
Andres AGdc192212016-08-31 17:33:13 +0100134
Gilles Peskine8f073122018-11-27 15:58:47 +0100135 # if MAKEFLAGS is not set add the -j option to speed up invocations of make
Gilles Peskine55ae1622019-01-06 20:15:26 +0000136 if [ -z "${MAKEFLAGS+set}" ]; then
Gilles Peskine8f073122018-11-27 15:58:47 +0100137 export MAKEFLAGS="-j"
138 fi
Gilles Peskine10726102019-01-06 20:50:38 +0000139
Jaeden Amerod48e9c72019-02-07 17:43:39 +0000140 # Include more verbose output for failing tests run by CMake
141 export CTEST_OUTPUT_ON_FAILURE=1
142
Gilles Peskine10726102019-01-06 20:50:38 +0000143 # Gather the list of available components. These are the functions
144 # defined in this script whose name starts with "component_".
145 # Parse the script with sed, because in sh there is no way to list
146 # defined functions.
147 ALL_COMPONENTS=$(sed -n 's/^ *component_\([0-9A-Z_a-z]*\) *().*/\1/p' <"$0")
148
149 # Exclude components that are not supported on this platform.
150 SUPPORTED_COMPONENTS=
151 for component in $ALL_COMPONENTS; do
152 case $(type "support_$component" 2>&1) in
153 *' function'*)
154 if ! support_$component; then continue; fi;;
155 esac
156 SUPPORTED_COMPONENTS="$SUPPORTED_COMPONENTS $component"
157 done
Gilles Peskine8f073122018-11-27 15:58:47 +0100158}
Andres AG38495a32016-07-12 16:54:33 +0100159
Gilles Peskinea49b00f2019-01-10 00:05:18 +0100160# Test whether the component $1 is included in the command line patterns.
161is_component_included()
Gilles Peskine81b96ed2018-11-27 21:37:53 +0100162{
163 set -f
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000164 for pattern in $COMMAND_LINE_COMPONENTS; do
Gilles Peskine81b96ed2018-11-27 21:37:53 +0100165 set +f
166 case ${1#component_} in $pattern) return 0;; esac
167 done
168 set +f
169 return 1
170}
171
Simon Butcher41eeccf2016-09-07 00:07:09 +0100172usage()
SimonB2e23c822016-04-16 21:54:39 +0100173{
Gilles Peskine709346a2017-12-10 23:43:39 +0100174 cat <<EOF
Gilles Peskine92525112018-11-27 18:15:35 +0100175Usage: $0 [OPTION]... [COMPONENT]...
Gilles Peskine348fb9a2018-11-27 17:04:29 +0100176Run mbedtls release validation tests.
Gilles Peskine92525112018-11-27 18:15:35 +0100177By default, run all tests. With one or more COMPONENT, run only those.
Gilles Peskinea49b00f2019-01-10 00:05:18 +0100178COMPONENT can be the name of a component or a shell wildcard pattern.
179
180Examples:
181 $0 "check_*"
182 Run all sanity checks.
183 $0 --no-armcc --except test_memsan
184 Run everything except builds that require armcc and MemSan.
Gilles Peskine348fb9a2018-11-27 17:04:29 +0100185
186Special options:
187 -h|--help Print this help and exit.
Gilles Peskine10726102019-01-06 20:50:38 +0000188 --list-all-components List all available test components and exit.
189 --list-components List components supported on this platform and exit.
Gilles Peskine709346a2017-12-10 23:43:39 +0100190
191General options:
192 -f|--force Force the tests to overwrite any modified files.
Gilles Peskine7c652162017-12-11 00:01:40 +0100193 -k|--keep-going Run all tests and report errors at the end.
Gilles Peskine709346a2017-12-10 23:43:39 +0100194 -m|--memory Additional optional memory tests.
Gilles Peskinebca6ab92017-12-19 18:24:31 +0100195 --armcc Run ARM Compiler builds (on by default).
Gilles Peskinea49b00f2019-01-10 00:05:18 +0100196 --except Exclude the COMPONENTs listed on the command line,
197 instead of running only those.
Gilles Peskinebca6ab92017-12-19 18:24:31 +0100198 --no-armcc Skip ARM Compiler builds.
Gilles Peskine38d81652018-03-21 08:40:26 +0100199 --no-force Refuse to overwrite modified files (default).
200 --no-keep-going Stop at the first error (default).
201 --no-memory No additional memory tests (default).
Gilles Peskine709346a2017-12-10 23:43:39 +0100202 --out-of-source-dir=<path> Directory used for CMake out-of-source build tests.
Gilles Peskine38d81652018-03-21 08:40:26 +0100203 --random-seed Use a random seed value for randomized tests (default).
Gilles Peskine709346a2017-12-10 23:43:39 +0100204 -r|--release-test Run this script in release mode. This fixes the seed value to 1.
205 -s|--seed Integer seed value to use for this test run.
206
207Tool path options:
208 --armc5-bin-dir=<ARMC5_bin_dir_path> ARM Compiler 5 bin directory.
209 --armc6-bin-dir=<ARMC6_bin_dir_path> ARM Compiler 6 bin directory.
210 --gnutls-cli=<GnuTLS_cli_path> GnuTLS client executable to use for most tests.
211 --gnutls-serv=<GnuTLS_serv_path> GnuTLS server executable to use for most tests.
212 --gnutls-legacy-cli=<GnuTLS_cli_path> GnuTLS client executable to use for legacy tests.
213 --gnutls-legacy-serv=<GnuTLS_serv_path> GnuTLS server executable to use for legacy tests.
214 --openssl=<OpenSSL_path> OpenSSL executable to use for most tests.
215 --openssl-legacy=<OpenSSL_path> OpenSSL executable to use for legacy tests e.g. SSLv3.
Manuel Pégourié-Gonnard6b368922018-02-20 12:02:07 +0100216 --openssl-next=<OpenSSL_path> OpenSSL executable to use for recent things like ARIA
Gilles Peskine709346a2017-12-10 23:43:39 +0100217EOF
SimonB2e23c822016-04-16 21:54:39 +0100218}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100219
220# remove built files as well as the cmake cache/config
221cleanup()
222{
Gilles Peskinea71d64c2018-03-21 12:16:57 +0100223 if [ -n "${MBEDTLS_ROOT_DIR+set}" ]; then
224 cd "$MBEDTLS_ROOT_DIR"
225 fi
226
Gilles Peskine7c652162017-12-11 00:01:40 +0100227 command make clean
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200228
Gilles Peskine31b07e22018-03-21 12:15:06 +0100229 # Remove CMake artefacts
Simon Butcher3ad2efd2018-05-02 14:49:38 +0100230 find . -name .git -prune \
Gilles Peskine31b07e22018-03-21 12:15:06 +0100231 -iname CMakeFiles -exec rm -rf {} \+ -o \
232 \( -iname cmake_install.cmake -o \
233 -iname CTestTestfile.cmake -o \
234 -iname CMakeCache.txt \) -exec rm {} \+
235 # Recover files overwritten by in-tree CMake builds
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000236 rm -f include/Makefile include/mbedtls/Makefile programs/*/Makefile
Paul Bakkerfe0984d2014-06-13 00:13:45 +0200237 git update-index --no-skip-worktree Makefile library/Makefile programs/Makefile tests/Makefile
238 git checkout -- Makefile library/Makefile programs/Makefile tests/Makefile
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200239
240 if [ -f "$CONFIG_BAK" ]; then
241 mv "$CONFIG_BAK" "$CONFIG_H"
242 fi
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100243}
244
Gilles Peskine7c652162017-12-11 00:01:40 +0100245# Executed on exit. May be redefined depending on command line options.
246final_report () {
247 :
248}
249
250fatal_signal () {
251 cleanup
252 final_report $1
253 trap - $1
254 kill -$1 $$
255}
256
257trap 'fatal_signal HUP' HUP
258trap 'fatal_signal INT' INT
259trap 'fatal_signal TERM' TERM
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200260
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100261msg()
262{
Gilles Peskineffcdeff2018-12-04 12:49:28 +0100263 if [ -n "${current_component:-}" ]; then
264 current_section="${current_component#component_}: $1"
265 else
266 current_section="$1"
267 fi
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100268 echo ""
269 echo "******************************************************************"
Gilles Peskineffcdeff2018-12-04 12:49:28 +0100270 echo "* $current_section "
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +0000271 printf "* "; date
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100272 echo "******************************************************************"
273}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100274
Gilles Peskine8f073122018-11-27 15:58:47 +0100275armc6_build_test()
276{
277 FLAGS="$1"
Andres AGa5cd9732016-10-17 15:23:10 +0100278
Gilles Peskine8f073122018-11-27 15:58:47 +0100279 msg "build: ARM Compiler 6 ($FLAGS), make"
280 ARM_TOOL_VARIANT="ult" CC="$ARMC6_CC" AR="$ARMC6_AR" CFLAGS="$FLAGS" \
281 WARNING_CFLAGS='-xc -std=c99' make lib
282 make clean
283}
Andres AGa5cd9732016-10-17 15:23:10 +0100284
Andres AGd9eba4b2016-08-26 14:42:14 +0100285err_msg()
286{
287 echo "$1" >&2
288}
289
290check_tools()
291{
292 for TOOL in "$@"; do
Andres AG98393602017-01-31 17:04:45 +0000293 if ! `type "$TOOL" >/dev/null 2>&1`; then
Andres AGd9eba4b2016-08-26 14:42:14 +0100294 err_msg "$TOOL not found!"
295 exit 1
296 fi
297 done
298}
299
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400300check_headers_in_cpp () {
301 ls include/mbedtls >headers.txt
302 <programs/test/cpp_dummy_build.cpp sed -n 's/"$//; s!^#include "mbedtls/!!p' |
303 sort |
304 diff headers.txt -
305 rm headers.txt
306}
307
Gilles Peskine8f073122018-11-27 15:58:47 +0100308pre_parse_command_line () {
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000309 COMMAND_LINE_COMPONENTS=
Gilles Peskinea49b00f2019-01-10 00:05:18 +0100310 all_except=0
Gilles Peskinee26ab182019-01-06 22:23:42 +0000311 no_armcc=
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000312
Gilles Peskine8f073122018-11-27 15:58:47 +0100313 while [ $# -gt 0 ]; do
Gilles Peskine06b385f2019-01-09 22:28:21 +0100314 case "$1" in
Gilles Peskinee26ab182019-01-06 22:23:42 +0000315 --armcc) no_armcc=;;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100316 --armc5-bin-dir) shift; ARMC5_BIN_DIR="$1";;
317 --armc6-bin-dir) shift; ARMC6_BIN_DIR="$1";;
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000318 --except) all_except=1;;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100319 --force|-f) FORCE=1;;
320 --gnutls-cli) shift; GNUTLS_CLI="$1";;
321 --gnutls-legacy-cli) shift; GNUTLS_LEGACY_CLI="$1";;
322 --gnutls-legacy-serv) shift; GNUTLS_LEGACY_SERV="$1";;
323 --gnutls-serv) shift; GNUTLS_SERV="$1";;
324 --help|-h) usage; exit;;
325 --keep-going|-k) KEEP_GOING=1;;
Gilles Peskine10726102019-01-06 20:50:38 +0000326 --list-all-components) printf '%s\n' $ALL_COMPONENTS; exit;;
327 --list-components) printf '%s\n' $SUPPORTED_COMPONENTS; exit;;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100328 --memory|-m) MEMORY=1;;
Gilles Peskinee26ab182019-01-06 22:23:42 +0000329 --no-armcc) no_armcc=1;;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100330 --no-force) FORCE=0;;
331 --no-keep-going) KEEP_GOING=0;;
332 --no-memory) MEMORY=0;;
333 --openssl) shift; OPENSSL="$1";;
334 --openssl-legacy) shift; OPENSSL_LEGACY="$1";;
335 --openssl-next) shift; OPENSSL_NEXT="$1";;
336 --out-of-source-dir) shift; OUT_OF_SOURCE_DIR="$1";;
337 --random-seed) unset SEED;;
338 --release-test|-r) SEED=1;;
339 --seed|-s) shift; SEED="$1";;
340 -*)
341 echo >&2 "Unknown option: $1"
342 echo >&2 "Run $0 --help for usage."
343 exit 120
344 ;;
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000345 *) COMMAND_LINE_COMPONENTS="$COMMAND_LINE_COMPONENTS $1";;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100346 esac
347 shift
Gilles Peskine8f073122018-11-27 15:58:47 +0100348 done
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000349
Gilles Peskinea49b00f2019-01-10 00:05:18 +0100350 # With no list of components, run everything.
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000351 if [ -z "$COMMAND_LINE_COMPONENTS" ]; then
352 all_except=1
353 fi
354
Gilles Peskinee26ab182019-01-06 22:23:42 +0000355 # --no-armcc is a legacy option. The modern way is --except '*_armcc*'.
356 # Ignore it if components are listed explicitly on the command line.
Gilles Peskinea49b00f2019-01-10 00:05:18 +0100357 if [ -n "$no_armcc" ] && [ $all_except -eq 1 ]; then
Gilles Peskinee26ab182019-01-06 22:23:42 +0000358 COMMAND_LINE_COMPONENTS="$COMMAND_LINE_COMPONENTS *_armcc*"
359 fi
360
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000361 # Build the list of components to run.
Gilles Peskinea49b00f2019-01-10 00:05:18 +0100362 RUN_COMPONENTS=
363 for component in $SUPPORTED_COMPONENTS; do
364 if is_component_included "$component"; [ $? -eq $all_except ]; then
365 RUN_COMPONENTS="$RUN_COMPONENTS $component"
366 fi
367 done
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000368
369 unset all_except
Gilles Peskinee26ab182019-01-06 22:23:42 +0000370 unset no_armcc
Gilles Peskine8f073122018-11-27 15:58:47 +0100371}
SimonB2e23c822016-04-16 21:54:39 +0100372
Gilles Peskine8f073122018-11-27 15:58:47 +0100373pre_check_git () {
374 if [ $FORCE -eq 1 ]; then
Gilles Peskined692e112019-01-09 23:17:35 +0100375 rm -rf "$OUT_OF_SOURCE_DIR"
Gilles Peskine8f073122018-11-27 15:58:47 +0100376 git checkout-index -f -q $CONFIG_H
377 cleanup
378 else
SimonB2e23c822016-04-16 21:54:39 +0100379
Gilles Peskine8f073122018-11-27 15:58:47 +0100380 if [ -d "$OUT_OF_SOURCE_DIR" ]; then
381 echo "Warning - there is an existing directory at '$OUT_OF_SOURCE_DIR'" >&2
382 echo "You can either delete this directory manually, or force the test by rerunning"
383 echo "the script as: $0 --force --out-of-source-dir $OUT_OF_SOURCE_DIR"
384 exit 1
385 fi
386
Gilles Peskineadd1d232019-01-09 22:30:01 +0100387 if ! git diff --quiet include/mbedtls/config.h; then
Gilles Peskine8f073122018-11-27 15:58:47 +0100388 err_msg "Warning - the configuration file 'include/mbedtls/config.h' has been edited. "
389 echo "You can either delete or preserve your work, or force the test by rerunning the"
390 echo "script as: $0 --force"
391 exit 1
392 fi
Andres AGdc192212016-08-31 17:33:13 +0100393 fi
Gilles Peskine8f073122018-11-27 15:58:47 +0100394}
Andres AGdc192212016-08-31 17:33:13 +0100395
Gilles Peskine8f073122018-11-27 15:58:47 +0100396pre_setup_keep_going () {
Gilles Peskine7c652162017-12-11 00:01:40 +0100397 failure_summary=
398 failure_count=0
399 start_red=
400 end_color=
401 if [ -t 1 ]; then
Gilles Peskine9736b9d2018-01-02 21:54:17 +0100402 case "${TERM:-}" in
Gilles Peskine7c652162017-12-11 00:01:40 +0100403 *color*|cygwin|linux|rxvt*|screen|[Eex]term*)
404 start_red=$(printf '\033[31m')
405 end_color=$(printf '\033[0m')
406 ;;
407 esac
408 fi
409 record_status () {
410 if "$@"; then
411 last_status=0
412 else
413 last_status=$?
414 text="$current_section: $* -> $last_status"
415 failure_summary="$failure_summary
416$text"
417 failure_count=$((failure_count + 1))
418 echo "${start_red}^^^^$text^^^^${end_color}"
419 fi
420 }
421 make () {
422 case "$*" in
423 *test|*check)
424 if [ $build_status -eq 0 ]; then
425 record_status command make "$@"
426 else
427 echo "(skipped because the build failed)"
428 fi
429 ;;
430 *)
431 record_status command make "$@"
432 build_status=$last_status
433 ;;
434 esac
435 }
436 final_report () {
437 if [ $failure_count -gt 0 ]; then
438 echo
439 echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
440 echo "${start_red}FAILED: $failure_count${end_color}$failure_summary"
441 echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
Jaeden Amero7c1258d2018-07-20 16:42:14 +0100442 exit 1
Gilles Peskine7c652162017-12-11 00:01:40 +0100443 elif [ -z "${1-}" ]; then
444 echo "SUCCESS :)"
445 fi
446 if [ -n "${1-}" ]; then
447 echo "Killed by SIG$1."
448 fi
449 }
Gilles Peskine8f073122018-11-27 15:58:47 +0100450}
451
Gilles Peskine7c652162017-12-11 00:01:40 +0100452if_build_succeeded () {
453 if [ $build_status -eq 0 ]; then
454 record_status "$@"
455 fi
456}
457
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200458# to be used instead of ! for commands run with
459# record_status or if_build_succeeded
460not() {
461 ! "$@"
462}
463
Gilles Peskine8f073122018-11-27 15:58:47 +0100464pre_print_configuration () {
465 msg "info: $0 configuration"
466 echo "MEMORY: $MEMORY"
467 echo "FORCE: $FORCE"
468 echo "SEED: ${SEED-"UNSET"}"
469 echo "OPENSSL: $OPENSSL"
470 echo "OPENSSL_LEGACY: $OPENSSL_LEGACY"
471 echo "OPENSSL_NEXT: $OPENSSL_NEXT"
472 echo "GNUTLS_CLI: $GNUTLS_CLI"
473 echo "GNUTLS_SERV: $GNUTLS_SERV"
474 echo "GNUTLS_LEGACY_CLI: $GNUTLS_LEGACY_CLI"
475 echo "GNUTLS_LEGACY_SERV: $GNUTLS_LEGACY_SERV"
476 echo "ARMC5_BIN_DIR: $ARMC5_BIN_DIR"
477 echo "ARMC6_BIN_DIR: $ARMC6_BIN_DIR"
478}
Andres AG87bb5772016-09-27 15:05:15 +0100479
Gilles Peskine657f59a2019-01-06 22:40:00 +0000480# Make sure the tools we need are available.
Gilles Peskine8f073122018-11-27 15:58:47 +0100481pre_check_tools () {
Gilles Peskine2edf47c2019-01-06 22:46:21 +0000482 # Build the list of variables to pass to output_env.sh.
483 set env
484
Gilles Peskine657f59a2019-01-06 22:40:00 +0000485 case " $RUN_COMPONENTS " in
486 # Require OpenSSL and GnuTLS if running any tests (as opposed to
487 # only doing builds). Not all tests run OpenSSL and GnuTLS, but this
488 # is a good enough approximation in practice.
489 *" test_"*)
490 # To avoid setting OpenSSL and GnuTLS for each call to compat.sh
491 # and ssl-opt.sh, we just export the variables they require.
492 export OPENSSL_CMD="$OPENSSL"
493 export GNUTLS_CLI="$GNUTLS_CLI"
494 export GNUTLS_SERV="$GNUTLS_SERV"
495 # Avoid passing --seed flag in every call to ssl-opt.sh
496 if [ -n "${SEED-}" ]; then
497 export SEED
498 fi
Gilles Peskine2edf47c2019-01-06 22:46:21 +0000499 set "$@" OPENSSL="$OPENSSL" OPENSSL_LEGACY="$OPENSSL_LEGACY"
500 set "$@" GNUTLS_CLI="$GNUTLS_CLI" GNUTLS_SERV="$GNUTLS_SERV"
501 set "$@" GNUTLS_LEGACY_CLI="$GNUTLS_LEGACY_CLI"
502 set "$@" GNUTLS_LEGACY_SERV="$GNUTLS_LEGACY_SERV"
Gilles Peskine657f59a2019-01-06 22:40:00 +0000503 check_tools "$OPENSSL" "$OPENSSL_LEGACY" "$OPENSSL_NEXT" \
504 "$GNUTLS_CLI" "$GNUTLS_SERV" \
505 "$GNUTLS_LEGACY_CLI" "$GNUTLS_LEGACY_SERV"
506 ;;
507 esac
Andres AGd9eba4b2016-08-26 14:42:14 +0100508
Gilles Peskine657f59a2019-01-06 22:40:00 +0000509 case " $RUN_COMPONENTS " in
510 *_doxygen[_\ ]*) check_tools "doxygen" "dot";;
511 esac
Andres AGb2fdd042016-09-22 14:17:46 +0100512
Gilles Peskine657f59a2019-01-06 22:40:00 +0000513 case " $RUN_COMPONENTS " in
514 *_arm_none_eabi_gcc[_\ ]*) check_tools "arm-none-eabi-gcc";;
515 esac
Andres AG7770ea82016-10-10 15:46:20 +0100516
Gilles Peskine657f59a2019-01-06 22:40:00 +0000517 case " $RUN_COMPONENTS " in
518 *_mingw[_\ ]*) check_tools "i686-w64-mingw32-gcc";;
519 esac
520
521 case " $RUN_COMPONENTS " in
522 *" test_zeroize "*) check_tools "gdb";;
523 esac
524
525 case " $RUN_COMPONENTS " in
Gilles Peskinee26ab182019-01-06 22:23:42 +0000526 *_armcc*)
Gilles Peskine657f59a2019-01-06 22:40:00 +0000527 ARMC5_CC="$ARMC5_BIN_DIR/armcc"
528 ARMC5_AR="$ARMC5_BIN_DIR/armar"
529 ARMC6_CC="$ARMC6_BIN_DIR/armclang"
530 ARMC6_AR="$ARMC6_BIN_DIR/armar"
Gilles Peskinee26ab182019-01-06 22:23:42 +0000531 check_tools "$ARMC5_CC" "$ARMC5_AR" "$ARMC6_CC" "$ARMC6_AR";;
532 esac
Gilles Peskine2edf47c2019-01-06 22:46:21 +0000533
534 msg "info: output_env.sh"
535 case $RUN_COMPONENTS in
536 *_armcc*)
537 set "$@" ARMC5_CC="$ARMC5_CC" ARMC6_CC="$ARMC6_CC" RUN_ARMCC=1;;
538 *) set "$@" RUN_ARMCC=0;;
539 esac
540 "$@" scripts/output_env.sh
Gilles Peskine8f073122018-11-27 15:58:47 +0100541}
Gilles Peskine192c72f2017-12-21 15:59:21 +0100542
543
Gilles Peskine2edf47c2019-01-06 22:46:21 +0000544
Gilles Peskine192c72f2017-12-21 15:59:21 +0100545################################################################
546#### Basic checks
547################################################################
Andres AGd9eba4b2016-08-26 14:42:14 +0100548
SimonB2e23c822016-04-16 21:54:39 +0100549#
550# Test Suites to be executed
551#
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200552# The test ordering tries to optimize for the following criteria:
Manuel Pégourié-Gonnard89d69b32014-11-20 13:48:53 +0100553# 1. Catch possible problems early, by running first tests that run quickly
Manuel Pégourié-Gonnard61bc57a2014-08-14 11:29:06 +0200554# and/or are more likely to fail than others (eg I use Clang most of the
555# time, so start with a GCC build).
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200556# 2. Minimize total running time, by avoiding useless rebuilds
557#
558# Indicative running times are given for reference.
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100559
Gilles Peskine8f073122018-11-27 15:58:47 +0100560component_check_recursion () {
561 msg "test: recursion.pl" # < 1s
562 record_status tests/scripts/recursion.pl library/*.c
563}
Manuel Pégourié-Gonnardea29d152014-11-20 17:32:33 +0100564
Gilles Peskine8f073122018-11-27 15:58:47 +0100565component_check_generated_files () {
566 msg "test: freshness of generated source files" # < 1s
567 record_status tests/scripts/check-generated-files.sh
568}
Manuel Pégourié-Gonnardb3b8e432015-02-13 14:52:19 +0000569
Gilles Peskine8f073122018-11-27 15:58:47 +0100570component_check_doxy_blocks () {
571 msg "test: doxygen markup outside doxygen blocks" # < 1s
572 record_status tests/scripts/check-doxy-blocks.pl
573}
Manuel Pégourié-Gonnardd09a6b52015-04-09 17:19:23 +0200574
Gilles Peskine8f073122018-11-27 15:58:47 +0100575component_check_files () {
576 msg "test: check-files.py" # < 1s
Gilles Peskine8f073122018-11-27 15:58:47 +0100577 record_status tests/scripts/check-files.py
578}
Darryl Greena07039c2018-03-13 16:48:16 +0000579
Gilles Peskine8f073122018-11-27 15:58:47 +0100580component_check_names () {
581 msg "test/build: declared and exported names" # < 3s
Gilles Peskine8f073122018-11-27 15:58:47 +0100582 record_status tests/scripts/check-names.sh
583}
Manuel Pégourié-Gonnarda687baf2015-04-09 11:09:03 +0200584
Gilles Peskine8f073122018-11-27 15:58:47 +0100585component_check_doxygen_warnings () {
586 msg "test: doxygen warnings" # ~ 3s
Gilles Peskine8f073122018-11-27 15:58:47 +0100587 record_status tests/scripts/doxygen.sh
588}
Manuel Pégourié-Gonnard1d552e72016-01-04 16:49:09 +0100589
Gilles Peskine192c72f2017-12-21 15:59:21 +0100590
Gilles Peskine192c72f2017-12-21 15:59:21 +0100591################################################################
592#### Build and test many configurations and targets
593################################################################
594
Gilles Peskine8f073122018-11-27 15:58:47 +0100595component_test_default_cmake_gcc_asan () {
596 msg "build: cmake, gcc, ASan" # ~ 1 min 50s
Gilles Peskine8f073122018-11-27 15:58:47 +0100597 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
598 make
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100599
Gilles Peskine8f073122018-11-27 15:58:47 +0100600 msg "test: main suites (inc. selftests) (ASan build)" # ~ 50s
601 make test
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200602
Gilles Peskine8f073122018-11-27 15:58:47 +0100603 msg "test: ssl-opt.sh (ASan build)" # ~ 1 min
604 if_build_succeeded tests/ssl-opt.sh
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200605
Gilles Peskine8f073122018-11-27 15:58:47 +0100606 msg "test: compat.sh (ASan build)" # ~ 6 min
607 if_build_succeeded tests/compat.sh
608}
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200609
Gilles Peskine782f4112018-11-27 16:11:09 +0100610component_test_ref_configs () {
611 msg "test/build: ref-configs (ASan build)" # ~ 6 min 20s
612 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
613 record_status tests/scripts/test-ref-configs.pl
614}
615
Gilles Peskine8f073122018-11-27 15:58:47 +0100616component_test_sslv3 () {
617 msg "build: Default + SSLv3 (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100618 scripts/config.pl set MBEDTLS_SSL_PROTO_SSL3
619 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
620 make
Simon Butcher3ea7f522016-03-07 23:22:10 +0000621
Gilles Peskine8f073122018-11-27 15:58:47 +0100622 msg "test: SSLv3 - main suites (inc. selftests) (ASan build)" # ~ 50s
623 make test
Simon Butcher3ea7f522016-03-07 23:22:10 +0000624
Gilles Peskine8f073122018-11-27 15:58:47 +0100625 msg "build: SSLv3 - compat.sh (ASan build)" # ~ 6 min
626 if_build_succeeded tests/compat.sh -m 'tls1 tls1_1 tls1_2 dtls1 dtls1_2'
627 if_build_succeeded env OPENSSL_CMD="$OPENSSL_LEGACY" tests/compat.sh -m 'ssl3'
Simon Butcher3ea7f522016-03-07 23:22:10 +0000628
Gilles Peskine8f073122018-11-27 15:58:47 +0100629 msg "build: SSLv3 - ssl-opt.sh (ASan build)" # ~ 6 min
630 if_build_succeeded tests/ssl-opt.sh
631}
Simon Butcher3ea7f522016-03-07 23:22:10 +0000632
Gilles Peskine8f073122018-11-27 15:58:47 +0100633component_test_no_renegotiation () {
634 msg "build: Default + !MBEDTLS_SSL_RENEGOTIATION (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100635 scripts/config.pl unset MBEDTLS_SSL_RENEGOTIATION
636 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
637 make
Hanno Becker134c2ab2017-10-12 15:29:50 +0100638
Gilles Peskine8f073122018-11-27 15:58:47 +0100639 msg "test: !MBEDTLS_SSL_RENEGOTIATION - main suites (inc. selftests) (ASan build)" # ~ 50s
640 make test
Hanno Becker134c2ab2017-10-12 15:29:50 +0100641
Gilles Peskine8f073122018-11-27 15:58:47 +0100642 msg "test: !MBEDTLS_SSL_RENEGOTIATION - ssl-opt.sh (ASan build)" # ~ 6 min
643 if_build_succeeded tests/ssl-opt.sh
644}
Manuel Pégourié-Gonnard246978d2014-11-20 13:29:53 +0100645
Gilles Peskine8f073122018-11-27 15:58:47 +0100646component_test_rsa_no_crt () {
647 msg "build: Default + RSA_NO_CRT (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100648 scripts/config.pl set MBEDTLS_RSA_NO_CRT
649 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
650 make
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100651
Gilles Peskine8f073122018-11-27 15:58:47 +0100652 msg "test: RSA_NO_CRT - main suites (inc. selftests) (ASan build)" # ~ 50s
653 make test
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100654
Gilles Peskine8f073122018-11-27 15:58:47 +0100655 msg "test: RSA_NO_CRT - RSA-related part of ssl-opt.sh (ASan build)" # ~ 5s
656 if_build_succeeded tests/ssl-opt.sh -f RSA
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100657
Gilles Peskine8f073122018-11-27 15:58:47 +0100658 msg "test: RSA_NO_CRT - RSA-related part of compat.sh (ASan build)" # ~ 3 min
659 if_build_succeeded tests/compat.sh -t RSA
660}
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100661
Gilles Peskine8f073122018-11-27 15:58:47 +0100662component_test_small_ssl_out_content_len () {
663 msg "build: small SSL_OUT_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100664 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 16384
665 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 4096
666 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
667 make
Angus Grattonc4dd0732018-04-11 16:28:39 +1000668
Gilles Peskine8f073122018-11-27 15:58:47 +0100669 msg "test: small SSL_OUT_CONTENT_LEN - ssl-opt.sh MFL and large packet tests"
670 if_build_succeeded tests/ssl-opt.sh -f "Max fragment\|Large packet"
671}
Angus Grattonc4dd0732018-04-11 16:28:39 +1000672
Gilles Peskine8f073122018-11-27 15:58:47 +0100673component_test_small_ssl_in_content_len () {
674 msg "build: small SSL_IN_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100675 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 4096
676 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 16384
677 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
678 make
Angus Grattonc4dd0732018-04-11 16:28:39 +1000679
Gilles Peskine8f073122018-11-27 15:58:47 +0100680 msg "test: small SSL_IN_CONTENT_LEN - ssl-opt.sh MFL tests"
681 if_build_succeeded tests/ssl-opt.sh -f "Max fragment"
682}
Angus Grattonc4dd0732018-04-11 16:28:39 +1000683
Gilles Peskine8f073122018-11-27 15:58:47 +0100684component_test_small_ssl_dtls_max_buffering () {
685 msg "build: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #0"
Gilles Peskine8f073122018-11-27 15:58:47 +0100686 scripts/config.pl set MBEDTLS_SSL_DTLS_MAX_BUFFERING 1000
687 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
688 make
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100689
Gilles Peskine8f073122018-11-27 15:58:47 +0100690 msg "test: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #0 - ssl-opt.sh specific reordering test"
691 if_build_succeeded tests/ssl-opt.sh -f "DTLS reordering: Buffer out-of-order hs msg before reassembling next, free buffered msg"
692}
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100693
Gilles Peskine8f073122018-11-27 15:58:47 +0100694component_test_small_mbedtls_ssl_dtls_max_buffering () {
695 msg "build: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #1"
Gilles Peskine8f073122018-11-27 15:58:47 +0100696 scripts/config.pl set MBEDTLS_SSL_DTLS_MAX_BUFFERING 240
697 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
698 make
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100699
Gilles Peskine8f073122018-11-27 15:58:47 +0100700 msg "test: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #1 - ssl-opt.sh specific reordering test"
701 if_build_succeeded tests/ssl-opt.sh -f "DTLS reordering: Buffer encrypted Finished message, drop for fragmented NewSessionTicket"
702}
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100703
Gilles Peskine8f073122018-11-27 15:58:47 +0100704component_test_full_cmake_clang () {
705 msg "build: cmake, full config, clang" # ~ 50s
Gilles Peskine8f073122018-11-27 15:58:47 +0100706 scripts/config.pl full
707 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
708 CC=clang cmake -D CMAKE_BUILD_TYPE:String=Check -D ENABLE_TESTING=On .
709 make
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100710
Gilles Peskine8f073122018-11-27 15:58:47 +0100711 msg "test: main suites (full config)" # ~ 5s
712 make test
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200713
Darryl Green45010a32019-02-06 13:43:58 +0000714 msg "test: psa_constant_names (full config)" # ~ 1s
715 record_status tests/scripts/test_psa_constant_names.py
716
Gilles Peskine8f073122018-11-27 15:58:47 +0100717 msg "test: ssl-opt.sh default, ECJPAKE, SSL async (full config)" # ~ 1s
718 if_build_succeeded tests/ssl-opt.sh -f 'Default\|ECJPAKE\|SSL async private'
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200719
Gilles Peskine8f073122018-11-27 15:58:47 +0100720 msg "test: compat.sh RC4, DES & NULL (full config)" # ~ 2 min
721 if_build_succeeded env OPENSSL_CMD="$OPENSSL_LEGACY" GNUTLS_CLI="$GNUTLS_LEGACY_CLI" GNUTLS_SERV="$GNUTLS_LEGACY_SERV" tests/compat.sh -e '3DES\|DES-CBC3' -f 'NULL\|DES\|RC4\|ARCFOUR'
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200722
Gilles Peskine8f073122018-11-27 15:58:47 +0100723 msg "test: compat.sh ARIA + ChachaPoly"
724 if_build_succeeded env OPENSSL_CMD="$OPENSSL_NEXT" tests/compat.sh -e '^$' -f 'ARIA\|CHACHA'
725}
Manuel Pégourié-Gonnard6b368922018-02-20 12:02:07 +0100726
Gilles Peskine8f073122018-11-27 15:58:47 +0100727component_build_deprecated () {
728 msg "build: make, full config + DEPRECATED_WARNING, gcc -O" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100729 scripts/config.pl full
730 scripts/config.pl set MBEDTLS_DEPRECATED_WARNING
731 # Build with -O -Wextra to catch a maximum of issues.
732 make CC=gcc CFLAGS='-O -Werror -Wall -Wextra' lib programs
733 make CC=gcc CFLAGS='-O -Werror -Wall -Wextra -Wno-unused-function' tests
Gilles Peskineb4ef45b2018-03-01 22:23:50 +0100734
Gilles Peskine8f073122018-11-27 15:58:47 +0100735 msg "build: make, full config + DEPRECATED_REMOVED, clang -O" # ~ 30s
736 # No cleanup, just tweak the configuration and rebuild
737 make clean
738 scripts/config.pl unset MBEDTLS_DEPRECATED_WARNING
739 scripts/config.pl set MBEDTLS_DEPRECATED_REMOVED
740 # Build with -O -Wextra to catch a maximum of issues.
741 make CC=clang CFLAGS='-O -Werror -Wall -Wextra' lib programs
742 make CC=clang CFLAGS='-O -Werror -Wall -Wextra -Wno-unused-function' tests
743}
Gilles Peskine0afe6242018-02-21 19:28:12 +0100744
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200745
Gilles Peskine8f073122018-11-27 15:58:47 +0100746component_test_depends_curves () {
747 msg "test/build: curves.pl (gcc)" # ~ 4 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100748 record_status tests/scripts/curves.pl
749}
Manuel Pégourié-Gonnard1fe6bb92017-06-06 11:36:16 +0200750
Gilles Peskine8f073122018-11-27 15:58:47 +0100751component_test_depends_hashes () {
752 msg "test/build: depends-hashes.pl (gcc)" # ~ 2 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100753 record_status tests/scripts/depends-hashes.pl
754}
Manuel Pégourié-Gonnard43be6cd2017-06-20 09:53:42 +0200755
Gilles Peskine8f073122018-11-27 15:58:47 +0100756component_test_depends_pkalgs () {
757 msg "test/build: depends-pkalgs.pl (gcc)" # ~ 2 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100758 record_status tests/scripts/depends-pkalgs.pl
759}
Manuel Pégourié-Gonnard503a5ef2015-10-23 09:04:45 +0200760
Gilles Peskine8f073122018-11-27 15:58:47 +0100761component_build_key_exchanges () {
762 msg "test/build: key-exchanges (gcc)" # ~ 1 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100763 record_status tests/scripts/key-exchanges.pl
764}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100765
Gilles Peskine8f073122018-11-27 15:58:47 +0100766component_build_default_make_gcc_and_cxx () {
767 msg "build: Unix make, -Os (gcc)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100768 make CC=gcc CFLAGS='-Werror -Wall -Wextra -Os'
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400769
Gilles Peskine8f073122018-11-27 15:58:47 +0100770 msg "test: verify header list in cpp_dummy_build.cpp"
771 record_status check_headers_in_cpp
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400772
Gilles Peskine8f073122018-11-27 15:58:47 +0100773 msg "build: Unix make, incremental g++"
774 make TEST_CPP=1
775}
Manuel Pégourié-Gonnarda71780e2015-02-13 13:56:55 +0000776
Gilles Peskine8f073122018-11-27 15:58:47 +0100777component_test_no_platform () {
778 # Full configuration build, without platform support, file IO and net sockets.
779 # This should catch missing mbedtls_printf definitions, and by disabling file
780 # IO, it should catch missing '#include <stdio.h>'
781 msg "build: full config except platform/fsio/net, make, gcc, C99" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100782 scripts/config.pl full
783 scripts/config.pl unset MBEDTLS_PLATFORM_C
784 scripts/config.pl unset MBEDTLS_NET_C
785 scripts/config.pl unset MBEDTLS_PLATFORM_MEMORY
786 scripts/config.pl unset MBEDTLS_PLATFORM_PRINTF_ALT
787 scripts/config.pl unset MBEDTLS_PLATFORM_FPRINTF_ALT
788 scripts/config.pl unset MBEDTLS_PLATFORM_SNPRINTF_ALT
789 scripts/config.pl unset MBEDTLS_PLATFORM_TIME_ALT
790 scripts/config.pl unset MBEDTLS_PLATFORM_EXIT_ALT
791 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
792 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
793 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +0100794 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
795 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +0100796 # Note, _DEFAULT_SOURCE needs to be defined for platforms using glibc version >2.19,
797 # to re-enable platform integration features otherwise disabled in C99 builds
798 make CC=gcc CFLAGS='-Werror -Wall -Wextra -std=c99 -pedantic -O0 -D_DEFAULT_SOURCE' lib programs
799 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0' test
800}
Manuel Pégourié-Gonnarddccb80b2015-06-03 10:20:33 +0100801
Gilles Peskine8f073122018-11-27 15:58:47 +0100802component_build_no_std_function () {
803 # catch compile bugs in _uninit functions
804 msg "build: full config with NO_STD_FUNCTION, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100805 scripts/config.pl full
806 scripts/config.pl set MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
807 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
808 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0'
809}
Manuel Pégourié-Gonnard66b8e952015-05-20 11:13:56 +0200810
Gilles Peskine8f073122018-11-27 15:58:47 +0100811component_build_no_ssl_srv () {
812 msg "build: full config except ssl_srv.c, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100813 scripts/config.pl full
814 scripts/config.pl unset MBEDTLS_SSL_SRV_C
815 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0'
816}
Manuel Pégourié-Gonnard66b8e952015-05-20 11:13:56 +0200817
Gilles Peskine8f073122018-11-27 15:58:47 +0100818component_build_no_ssl_cli () {
819 msg "build: full config except ssl_cli.c, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100820 scripts/config.pl full
821 scripts/config.pl unset MBEDTLS_SSL_CLI_C
822 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0'
823}
Manuel Pégourié-Gonnard009a2642015-05-29 10:31:13 +0200824
Gilles Peskine8f073122018-11-27 15:58:47 +0100825component_build_no_sockets () {
826 # Note, C99 compliance can also be tested with the sockets support disabled,
827 # as that requires a POSIX platform (which isn't the same as C99).
828 msg "build: full config except net_sockets.c, make, gcc -std=c99 -pedantic" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100829 scripts/config.pl full
830 scripts/config.pl unset MBEDTLS_NET_C # getaddrinfo() undeclared, etc.
831 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY # uses syscall() on GNU/Linux
832 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0 -std=c99 -pedantic' lib
833}
Hanno Becker5175ac62017-09-18 15:36:25 +0100834
Gilles Peskine8f073122018-11-27 15:58:47 +0100835component_test_no_max_fragment_length () {
836 # Run max fragment length tests with MFL disabled
837 msg "build: default config except MFL extension (ASan build)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100838 scripts/config.pl unset MBEDTLS_SSL_MAX_FRAGMENT_LENGTH
839 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
840 make
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +0000841
Gilles Peskine8f073122018-11-27 15:58:47 +0100842 msg "test: ssl-opt.sh, MFL-related tests"
843 if_build_succeeded tests/ssl-opt.sh -f "Max fragment length"
844}
Angus Grattonc4dd0732018-04-11 16:28:39 +1000845
Gilles Peskine8f073122018-11-27 15:58:47 +0100846component_test_no_max_fragment_length_small_ssl_out_content_len () {
847 msg "build: no MFL extension, small SSL_OUT_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100848 scripts/config.pl unset MBEDTLS_SSL_MAX_FRAGMENT_LENGTH
849 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 16384
850 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 4096
851 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
852 make
Angus Grattonc4dd0732018-04-11 16:28:39 +1000853
Gilles Peskine8f073122018-11-27 15:58:47 +0100854 msg "test: MFL tests (disabled MFL extension case) & large packet tests"
855 if_build_succeeded tests/ssl-opt.sh -f "Max fragment length\|Large buffer"
856}
Janos Follath06c54002016-06-09 13:57:40 +0100857
Gilles Peskine8f073122018-11-27 15:58:47 +0100858component_test_null_entropy () {
859 msg "build: default config with MBEDTLS_TEST_NULL_ENTROPY (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100860 scripts/config.pl set MBEDTLS_TEST_NULL_ENTROPY
861 scripts/config.pl set MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
862 scripts/config.pl set MBEDTLS_ENTROPY_C
863 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
864 scripts/config.pl unset MBEDTLS_ENTROPY_HARDWARE_ALT
865 scripts/config.pl unset MBEDTLS_HAVEGE_C
Gilles Peskine19275652019-01-06 19:48:30 +0000866 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan -D UNSAFE_BUILD=ON .
Gilles Peskine8f073122018-11-27 15:58:47 +0100867 make
Janos Follath06c54002016-06-09 13:57:40 +0100868
Gilles Peskine8f073122018-11-27 15:58:47 +0100869 msg "test: MBEDTLS_TEST_NULL_ENTROPY - main suites (inc. selftests) (ASan build)"
870 make test
871}
Hanno Beckere5fecec2018-10-11 11:02:52 +0100872
Gilles Peskine8f073122018-11-27 15:58:47 +0100873component_test_platform_calloc_macro () {
874 msg "build: MBEDTLS_PLATFORM_{CALLOC/FREE}_MACRO enabled (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100875 scripts/config.pl set MBEDTLS_PLATFORM_MEMORY
876 scripts/config.pl set MBEDTLS_PLATFORM_CALLOC_MACRO calloc
877 scripts/config.pl set MBEDTLS_PLATFORM_FREE_MACRO free
878 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
879 make
Hanno Beckere5fecec2018-10-11 11:02:52 +0100880
Gilles Peskine8f073122018-11-27 15:58:47 +0100881 msg "test: MBEDTLS_PLATFORM_{CALLOC/FREE}_MACRO enabled (ASan build)"
882 make test
883}
Hanno Becker83ebf782017-07-07 12:29:15 +0100884
Gilles Peskine8f073122018-11-27 15:58:47 +0100885component_test_aes_fewer_tables () {
886 msg "build: default config with AES_FEWER_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +0100887 scripts/config.pl set MBEDTLS_AES_FEWER_TABLES
888 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +0100889
Gilles Peskine8f073122018-11-27 15:58:47 +0100890 msg "test: AES_FEWER_TABLES"
891 make test
892}
Hanno Becker83ebf782017-07-07 12:29:15 +0100893
Gilles Peskine8f073122018-11-27 15:58:47 +0100894component_test_aes_rom_tables () {
895 msg "build: default config with AES_ROM_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +0100896 scripts/config.pl set MBEDTLS_AES_ROM_TABLES
897 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +0100898
Gilles Peskine8f073122018-11-27 15:58:47 +0100899 msg "test: AES_ROM_TABLES"
900 make test
901}
Hanno Becker83ebf782017-07-07 12:29:15 +0100902
Gilles Peskine8f073122018-11-27 15:58:47 +0100903component_test_aes_fewer_tables_and_rom_tables () {
904 msg "build: default config with AES_ROM_TABLES and AES_FEWER_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +0100905 scripts/config.pl set MBEDTLS_AES_FEWER_TABLES
906 scripts/config.pl set MBEDTLS_AES_ROM_TABLES
907 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +0100908
Gilles Peskine8f073122018-11-27 15:58:47 +0100909 msg "test: AES_FEWER_TABLES + AES_ROM_TABLES"
910 make test
911}
912
913component_test_make_shared () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +0100914 msg "build/test: make shared" # ~ 40s
Gilles Peskine7ad603e2017-12-10 23:22:20 +0100915 make SHARED=1 all check
Gilles Peskine8f073122018-11-27 15:58:47 +0100916}
Manuel Pégourié-Gonnard9b06abe2015-06-25 09:56:07 +0200917
Gilles Peskine8f073122018-11-27 15:58:47 +0100918component_test_m32_o0 () {
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100919 # Build once with -O0, to compile out the i386 specific inline assembly
920 msg "build: i386, make, gcc -O0 (ASan build)" # ~ 30s
Simon Butcher7a6da6e2018-06-27 21:52:54 +0100921 scripts/config.pl full
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100922 make CC=gcc CFLAGS='-O0 -Werror -Wall -Wextra -m32 -fsanitize=address'
Andres Amaya Garcia84e6ce82017-05-04 11:35:51 +0100923
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100924 msg "test: i386, make, gcc -O0 (ASan build)"
925 make test
Gilles Peskine8f073122018-11-27 15:58:47 +0100926}
Gilles Peskine10726102019-01-06 20:50:38 +0000927support_test_m32_o0 () {
928 case $(uname -m) in
929 *64*) true;;
930 *) false;;
931 esac
932}
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100933
Gilles Peskine8f073122018-11-27 15:58:47 +0100934component_test_m32_o1 () {
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100935 # Build again with -O1, to compile in the i386 specific inline assembly
936 msg "build: i386, make, gcc -O1 (ASan build)" # ~ 30s
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100937 scripts/config.pl full
938 make CC=gcc CFLAGS='-O1 -Werror -Wall -Wextra -m32 -fsanitize=address'
939
940 msg "test: i386, make, gcc -O1 (ASan build)"
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +0100941 make test
Gilles Peskine8f073122018-11-27 15:58:47 +0100942}
Gilles Peskine10726102019-01-06 20:50:38 +0000943support_test_m32_o1 () {
944 support_test_m32_o0 "$@"
945}
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +0100946
Gilles Peskine8f073122018-11-27 15:58:47 +0100947component_test_mx32 () {
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +0100948 msg "build: 64-bit ILP32, make, gcc" # ~ 30s
Simon Butcher7a6da6e2018-06-27 21:52:54 +0100949 scripts/config.pl full
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +0100950 make CC=gcc CFLAGS='-Werror -Wall -Wextra -mx32'
951
952 msg "test: 64-bit ILP32, make, gcc"
953 make test
Gilles Peskine8f073122018-11-27 15:58:47 +0100954}
Gilles Peskine10726102019-01-06 20:50:38 +0000955support_test_mx32 () {
956 case $(uname -m) in
957 amd64|x86_64) true;;
958 *) false;;
959 esac
960}
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +0000961
Gilles Peskine8f073122018-11-27 15:58:47 +0100962component_test_have_int32 () {
963 msg "build: gcc, force 32-bit bignum limbs"
Gilles Peskine8f073122018-11-27 15:58:47 +0100964 scripts/config.pl unset MBEDTLS_HAVE_ASM
965 scripts/config.pl unset MBEDTLS_AESNI_C
966 scripts/config.pl unset MBEDTLS_PADLOCK_C
967 make CC=gcc CFLAGS='-Werror -Wall -Wextra -DMBEDTLS_HAVE_INT32'
Andres Amaya Garcia84e6ce82017-05-04 11:35:51 +0100968
Gilles Peskine8f073122018-11-27 15:58:47 +0100969 msg "test: gcc, force 32-bit bignum limbs"
970 make test
971}
Andres Amaya Garciafe843a32017-07-20 13:21:34 +0100972
Gilles Peskine8f073122018-11-27 15:58:47 +0100973component_test_have_int64 () {
974 msg "build: gcc, force 64-bit bignum limbs"
Gilles Peskine8f073122018-11-27 15:58:47 +0100975 scripts/config.pl unset MBEDTLS_HAVE_ASM
976 scripts/config.pl unset MBEDTLS_AESNI_C
977 scripts/config.pl unset MBEDTLS_PADLOCK_C
978 make CC=gcc CFLAGS='-Werror -Wall -Wextra -DMBEDTLS_HAVE_INT64'
Gilles Peskine14c3c062018-01-29 21:25:12 +0100979
Gilles Peskine8f073122018-11-27 15:58:47 +0100980 msg "test: gcc, force 64-bit bignum limbs"
981 make test
982}
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +0000983
Gilles Peskine8f073122018-11-27 15:58:47 +0100984component_test_no_udbl_division () {
985 msg "build: MBEDTLS_NO_UDBL_DIVISION native" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +0100986 scripts/config.pl full
987 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
988 scripts/config.pl set MBEDTLS_NO_UDBL_DIVISION
989 make CFLAGS='-Werror -O1'
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200990
Gilles Peskine8f073122018-11-27 15:58:47 +0100991 msg "test: MBEDTLS_NO_UDBL_DIVISION native" # ~ 10s
992 make test
993}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200994
Gilles Peskine8f073122018-11-27 15:58:47 +0100995component_test_no_64bit_multiplication () {
996 msg "build: MBEDTLS_NO_64BIT_MULTIPLICATION native" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +0100997 scripts/config.pl full
998 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
999 scripts/config.pl set MBEDTLS_NO_64BIT_MULTIPLICATION
1000 make CFLAGS='-Werror -O1'
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001001
Gilles Peskine8f073122018-11-27 15:58:47 +01001002 msg "test: MBEDTLS_NO_64BIT_MULTIPLICATION native" # ~ 10s
1003 make test
1004}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001005
Gilles Peskine8f073122018-11-27 15:58:47 +01001006component_build_arm_none_eabi_gcc () {
1007 msg "build: arm-none-eabi-gcc, make" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +01001008 scripts/config.pl full
1009 scripts/config.pl unset MBEDTLS_NET_C
1010 scripts/config.pl unset MBEDTLS_TIMING_C
1011 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +01001012 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
1013 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +01001014 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1015 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY
1016 # following things are not in the default config
1017 scripts/config.pl unset MBEDTLS_HAVEGE_C # depends on timing.c
1018 scripts/config.pl unset MBEDTLS_THREADING_PTHREAD
1019 scripts/config.pl unset MBEDTLS_THREADING_C
1020 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # execinfo.h
1021 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C # calls exit
1022 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib
1023}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001024
Gilles Peskine8f073122018-11-27 15:58:47 +01001025component_build_arm_none_eabi_gcc_no_udbl_division () {
1026 msg "build: arm-none-eabi-gcc -DMBEDTLS_NO_UDBL_DIVISION, make" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +01001027 scripts/config.pl full
1028 scripts/config.pl unset MBEDTLS_NET_C
1029 scripts/config.pl unset MBEDTLS_TIMING_C
1030 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +01001031 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
1032 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +01001033 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1034 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY
1035 # following things are not in the default config
1036 scripts/config.pl unset MBEDTLS_HAVEGE_C # depends on timing.c
1037 scripts/config.pl unset MBEDTLS_THREADING_PTHREAD
1038 scripts/config.pl unset MBEDTLS_THREADING_C
1039 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # execinfo.h
1040 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C # calls exit
1041 scripts/config.pl set MBEDTLS_NO_UDBL_DIVISION
1042 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib
1043 echo "Checking that software 64-bit division is not required"
1044 if_build_succeeded not grep __aeabi_uldiv library/*.o
1045}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001046
Gilles Peskine8f073122018-11-27 15:58:47 +01001047component_build_arm_none_eabi_gcc_no_64bit_multiplication () {
1048 msg "build: arm-none-eabi-gcc MBEDTLS_NO_64BIT_MULTIPLICATION, make" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +01001049 scripts/config.pl full
1050 scripts/config.pl unset MBEDTLS_NET_C
1051 scripts/config.pl unset MBEDTLS_TIMING_C
1052 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +01001053 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
1054 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +01001055 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1056 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY
1057 # following things are not in the default config
1058 scripts/config.pl unset MBEDTLS_HAVEGE_C # depends on timing.c
1059 scripts/config.pl unset MBEDTLS_THREADING_PTHREAD
1060 scripts/config.pl unset MBEDTLS_THREADING_C
1061 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # execinfo.h
1062 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C # calls exit
1063 scripts/config.pl set MBEDTLS_NO_64BIT_MULTIPLICATION
1064 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -O1 -march=armv6-m -mthumb' lib
1065 echo "Checking that software 64-bit multiplication is not required"
1066 if_build_succeeded not grep __aeabi_lmul library/*.o
1067}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001068
Gilles Peskine8f073122018-11-27 15:58:47 +01001069component_build_armcc () {
1070 msg "build: ARM Compiler 5, make"
Gilles Peskine8f073122018-11-27 15:58:47 +01001071 scripts/config.pl full
1072 scripts/config.pl unset MBEDTLS_NET_C
1073 scripts/config.pl unset MBEDTLS_TIMING_C
1074 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +01001075 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
1076 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +01001077 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1078 scripts/config.pl unset MBEDTLS_HAVE_TIME
1079 scripts/config.pl unset MBEDTLS_HAVE_TIME_DATE
1080 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY
1081 # following things are not in the default config
1082 scripts/config.pl unset MBEDTLS_DEPRECATED_WARNING
1083 scripts/config.pl unset MBEDTLS_HAVEGE_C # depends on timing.c
1084 scripts/config.pl unset MBEDTLS_THREADING_PTHREAD
1085 scripts/config.pl unset MBEDTLS_THREADING_C
1086 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # execinfo.h
1087 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C # calls exit
1088 scripts/config.pl unset MBEDTLS_PLATFORM_TIME_ALT # depends on MBEDTLS_HAVE_TIME
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +00001089
Gilles Peskinee26ab182019-01-06 22:23:42 +00001090 make CC="$ARMC5_CC" AR="$ARMC5_AR" WARNING_CFLAGS='--strict --c99' lib
1091 make clean
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001092
Gilles Peskinee26ab182019-01-06 22:23:42 +00001093 # ARM Compiler 6 - Target ARMv7-A
1094 armc6_build_test "--target=arm-arm-none-eabi -march=armv7-a"
Gilles Peskineed942f82017-06-08 15:19:20 +02001095
Gilles Peskinee26ab182019-01-06 22:23:42 +00001096 # ARM Compiler 6 - Target ARMv7-M
1097 armc6_build_test "--target=arm-arm-none-eabi -march=armv7-m"
Andres AG87bb5772016-09-27 15:05:15 +01001098
Gilles Peskinee26ab182019-01-06 22:23:42 +00001099 # ARM Compiler 6 - Target ARMv8-A - AArch32
1100 armc6_build_test "--target=arm-arm-none-eabi -march=armv8.2-a"
Andres AG87bb5772016-09-27 15:05:15 +01001101
Gilles Peskinee26ab182019-01-06 22:23:42 +00001102 # ARM Compiler 6 - Target ARMv8-M
1103 armc6_build_test "--target=arm-arm-none-eabi -march=armv8-m.main"
Simon Butcher940737f2017-07-23 13:42:36 +02001104
Gilles Peskinee26ab182019-01-06 22:23:42 +00001105 # ARM Compiler 6 - Target ARMv8-A - AArch64
1106 armc6_build_test "--target=aarch64-arm-none-eabi -march=armv8.2-a"
Gilles Peskine8f073122018-11-27 15:58:47 +01001107}
Simon Butcher940737f2017-07-23 13:42:36 +02001108
Gilles Peskine8f073122018-11-27 15:58:47 +01001109component_test_allow_sha1 () {
1110 msg "build: allow SHA1 in certificates by default"
Gilles Peskine8f073122018-11-27 15:58:47 +01001111 scripts/config.pl set MBEDTLS_TLS_DEFAULT_ALLOW_SHA1_IN_CERTIFICATES
1112 make CFLAGS='-Werror -Wall -Wextra'
1113 msg "test: allow SHA1 in certificates by default"
1114 make test
1115 if_build_succeeded tests/ssl-opt.sh -f SHA-1
1116}
Simon Butcher940737f2017-07-23 13:42:36 +02001117
Gilles Peskine8f073122018-11-27 15:58:47 +01001118component_build_mingw () {
1119 msg "build: Windows cross build - mingw64, make (Link Library)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +01001120 make CC=i686-w64-mingw32-gcc AR=i686-w64-mingw32-ar LD=i686-w64-minggw32-ld CFLAGS='-Werror -Wall -Wextra' WINDOWS_BUILD=1 lib programs
Gilles Peskine2a458da2017-05-12 15:26:58 +02001121
Gilles Peskine8f073122018-11-27 15:58:47 +01001122 # note Make tests only builds the tests, but doesn't run them
1123 make CC=i686-w64-mingw32-gcc AR=i686-w64-mingw32-ar LD=i686-w64-minggw32-ld CFLAGS='-Werror' WINDOWS_BUILD=1 tests
1124 make WINDOWS_BUILD=1 clean
Hanno Beckere963efa2018-01-03 10:03:43 +00001125
Gilles Peskine8f073122018-11-27 15:58:47 +01001126 msg "build: Windows cross build - mingw64, make (DLL)" # ~ 30s
1127 make CC=i686-w64-mingw32-gcc AR=i686-w64-mingw32-ar LD=i686-w64-minggw32-ld CFLAGS='-Werror -Wall -Wextra' WINDOWS_BUILD=1 SHARED=1 lib programs
1128 make CC=i686-w64-mingw32-gcc AR=i686-w64-mingw32-ar LD=i686-w64-minggw32-ld CFLAGS='-Werror -Wall -Wextra' WINDOWS_BUILD=1 SHARED=1 tests
1129 make WINDOWS_BUILD=1 clean
1130}
Simon Butcher002bc622016-11-17 09:27:45 +00001131
Gilles Peskine8f073122018-11-27 15:58:47 +01001132component_test_memsan () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001133 msg "build: MSan (clang)" # ~ 1 min 20s
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001134 scripts/config.pl unset MBEDTLS_AESNI_C # memsan doesn't grok asm
1135 CC=clang cmake -D CMAKE_BUILD_TYPE:String=MemSan .
1136 make
Manuel Pégourié-Gonnard4a9dc2a2014-05-09 13:46:59 +02001137
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001138 msg "test: main suites (MSan)" # ~ 10s
1139 make test
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001140
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001141 msg "test: ssl-opt.sh (MSan)" # ~ 1 min
Gilles Peskine7c652162017-12-11 00:01:40 +01001142 if_build_succeeded tests/ssl-opt.sh
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001143
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001144 # Optional part(s)
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001145
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001146 if [ "$MEMORY" -gt 0 ]; then
1147 msg "test: compat.sh (MSan)" # ~ 6 min 20s
Gilles Peskine7c652162017-12-11 00:01:40 +01001148 if_build_succeeded tests/compat.sh
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001149 fi
Gilles Peskine8f073122018-11-27 15:58:47 +01001150}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +01001151
Gilles Peskinee8789872019-01-10 00:11:42 +01001152component_test_valgrind () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001153 msg "build: Release (clang)"
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001154 CC=clang cmake -D CMAKE_BUILD_TYPE:String=Release .
1155 make
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001156
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001157 msg "test: main suites valgrind (Release)"
1158 make memcheck
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001159
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001160 # Optional part(s)
1161 # Currently broken, programs don't seem to receive signals
1162 # under valgrind on OS X
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001163
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001164 if [ "$MEMORY" -gt 0 ]; then
1165 msg "test: ssl-opt.sh --memcheck (Release)"
Gilles Peskine7c652162017-12-11 00:01:40 +01001166 if_build_succeeded tests/ssl-opt.sh --memcheck
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001167 fi
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001168
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001169 if [ "$MEMORY" -gt 1 ]; then
1170 msg "test: compat.sh --memcheck (Release)"
Gilles Peskine7c652162017-12-11 00:01:40 +01001171 if_build_succeeded tests/compat.sh --memcheck
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001172 fi
Gilles Peskine8f073122018-11-27 15:58:47 +01001173}
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001174
Gilles Peskine8f073122018-11-27 15:58:47 +01001175component_test_cmake_out_of_source () {
1176 msg "build: cmake 'out-of-source' build"
Gilles Peskine8f073122018-11-27 15:58:47 +01001177 MBEDTLS_ROOT_DIR="$PWD"
1178 mkdir "$OUT_OF_SOURCE_DIR"
1179 cd "$OUT_OF_SOURCE_DIR"
1180 cmake "$MBEDTLS_ROOT_DIR"
1181 make
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001182
Gilles Peskine8f073122018-11-27 15:58:47 +01001183 msg "test: cmake 'out-of-source' build"
1184 make test
1185 # Test an SSL option that requires an auxiliary script in test/scripts/.
1186 # Also ensure that there are no error messages such as
1187 # "No such file or directory", which would indicate that some required
1188 # file is missing (ssl-opt.sh tolerates the absence of some files so
1189 # may exit with status 0 but emit errors).
1190 if_build_succeeded ./tests/ssl-opt.sh -f 'Fallback SCSV: beginning of list' 2>ssl-opt.err
1191 if [ -s ssl-opt.err ]; then
1192 cat ssl-opt.err >&2
1193 record_status [ ! -s ssl-opt.err ]
1194 rm ssl-opt.err
1195 fi
1196 cd "$MBEDTLS_ROOT_DIR"
1197 rm -rf "$OUT_OF_SOURCE_DIR"
1198 unset MBEDTLS_ROOT_DIR
1199}
Andres AGdc192212016-08-31 17:33:13 +01001200
Gilles Peskine8f073122018-11-27 15:58:47 +01001201component_test_zeroize () {
1202 # Test that the function mbedtls_platform_zeroize() is not optimized away by
1203 # different combinations of compilers and optimization flags by using an
1204 # auxiliary GDB script. Unfortunately, GDB does not return error values to the
1205 # system in all cases that the script fails, so we must manually search the
1206 # output to check whether the pass string is present and no failure strings
1207 # were printed.
Gilles Peskine74851d82019-01-06 19:52:22 +00001208
1209 # Don't try to disable ASLR. We don't care about ASLR here. We do care
1210 # about a spurious message if Gdb tries and fails, so suppress that.
1211 gdb_disable_aslr=
1212 if [ -z "$(gdb -batch -nw -ex 'set disable-randomization off' 2>&1)" ]; then
1213 gdb_disable_aslr='set disable-randomization off'
1214 fi
1215
Gilles Peskine8f073122018-11-27 15:58:47 +01001216 for optimization_flag in -O2 -O3 -Ofast -Os; do
Gilles Peskine06b385f2019-01-09 22:28:21 +01001217 for compiler in clang gcc; do
1218 msg "test: $compiler $optimization_flag, mbedtls_platform_zeroize()"
1219 make programs CC="$compiler" DEBUG=1 CFLAGS="$optimization_flag"
Gilles Peskine74851d82019-01-06 19:52:22 +00001220 if_build_succeeded gdb -ex "$gdb_disable_aslr" -x tests/scripts/test_zeroize.gdb -nw -batch -nx 2>&1 | tee test_zeroize.log
Gilles Peskine06b385f2019-01-09 22:28:21 +01001221 if_build_succeeded grep "The buffer was correctly zeroized" test_zeroize.log
1222 if_build_succeeded not grep -i "error" test_zeroize.log
1223 rm -f test_zeroize.log
1224 make clean
1225 done
Andres Amaya Garcia29673812017-10-25 10:35:51 +01001226 done
Gilles Peskine74851d82019-01-06 19:52:22 +00001227
1228 unset gdb_disable_aslr
Gilles Peskine8f073122018-11-27 15:58:47 +01001229}
Andres Amaya Garciad0d7bf62017-10-25 09:01:31 +01001230
Gilles Peskine8f073122018-11-27 15:58:47 +01001231component_check_python_files () {
1232 msg "Lint: Python scripts"
1233 record_status tests/scripts/check-python-files.sh
1234}
Gilles Peskine192c72f2017-12-21 15:59:21 +01001235
Gilles Peskine8f073122018-11-27 15:58:47 +01001236component_check_generate_test_code () {
1237 msg "uint test: generate_test_code.py"
1238 record_status ./tests/scripts/test_generate_test_code.py
1239}
Gilles Peskine192c72f2017-12-21 15:59:21 +01001240
1241################################################################
1242#### Termination
1243################################################################
1244
Gilles Peskine8f073122018-11-27 15:58:47 +01001245post_report () {
1246 msg "Done, cleaning up"
1247 cleanup
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +01001248
Gilles Peskine8f073122018-11-27 15:58:47 +01001249 final_report
1250}
1251
1252
1253
1254################################################################
1255#### Run all the things
1256################################################################
1257
Gilles Peskinee48351a2018-11-27 16:06:30 +01001258# Run one component and clean up afterwards.
Gilles Peskine8f073122018-11-27 15:58:47 +01001259run_component () {
Gilles Peskine8ae15dd2019-01-02 18:57:02 +01001260 # Back up the configuration in case the component modifies it.
1261 # The cleanup function will restore it.
1262 cp -p "$CONFIG_H" "$CONFIG_BAK"
Gilles Peskineffcdeff2018-12-04 12:49:28 +01001263 current_component="$1"
Gilles Peskine8f073122018-11-27 15:58:47 +01001264 "$@"
Gilles Peskinee48351a2018-11-27 16:06:30 +01001265 cleanup
Gilles Peskine8f073122018-11-27 15:58:47 +01001266}
1267
1268# Preliminary setup
1269pre_check_environment
1270pre_initialize_variables
1271pre_parse_command_line "$@"
Gilles Peskine348fb9a2018-11-27 17:04:29 +01001272
Gilles Peskine10726102019-01-06 20:50:38 +00001273pre_check_git
1274build_status=0
1275if [ $KEEP_GOING -eq 1 ]; then
1276 pre_setup_keep_going
1277else
1278 record_status () {
1279 "$@"
1280 }
1281fi
1282pre_print_configuration
1283pre_check_tools
Gilles Peskine10726102019-01-06 20:50:38 +00001284cleanup
Gilles Peskine8f073122018-11-27 15:58:47 +01001285
Gilles Peskine1bcb1c82019-01-06 22:11:25 +00001286# Run the requested tests.
1287for component in $RUN_COMPONENTS; do
1288 run_component "component_$component"
1289done
Gilles Peskine8f073122018-11-27 15:58:47 +01001290
1291# We're done.
Gilles Peskine10726102019-01-06 20:50:38 +00001292post_report