blob: 66980b1bd2b7a53caa8e891557d3347ef0d99dc5 [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
140 # Gather the list of available components. These are the functions
141 # defined in this script whose name starts with "component_".
142 # Parse the script with sed, because in sh there is no way to list
143 # defined functions.
144 ALL_COMPONENTS=$(sed -n 's/^ *component_\([0-9A-Z_a-z]*\) *().*/\1/p' <"$0")
145
146 # Exclude components that are not supported on this platform.
147 SUPPORTED_COMPONENTS=
148 for component in $ALL_COMPONENTS; do
149 case $(type "support_$component" 2>&1) in
150 *' function'*)
151 if ! support_$component; then continue; fi;;
152 esac
153 SUPPORTED_COMPONENTS="$SUPPORTED_COMPONENTS $component"
154 done
Gilles Peskine8f073122018-11-27 15:58:47 +0100155}
Andres AG38495a32016-07-12 16:54:33 +0100156
Gilles Peskine10726102019-01-06 20:50:38 +0000157# Test whether $1 is excluded via the command line.
158is_component_excluded()
Gilles Peskine81b96ed2018-11-27 21:37:53 +0100159{
Gilles Peskine10726102019-01-06 20:50:38 +0000160 # Is $1 excluded via $COMPONENTS (a space-separated list of wildcard
161 # patterns)?
Gilles Peskine81b96ed2018-11-27 21:37:53 +0100162 set -f
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000163 for pattern in $COMMAND_LINE_COMPONENTS; do
Gilles Peskine81b96ed2018-11-27 21:37:53 +0100164 set +f
165 case ${1#component_} in $pattern) return 0;; esac
166 done
167 set +f
168 return 1
169}
170
Simon Butcher41eeccf2016-09-07 00:07:09 +0100171usage()
SimonB2e23c822016-04-16 21:54:39 +0100172{
Gilles Peskine709346a2017-12-10 23:43:39 +0100173 cat <<EOF
Gilles Peskine92525112018-11-27 18:15:35 +0100174Usage: $0 [OPTION]... [COMPONENT]...
Gilles Peskine348fb9a2018-11-27 17:04:29 +0100175Run mbedtls release validation tests.
Gilles Peskine92525112018-11-27 18:15:35 +0100176By default, run all tests. With one or more COMPONENT, run only those.
Gilles Peskine348fb9a2018-11-27 17:04:29 +0100177
178Special options:
179 -h|--help Print this help and exit.
Gilles Peskine10726102019-01-06 20:50:38 +0000180 --list-all-components List all available test components and exit.
181 --list-components List components supported on this platform and exit.
Gilles Peskine709346a2017-12-10 23:43:39 +0100182
183General options:
184 -f|--force Force the tests to overwrite any modified files.
Gilles Peskine7c652162017-12-11 00:01:40 +0100185 -k|--keep-going Run all tests and report errors at the end.
Gilles Peskine709346a2017-12-10 23:43:39 +0100186 -m|--memory Additional optional memory tests.
Gilles Peskinebca6ab92017-12-19 18:24:31 +0100187 --armcc Run ARM Compiler builds (on by default).
Gilles Peskine81b96ed2018-11-27 21:37:53 +0100188 --except If some components are passed on the command line,
189 run all the tests except for these components. In
190 this mode, you can pass shell wildcard patterns as
191 component names, e.g. "$0 --except 'test_*'" to
192 exclude all components that run tests.
Gilles Peskinebca6ab92017-12-19 18:24:31 +0100193 --no-armcc Skip ARM Compiler builds.
Gilles Peskine38d81652018-03-21 08:40:26 +0100194 --no-force Refuse to overwrite modified files (default).
195 --no-keep-going Stop at the first error (default).
196 --no-memory No additional memory tests (default).
Gilles Peskine709346a2017-12-10 23:43:39 +0100197 --out-of-source-dir=<path> Directory used for CMake out-of-source build tests.
Gilles Peskine38d81652018-03-21 08:40:26 +0100198 --random-seed Use a random seed value for randomized tests (default).
Gilles Peskine709346a2017-12-10 23:43:39 +0100199 -r|--release-test Run this script in release mode. This fixes the seed value to 1.
200 -s|--seed Integer seed value to use for this test run.
201
202Tool path options:
203 --armc5-bin-dir=<ARMC5_bin_dir_path> ARM Compiler 5 bin directory.
204 --armc6-bin-dir=<ARMC6_bin_dir_path> ARM Compiler 6 bin directory.
205 --gnutls-cli=<GnuTLS_cli_path> GnuTLS client executable to use for most tests.
206 --gnutls-serv=<GnuTLS_serv_path> GnuTLS server executable to use for most tests.
207 --gnutls-legacy-cli=<GnuTLS_cli_path> GnuTLS client executable to use for legacy tests.
208 --gnutls-legacy-serv=<GnuTLS_serv_path> GnuTLS server executable to use for legacy tests.
209 --openssl=<OpenSSL_path> OpenSSL executable to use for most tests.
210 --openssl-legacy=<OpenSSL_path> OpenSSL executable to use for legacy tests e.g. SSLv3.
Manuel Pégourié-Gonnard6b368922018-02-20 12:02:07 +0100211 --openssl-next=<OpenSSL_path> OpenSSL executable to use for recent things like ARIA
Gilles Peskine709346a2017-12-10 23:43:39 +0100212EOF
SimonB2e23c822016-04-16 21:54:39 +0100213}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100214
215# remove built files as well as the cmake cache/config
216cleanup()
217{
Gilles Peskinea71d64c2018-03-21 12:16:57 +0100218 if [ -n "${MBEDTLS_ROOT_DIR+set}" ]; then
219 cd "$MBEDTLS_ROOT_DIR"
220 fi
221
Gilles Peskine7c652162017-12-11 00:01:40 +0100222 command make clean
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200223
Gilles Peskine31b07e22018-03-21 12:15:06 +0100224 # Remove CMake artefacts
Simon Butcher3ad2efd2018-05-02 14:49:38 +0100225 find . -name .git -prune \
Gilles Peskine31b07e22018-03-21 12:15:06 +0100226 -iname CMakeFiles -exec rm -rf {} \+ -o \
227 \( -iname cmake_install.cmake -o \
228 -iname CTestTestfile.cmake -o \
229 -iname CMakeCache.txt \) -exec rm {} \+
230 # Recover files overwritten by in-tree CMake builds
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000231 rm -f include/Makefile include/mbedtls/Makefile programs/*/Makefile
Paul Bakkerfe0984d2014-06-13 00:13:45 +0200232 git update-index --no-skip-worktree Makefile library/Makefile programs/Makefile tests/Makefile
233 git checkout -- Makefile library/Makefile programs/Makefile tests/Makefile
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200234
235 if [ -f "$CONFIG_BAK" ]; then
236 mv "$CONFIG_BAK" "$CONFIG_H"
237 fi
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100238}
239
Gilles Peskine7c652162017-12-11 00:01:40 +0100240# Executed on exit. May be redefined depending on command line options.
241final_report () {
242 :
243}
244
245fatal_signal () {
246 cleanup
247 final_report $1
248 trap - $1
249 kill -$1 $$
250}
251
252trap 'fatal_signal HUP' HUP
253trap 'fatal_signal INT' INT
254trap 'fatal_signal TERM' TERM
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200255
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100256msg()
257{
Gilles Peskineffcdeff2018-12-04 12:49:28 +0100258 if [ -n "${current_component:-}" ]; then
259 current_section="${current_component#component_}: $1"
260 else
261 current_section="$1"
262 fi
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100263 echo ""
264 echo "******************************************************************"
Gilles Peskineffcdeff2018-12-04 12:49:28 +0100265 echo "* $current_section "
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +0000266 printf "* "; date
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100267 echo "******************************************************************"
268}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100269
Gilles Peskine8f073122018-11-27 15:58:47 +0100270armc6_build_test()
271{
272 FLAGS="$1"
Andres AGa5cd9732016-10-17 15:23:10 +0100273
Gilles Peskine8f073122018-11-27 15:58:47 +0100274 msg "build: ARM Compiler 6 ($FLAGS), make"
275 ARM_TOOL_VARIANT="ult" CC="$ARMC6_CC" AR="$ARMC6_AR" CFLAGS="$FLAGS" \
276 WARNING_CFLAGS='-xc -std=c99' make lib
277 make clean
278}
Andres AGa5cd9732016-10-17 15:23:10 +0100279
Andres AGd9eba4b2016-08-26 14:42:14 +0100280err_msg()
281{
282 echo "$1" >&2
283}
284
285check_tools()
286{
287 for TOOL in "$@"; do
Andres AG98393602017-01-31 17:04:45 +0000288 if ! `type "$TOOL" >/dev/null 2>&1`; then
Andres AGd9eba4b2016-08-26 14:42:14 +0100289 err_msg "$TOOL not found!"
290 exit 1
291 fi
292 done
293}
294
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400295check_headers_in_cpp () {
296 ls include/mbedtls >headers.txt
297 <programs/test/cpp_dummy_build.cpp sed -n 's/"$//; s!^#include "mbedtls/!!p' |
298 sort |
299 diff headers.txt -
300 rm headers.txt
301}
302
Gilles Peskine8f073122018-11-27 15:58:47 +0100303pre_parse_command_line () {
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000304 COMMAND_LINE_COMPONENTS=
305 all_except=
Gilles Peskinee26ab182019-01-06 22:23:42 +0000306 no_armcc=
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000307
Gilles Peskine8f073122018-11-27 15:58:47 +0100308 while [ $# -gt 0 ]; do
Gilles Peskine06b385f2019-01-09 22:28:21 +0100309 case "$1" in
Gilles Peskinee26ab182019-01-06 22:23:42 +0000310 --armcc) no_armcc=;;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100311 --armc5-bin-dir) shift; ARMC5_BIN_DIR="$1";;
312 --armc6-bin-dir) shift; ARMC6_BIN_DIR="$1";;
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000313 --except) all_except=1;;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100314 --force|-f) FORCE=1;;
315 --gnutls-cli) shift; GNUTLS_CLI="$1";;
316 --gnutls-legacy-cli) shift; GNUTLS_LEGACY_CLI="$1";;
317 --gnutls-legacy-serv) shift; GNUTLS_LEGACY_SERV="$1";;
318 --gnutls-serv) shift; GNUTLS_SERV="$1";;
319 --help|-h) usage; exit;;
320 --keep-going|-k) KEEP_GOING=1;;
Gilles Peskine10726102019-01-06 20:50:38 +0000321 --list-all-components) printf '%s\n' $ALL_COMPONENTS; exit;;
322 --list-components) printf '%s\n' $SUPPORTED_COMPONENTS; exit;;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100323 --memory|-m) MEMORY=1;;
Gilles Peskinee26ab182019-01-06 22:23:42 +0000324 --no-armcc) no_armcc=1;;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100325 --no-force) FORCE=0;;
326 --no-keep-going) KEEP_GOING=0;;
327 --no-memory) MEMORY=0;;
328 --openssl) shift; OPENSSL="$1";;
329 --openssl-legacy) shift; OPENSSL_LEGACY="$1";;
330 --openssl-next) shift; OPENSSL_NEXT="$1";;
331 --out-of-source-dir) shift; OUT_OF_SOURCE_DIR="$1";;
332 --random-seed) unset SEED;;
333 --release-test|-r) SEED=1;;
334 --seed|-s) shift; SEED="$1";;
335 -*)
336 echo >&2 "Unknown option: $1"
337 echo >&2 "Run $0 --help for usage."
338 exit 120
339 ;;
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000340 *) COMMAND_LINE_COMPONENTS="$COMMAND_LINE_COMPONENTS $1";;
Gilles Peskine06b385f2019-01-09 22:28:21 +0100341 esac
342 shift
Gilles Peskine8f073122018-11-27 15:58:47 +0100343 done
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000344
345 if [ -z "$COMMAND_LINE_COMPONENTS" ]; then
346 all_except=1
347 fi
348
Gilles Peskinee26ab182019-01-06 22:23:42 +0000349 # --no-armcc is a legacy option. The modern way is --except '*_armcc*'.
350 # Ignore it if components are listed explicitly on the command line.
351 if [ -n "$no_armcc" ] && [ -n "$all_except" ]; then
352 COMMAND_LINE_COMPONENTS="$COMMAND_LINE_COMPONENTS *_armcc*"
353 fi
354
Gilles Peskine1bcb1c82019-01-06 22:11:25 +0000355 # Build the list of components to run.
356 if [ -n "$all_except" ]; then
357 RUN_COMPONENTS=
358 for component in $SUPPORTED_COMPONENTS; do
359 if ! is_component_excluded "$component"; then
360 RUN_COMPONENTS="$RUN_COMPONENTS $component"
361 fi
362 done
363 else
364 RUN_COMPONENTS="$COMMAND_LINE_COMPONENTS"
365 fi
366
367 unset all_except
Gilles Peskinee26ab182019-01-06 22:23:42 +0000368 unset no_armcc
Gilles Peskine8f073122018-11-27 15:58:47 +0100369}
SimonB2e23c822016-04-16 21:54:39 +0100370
Gilles Peskine8f073122018-11-27 15:58:47 +0100371pre_check_git () {
372 if [ $FORCE -eq 1 ]; then
Gilles Peskined692e112019-01-09 23:17:35 +0100373 rm -rf "$OUT_OF_SOURCE_DIR"
Gilles Peskine8f073122018-11-27 15:58:47 +0100374 git checkout-index -f -q $CONFIG_H
375 cleanup
376 else
SimonB2e23c822016-04-16 21:54:39 +0100377
Gilles Peskine8f073122018-11-27 15:58:47 +0100378 if [ -d "$OUT_OF_SOURCE_DIR" ]; then
379 echo "Warning - there is an existing directory at '$OUT_OF_SOURCE_DIR'" >&2
380 echo "You can either delete this directory manually, or force the test by rerunning"
381 echo "the script as: $0 --force --out-of-source-dir $OUT_OF_SOURCE_DIR"
382 exit 1
383 fi
384
Gilles Peskineadd1d232019-01-09 22:30:01 +0100385 if ! git diff --quiet include/mbedtls/config.h; then
Gilles Peskine8f073122018-11-27 15:58:47 +0100386 err_msg "Warning - the configuration file 'include/mbedtls/config.h' has been edited. "
387 echo "You can either delete or preserve your work, or force the test by rerunning the"
388 echo "script as: $0 --force"
389 exit 1
390 fi
Andres AGdc192212016-08-31 17:33:13 +0100391 fi
Gilles Peskine8f073122018-11-27 15:58:47 +0100392}
Andres AGdc192212016-08-31 17:33:13 +0100393
Gilles Peskine8f073122018-11-27 15:58:47 +0100394pre_setup_keep_going () {
Gilles Peskine7c652162017-12-11 00:01:40 +0100395 failure_summary=
396 failure_count=0
397 start_red=
398 end_color=
399 if [ -t 1 ]; then
Gilles Peskine9736b9d2018-01-02 21:54:17 +0100400 case "${TERM:-}" in
Gilles Peskine7c652162017-12-11 00:01:40 +0100401 *color*|cygwin|linux|rxvt*|screen|[Eex]term*)
402 start_red=$(printf '\033[31m')
403 end_color=$(printf '\033[0m')
404 ;;
405 esac
406 fi
407 record_status () {
408 if "$@"; then
409 last_status=0
410 else
411 last_status=$?
412 text="$current_section: $* -> $last_status"
413 failure_summary="$failure_summary
414$text"
415 failure_count=$((failure_count + 1))
416 echo "${start_red}^^^^$text^^^^${end_color}"
417 fi
418 }
419 make () {
420 case "$*" in
421 *test|*check)
422 if [ $build_status -eq 0 ]; then
423 record_status command make "$@"
424 else
425 echo "(skipped because the build failed)"
426 fi
427 ;;
428 *)
429 record_status command make "$@"
430 build_status=$last_status
431 ;;
432 esac
433 }
434 final_report () {
435 if [ $failure_count -gt 0 ]; then
436 echo
437 echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
438 echo "${start_red}FAILED: $failure_count${end_color}$failure_summary"
439 echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
Jaeden Amero7c1258d2018-07-20 16:42:14 +0100440 exit 1
Gilles Peskine7c652162017-12-11 00:01:40 +0100441 elif [ -z "${1-}" ]; then
442 echo "SUCCESS :)"
443 fi
444 if [ -n "${1-}" ]; then
445 echo "Killed by SIG$1."
446 fi
447 }
Gilles Peskine8f073122018-11-27 15:58:47 +0100448}
449
Gilles Peskine7c652162017-12-11 00:01:40 +0100450if_build_succeeded () {
451 if [ $build_status -eq 0 ]; then
452 record_status "$@"
453 fi
454}
455
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200456# to be used instead of ! for commands run with
457# record_status or if_build_succeeded
458not() {
459 ! "$@"
460}
461
Gilles Peskine8f073122018-11-27 15:58:47 +0100462pre_print_configuration () {
463 msg "info: $0 configuration"
464 echo "MEMORY: $MEMORY"
465 echo "FORCE: $FORCE"
466 echo "SEED: ${SEED-"UNSET"}"
467 echo "OPENSSL: $OPENSSL"
468 echo "OPENSSL_LEGACY: $OPENSSL_LEGACY"
469 echo "OPENSSL_NEXT: $OPENSSL_NEXT"
470 echo "GNUTLS_CLI: $GNUTLS_CLI"
471 echo "GNUTLS_SERV: $GNUTLS_SERV"
472 echo "GNUTLS_LEGACY_CLI: $GNUTLS_LEGACY_CLI"
473 echo "GNUTLS_LEGACY_SERV: $GNUTLS_LEGACY_SERV"
474 echo "ARMC5_BIN_DIR: $ARMC5_BIN_DIR"
475 echo "ARMC6_BIN_DIR: $ARMC6_BIN_DIR"
476}
Andres AG87bb5772016-09-27 15:05:15 +0100477
Gilles Peskine657f59a2019-01-06 22:40:00 +0000478# Make sure the tools we need are available.
Gilles Peskine8f073122018-11-27 15:58:47 +0100479pre_check_tools () {
Gilles Peskine2edf47c2019-01-06 22:46:21 +0000480 # Build the list of variables to pass to output_env.sh.
481 set env
482
Gilles Peskine657f59a2019-01-06 22:40:00 +0000483 case " $RUN_COMPONENTS " in
484 # Require OpenSSL and GnuTLS if running any tests (as opposed to
485 # only doing builds). Not all tests run OpenSSL and GnuTLS, but this
486 # is a good enough approximation in practice.
487 *" test_"*)
488 # To avoid setting OpenSSL and GnuTLS for each call to compat.sh
489 # and ssl-opt.sh, we just export the variables they require.
490 export OPENSSL_CMD="$OPENSSL"
491 export GNUTLS_CLI="$GNUTLS_CLI"
492 export GNUTLS_SERV="$GNUTLS_SERV"
493 # Avoid passing --seed flag in every call to ssl-opt.sh
494 if [ -n "${SEED-}" ]; then
495 export SEED
496 fi
Gilles Peskine2edf47c2019-01-06 22:46:21 +0000497 set "$@" OPENSSL="$OPENSSL" OPENSSL_LEGACY="$OPENSSL_LEGACY"
498 set "$@" GNUTLS_CLI="$GNUTLS_CLI" GNUTLS_SERV="$GNUTLS_SERV"
499 set "$@" GNUTLS_LEGACY_CLI="$GNUTLS_LEGACY_CLI"
500 set "$@" GNUTLS_LEGACY_SERV="$GNUTLS_LEGACY_SERV"
Gilles Peskine657f59a2019-01-06 22:40:00 +0000501 check_tools "$OPENSSL" "$OPENSSL_LEGACY" "$OPENSSL_NEXT" \
502 "$GNUTLS_CLI" "$GNUTLS_SERV" \
503 "$GNUTLS_LEGACY_CLI" "$GNUTLS_LEGACY_SERV"
504 ;;
505 esac
Andres AGd9eba4b2016-08-26 14:42:14 +0100506
Gilles Peskine657f59a2019-01-06 22:40:00 +0000507 case " $RUN_COMPONENTS " in
508 *_doxygen[_\ ]*) check_tools "doxygen" "dot";;
509 esac
Andres AGb2fdd042016-09-22 14:17:46 +0100510
Gilles Peskine657f59a2019-01-06 22:40:00 +0000511 case " $RUN_COMPONENTS " in
512 *_arm_none_eabi_gcc[_\ ]*) check_tools "arm-none-eabi-gcc";;
513 esac
Andres AG7770ea82016-10-10 15:46:20 +0100514
Gilles Peskine657f59a2019-01-06 22:40:00 +0000515 case " $RUN_COMPONENTS " in
516 *_mingw[_\ ]*) check_tools "i686-w64-mingw32-gcc";;
517 esac
518
519 case " $RUN_COMPONENTS " in
520 *" test_zeroize "*) check_tools "gdb";;
521 esac
522
523 case " $RUN_COMPONENTS " in
Gilles Peskinee26ab182019-01-06 22:23:42 +0000524 *_armcc*)
Gilles Peskine657f59a2019-01-06 22:40:00 +0000525 ARMC5_CC="$ARMC5_BIN_DIR/armcc"
526 ARMC5_AR="$ARMC5_BIN_DIR/armar"
527 ARMC6_CC="$ARMC6_BIN_DIR/armclang"
528 ARMC6_AR="$ARMC6_BIN_DIR/armar"
Gilles Peskinee26ab182019-01-06 22:23:42 +0000529 check_tools "$ARMC5_CC" "$ARMC5_AR" "$ARMC6_CC" "$ARMC6_AR";;
530 esac
Gilles Peskine2edf47c2019-01-06 22:46:21 +0000531
532 msg "info: output_env.sh"
533 case $RUN_COMPONENTS in
534 *_armcc*)
535 set "$@" ARMC5_CC="$ARMC5_CC" ARMC6_CC="$ARMC6_CC" RUN_ARMCC=1;;
536 *) set "$@" RUN_ARMCC=0;;
537 esac
538 "$@" scripts/output_env.sh
Gilles Peskine8f073122018-11-27 15:58:47 +0100539}
Gilles Peskine192c72f2017-12-21 15:59:21 +0100540
541
Gilles Peskine2edf47c2019-01-06 22:46:21 +0000542
Gilles Peskine192c72f2017-12-21 15:59:21 +0100543################################################################
544#### Basic checks
545################################################################
Andres AGd9eba4b2016-08-26 14:42:14 +0100546
SimonB2e23c822016-04-16 21:54:39 +0100547#
548# Test Suites to be executed
549#
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200550# The test ordering tries to optimize for the following criteria:
Manuel Pégourié-Gonnard89d69b32014-11-20 13:48:53 +0100551# 1. Catch possible problems early, by running first tests that run quickly
Manuel Pégourié-Gonnard61bc57a2014-08-14 11:29:06 +0200552# and/or are more likely to fail than others (eg I use Clang most of the
553# time, so start with a GCC build).
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200554# 2. Minimize total running time, by avoiding useless rebuilds
555#
556# Indicative running times are given for reference.
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100557
Gilles Peskine8f073122018-11-27 15:58:47 +0100558component_check_recursion () {
559 msg "test: recursion.pl" # < 1s
560 record_status tests/scripts/recursion.pl library/*.c
561}
Manuel Pégourié-Gonnardea29d152014-11-20 17:32:33 +0100562
Gilles Peskine8f073122018-11-27 15:58:47 +0100563component_check_generated_files () {
564 msg "test: freshness of generated source files" # < 1s
565 record_status tests/scripts/check-generated-files.sh
566}
Manuel Pégourié-Gonnardb3b8e432015-02-13 14:52:19 +0000567
Gilles Peskine8f073122018-11-27 15:58:47 +0100568component_check_doxy_blocks () {
569 msg "test: doxygen markup outside doxygen blocks" # < 1s
570 record_status tests/scripts/check-doxy-blocks.pl
571}
Manuel Pégourié-Gonnardd09a6b52015-04-09 17:19:23 +0200572
Gilles Peskine8f073122018-11-27 15:58:47 +0100573component_check_files () {
574 msg "test: check-files.py" # < 1s
Gilles Peskine8f073122018-11-27 15:58:47 +0100575 record_status tests/scripts/check-files.py
576}
Darryl Greena07039c2018-03-13 16:48:16 +0000577
Gilles Peskine8f073122018-11-27 15:58:47 +0100578component_check_names () {
579 msg "test/build: declared and exported names" # < 3s
Gilles Peskine8f073122018-11-27 15:58:47 +0100580 record_status tests/scripts/check-names.sh
581}
Manuel Pégourié-Gonnarda687baf2015-04-09 11:09:03 +0200582
Gilles Peskine8f073122018-11-27 15:58:47 +0100583component_check_doxygen_warnings () {
584 msg "test: doxygen warnings" # ~ 3s
Gilles Peskine8f073122018-11-27 15:58:47 +0100585 record_status tests/scripts/doxygen.sh
586}
Manuel Pégourié-Gonnard1d552e72016-01-04 16:49:09 +0100587
Gilles Peskine192c72f2017-12-21 15:59:21 +0100588
Gilles Peskine192c72f2017-12-21 15:59:21 +0100589################################################################
590#### Build and test many configurations and targets
591################################################################
592
Gilles Peskine8f073122018-11-27 15:58:47 +0100593component_test_default_cmake_gcc_asan () {
594 msg "build: cmake, gcc, ASan" # ~ 1 min 50s
Gilles Peskine8f073122018-11-27 15:58:47 +0100595 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
596 make
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100597
Gilles Peskine8f073122018-11-27 15:58:47 +0100598 msg "test: main suites (inc. selftests) (ASan build)" # ~ 50s
599 make test
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200600
Gilles Peskine8f073122018-11-27 15:58:47 +0100601 msg "test: ssl-opt.sh (ASan build)" # ~ 1 min
602 if_build_succeeded tests/ssl-opt.sh
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200603
Gilles Peskine8f073122018-11-27 15:58:47 +0100604 msg "test: compat.sh (ASan build)" # ~ 6 min
605 if_build_succeeded tests/compat.sh
606}
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200607
Gilles Peskine782f4112018-11-27 16:11:09 +0100608component_test_ref_configs () {
609 msg "test/build: ref-configs (ASan build)" # ~ 6 min 20s
610 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
611 record_status tests/scripts/test-ref-configs.pl
612}
613
Gilles Peskine8f073122018-11-27 15:58:47 +0100614component_test_sslv3 () {
615 msg "build: Default + SSLv3 (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100616 scripts/config.pl set MBEDTLS_SSL_PROTO_SSL3
617 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
618 make
Simon Butcher3ea7f522016-03-07 23:22:10 +0000619
Gilles Peskine8f073122018-11-27 15:58:47 +0100620 msg "test: SSLv3 - main suites (inc. selftests) (ASan build)" # ~ 50s
621 make test
Simon Butcher3ea7f522016-03-07 23:22:10 +0000622
Gilles Peskine8f073122018-11-27 15:58:47 +0100623 msg "build: SSLv3 - compat.sh (ASan build)" # ~ 6 min
624 if_build_succeeded tests/compat.sh -m 'tls1 tls1_1 tls1_2 dtls1 dtls1_2'
625 if_build_succeeded env OPENSSL_CMD="$OPENSSL_LEGACY" tests/compat.sh -m 'ssl3'
Simon Butcher3ea7f522016-03-07 23:22:10 +0000626
Gilles Peskine8f073122018-11-27 15:58:47 +0100627 msg "build: SSLv3 - ssl-opt.sh (ASan build)" # ~ 6 min
628 if_build_succeeded tests/ssl-opt.sh
629}
Simon Butcher3ea7f522016-03-07 23:22:10 +0000630
Gilles Peskine8f073122018-11-27 15:58:47 +0100631component_test_no_renegotiation () {
632 msg "build: Default + !MBEDTLS_SSL_RENEGOTIATION (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100633 scripts/config.pl unset MBEDTLS_SSL_RENEGOTIATION
634 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
635 make
Hanno Becker134c2ab2017-10-12 15:29:50 +0100636
Gilles Peskine8f073122018-11-27 15:58:47 +0100637 msg "test: !MBEDTLS_SSL_RENEGOTIATION - main suites (inc. selftests) (ASan build)" # ~ 50s
638 make test
Hanno Becker134c2ab2017-10-12 15:29:50 +0100639
Gilles Peskine8f073122018-11-27 15:58:47 +0100640 msg "test: !MBEDTLS_SSL_RENEGOTIATION - ssl-opt.sh (ASan build)" # ~ 6 min
641 if_build_succeeded tests/ssl-opt.sh
642}
Manuel Pégourié-Gonnard246978d2014-11-20 13:29:53 +0100643
Gilles Peskine8f073122018-11-27 15:58:47 +0100644component_test_rsa_no_crt () {
645 msg "build: Default + RSA_NO_CRT (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100646 scripts/config.pl set MBEDTLS_RSA_NO_CRT
647 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
648 make
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100649
Gilles Peskine8f073122018-11-27 15:58:47 +0100650 msg "test: RSA_NO_CRT - main suites (inc. selftests) (ASan build)" # ~ 50s
651 make test
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100652
Gilles Peskine8f073122018-11-27 15:58:47 +0100653 msg "test: RSA_NO_CRT - RSA-related part of ssl-opt.sh (ASan build)" # ~ 5s
654 if_build_succeeded tests/ssl-opt.sh -f RSA
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100655
Gilles Peskine8f073122018-11-27 15:58:47 +0100656 msg "test: RSA_NO_CRT - RSA-related part of compat.sh (ASan build)" # ~ 3 min
657 if_build_succeeded tests/compat.sh -t RSA
658}
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100659
Gilles Peskine8f073122018-11-27 15:58:47 +0100660component_test_small_ssl_out_content_len () {
661 msg "build: small SSL_OUT_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100662 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 16384
663 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 4096
664 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
665 make
Angus Grattonc4dd0732018-04-11 16:28:39 +1000666
Gilles Peskine8f073122018-11-27 15:58:47 +0100667 msg "test: small SSL_OUT_CONTENT_LEN - ssl-opt.sh MFL and large packet tests"
668 if_build_succeeded tests/ssl-opt.sh -f "Max fragment\|Large packet"
669}
Angus Grattonc4dd0732018-04-11 16:28:39 +1000670
Gilles Peskine8f073122018-11-27 15:58:47 +0100671component_test_small_ssl_in_content_len () {
672 msg "build: small SSL_IN_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100673 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 4096
674 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 16384
675 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
676 make
Angus Grattonc4dd0732018-04-11 16:28:39 +1000677
Gilles Peskine8f073122018-11-27 15:58:47 +0100678 msg "test: small SSL_IN_CONTENT_LEN - ssl-opt.sh MFL tests"
679 if_build_succeeded tests/ssl-opt.sh -f "Max fragment"
680}
Angus Grattonc4dd0732018-04-11 16:28:39 +1000681
Gilles Peskine8f073122018-11-27 15:58:47 +0100682component_test_small_ssl_dtls_max_buffering () {
683 msg "build: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #0"
Gilles Peskine8f073122018-11-27 15:58:47 +0100684 scripts/config.pl set MBEDTLS_SSL_DTLS_MAX_BUFFERING 1000
685 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
686 make
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100687
Gilles Peskine8f073122018-11-27 15:58:47 +0100688 msg "test: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #0 - ssl-opt.sh specific reordering test"
689 if_build_succeeded tests/ssl-opt.sh -f "DTLS reordering: Buffer out-of-order hs msg before reassembling next, free buffered msg"
690}
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100691
Gilles Peskine8f073122018-11-27 15:58:47 +0100692component_test_small_mbedtls_ssl_dtls_max_buffering () {
693 msg "build: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #1"
Gilles Peskine8f073122018-11-27 15:58:47 +0100694 scripts/config.pl set MBEDTLS_SSL_DTLS_MAX_BUFFERING 240
695 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
696 make
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100697
Gilles Peskine8f073122018-11-27 15:58:47 +0100698 msg "test: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #1 - ssl-opt.sh specific reordering test"
699 if_build_succeeded tests/ssl-opt.sh -f "DTLS reordering: Buffer encrypted Finished message, drop for fragmented NewSessionTicket"
700}
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100701
Gilles Peskine8f073122018-11-27 15:58:47 +0100702component_test_full_cmake_clang () {
703 msg "build: cmake, full config, clang" # ~ 50s
Gilles Peskine8f073122018-11-27 15:58:47 +0100704 scripts/config.pl full
705 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
706 CC=clang cmake -D CMAKE_BUILD_TYPE:String=Check -D ENABLE_TESTING=On .
707 make
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100708
Gilles Peskine8f073122018-11-27 15:58:47 +0100709 msg "test: main suites (full config)" # ~ 5s
710 make test
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200711
Gilles Peskine8f073122018-11-27 15:58:47 +0100712 msg "test: ssl-opt.sh default, ECJPAKE, SSL async (full config)" # ~ 1s
713 if_build_succeeded tests/ssl-opt.sh -f 'Default\|ECJPAKE\|SSL async private'
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200714
Gilles Peskine8f073122018-11-27 15:58:47 +0100715 msg "test: compat.sh RC4, DES & NULL (full config)" # ~ 2 min
716 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 +0200717
Gilles Peskine8f073122018-11-27 15:58:47 +0100718 msg "test: compat.sh ARIA + ChachaPoly"
719 if_build_succeeded env OPENSSL_CMD="$OPENSSL_NEXT" tests/compat.sh -e '^$' -f 'ARIA\|CHACHA'
720}
Manuel Pégourié-Gonnard6b368922018-02-20 12:02:07 +0100721
Gilles Peskine8f073122018-11-27 15:58:47 +0100722component_build_deprecated () {
723 msg "build: make, full config + DEPRECATED_WARNING, gcc -O" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100724 scripts/config.pl full
725 scripts/config.pl set MBEDTLS_DEPRECATED_WARNING
726 # Build with -O -Wextra to catch a maximum of issues.
727 make CC=gcc CFLAGS='-O -Werror -Wall -Wextra' lib programs
728 make CC=gcc CFLAGS='-O -Werror -Wall -Wextra -Wno-unused-function' tests
Gilles Peskineb4ef45b2018-03-01 22:23:50 +0100729
Gilles Peskine8f073122018-11-27 15:58:47 +0100730 msg "build: make, full config + DEPRECATED_REMOVED, clang -O" # ~ 30s
731 # No cleanup, just tweak the configuration and rebuild
732 make clean
733 scripts/config.pl unset MBEDTLS_DEPRECATED_WARNING
734 scripts/config.pl set MBEDTLS_DEPRECATED_REMOVED
735 # Build with -O -Wextra to catch a maximum of issues.
736 make CC=clang CFLAGS='-O -Werror -Wall -Wextra' lib programs
737 make CC=clang CFLAGS='-O -Werror -Wall -Wextra -Wno-unused-function' tests
738}
Gilles Peskine0afe6242018-02-21 19:28:12 +0100739
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200740
Gilles Peskine8f073122018-11-27 15:58:47 +0100741component_test_depends_curves () {
742 msg "test/build: curves.pl (gcc)" # ~ 4 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100743 record_status tests/scripts/curves.pl
744}
Manuel Pégourié-Gonnard1fe6bb92017-06-06 11:36:16 +0200745
Gilles Peskine8f073122018-11-27 15:58:47 +0100746component_test_depends_hashes () {
747 msg "test/build: depends-hashes.pl (gcc)" # ~ 2 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100748 record_status tests/scripts/depends-hashes.pl
749}
Manuel Pégourié-Gonnard43be6cd2017-06-20 09:53:42 +0200750
Gilles Peskine8f073122018-11-27 15:58:47 +0100751component_test_depends_pkalgs () {
752 msg "test/build: depends-pkalgs.pl (gcc)" # ~ 2 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100753 record_status tests/scripts/depends-pkalgs.pl
754}
Manuel Pégourié-Gonnard503a5ef2015-10-23 09:04:45 +0200755
Gilles Peskine8f073122018-11-27 15:58:47 +0100756component_build_key_exchanges () {
757 msg "test/build: key-exchanges (gcc)" # ~ 1 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100758 record_status tests/scripts/key-exchanges.pl
759}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100760
Gilles Peskine8f073122018-11-27 15:58:47 +0100761component_build_default_make_gcc_and_cxx () {
762 msg "build: Unix make, -Os (gcc)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100763 make CC=gcc CFLAGS='-Werror -Wall -Wextra -Os'
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400764
Gilles Peskine8f073122018-11-27 15:58:47 +0100765 msg "test: verify header list in cpp_dummy_build.cpp"
766 record_status check_headers_in_cpp
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400767
Gilles Peskine8f073122018-11-27 15:58:47 +0100768 msg "build: Unix make, incremental g++"
769 make TEST_CPP=1
770}
Manuel Pégourié-Gonnarda71780e2015-02-13 13:56:55 +0000771
Gilles Peskine8f073122018-11-27 15:58:47 +0100772component_test_no_platform () {
773 # Full configuration build, without platform support, file IO and net sockets.
774 # This should catch missing mbedtls_printf definitions, and by disabling file
775 # IO, it should catch missing '#include <stdio.h>'
776 msg "build: full config except platform/fsio/net, make, gcc, C99" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100777 scripts/config.pl full
778 scripts/config.pl unset MBEDTLS_PLATFORM_C
779 scripts/config.pl unset MBEDTLS_NET_C
780 scripts/config.pl unset MBEDTLS_PLATFORM_MEMORY
781 scripts/config.pl unset MBEDTLS_PLATFORM_PRINTF_ALT
782 scripts/config.pl unset MBEDTLS_PLATFORM_FPRINTF_ALT
783 scripts/config.pl unset MBEDTLS_PLATFORM_SNPRINTF_ALT
784 scripts/config.pl unset MBEDTLS_PLATFORM_TIME_ALT
785 scripts/config.pl unset MBEDTLS_PLATFORM_EXIT_ALT
786 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
787 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
788 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +0100789 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
790 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +0100791 # Note, _DEFAULT_SOURCE needs to be defined for platforms using glibc version >2.19,
792 # to re-enable platform integration features otherwise disabled in C99 builds
793 make CC=gcc CFLAGS='-Werror -Wall -Wextra -std=c99 -pedantic -O0 -D_DEFAULT_SOURCE' lib programs
794 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0' test
795}
Manuel Pégourié-Gonnarddccb80b2015-06-03 10:20:33 +0100796
Gilles Peskine8f073122018-11-27 15:58:47 +0100797component_build_no_std_function () {
798 # catch compile bugs in _uninit functions
799 msg "build: full config with NO_STD_FUNCTION, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100800 scripts/config.pl full
801 scripts/config.pl set MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
802 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
803 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0'
804}
Manuel Pégourié-Gonnard66b8e952015-05-20 11:13:56 +0200805
Gilles Peskine8f073122018-11-27 15:58:47 +0100806component_build_no_ssl_srv () {
807 msg "build: full config except ssl_srv.c, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100808 scripts/config.pl full
809 scripts/config.pl unset MBEDTLS_SSL_SRV_C
810 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0'
811}
Manuel Pégourié-Gonnard66b8e952015-05-20 11:13:56 +0200812
Gilles Peskine8f073122018-11-27 15:58:47 +0100813component_build_no_ssl_cli () {
814 msg "build: full config except ssl_cli.c, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100815 scripts/config.pl full
816 scripts/config.pl unset MBEDTLS_SSL_CLI_C
817 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0'
818}
Manuel Pégourié-Gonnard009a2642015-05-29 10:31:13 +0200819
Gilles Peskine8f073122018-11-27 15:58:47 +0100820component_build_no_sockets () {
821 # Note, C99 compliance can also be tested with the sockets support disabled,
822 # as that requires a POSIX platform (which isn't the same as C99).
823 msg "build: full config except net_sockets.c, make, gcc -std=c99 -pedantic" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100824 scripts/config.pl full
825 scripts/config.pl unset MBEDTLS_NET_C # getaddrinfo() undeclared, etc.
826 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY # uses syscall() on GNU/Linux
827 make CC=gcc CFLAGS='-Werror -Wall -Wextra -O0 -std=c99 -pedantic' lib
828}
Hanno Becker5175ac62017-09-18 15:36:25 +0100829
Gilles Peskine8f073122018-11-27 15:58:47 +0100830component_test_no_max_fragment_length () {
831 # Run max fragment length tests with MFL disabled
832 msg "build: default config except MFL extension (ASan build)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100833 scripts/config.pl unset MBEDTLS_SSL_MAX_FRAGMENT_LENGTH
834 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
835 make
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +0000836
Gilles Peskine8f073122018-11-27 15:58:47 +0100837 msg "test: ssl-opt.sh, MFL-related tests"
838 if_build_succeeded tests/ssl-opt.sh -f "Max fragment length"
839}
Angus Grattonc4dd0732018-04-11 16:28:39 +1000840
Gilles Peskine8f073122018-11-27 15:58:47 +0100841component_test_no_max_fragment_length_small_ssl_out_content_len () {
842 msg "build: no MFL extension, small SSL_OUT_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100843 scripts/config.pl unset MBEDTLS_SSL_MAX_FRAGMENT_LENGTH
844 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 16384
845 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 4096
846 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
847 make
Angus Grattonc4dd0732018-04-11 16:28:39 +1000848
Gilles Peskine8f073122018-11-27 15:58:47 +0100849 msg "test: MFL tests (disabled MFL extension case) & large packet tests"
850 if_build_succeeded tests/ssl-opt.sh -f "Max fragment length\|Large buffer"
851}
Janos Follath06c54002016-06-09 13:57:40 +0100852
Gilles Peskine8f073122018-11-27 15:58:47 +0100853component_test_null_entropy () {
854 msg "build: default config with MBEDTLS_TEST_NULL_ENTROPY (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100855 scripts/config.pl set MBEDTLS_TEST_NULL_ENTROPY
856 scripts/config.pl set MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
857 scripts/config.pl set MBEDTLS_ENTROPY_C
858 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
859 scripts/config.pl unset MBEDTLS_ENTROPY_HARDWARE_ALT
860 scripts/config.pl unset MBEDTLS_HAVEGE_C
Gilles Peskine19275652019-01-06 19:48:30 +0000861 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan -D UNSAFE_BUILD=ON .
Gilles Peskine8f073122018-11-27 15:58:47 +0100862 make
Janos Follath06c54002016-06-09 13:57:40 +0100863
Gilles Peskine8f073122018-11-27 15:58:47 +0100864 msg "test: MBEDTLS_TEST_NULL_ENTROPY - main suites (inc. selftests) (ASan build)"
865 make test
866}
Hanno Beckere5fecec2018-10-11 11:02:52 +0100867
Gilles Peskine8f073122018-11-27 15:58:47 +0100868component_test_platform_calloc_macro () {
869 msg "build: MBEDTLS_PLATFORM_{CALLOC/FREE}_MACRO enabled (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100870 scripts/config.pl set MBEDTLS_PLATFORM_MEMORY
871 scripts/config.pl set MBEDTLS_PLATFORM_CALLOC_MACRO calloc
872 scripts/config.pl set MBEDTLS_PLATFORM_FREE_MACRO free
873 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
874 make
Hanno Beckere5fecec2018-10-11 11:02:52 +0100875
Gilles Peskine8f073122018-11-27 15:58:47 +0100876 msg "test: MBEDTLS_PLATFORM_{CALLOC/FREE}_MACRO enabled (ASan build)"
877 make test
878}
Hanno Becker83ebf782017-07-07 12:29:15 +0100879
Gilles Peskine8f073122018-11-27 15:58:47 +0100880component_test_aes_fewer_tables () {
881 msg "build: default config with AES_FEWER_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +0100882 scripts/config.pl set MBEDTLS_AES_FEWER_TABLES
883 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +0100884
Gilles Peskine8f073122018-11-27 15:58:47 +0100885 msg "test: AES_FEWER_TABLES"
886 make test
887}
Hanno Becker83ebf782017-07-07 12:29:15 +0100888
Gilles Peskine8f073122018-11-27 15:58:47 +0100889component_test_aes_rom_tables () {
890 msg "build: default config with AES_ROM_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +0100891 scripts/config.pl set MBEDTLS_AES_ROM_TABLES
892 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +0100893
Gilles Peskine8f073122018-11-27 15:58:47 +0100894 msg "test: AES_ROM_TABLES"
895 make test
896}
Hanno Becker83ebf782017-07-07 12:29:15 +0100897
Gilles Peskine8f073122018-11-27 15:58:47 +0100898component_test_aes_fewer_tables_and_rom_tables () {
899 msg "build: default config with AES_ROM_TABLES and AES_FEWER_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +0100900 scripts/config.pl set MBEDTLS_AES_FEWER_TABLES
901 scripts/config.pl set MBEDTLS_AES_ROM_TABLES
902 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +0100903
Gilles Peskine8f073122018-11-27 15:58:47 +0100904 msg "test: AES_FEWER_TABLES + AES_ROM_TABLES"
905 make test
906}
907
908component_test_make_shared () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +0100909 msg "build/test: make shared" # ~ 40s
Gilles Peskine7ad603e2017-12-10 23:22:20 +0100910 make SHARED=1 all check
Gilles Peskine8f073122018-11-27 15:58:47 +0100911}
Manuel Pégourié-Gonnard9b06abe2015-06-25 09:56:07 +0200912
Gilles Peskine8f073122018-11-27 15:58:47 +0100913component_test_m32_o0 () {
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100914 # Build once with -O0, to compile out the i386 specific inline assembly
915 msg "build: i386, make, gcc -O0 (ASan build)" # ~ 30s
Simon Butcher7a6da6e2018-06-27 21:52:54 +0100916 scripts/config.pl full
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100917 make CC=gcc CFLAGS='-O0 -Werror -Wall -Wextra -m32 -fsanitize=address'
Andres Amaya Garcia84e6ce82017-05-04 11:35:51 +0100918
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100919 msg "test: i386, make, gcc -O0 (ASan build)"
920 make test
Gilles Peskine8f073122018-11-27 15:58:47 +0100921}
Gilles Peskine10726102019-01-06 20:50:38 +0000922support_test_m32_o0 () {
923 case $(uname -m) in
924 *64*) true;;
925 *) false;;
926 esac
927}
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100928
Gilles Peskine8f073122018-11-27 15:58:47 +0100929component_test_m32_o1 () {
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100930 # Build again with -O1, to compile in the i386 specific inline assembly
931 msg "build: i386, make, gcc -O1 (ASan build)" # ~ 30s
Simon Butcher8e6a22a2018-07-20 21:27:33 +0100932 scripts/config.pl full
933 make CC=gcc CFLAGS='-O1 -Werror -Wall -Wextra -m32 -fsanitize=address'
934
935 msg "test: i386, make, gcc -O1 (ASan build)"
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +0100936 make test
Gilles Peskine8f073122018-11-27 15:58:47 +0100937}
Gilles Peskine10726102019-01-06 20:50:38 +0000938support_test_m32_o1 () {
939 support_test_m32_o0 "$@"
940}
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +0100941
Gilles Peskine8f073122018-11-27 15:58:47 +0100942component_test_mx32 () {
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +0100943 msg "build: 64-bit ILP32, make, gcc" # ~ 30s
Simon Butcher7a6da6e2018-06-27 21:52:54 +0100944 scripts/config.pl full
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +0100945 make CC=gcc CFLAGS='-Werror -Wall -Wextra -mx32'
946
947 msg "test: 64-bit ILP32, make, gcc"
948 make test
Gilles Peskine8f073122018-11-27 15:58:47 +0100949}
Gilles Peskine10726102019-01-06 20:50:38 +0000950support_test_mx32 () {
951 case $(uname -m) in
952 amd64|x86_64) true;;
953 *) false;;
954 esac
955}
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +0000956
Gilles Peskine8f073122018-11-27 15:58:47 +0100957component_test_have_int32 () {
958 msg "build: gcc, force 32-bit bignum limbs"
Gilles Peskine8f073122018-11-27 15:58:47 +0100959 scripts/config.pl unset MBEDTLS_HAVE_ASM
960 scripts/config.pl unset MBEDTLS_AESNI_C
961 scripts/config.pl unset MBEDTLS_PADLOCK_C
962 make CC=gcc CFLAGS='-Werror -Wall -Wextra -DMBEDTLS_HAVE_INT32'
Andres Amaya Garcia84e6ce82017-05-04 11:35:51 +0100963
Gilles Peskine8f073122018-11-27 15:58:47 +0100964 msg "test: gcc, force 32-bit bignum limbs"
965 make test
966}
Andres Amaya Garciafe843a32017-07-20 13:21:34 +0100967
Gilles Peskine8f073122018-11-27 15:58:47 +0100968component_test_have_int64 () {
969 msg "build: gcc, force 64-bit bignum limbs"
Gilles Peskine8f073122018-11-27 15:58:47 +0100970 scripts/config.pl unset MBEDTLS_HAVE_ASM
971 scripts/config.pl unset MBEDTLS_AESNI_C
972 scripts/config.pl unset MBEDTLS_PADLOCK_C
973 make CC=gcc CFLAGS='-Werror -Wall -Wextra -DMBEDTLS_HAVE_INT64'
Gilles Peskine14c3c062018-01-29 21:25:12 +0100974
Gilles Peskine8f073122018-11-27 15:58:47 +0100975 msg "test: gcc, force 64-bit bignum limbs"
976 make test
977}
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +0000978
Gilles Peskine8f073122018-11-27 15:58:47 +0100979component_test_no_udbl_division () {
980 msg "build: MBEDTLS_NO_UDBL_DIVISION native" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +0100981 scripts/config.pl full
982 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
983 scripts/config.pl set MBEDTLS_NO_UDBL_DIVISION
984 make CFLAGS='-Werror -O1'
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200985
Gilles Peskine8f073122018-11-27 15:58:47 +0100986 msg "test: MBEDTLS_NO_UDBL_DIVISION native" # ~ 10s
987 make test
988}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200989
Gilles Peskine8f073122018-11-27 15:58:47 +0100990component_test_no_64bit_multiplication () {
991 msg "build: MBEDTLS_NO_64BIT_MULTIPLICATION native" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +0100992 scripts/config.pl full
993 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
994 scripts/config.pl set MBEDTLS_NO_64BIT_MULTIPLICATION
995 make CFLAGS='-Werror -O1'
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200996
Gilles Peskine8f073122018-11-27 15:58:47 +0100997 msg "test: MBEDTLS_NO_64BIT_MULTIPLICATION native" # ~ 10s
998 make test
999}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001000
Gilles Peskine8f073122018-11-27 15:58:47 +01001001component_build_arm_none_eabi_gcc () {
1002 msg "build: arm-none-eabi-gcc, make" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +01001003 scripts/config.pl full
1004 scripts/config.pl unset MBEDTLS_NET_C
1005 scripts/config.pl unset MBEDTLS_TIMING_C
1006 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +01001007 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
1008 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +01001009 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1010 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY
1011 # following things are not in the default config
1012 scripts/config.pl unset MBEDTLS_HAVEGE_C # depends on timing.c
1013 scripts/config.pl unset MBEDTLS_THREADING_PTHREAD
1014 scripts/config.pl unset MBEDTLS_THREADING_C
1015 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # execinfo.h
1016 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C # calls exit
1017 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib
1018}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001019
Gilles Peskine8f073122018-11-27 15:58:47 +01001020component_build_arm_none_eabi_gcc_no_udbl_division () {
1021 msg "build: arm-none-eabi-gcc -DMBEDTLS_NO_UDBL_DIVISION, make" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +01001022 scripts/config.pl full
1023 scripts/config.pl unset MBEDTLS_NET_C
1024 scripts/config.pl unset MBEDTLS_TIMING_C
1025 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +01001026 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
1027 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +01001028 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1029 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY
1030 # following things are not in the default config
1031 scripts/config.pl unset MBEDTLS_HAVEGE_C # depends on timing.c
1032 scripts/config.pl unset MBEDTLS_THREADING_PTHREAD
1033 scripts/config.pl unset MBEDTLS_THREADING_C
1034 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # execinfo.h
1035 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C # calls exit
1036 scripts/config.pl set MBEDTLS_NO_UDBL_DIVISION
1037 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib
1038 echo "Checking that software 64-bit division is not required"
1039 if_build_succeeded not grep __aeabi_uldiv library/*.o
1040}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001041
Gilles Peskine8f073122018-11-27 15:58:47 +01001042component_build_arm_none_eabi_gcc_no_64bit_multiplication () {
1043 msg "build: arm-none-eabi-gcc MBEDTLS_NO_64BIT_MULTIPLICATION, make" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +01001044 scripts/config.pl full
1045 scripts/config.pl unset MBEDTLS_NET_C
1046 scripts/config.pl unset MBEDTLS_TIMING_C
1047 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +01001048 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
1049 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +01001050 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1051 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY
1052 # following things are not in the default config
1053 scripts/config.pl unset MBEDTLS_HAVEGE_C # depends on timing.c
1054 scripts/config.pl unset MBEDTLS_THREADING_PTHREAD
1055 scripts/config.pl unset MBEDTLS_THREADING_C
1056 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # execinfo.h
1057 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C # calls exit
1058 scripts/config.pl set MBEDTLS_NO_64BIT_MULTIPLICATION
1059 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -O1 -march=armv6-m -mthumb' lib
1060 echo "Checking that software 64-bit multiplication is not required"
1061 if_build_succeeded not grep __aeabi_lmul library/*.o
1062}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001063
Gilles Peskine8f073122018-11-27 15:58:47 +01001064component_build_armcc () {
1065 msg "build: ARM Compiler 5, make"
Gilles Peskine8f073122018-11-27 15:58:47 +01001066 scripts/config.pl full
1067 scripts/config.pl unset MBEDTLS_NET_C
1068 scripts/config.pl unset MBEDTLS_TIMING_C
1069 scripts/config.pl unset MBEDTLS_FS_IO
Gilles Peskine51585382019-01-05 10:27:47 +01001070 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_FILE_C
1071 scripts/config.pl unset MBEDTLS_PSA_CRYPTO_STORAGE_C
Gilles Peskine8f073122018-11-27 15:58:47 +01001072 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1073 scripts/config.pl unset MBEDTLS_HAVE_TIME
1074 scripts/config.pl unset MBEDTLS_HAVE_TIME_DATE
1075 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY
1076 # following things are not in the default config
1077 scripts/config.pl unset MBEDTLS_DEPRECATED_WARNING
1078 scripts/config.pl unset MBEDTLS_HAVEGE_C # depends on timing.c
1079 scripts/config.pl unset MBEDTLS_THREADING_PTHREAD
1080 scripts/config.pl unset MBEDTLS_THREADING_C
1081 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # execinfo.h
1082 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C # calls exit
1083 scripts/config.pl unset MBEDTLS_PLATFORM_TIME_ALT # depends on MBEDTLS_HAVE_TIME
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +00001084
Gilles Peskinee26ab182019-01-06 22:23:42 +00001085 make CC="$ARMC5_CC" AR="$ARMC5_AR" WARNING_CFLAGS='--strict --c99' lib
1086 make clean
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001087
Gilles Peskinee26ab182019-01-06 22:23:42 +00001088 # ARM Compiler 6 - Target ARMv7-A
1089 armc6_build_test "--target=arm-arm-none-eabi -march=armv7-a"
Gilles Peskineed942f82017-06-08 15:19:20 +02001090
Gilles Peskinee26ab182019-01-06 22:23:42 +00001091 # ARM Compiler 6 - Target ARMv7-M
1092 armc6_build_test "--target=arm-arm-none-eabi -march=armv7-m"
Andres AG87bb5772016-09-27 15:05:15 +01001093
Gilles Peskinee26ab182019-01-06 22:23:42 +00001094 # ARM Compiler 6 - Target ARMv8-A - AArch32
1095 armc6_build_test "--target=arm-arm-none-eabi -march=armv8.2-a"
Andres AG87bb5772016-09-27 15:05:15 +01001096
Gilles Peskinee26ab182019-01-06 22:23:42 +00001097 # ARM Compiler 6 - Target ARMv8-M
1098 armc6_build_test "--target=arm-arm-none-eabi -march=armv8-m.main"
Simon Butcher940737f2017-07-23 13:42:36 +02001099
Gilles Peskinee26ab182019-01-06 22:23:42 +00001100 # ARM Compiler 6 - Target ARMv8-A - AArch64
1101 armc6_build_test "--target=aarch64-arm-none-eabi -march=armv8.2-a"
Gilles Peskine8f073122018-11-27 15:58:47 +01001102}
Simon Butcher940737f2017-07-23 13:42:36 +02001103
Gilles Peskine8f073122018-11-27 15:58:47 +01001104component_test_allow_sha1 () {
1105 msg "build: allow SHA1 in certificates by default"
Gilles Peskine8f073122018-11-27 15:58:47 +01001106 scripts/config.pl set MBEDTLS_TLS_DEFAULT_ALLOW_SHA1_IN_CERTIFICATES
1107 make CFLAGS='-Werror -Wall -Wextra'
1108 msg "test: allow SHA1 in certificates by default"
1109 make test
1110 if_build_succeeded tests/ssl-opt.sh -f SHA-1
1111}
Simon Butcher940737f2017-07-23 13:42:36 +02001112
Gilles Peskine8f073122018-11-27 15:58:47 +01001113component_build_mingw () {
1114 msg "build: Windows cross build - mingw64, make (Link Library)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +01001115 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 +02001116
Gilles Peskine8f073122018-11-27 15:58:47 +01001117 # note Make tests only builds the tests, but doesn't run them
1118 make CC=i686-w64-mingw32-gcc AR=i686-w64-mingw32-ar LD=i686-w64-minggw32-ld CFLAGS='-Werror' WINDOWS_BUILD=1 tests
1119 make WINDOWS_BUILD=1 clean
Hanno Beckere963efa2018-01-03 10:03:43 +00001120
Gilles Peskine8f073122018-11-27 15:58:47 +01001121 msg "build: Windows cross build - mingw64, make (DLL)" # ~ 30s
1122 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
1123 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
1124 make WINDOWS_BUILD=1 clean
1125}
Simon Butcher002bc622016-11-17 09:27:45 +00001126
Gilles Peskine8f073122018-11-27 15:58:47 +01001127component_test_memsan () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001128 msg "build: MSan (clang)" # ~ 1 min 20s
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001129 scripts/config.pl unset MBEDTLS_AESNI_C # memsan doesn't grok asm
1130 CC=clang cmake -D CMAKE_BUILD_TYPE:String=MemSan .
1131 make
Manuel Pégourié-Gonnard4a9dc2a2014-05-09 13:46:59 +02001132
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001133 msg "test: main suites (MSan)" # ~ 10s
1134 make test
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001135
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001136 msg "test: ssl-opt.sh (MSan)" # ~ 1 min
Gilles Peskine7c652162017-12-11 00:01:40 +01001137 if_build_succeeded tests/ssl-opt.sh
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001138
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001139 # Optional part(s)
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001140
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001141 if [ "$MEMORY" -gt 0 ]; then
1142 msg "test: compat.sh (MSan)" # ~ 6 min 20s
Gilles Peskine7c652162017-12-11 00:01:40 +01001143 if_build_succeeded tests/compat.sh
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001144 fi
Gilles Peskine8f073122018-11-27 15:58:47 +01001145}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +01001146
Gilles Peskine8f073122018-11-27 15:58:47 +01001147component_test_memcheck () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001148 msg "build: Release (clang)"
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001149 CC=clang cmake -D CMAKE_BUILD_TYPE:String=Release .
1150 make
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001151
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001152 msg "test: main suites valgrind (Release)"
1153 make memcheck
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001154
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001155 # Optional part(s)
1156 # Currently broken, programs don't seem to receive signals
1157 # under valgrind on OS X
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001158
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001159 if [ "$MEMORY" -gt 0 ]; then
1160 msg "test: ssl-opt.sh --memcheck (Release)"
Gilles Peskine7c652162017-12-11 00:01:40 +01001161 if_build_succeeded tests/ssl-opt.sh --memcheck
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001162 fi
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001163
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001164 if [ "$MEMORY" -gt 1 ]; then
1165 msg "test: compat.sh --memcheck (Release)"
Gilles Peskine7c652162017-12-11 00:01:40 +01001166 if_build_succeeded tests/compat.sh --memcheck
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001167 fi
Gilles Peskine8f073122018-11-27 15:58:47 +01001168}
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001169
Gilles Peskine8f073122018-11-27 15:58:47 +01001170component_test_cmake_out_of_source () {
1171 msg "build: cmake 'out-of-source' build"
Gilles Peskine8f073122018-11-27 15:58:47 +01001172 MBEDTLS_ROOT_DIR="$PWD"
1173 mkdir "$OUT_OF_SOURCE_DIR"
1174 cd "$OUT_OF_SOURCE_DIR"
1175 cmake "$MBEDTLS_ROOT_DIR"
1176 make
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001177
Gilles Peskine8f073122018-11-27 15:58:47 +01001178 msg "test: cmake 'out-of-source' build"
1179 make test
1180 # Test an SSL option that requires an auxiliary script in test/scripts/.
1181 # Also ensure that there are no error messages such as
1182 # "No such file or directory", which would indicate that some required
1183 # file is missing (ssl-opt.sh tolerates the absence of some files so
1184 # may exit with status 0 but emit errors).
1185 if_build_succeeded ./tests/ssl-opt.sh -f 'Fallback SCSV: beginning of list' 2>ssl-opt.err
1186 if [ -s ssl-opt.err ]; then
1187 cat ssl-opt.err >&2
1188 record_status [ ! -s ssl-opt.err ]
1189 rm ssl-opt.err
1190 fi
1191 cd "$MBEDTLS_ROOT_DIR"
1192 rm -rf "$OUT_OF_SOURCE_DIR"
1193 unset MBEDTLS_ROOT_DIR
1194}
Andres AGdc192212016-08-31 17:33:13 +01001195
Gilles Peskine8f073122018-11-27 15:58:47 +01001196component_test_zeroize () {
1197 # Test that the function mbedtls_platform_zeroize() is not optimized away by
1198 # different combinations of compilers and optimization flags by using an
1199 # auxiliary GDB script. Unfortunately, GDB does not return error values to the
1200 # system in all cases that the script fails, so we must manually search the
1201 # output to check whether the pass string is present and no failure strings
1202 # were printed.
Gilles Peskine74851d82019-01-06 19:52:22 +00001203
1204 # Don't try to disable ASLR. We don't care about ASLR here. We do care
1205 # about a spurious message if Gdb tries and fails, so suppress that.
1206 gdb_disable_aslr=
1207 if [ -z "$(gdb -batch -nw -ex 'set disable-randomization off' 2>&1)" ]; then
1208 gdb_disable_aslr='set disable-randomization off'
1209 fi
1210
Gilles Peskine8f073122018-11-27 15:58:47 +01001211 for optimization_flag in -O2 -O3 -Ofast -Os; do
Gilles Peskine06b385f2019-01-09 22:28:21 +01001212 for compiler in clang gcc; do
1213 msg "test: $compiler $optimization_flag, mbedtls_platform_zeroize()"
1214 make programs CC="$compiler" DEBUG=1 CFLAGS="$optimization_flag"
Gilles Peskine74851d82019-01-06 19:52:22 +00001215 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 +01001216 if_build_succeeded grep "The buffer was correctly zeroized" test_zeroize.log
1217 if_build_succeeded not grep -i "error" test_zeroize.log
1218 rm -f test_zeroize.log
1219 make clean
1220 done
Andres Amaya Garcia29673812017-10-25 10:35:51 +01001221 done
Gilles Peskine74851d82019-01-06 19:52:22 +00001222
1223 unset gdb_disable_aslr
Gilles Peskine8f073122018-11-27 15:58:47 +01001224}
Andres Amaya Garciad0d7bf62017-10-25 09:01:31 +01001225
Gilles Peskine8f073122018-11-27 15:58:47 +01001226component_check_python_files () {
1227 msg "Lint: Python scripts"
1228 record_status tests/scripts/check-python-files.sh
1229}
Gilles Peskine192c72f2017-12-21 15:59:21 +01001230
Gilles Peskine8f073122018-11-27 15:58:47 +01001231component_check_generate_test_code () {
1232 msg "uint test: generate_test_code.py"
1233 record_status ./tests/scripts/test_generate_test_code.py
1234}
Gilles Peskine192c72f2017-12-21 15:59:21 +01001235
1236################################################################
1237#### Termination
1238################################################################
1239
Gilles Peskine8f073122018-11-27 15:58:47 +01001240post_report () {
1241 msg "Done, cleaning up"
1242 cleanup
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +01001243
Gilles Peskine8f073122018-11-27 15:58:47 +01001244 final_report
1245}
1246
1247
1248
1249################################################################
1250#### Run all the things
1251################################################################
1252
Gilles Peskinee48351a2018-11-27 16:06:30 +01001253# Run one component and clean up afterwards.
Gilles Peskine8f073122018-11-27 15:58:47 +01001254run_component () {
Gilles Peskine8ae15dd2019-01-02 18:57:02 +01001255 # Back up the configuration in case the component modifies it.
1256 # The cleanup function will restore it.
1257 cp -p "$CONFIG_H" "$CONFIG_BAK"
Gilles Peskineffcdeff2018-12-04 12:49:28 +01001258 current_component="$1"
Gilles Peskine8f073122018-11-27 15:58:47 +01001259 "$@"
Gilles Peskinee48351a2018-11-27 16:06:30 +01001260 cleanup
Gilles Peskine8f073122018-11-27 15:58:47 +01001261}
1262
1263# Preliminary setup
1264pre_check_environment
1265pre_initialize_variables
1266pre_parse_command_line "$@"
Gilles Peskine348fb9a2018-11-27 17:04:29 +01001267
Gilles Peskine10726102019-01-06 20:50:38 +00001268pre_check_git
1269build_status=0
1270if [ $KEEP_GOING -eq 1 ]; then
1271 pre_setup_keep_going
1272else
1273 record_status () {
1274 "$@"
1275 }
1276fi
1277pre_print_configuration
1278pre_check_tools
Gilles Peskine10726102019-01-06 20:50:38 +00001279cleanup
Gilles Peskine8f073122018-11-27 15:58:47 +01001280
Gilles Peskine1bcb1c82019-01-06 22:11:25 +00001281# Run the requested tests.
1282for component in $RUN_COMPONENTS; do
1283 run_component "component_$component"
1284done
Gilles Peskine8f073122018-11-27 15:58:47 +01001285
1286# We're done.
Gilles Peskine10726102019-01-06 20:50:38 +00001287post_report