blob: 814496d0030f924ce597cf1b4dc7722b226ede3c [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 Peskinec70637a2019-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 Peskine878cf602019-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 Peskinec70637a2019-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 Peskinea16c2b12019-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
Antonin Décimod5f47592019-01-23 15:24:37 +0100123 # Default commands, can be overridden by the environment
Gilles Peskine8f073122018-11-27 15:58:47 +0100124 : ${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 Peskinea1fc4b52019-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 Peskine878cf602019-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 Peskinea28db922019-01-10 00:05:18 +0100157# Test whether the component $1 is included in the command line patterns.
158is_component_included()
Gilles Peskine81b96ed2018-11-27 21:37:53 +0100159{
160 set -f
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000161 for pattern in $COMMAND_LINE_COMPONENTS; do
Gilles Peskine81b96ed2018-11-27 21:37:53 +0100162 set +f
163 case ${1#component_} in $pattern) return 0;; esac
164 done
165 set +f
166 return 1
167}
168
Simon Butcher41eeccf2016-09-07 00:07:09 +0100169usage()
SimonB2e23c822016-04-16 21:54:39 +0100170{
Gilles Peskine709346a2017-12-10 23:43:39 +0100171 cat <<EOF
Gilles Peskine92525112018-11-27 18:15:35 +0100172Usage: $0 [OPTION]... [COMPONENT]...
Gilles Peskine348fb9a2018-11-27 17:04:29 +0100173Run mbedtls release validation tests.
Gilles Peskine92525112018-11-27 18:15:35 +0100174By default, run all tests. With one or more COMPONENT, run only those.
Gilles Peskinea28db922019-01-10 00:05:18 +0100175COMPONENT can be the name of a component or a shell wildcard pattern.
176
177Examples:
178 $0 "check_*"
179 Run all sanity checks.
180 $0 --no-armcc --except test_memsan
181 Run everything except builds that require armcc and MemSan.
Gilles Peskine348fb9a2018-11-27 17:04:29 +0100182
183Special options:
184 -h|--help Print this help and exit.
Gilles Peskine878cf602019-01-06 20:50:38 +0000185 --list-all-components List all available test components and exit.
186 --list-components List components supported on this platform and exit.
Gilles Peskine709346a2017-12-10 23:43:39 +0100187
188General options:
189 -f|--force Force the tests to overwrite any modified files.
Gilles Peskine7c652162017-12-11 00:01:40 +0100190 -k|--keep-going Run all tests and report errors at the end.
Gilles Peskine709346a2017-12-10 23:43:39 +0100191 -m|--memory Additional optional memory tests.
Gilles Peskinebca6ab92017-12-19 18:24:31 +0100192 --armcc Run ARM Compiler builds (on by default).
Gilles Peskinea28db922019-01-10 00:05:18 +0100193 --except Exclude the COMPONENTs listed on the command line,
194 instead of running only those.
Gilles Peskinebca6ab92017-12-19 18:24:31 +0100195 --no-armcc Skip ARM Compiler builds.
Gilles Peskine38d81652018-03-21 08:40:26 +0100196 --no-force Refuse to overwrite modified files (default).
197 --no-keep-going Stop at the first error (default).
198 --no-memory No additional memory tests (default).
Gilles Peskine709346a2017-12-10 23:43:39 +0100199 --out-of-source-dir=<path> Directory used for CMake out-of-source build tests.
Gilles Peskine38d81652018-03-21 08:40:26 +0100200 --random-seed Use a random seed value for randomized tests (default).
Gilles Peskine709346a2017-12-10 23:43:39 +0100201 -r|--release-test Run this script in release mode. This fixes the seed value to 1.
202 -s|--seed Integer seed value to use for this test run.
203
204Tool path options:
205 --armc5-bin-dir=<ARMC5_bin_dir_path> ARM Compiler 5 bin directory.
206 --armc6-bin-dir=<ARMC6_bin_dir_path> ARM Compiler 6 bin directory.
207 --gnutls-cli=<GnuTLS_cli_path> GnuTLS client executable to use for most tests.
208 --gnutls-serv=<GnuTLS_serv_path> GnuTLS server executable to use for most tests.
209 --gnutls-legacy-cli=<GnuTLS_cli_path> GnuTLS client executable to use for legacy tests.
210 --gnutls-legacy-serv=<GnuTLS_serv_path> GnuTLS server executable to use for legacy tests.
211 --openssl=<OpenSSL_path> OpenSSL executable to use for most tests.
212 --openssl-legacy=<OpenSSL_path> OpenSSL executable to use for legacy tests e.g. SSLv3.
Manuel Pégourié-Gonnard6b368922018-02-20 12:02:07 +0100213 --openssl-next=<OpenSSL_path> OpenSSL executable to use for recent things like ARIA
Gilles Peskine709346a2017-12-10 23:43:39 +0100214EOF
SimonB2e23c822016-04-16 21:54:39 +0100215}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100216
217# remove built files as well as the cmake cache/config
218cleanup()
219{
Gilles Peskinea71d64c2018-03-21 12:16:57 +0100220 if [ -n "${MBEDTLS_ROOT_DIR+set}" ]; then
221 cd "$MBEDTLS_ROOT_DIR"
222 fi
223
Gilles Peskine7c652162017-12-11 00:01:40 +0100224 command make clean
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200225
Gilles Peskine31b07e22018-03-21 12:15:06 +0100226 # Remove CMake artefacts
Simon Butcher3ad2efd2018-05-02 14:49:38 +0100227 find . -name .git -prune \
Gilles Peskine31b07e22018-03-21 12:15:06 +0100228 -iname CMakeFiles -exec rm -rf {} \+ -o \
229 \( -iname cmake_install.cmake -o \
230 -iname CTestTestfile.cmake -o \
231 -iname CMakeCache.txt \) -exec rm {} \+
232 # Recover files overwritten by in-tree CMake builds
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000233 rm -f include/Makefile include/mbedtls/Makefile programs/*/Makefile
Paul Bakkerfe0984d2014-06-13 00:13:45 +0200234 git update-index --no-skip-worktree Makefile library/Makefile programs/Makefile tests/Makefile
235 git checkout -- Makefile library/Makefile programs/Makefile tests/Makefile
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200236
237 if [ -f "$CONFIG_BAK" ]; then
238 mv "$CONFIG_BAK" "$CONFIG_H"
239 fi
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100240}
241
Gilles Peskine7c652162017-12-11 00:01:40 +0100242# Executed on exit. May be redefined depending on command line options.
243final_report () {
244 :
245}
246
247fatal_signal () {
248 cleanup
249 final_report $1
250 trap - $1
251 kill -$1 $$
252}
253
254trap 'fatal_signal HUP' HUP
255trap 'fatal_signal INT' INT
256trap 'fatal_signal TERM' TERM
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200257
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100258msg()
259{
Gilles Peskineffcdeff2018-12-04 12:49:28 +0100260 if [ -n "${current_component:-}" ]; then
261 current_section="${current_component#component_}: $1"
262 else
263 current_section="$1"
264 fi
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100265 echo ""
266 echo "******************************************************************"
Gilles Peskineffcdeff2018-12-04 12:49:28 +0100267 echo "* $current_section "
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +0000268 printf "* "; date
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100269 echo "******************************************************************"
270}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100271
Gilles Peskine8f073122018-11-27 15:58:47 +0100272armc6_build_test()
273{
274 FLAGS="$1"
Andres AGa5cd9732016-10-17 15:23:10 +0100275
Gilles Peskine8f073122018-11-27 15:58:47 +0100276 msg "build: ARM Compiler 6 ($FLAGS), make"
277 ARM_TOOL_VARIANT="ult" CC="$ARMC6_CC" AR="$ARMC6_AR" CFLAGS="$FLAGS" \
278 WARNING_CFLAGS='-xc -std=c99' make lib
279 make clean
280}
Andres AGa5cd9732016-10-17 15:23:10 +0100281
Andres AGd9eba4b2016-08-26 14:42:14 +0100282err_msg()
283{
284 echo "$1" >&2
285}
286
287check_tools()
288{
289 for TOOL in "$@"; do
Andres AG98393602017-01-31 17:04:45 +0000290 if ! `type "$TOOL" >/dev/null 2>&1`; then
Andres AGd9eba4b2016-08-26 14:42:14 +0100291 err_msg "$TOOL not found!"
292 exit 1
293 fi
294 done
295}
296
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400297check_headers_in_cpp () {
Peter Kolbus30987072019-02-01 17:19:08 -0600298 ls include/mbedtls | grep "\.h$" >headers.txt
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400299 <programs/test/cpp_dummy_build.cpp sed -n 's/"$//; s!^#include "mbedtls/!!p' |
300 sort |
301 diff headers.txt -
302 rm headers.txt
303}
304
Gilles Peskine8f073122018-11-27 15:58:47 +0100305pre_parse_command_line () {
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000306 COMMAND_LINE_COMPONENTS=
Gilles Peskinea28db922019-01-10 00:05:18 +0100307 all_except=0
Gilles Peskine5331c6e2019-01-06 22:23:42 +0000308 no_armcc=
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000309
Gilles Peskine8f073122018-11-27 15:58:47 +0100310 while [ $# -gt 0 ]; do
Gilles Peskine55f7c942019-01-09 22:28:21 +0100311 case "$1" in
Gilles Peskine5331c6e2019-01-06 22:23:42 +0000312 --armcc) no_armcc=;;
Gilles Peskine55f7c942019-01-09 22:28:21 +0100313 --armc5-bin-dir) shift; ARMC5_BIN_DIR="$1";;
314 --armc6-bin-dir) shift; ARMC6_BIN_DIR="$1";;
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000315 --except) all_except=1;;
Gilles Peskine55f7c942019-01-09 22:28:21 +0100316 --force|-f) FORCE=1;;
317 --gnutls-cli) shift; GNUTLS_CLI="$1";;
318 --gnutls-legacy-cli) shift; GNUTLS_LEGACY_CLI="$1";;
319 --gnutls-legacy-serv) shift; GNUTLS_LEGACY_SERV="$1";;
320 --gnutls-serv) shift; GNUTLS_SERV="$1";;
321 --help|-h) usage; exit;;
322 --keep-going|-k) KEEP_GOING=1;;
Gilles Peskine878cf602019-01-06 20:50:38 +0000323 --list-all-components) printf '%s\n' $ALL_COMPONENTS; exit;;
324 --list-components) printf '%s\n' $SUPPORTED_COMPONENTS; exit;;
Gilles Peskine55f7c942019-01-09 22:28:21 +0100325 --memory|-m) MEMORY=1;;
Gilles Peskine5331c6e2019-01-06 22:23:42 +0000326 --no-armcc) no_armcc=1;;
Gilles Peskine55f7c942019-01-09 22:28:21 +0100327 --no-force) FORCE=0;;
328 --no-keep-going) KEEP_GOING=0;;
329 --no-memory) MEMORY=0;;
330 --openssl) shift; OPENSSL="$1";;
331 --openssl-legacy) shift; OPENSSL_LEGACY="$1";;
332 --openssl-next) shift; OPENSSL_NEXT="$1";;
333 --out-of-source-dir) shift; OUT_OF_SOURCE_DIR="$1";;
334 --random-seed) unset SEED;;
335 --release-test|-r) SEED=1;;
336 --seed|-s) shift; SEED="$1";;
337 -*)
338 echo >&2 "Unknown option: $1"
339 echo >&2 "Run $0 --help for usage."
340 exit 120
341 ;;
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000342 *) COMMAND_LINE_COMPONENTS="$COMMAND_LINE_COMPONENTS $1";;
Gilles Peskine55f7c942019-01-09 22:28:21 +0100343 esac
344 shift
Gilles Peskine8f073122018-11-27 15:58:47 +0100345 done
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000346
Gilles Peskinea28db922019-01-10 00:05:18 +0100347 # With no list of components, run everything.
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000348 if [ -z "$COMMAND_LINE_COMPONENTS" ]; then
349 all_except=1
350 fi
351
Gilles Peskine5331c6e2019-01-06 22:23:42 +0000352 # --no-armcc is a legacy option. The modern way is --except '*_armcc*'.
353 # Ignore it if components are listed explicitly on the command line.
Gilles Peskinea28db922019-01-10 00:05:18 +0100354 if [ -n "$no_armcc" ] && [ $all_except -eq 1 ]; then
Gilles Peskine5331c6e2019-01-06 22:23:42 +0000355 COMMAND_LINE_COMPONENTS="$COMMAND_LINE_COMPONENTS *_armcc*"
356 fi
357
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000358 # Build the list of components to run.
Gilles Peskinea28db922019-01-10 00:05:18 +0100359 RUN_COMPONENTS=
360 for component in $SUPPORTED_COMPONENTS; do
361 if is_component_included "$component"; [ $? -eq $all_except ]; then
362 RUN_COMPONENTS="$RUN_COMPONENTS $component"
363 fi
364 done
Gilles Peskinebeb3a812019-01-06 22:11:25 +0000365
366 unset all_except
Gilles Peskine5331c6e2019-01-06 22:23:42 +0000367 unset no_armcc
Gilles Peskine8f073122018-11-27 15:58:47 +0100368}
SimonB2e23c822016-04-16 21:54:39 +0100369
Gilles Peskine8f073122018-11-27 15:58:47 +0100370pre_check_git () {
371 if [ $FORCE -eq 1 ]; then
Gilles Peskine53190e62019-01-09 23:17:35 +0100372 rm -rf "$OUT_OF_SOURCE_DIR"
Gilles Peskine8f073122018-11-27 15:58:47 +0100373 git checkout-index -f -q $CONFIG_H
374 cleanup
375 else
SimonB2e23c822016-04-16 21:54:39 +0100376
Gilles Peskine8f073122018-11-27 15:58:47 +0100377 if [ -d "$OUT_OF_SOURCE_DIR" ]; then
378 echo "Warning - there is an existing directory at '$OUT_OF_SOURCE_DIR'" >&2
379 echo "You can either delete this directory manually, or force the test by rerunning"
380 echo "the script as: $0 --force --out-of-source-dir $OUT_OF_SOURCE_DIR"
381 exit 1
382 fi
383
Gilles Peskined1174cf2019-01-09 22:30:01 +0100384 if ! git diff --quiet include/mbedtls/config.h; then
Gilles Peskine8f073122018-11-27 15:58:47 +0100385 err_msg "Warning - the configuration file 'include/mbedtls/config.h' has been edited. "
386 echo "You can either delete or preserve your work, or force the test by rerunning the"
387 echo "script as: $0 --force"
388 exit 1
389 fi
Andres AGdc192212016-08-31 17:33:13 +0100390 fi
Gilles Peskine8f073122018-11-27 15:58:47 +0100391}
Andres AGdc192212016-08-31 17:33:13 +0100392
Gilles Peskine8f073122018-11-27 15:58:47 +0100393pre_setup_keep_going () {
Gilles Peskine7c652162017-12-11 00:01:40 +0100394 failure_summary=
395 failure_count=0
396 start_red=
397 end_color=
398 if [ -t 1 ]; then
Gilles Peskine9736b9d2018-01-02 21:54:17 +0100399 case "${TERM:-}" in
Gilles Peskine7c652162017-12-11 00:01:40 +0100400 *color*|cygwin|linux|rxvt*|screen|[Eex]term*)
401 start_red=$(printf '\033[31m')
402 end_color=$(printf '\033[0m')
403 ;;
404 esac
405 fi
406 record_status () {
407 if "$@"; then
408 last_status=0
409 else
410 last_status=$?
411 text="$current_section: $* -> $last_status"
412 failure_summary="$failure_summary
413$text"
414 failure_count=$((failure_count + 1))
415 echo "${start_red}^^^^$text^^^^${end_color}"
416 fi
417 }
418 make () {
419 case "$*" in
420 *test|*check)
421 if [ $build_status -eq 0 ]; then
422 record_status command make "$@"
423 else
424 echo "(skipped because the build failed)"
425 fi
426 ;;
427 *)
428 record_status command make "$@"
429 build_status=$last_status
430 ;;
431 esac
432 }
433 final_report () {
434 if [ $failure_count -gt 0 ]; then
435 echo
436 echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
437 echo "${start_red}FAILED: $failure_count${end_color}$failure_summary"
438 echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
Jaeden Amero7c1258d2018-07-20 16:42:14 +0100439 exit 1
Gilles Peskine7c652162017-12-11 00:01:40 +0100440 elif [ -z "${1-}" ]; then
441 echo "SUCCESS :)"
442 fi
443 if [ -n "${1-}" ]; then
444 echo "Killed by SIG$1."
445 fi
446 }
Gilles Peskine8f073122018-11-27 15:58:47 +0100447}
448
Gilles Peskine7c652162017-12-11 00:01:40 +0100449if_build_succeeded () {
450 if [ $build_status -eq 0 ]; then
451 record_status "$@"
452 fi
453}
454
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200455# to be used instead of ! for commands run with
456# record_status or if_build_succeeded
457not() {
458 ! "$@"
459}
460
Gilles Peskine8f073122018-11-27 15:58:47 +0100461pre_print_configuration () {
462 msg "info: $0 configuration"
463 echo "MEMORY: $MEMORY"
464 echo "FORCE: $FORCE"
465 echo "SEED: ${SEED-"UNSET"}"
466 echo "OPENSSL: $OPENSSL"
467 echo "OPENSSL_LEGACY: $OPENSSL_LEGACY"
468 echo "OPENSSL_NEXT: $OPENSSL_NEXT"
469 echo "GNUTLS_CLI: $GNUTLS_CLI"
470 echo "GNUTLS_SERV: $GNUTLS_SERV"
471 echo "GNUTLS_LEGACY_CLI: $GNUTLS_LEGACY_CLI"
472 echo "GNUTLS_LEGACY_SERV: $GNUTLS_LEGACY_SERV"
473 echo "ARMC5_BIN_DIR: $ARMC5_BIN_DIR"
474 echo "ARMC6_BIN_DIR: $ARMC6_BIN_DIR"
475}
Andres AG87bb5772016-09-27 15:05:15 +0100476
Gilles Peskine87964262019-01-06 22:40:00 +0000477# Make sure the tools we need are available.
Gilles Peskine8f073122018-11-27 15:58:47 +0100478pre_check_tools () {
Gilles Peskinecc9f0b92019-01-06 22:46:21 +0000479 # Build the list of variables to pass to output_env.sh.
480 set env
481
Gilles Peskine87964262019-01-06 22:40:00 +0000482 case " $RUN_COMPONENTS " in
483 # Require OpenSSL and GnuTLS if running any tests (as opposed to
484 # only doing builds). Not all tests run OpenSSL and GnuTLS, but this
485 # is a good enough approximation in practice.
486 *" test_"*)
487 # To avoid setting OpenSSL and GnuTLS for each call to compat.sh
488 # and ssl-opt.sh, we just export the variables they require.
489 export OPENSSL_CMD="$OPENSSL"
490 export GNUTLS_CLI="$GNUTLS_CLI"
491 export GNUTLS_SERV="$GNUTLS_SERV"
492 # Avoid passing --seed flag in every call to ssl-opt.sh
493 if [ -n "${SEED-}" ]; then
494 export SEED
495 fi
Gilles Peskinecc9f0b92019-01-06 22:46:21 +0000496 set "$@" OPENSSL="$OPENSSL" OPENSSL_LEGACY="$OPENSSL_LEGACY"
497 set "$@" GNUTLS_CLI="$GNUTLS_CLI" GNUTLS_SERV="$GNUTLS_SERV"
498 set "$@" GNUTLS_LEGACY_CLI="$GNUTLS_LEGACY_CLI"
499 set "$@" GNUTLS_LEGACY_SERV="$GNUTLS_LEGACY_SERV"
Gilles Peskine87964262019-01-06 22:40:00 +0000500 check_tools "$OPENSSL" "$OPENSSL_LEGACY" "$OPENSSL_NEXT" \
501 "$GNUTLS_CLI" "$GNUTLS_SERV" \
502 "$GNUTLS_LEGACY_CLI" "$GNUTLS_LEGACY_SERV"
503 ;;
504 esac
Andres AGd9eba4b2016-08-26 14:42:14 +0100505
Gilles Peskine87964262019-01-06 22:40:00 +0000506 case " $RUN_COMPONENTS " in
507 *_doxygen[_\ ]*) check_tools "doxygen" "dot";;
508 esac
Andres AGb2fdd042016-09-22 14:17:46 +0100509
Gilles Peskine87964262019-01-06 22:40:00 +0000510 case " $RUN_COMPONENTS " in
511 *_arm_none_eabi_gcc[_\ ]*) check_tools "arm-none-eabi-gcc";;
512 esac
Andres AG7770ea82016-10-10 15:46:20 +0100513
Gilles Peskine87964262019-01-06 22:40:00 +0000514 case " $RUN_COMPONENTS " in
515 *_mingw[_\ ]*) check_tools "i686-w64-mingw32-gcc";;
516 esac
517
518 case " $RUN_COMPONENTS " in
519 *" test_zeroize "*) check_tools "gdb";;
520 esac
521
522 case " $RUN_COMPONENTS " in
Gilles Peskine5331c6e2019-01-06 22:23:42 +0000523 *_armcc*)
Gilles Peskine87964262019-01-06 22:40:00 +0000524 ARMC5_CC="$ARMC5_BIN_DIR/armcc"
525 ARMC5_AR="$ARMC5_BIN_DIR/armar"
526 ARMC6_CC="$ARMC6_BIN_DIR/armclang"
527 ARMC6_AR="$ARMC6_BIN_DIR/armar"
Gilles Peskine5331c6e2019-01-06 22:23:42 +0000528 check_tools "$ARMC5_CC" "$ARMC5_AR" "$ARMC6_CC" "$ARMC6_AR";;
529 esac
Gilles Peskinecc9f0b92019-01-06 22:46:21 +0000530
531 msg "info: output_env.sh"
532 case $RUN_COMPONENTS in
533 *_armcc*)
534 set "$@" ARMC5_CC="$ARMC5_CC" ARMC6_CC="$ARMC6_CC" RUN_ARMCC=1;;
535 *) set "$@" RUN_ARMCC=0;;
536 esac
537 "$@" scripts/output_env.sh
Gilles Peskine8f073122018-11-27 15:58:47 +0100538}
Gilles Peskine192c72f2017-12-21 15:59:21 +0100539
540
Gilles Peskinecc9f0b92019-01-06 22:46:21 +0000541
Gilles Peskine192c72f2017-12-21 15:59:21 +0100542################################################################
543#### Basic checks
544################################################################
Andres AGd9eba4b2016-08-26 14:42:14 +0100545
SimonB2e23c822016-04-16 21:54:39 +0100546#
547# Test Suites to be executed
548#
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200549# The test ordering tries to optimize for the following criteria:
Manuel Pégourié-Gonnard89d69b32014-11-20 13:48:53 +0100550# 1. Catch possible problems early, by running first tests that run quickly
Manuel Pégourié-Gonnard61bc57a2014-08-14 11:29:06 +0200551# and/or are more likely to fail than others (eg I use Clang most of the
552# time, so start with a GCC build).
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200553# 2. Minimize total running time, by avoiding useless rebuilds
554#
555# Indicative running times are given for reference.
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100556
Gilles Peskine8f073122018-11-27 15:58:47 +0100557component_check_recursion () {
558 msg "test: recursion.pl" # < 1s
559 record_status tests/scripts/recursion.pl library/*.c
560}
Manuel Pégourié-Gonnardea29d152014-11-20 17:32:33 +0100561
Gilles Peskine8f073122018-11-27 15:58:47 +0100562component_check_generated_files () {
563 msg "test: freshness of generated source files" # < 1s
564 record_status tests/scripts/check-generated-files.sh
565}
Manuel Pégourié-Gonnardb3b8e432015-02-13 14:52:19 +0000566
Gilles Peskine8f073122018-11-27 15:58:47 +0100567component_check_doxy_blocks () {
568 msg "test: doxygen markup outside doxygen blocks" # < 1s
569 record_status tests/scripts/check-doxy-blocks.pl
570}
Manuel Pégourié-Gonnardd09a6b52015-04-09 17:19:23 +0200571
Gilles Peskine8f073122018-11-27 15:58:47 +0100572component_check_files () {
573 msg "test: check-files.py" # < 1s
Gilles Peskine8f073122018-11-27 15:58:47 +0100574 record_status tests/scripts/check-files.py
575}
Darryl Greena07039c2018-03-13 16:48:16 +0000576
Gilles Peskine8f073122018-11-27 15:58:47 +0100577component_check_names () {
578 msg "test/build: declared and exported names" # < 3s
Gilles Peskine473f2d42019-05-15 17:52:22 +0200579 record_status tests/scripts/check-names.sh -v
Gilles Peskine8f073122018-11-27 15:58:47 +0100580}
Manuel Pégourié-Gonnarda687baf2015-04-09 11:09:03 +0200581
Gilles Peskine8f073122018-11-27 15:58:47 +0100582component_check_doxygen_warnings () {
583 msg "test: doxygen warnings" # ~ 3s
Gilles Peskine8f073122018-11-27 15:58:47 +0100584 record_status tests/scripts/doxygen.sh
585}
Manuel Pégourié-Gonnard1d552e72016-01-04 16:49:09 +0100586
Gilles Peskine192c72f2017-12-21 15:59:21 +0100587
588
589################################################################
590#### Build and test many configurations and targets
591################################################################
592
Gilles Peskine99a33102019-04-08 17:00:15 +0200593component_test_default_out_of_box () {
594 msg "build: make, default config (out-of-box)" # ~1min
595 make
596
597 msg "test: main suites make, default config (out-of-box)" # ~10s
598 make test
599
600 msg "selftest: make, default config (out-of-box)" # ~10s
601 programs/test/selftest
602}
603
Gilles Peskine8f073122018-11-27 15:58:47 +0100604component_test_default_cmake_gcc_asan () {
605 msg "build: cmake, gcc, ASan" # ~ 1 min 50s
Gilles Peskine8f073122018-11-27 15:58:47 +0100606 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
607 make
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100608
Gilles Peskine8f073122018-11-27 15:58:47 +0100609 msg "test: main suites (inc. selftests) (ASan build)" # ~ 50s
610 make test
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200611
Gilles Peskine8f073122018-11-27 15:58:47 +0100612 msg "test: ssl-opt.sh (ASan build)" # ~ 1 min
613 if_build_succeeded tests/ssl-opt.sh
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200614
Gilles Peskine8f073122018-11-27 15:58:47 +0100615 msg "test: compat.sh (ASan build)" # ~ 6 min
616 if_build_succeeded tests/compat.sh
617}
Manuel Pégourié-Gonnard57255b12014-06-09 11:21:49 +0200618
Gilles Peskine782f4112018-11-27 16:11:09 +0100619component_test_ref_configs () {
620 msg "test/build: ref-configs (ASan build)" # ~ 6 min 20s
621 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
622 record_status tests/scripts/test-ref-configs.pl
623}
624
Gilles Peskine8f073122018-11-27 15:58:47 +0100625component_test_sslv3 () {
626 msg "build: Default + SSLv3 (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100627 scripts/config.pl set MBEDTLS_SSL_PROTO_SSL3
628 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
629 make
Simon Butcher3ea7f522016-03-07 23:22:10 +0000630
Gilles Peskine8f073122018-11-27 15:58:47 +0100631 msg "test: SSLv3 - main suites (inc. selftests) (ASan build)" # ~ 50s
632 make test
Simon Butcher3ea7f522016-03-07 23:22:10 +0000633
Gilles Peskine8f073122018-11-27 15:58:47 +0100634 msg "build: SSLv3 - compat.sh (ASan build)" # ~ 6 min
635 if_build_succeeded tests/compat.sh -m 'tls1 tls1_1 tls1_2 dtls1 dtls1_2'
636 if_build_succeeded env OPENSSL_CMD="$OPENSSL_LEGACY" tests/compat.sh -m 'ssl3'
Simon Butcher3ea7f522016-03-07 23:22:10 +0000637
Gilles Peskine8f073122018-11-27 15:58:47 +0100638 msg "build: SSLv3 - ssl-opt.sh (ASan build)" # ~ 6 min
639 if_build_succeeded tests/ssl-opt.sh
640}
Simon Butcher3ea7f522016-03-07 23:22:10 +0000641
Gilles Peskine8f073122018-11-27 15:58:47 +0100642component_test_no_renegotiation () {
643 msg "build: Default + !MBEDTLS_SSL_RENEGOTIATION (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100644 scripts/config.pl unset MBEDTLS_SSL_RENEGOTIATION
645 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
646 make
Hanno Becker134c2ab2017-10-12 15:29:50 +0100647
Gilles Peskine8f073122018-11-27 15:58:47 +0100648 msg "test: !MBEDTLS_SSL_RENEGOTIATION - main suites (inc. selftests) (ASan build)" # ~ 50s
649 make test
Hanno Becker134c2ab2017-10-12 15:29:50 +0100650
Gilles Peskine8f073122018-11-27 15:58:47 +0100651 msg "test: !MBEDTLS_SSL_RENEGOTIATION - ssl-opt.sh (ASan build)" # ~ 6 min
652 if_build_succeeded tests/ssl-opt.sh
653}
Manuel Pégourié-Gonnard246978d2014-11-20 13:29:53 +0100654
Hanno Beckere562e7d2019-05-10 14:45:37 +0100655component_test_no_pem_no_fs () {
656 msg "build: Default + !MBEDTLS_PEM_PARSE_C + !MBEDTLS_FS_IO (ASan build)"
657 scripts/config.pl unset MBEDTLS_PEM_PARSE_C
658 scripts/config.pl unset MBEDTLS_FS_IO
659 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
660 make
661
662 msg "test: !MBEDTLS_PEM_PARSE_C !MBEDTLS_FS_IO - main suites (inc. selftests) (ASan build)" # ~ 50s
663 make test
664
665 msg "test: !MBEDTLS_PEM_PARSE_C !MBEDTLS_FS_IO - ssl-opt.sh (ASan build)" # ~ 6 min
666 if_build_succeeded tests/ssl-opt.sh
667}
668
Gilles Peskine8f073122018-11-27 15:58:47 +0100669component_test_rsa_no_crt () {
670 msg "build: Default + RSA_NO_CRT (ASan build)" # ~ 6 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100671 scripts/config.pl set MBEDTLS_RSA_NO_CRT
672 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
673 make
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100674
Gilles Peskine8f073122018-11-27 15:58:47 +0100675 msg "test: RSA_NO_CRT - main suites (inc. selftests) (ASan build)" # ~ 50s
676 make test
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100677
Gilles Peskine8f073122018-11-27 15:58:47 +0100678 msg "test: RSA_NO_CRT - RSA-related part of ssl-opt.sh (ASan build)" # ~ 5s
679 if_build_succeeded tests/ssl-opt.sh -f RSA
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100680
Gilles Peskine8f073122018-11-27 15:58:47 +0100681 msg "test: RSA_NO_CRT - RSA-related part of compat.sh (ASan build)" # ~ 3 min
682 if_build_succeeded tests/compat.sh -t RSA
683}
Hanno Beckerd5ba5ef2017-09-28 12:53:51 +0100684
Hanno Beckerc973fde2019-08-26 13:35:56 +0100685component_test_no_ctr_drbg () {
686 msg "build: Default + !MBEDTLS_CTR_DRBG_C"
687 scripts/config.pl unset MBEDTLS_CTR_DRBG_C
688 CC=gcc cmake .
689 make
690
691 msg "test: !MBEDTLS_CTR_DRBG_C - ssl-opt.sh" # ~ 5s
692 if_build_succeeded tests/ssl-opt.sh --filter "Default"
693}
694
695component_test_no_ctr_drbg_no_sha512 () {
696 msg "build: Default + !MBEDTLS_CTR_DRBG_C + !MBEDTLS_SHA512_C"
697 scripts/config.pl unset MBEDTLS_CTR_DRBG_C
698 scripts/config.pl unset MBEDTLS_SHA512_C
699 CC=gcc cmake .
700 make
701
702 msg "test: !MBEDTLS_CTR_DRBG_C + !MBEDTLS_SHA512_C - ssl-opt.sh" # ~ 5s
703 if_build_succeeded tests/ssl-opt.sh --filter "Default"
704}
705
Jarno Lamsa0905c3d2019-06-19 14:04:31 +0300706component_test_no_resumption () {
Jarno Lamsa29f2dd02019-06-20 15:31:52 +0300707 msg "build: Default + MBEDTLS_SSL_NO_SESSION_RESUMPTION (ASan build)" # ~ 6 min
Jarno Lamsa0905c3d2019-06-19 14:04:31 +0300708 scripts/config.pl unset MBEDTLS_SSL_SESSION_TICKETS
Jarno Lamsa29f2dd02019-06-20 15:31:52 +0300709 scripts/config.pl set MBEDTLS_SSL_NO_SESSION_CACHE
710 scripts/config.pl set MBEDTLS_SSL_NO_SESSION_RESUMPTION
Jarno Lamsa0905c3d2019-06-19 14:04:31 +0300711 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
712 make
713
Jarno Lamsa29f2dd02019-06-20 15:31:52 +0300714 msg "test: MBEDTLS_SSL_NO_SESSION_RESUMPTION - main suites (inc. selftests) (ASan build)" # ~ 50s
Jarno Lamsa0905c3d2019-06-19 14:04:31 +0300715 make test
716
Jarno Lamsa29f2dd02019-06-20 15:31:52 +0300717 msg "test: MBEDTLS_SSL_NO_SESSION_RESUMPTION - ssl-opt.sh (ASan build)" # ~ 6 min
Jarno Lamsa0905c3d2019-06-19 14:04:31 +0300718 if_build_succeeded tests/ssl-opt.sh
719}
720
Gilles Peskine8f073122018-11-27 15:58:47 +0100721component_test_small_ssl_out_content_len () {
722 msg "build: small SSL_OUT_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100723 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 16384
724 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 4096
725 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
726 make
Angus Grattonc4dd0732018-04-11 16:28:39 +1000727
Gilles Peskine8f073122018-11-27 15:58:47 +0100728 msg "test: small SSL_OUT_CONTENT_LEN - ssl-opt.sh MFL and large packet tests"
729 if_build_succeeded tests/ssl-opt.sh -f "Max fragment\|Large packet"
730}
Angus Grattonc4dd0732018-04-11 16:28:39 +1000731
Gilles Peskine8f073122018-11-27 15:58:47 +0100732component_test_small_ssl_in_content_len () {
733 msg "build: small SSL_IN_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +0100734 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 4096
735 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 16384
736 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
737 make
Angus Grattonc4dd0732018-04-11 16:28:39 +1000738
Gilles Peskine8f073122018-11-27 15:58:47 +0100739 msg "test: small SSL_IN_CONTENT_LEN - ssl-opt.sh MFL tests"
740 if_build_succeeded tests/ssl-opt.sh -f "Max fragment"
741}
Angus Grattonc4dd0732018-04-11 16:28:39 +1000742
Gilles Peskine8f073122018-11-27 15:58:47 +0100743component_test_small_ssl_dtls_max_buffering () {
744 msg "build: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #0"
Gilles Peskine8f073122018-11-27 15:58:47 +0100745 scripts/config.pl set MBEDTLS_SSL_DTLS_MAX_BUFFERING 1000
746 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
747 make
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100748
Gilles Peskine8f073122018-11-27 15:58:47 +0100749 msg "test: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #0 - ssl-opt.sh specific reordering test"
750 if_build_succeeded tests/ssl-opt.sh -f "DTLS reordering: Buffer out-of-order hs msg before reassembling next, free buffered msg"
751}
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100752
Gilles Peskine8f073122018-11-27 15:58:47 +0100753component_test_small_mbedtls_ssl_dtls_max_buffering () {
754 msg "build: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #1"
Manuel Pégourié-Gonnardf8c355a2019-05-28 10:21:30 +0200755 scripts/config.pl set MBEDTLS_SSL_DTLS_MAX_BUFFERING 190
Gilles Peskine8f073122018-11-27 15:58:47 +0100756 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
757 make
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100758
Gilles Peskine8f073122018-11-27 15:58:47 +0100759 msg "test: small MBEDTLS_SSL_DTLS_MAX_BUFFERING #1 - ssl-opt.sh specific reordering test"
760 if_build_succeeded tests/ssl-opt.sh -f "DTLS reordering: Buffer encrypted Finished message, drop for fragmented NewSessionTicket"
761}
Hanno Becker2f5aa4c2018-08-24 14:43:44 +0100762
Gilles Peskine8f073122018-11-27 15:58:47 +0100763component_test_full_cmake_clang () {
764 msg "build: cmake, full config, clang" # ~ 50s
Gilles Peskine8f073122018-11-27 15:58:47 +0100765 scripts/config.pl full
766 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
Hanno Becker22cf2552019-05-28 16:45:21 +0100767 CC=clang cmake -D LINK_WITH_PTHREAD=1 -D CMAKE_BUILD_TYPE:String=Check -D ENABLE_TESTING=On .
Gilles Peskine8f073122018-11-27 15:58:47 +0100768 make
Manuel Pégourié-Gonnard3895f5a2014-03-27 14:44:04 +0100769
Gilles Peskine8f073122018-11-27 15:58:47 +0100770 msg "test: main suites (full config)" # ~ 5s
771 make test
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200772
Gilles Peskine8f073122018-11-27 15:58:47 +0100773 msg "test: ssl-opt.sh default, ECJPAKE, SSL async (full config)" # ~ 1s
774 if_build_succeeded tests/ssl-opt.sh -f 'Default\|ECJPAKE\|SSL async private'
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200775
Andres Amaya Garciaac9c5222019-01-08 21:42:27 +0000776 msg "test: compat.sh RC4, DES, 3DES & NULL (full config)" # ~ 2 min
Andres Amaya Garcia37e0a8c2019-02-19 20:20:57 +0000777 if_build_succeeded env OPENSSL_CMD="$OPENSSL_LEGACY" GNUTLS_CLI="$GNUTLS_LEGACY_CLI" GNUTLS_SERV="$GNUTLS_LEGACY_SERV" tests/compat.sh -e '^$' -f 'NULL\|DES\|RC4\|ARCFOUR'
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200778
Gilles Peskine8f073122018-11-27 15:58:47 +0100779 msg "test: compat.sh ARIA + ChachaPoly"
780 if_build_succeeded env OPENSSL_CMD="$OPENSSL_NEXT" tests/compat.sh -e '^$' -f 'ARIA\|CHACHA'
781}
Manuel Pégourié-Gonnard6b368922018-02-20 12:02:07 +0100782
Hanno Beckerefe13272019-07-03 13:32:01 +0100783component_test_hardcoded_ciphersuite_cmake_clang() {
784 msg "build: cmake, full config + MBEDTLS_SSL_CONF_SINGLE_CIPHERSUITE, clang" # ~ 50s
785 scripts/config.pl full
Hanno Beckerffb45b92019-07-19 15:07:03 +0100786 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE
787 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
Hanno Beckerefe13272019-07-03 13:32:01 +0100788 scripts/config.pl set MBEDTLS_SSL_CONF_SINGLE_CIPHERSUITE MBEDTLS_SUITE_TLS_ECDHE_ECDSA_WITH_AES_128_CCM_8
Hanno Beckerffb45b92019-07-19 15:07:03 +0100789 CC=clang cmake -D LINK_WITH_PTHREAD=1 -D CMAKE_BUILD_TYPE:String=ASanDbg -D ENABLE_TESTING=On .
790 make
791
792 msg "test: main suites (full config + MBEDTLS_SSL_CONF_SINGLE_CIPHERSUITE)" # ~ 5s
793 make test
794
795 msg "test: ssl-opt.sh default (full config + MBEDTLS_SSL_CONF_SINGLE_CIPHERSUITE)" # ~ 5s
796 if_build_succeeded tests/ssl-opt.sh -f '^Default$\|^Default, DTLS$'
797}
798
799component_test_hardcoded_timer_callback_cmake_clang() {
800 msg "build: cmake, full config + MBEDTLS_SSL_CONF_SINGLE_CIPHERSUITE, clang" # ~ 50s
801 scripts/config.pl full
802 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE
803 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
804 scripts/config.pl set MBEDTLS_SSL_CONF_GET_TIMER mbedtls_timing_get_delay
805 scripts/config.pl set MBEDTLS_SSL_CONF_SET_TIMER mbedtls_timing_set_delay
806 CC=clang cmake -D LINK_WITH_PTHREAD=1 -D CMAKE_BUILD_TYPE:String=ASanDbg -D ENABLE_TESTING=On .
Hanno Beckerefe13272019-07-03 13:32:01 +0100807 make
808
809 msg "test: main suites (full config + MBEDTLS_SSL_CONF_SINGLE_CIPHERSUITE)" # ~ 5s
810 make test
811
812 msg "test: ssl-opt.sh default (full config + MBEDTLS_SSL_CONF_SINGLE_CIPHERSUITE)" # ~ 5s
813 if_build_succeeded tests/ssl-opt.sh -f '^Default$\|^Default, DTLS$'
814}
815
Hanno Becker9fb3f1e2019-07-19 16:55:35 +0100816component_test_hardcoded_version_cmake_clang() {
817 msg "build: cmake, full config + hardcoded version, clang" # ~ 50s
818 scripts/config.pl full
819 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE
820 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
821 scripts/config.pl set MBEDTLS_SSL_CONF_MIN_MINOR_VER MBEDTLS_SSL_MINOR_VERSION_3
822 scripts/config.pl set MBEDTLS_SSL_CONF_MAX_MINOR_VER MBEDTLS_SSL_MINOR_VERSION_3
823 scripts/config.pl set MBEDTLS_SSL_CONF_MIN_MAJOR_VER MBEDTLS_SSL_MAJOR_VERSION_3
824 scripts/config.pl set MBEDTLS_SSL_CONF_MAX_MAJOR_VER MBEDTLS_SSL_MAJOR_VERSION_3
825 CC=clang cmake -D LINK_WITH_PTHREAD=1 -D CMAKE_BUILD_TYPE:String=ASanDbg -D ENABLE_TESTING=On .
826 make
827
828 msg "test: main suites (full config + hardcoded version)" # ~ 5s
829 make test
830
831 msg "test: ssl-opt.sh default (full config + hardcoded version)" # ~ 5s
832 if_build_succeeded tests/ssl-opt.sh -f '^Default$\|^Default, DTLS$'
833}
834
Hanno Becker2a0cd5a2019-07-19 17:07:20 +0100835component_test_hardcoded_io_callbacks_cmake_clang() {
836 msg "build: cmake, full config + hardcoded IO callbacks, clang" # ~ 50s
837 scripts/config.pl full
838 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE
839 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
840 scripts/config.pl set MBEDTLS_SSL_CONF_RECV mbedtls_net_recv
841 scripts/config.pl set MBEDTLS_SSL_CONF_SEND mbedtls_net_send
842 scripts/config.pl set MBEDTLS_SSL_CONF_RECV_TIMEOUT mbedtls_net_recv_timeout
843 CC=clang cmake -D LINK_WITH_PTHREAD=1 -D CMAKE_BUILD_TYPE:String=ASanDbg -D ENABLE_TESTING=On .
844 make
845
846 msg "test: main suites (full config + hardcoded IO callbacks)" # ~ 5s
847 make test
848
849 msg "test: ssl-opt.sh default (full config + hardcoded IO callbacks)" # ~ 5s
850 if_build_succeeded tests/ssl-opt.sh -f '^Default$\|^Default, DTLS$'
851}
852
Hanno Becker6dd8e1c2019-07-22 11:04:12 +0100853component_test_hardcoded_misc_options_cmake_clang() {
854 msg "build: cmake, full config + hardcode various SSL config options, clang" # ~ 50s
855 scripts/config.pl full
856 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE
857 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
858 scripts/config.pl set MBEDTLS_SSL_CONF_READ_TIMEOUT 0
859 scripts/config.pl set MBEDTLS_SSL_CONF_HS_TIMEOUT_MIN MBEDTLS_SSL_DTLS_TIMEOUT_DFL_MIN
860 scripts/config.pl set MBEDTLS_SSL_CONF_HS_TIMEOUT_MAX MBEDTLS_SSL_DTLS_TIMEOUT_DFL_MAX
861 scripts/config.pl set MBEDTLS_SSL_CONF_CERT_REQ_CA_LIST MBEDTLS_SSL_CERT_REQ_CA_LIST_ENABLED
862 scripts/config.pl set MBEDTLS_SSL_CONF_ANTI_REPLAY MBEDTLS_SSL_ANTI_REPLAY_ENABLED
863 scripts/config.pl set MBEDTLS_SSL_CONF_BADMAC_LIMIT 0
864 scripts/config.pl set MBEDTLS_SSL_CONF_AUTHMODE MBEDTLS_SSL_VERIFY_REQUIRED
865 scripts/config.pl set MBEDTLS_SSL_CONF_ALLOW_LEGACY_RENEGOTIATION MBEDTLS_SSL_LEGACY_NO_RENEGOTIATION
866 CC=clang cmake -D LINK_WITH_PTHREAD=1 -D CMAKE_BUILD_TYPE:String=ASanDbg -D ENABLE_TESTING=On .
867 make
868
869 msg "test: main suites (full config + hardcode various SSL config options)" # ~ 5s
870 make test
871
872 msg "test: ssl-opt.sh default (full config + hardcode various SSL config options)" # ~ 5s
873 if_build_succeeded tests/ssl-opt.sh -f '^Default$\|^Default, DTLS$'
874}
875
Hanno Beckerfe1bd782019-07-19 17:32:14 +0100876component_test_hardcoded_elliptic_curve_cmake_clang() {
877 msg "build: cmake, full config + hardcode elliptic curve, clang" # ~ 50s
878 scripts/config.pl full
879 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE
880 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
881 scripts/config.pl set MBEDTLS_SSL_CONF_SINGLE_EC
882 scripts/config.pl set MBEDTLS_SSL_CONF_SINGLE_EC_GRP_ID MBEDTLS_ECP_DP_SECP256R1
883 scripts/config.pl set MBEDTLS_SSL_CONF_SINGLE_EC_TLS_ID 23
884 CC=clang cmake -D LINK_WITH_PTHREAD=1 -D CMAKE_BUILD_TYPE:String=ASanDbg -D ENABLE_TESTING=On .
885 make
886
887 msg "test: main suites (full config + hardcode elliptic curve)" # ~ 5s
888 make test
889
890 msg "test: ssl-opt.sh default (full config + hardcode elliptic curve)" # ~ 5s
891 if_build_succeeded tests/ssl-opt.sh -f '^Default$\|^Default, DTLS$'
892}
893
Gilles Peskine8f073122018-11-27 15:58:47 +0100894component_build_deprecated () {
895 msg "build: make, full config + DEPRECATED_WARNING, gcc -O" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100896 scripts/config.pl full
897 scripts/config.pl set MBEDTLS_DEPRECATED_WARNING
898 # Build with -O -Wextra to catch a maximum of issues.
899 make CC=gcc CFLAGS='-O -Werror -Wall -Wextra' lib programs
Hanno Becker22cf2552019-05-28 16:45:21 +0100900 make PTHREAD=1 CC=gcc CFLAGS='-O -Werror -Wall -Wextra -Wno-unused-function' tests
Gilles Peskineb4ef45b2018-03-01 22:23:50 +0100901
Gilles Peskine8f073122018-11-27 15:58:47 +0100902 msg "build: make, full config + DEPRECATED_REMOVED, clang -O" # ~ 30s
903 # No cleanup, just tweak the configuration and rebuild
904 make clean
905 scripts/config.pl unset MBEDTLS_DEPRECATED_WARNING
906 scripts/config.pl set MBEDTLS_DEPRECATED_REMOVED
907 # Build with -O -Wextra to catch a maximum of issues.
908 make CC=clang CFLAGS='-O -Werror -Wall -Wextra' lib programs
Hanno Becker22cf2552019-05-28 16:45:21 +0100909 make PTHREAD=1 CC=clang CFLAGS='-O -Werror -Wall -Wextra -Wno-unused-function' tests
Gilles Peskine8f073122018-11-27 15:58:47 +0100910}
Gilles Peskine0afe6242018-02-21 19:28:12 +0100911
Manuel Pégourié-Gonnarde73b2632014-07-12 04:00:00 +0200912
Gilles Peskine8f073122018-11-27 15:58:47 +0100913component_test_depends_curves () {
914 msg "test/build: curves.pl (gcc)" # ~ 4 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100915 record_status tests/scripts/curves.pl
916}
Manuel Pégourié-Gonnard1fe6bb92017-06-06 11:36:16 +0200917
Gilles Peskine8f073122018-11-27 15:58:47 +0100918component_test_depends_hashes () {
919 msg "test/build: depends-hashes.pl (gcc)" # ~ 2 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100920 record_status tests/scripts/depends-hashes.pl
921}
Manuel Pégourié-Gonnard43be6cd2017-06-20 09:53:42 +0200922
Gilles Peskine8f073122018-11-27 15:58:47 +0100923component_test_depends_pkalgs () {
924 msg "test/build: depends-pkalgs.pl (gcc)" # ~ 2 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100925 record_status tests/scripts/depends-pkalgs.pl
926}
Manuel Pégourié-Gonnard503a5ef2015-10-23 09:04:45 +0200927
Gilles Peskine8f073122018-11-27 15:58:47 +0100928component_build_key_exchanges () {
929 msg "test/build: key-exchanges (gcc)" # ~ 1 min
Gilles Peskine8f073122018-11-27 15:58:47 +0100930 record_status tests/scripts/key-exchanges.pl
931}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +0100932
Gilles Peskine8f073122018-11-27 15:58:47 +0100933component_build_default_make_gcc_and_cxx () {
934 msg "build: Unix make, -Os (gcc)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100935 make CC=gcc CFLAGS='-Werror -Wall -Wextra -Os'
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400936
Gilles Peskine8f073122018-11-27 15:58:47 +0100937 msg "test: verify header list in cpp_dummy_build.cpp"
938 record_status check_headers_in_cpp
Andrzej Kurek991f9fe2018-07-02 09:08:21 -0400939
Gilles Peskine8f073122018-11-27 15:58:47 +0100940 msg "build: Unix make, incremental g++"
941 make TEST_CPP=1
942}
Manuel Pégourié-Gonnarda71780e2015-02-13 13:56:55 +0000943
Gilles Peskinedcab2022019-06-12 16:05:50 +0200944component_test_check_params_functionality () {
945 msg "build+test: MBEDTLS_CHECK_PARAMS functionality"
946 scripts/config.pl full # includes CHECK_PARAMS
947 # Make MBEDTLS_PARAM_FAILED call mbedtls_param_failed().
948 scripts/config.pl unset MBEDTLS_CHECK_PARAMS_ASSERT
949 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
950 # Only build and run tests. Do not build sample programs, because
951 # they don't have a mbedtls_param_failed() function.
952 make CC=gcc CFLAGS='-Werror -O1' lib test
953}
954
Gilles Peskineb28636b2019-01-02 19:06:24 +0100955component_test_check_params_without_platform () {
956 msg "build+test: MBEDTLS_CHECK_PARAMS without MBEDTLS_PLATFORM_C"
957 scripts/config.pl full # includes CHECK_PARAMS
Gilles Peskinedcab2022019-06-12 16:05:50 +0200958 # Keep MBEDTLS_PARAM_FAILED as assert.
Gilles Peskineb28636b2019-01-02 19:06:24 +0100959 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
960 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
961 scripts/config.pl unset MBEDTLS_PLATFORM_EXIT_ALT
962 scripts/config.pl unset MBEDTLS_PLATFORM_TIME_ALT
963 scripts/config.pl unset MBEDTLS_PLATFORM_FPRINTF_ALT
964 scripts/config.pl unset MBEDTLS_PLATFORM_MEMORY
965 scripts/config.pl unset MBEDTLS_PLATFORM_PRINTF_ALT
966 scripts/config.pl unset MBEDTLS_PLATFORM_SNPRINTF_ALT
967 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
968 scripts/config.pl unset MBEDTLS_PLATFORM_C
Hanno Becker22cf2552019-05-28 16:45:21 +0100969 make CC=gcc PTHREAD=1 CFLAGS='-Werror -O1' all test
Gilles Peskineb28636b2019-01-02 19:06:24 +0100970}
Manuel Pégourié-Gonnard009a2642015-05-29 10:31:13 +0200971
Gilles Peskineb28636b2019-01-02 19:06:24 +0100972component_test_check_params_silent () {
973 msg "build+test: MBEDTLS_CHECK_PARAMS with alternative MBEDTLS_PARAM_FAILED()"
974 scripts/config.pl full # includes CHECK_PARAMS
975 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
Gilles Peskinedcab2022019-06-12 16:05:50 +0200976 # Set MBEDTLS_PARAM_FAILED to nothing.
Gilles Peskineb28636b2019-01-02 19:06:24 +0100977 sed -i 's/.*\(#define MBEDTLS_PARAM_FAILED( cond )\).*/\1/' "$CONFIG_H"
Hanno Becker22cf2552019-05-28 16:45:21 +0100978 make CC=gcc PTHREAD=1 CFLAGS='-Werror -O1' all test
Gilles Peskineb28636b2019-01-02 19:06:24 +0100979}
Hanno Becker5175ac62017-09-18 15:36:25 +0100980
Gilles Peskine8f073122018-11-27 15:58:47 +0100981component_test_no_platform () {
982 # Full configuration build, without platform support, file IO and net sockets.
983 # This should catch missing mbedtls_printf definitions, and by disabling file
984 # IO, it should catch missing '#include <stdio.h>'
985 msg "build: full config except platform/fsio/net, make, gcc, C99" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +0100986 scripts/config.pl full
987 scripts/config.pl unset MBEDTLS_PLATFORM_C
988 scripts/config.pl unset MBEDTLS_NET_C
989 scripts/config.pl unset MBEDTLS_PLATFORM_MEMORY
990 scripts/config.pl unset MBEDTLS_PLATFORM_PRINTF_ALT
991 scripts/config.pl unset MBEDTLS_PLATFORM_FPRINTF_ALT
992 scripts/config.pl unset MBEDTLS_PLATFORM_SNPRINTF_ALT
993 scripts/config.pl unset MBEDTLS_PLATFORM_TIME_ALT
994 scripts/config.pl unset MBEDTLS_PLATFORM_EXIT_ALT
995 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
996 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
997 scripts/config.pl unset MBEDTLS_FS_IO
998 # Note, _DEFAULT_SOURCE needs to be defined for platforms using glibc version >2.19,
999 # to re-enable platform integration features otherwise disabled in C99 builds
Hanno Becker22cf2552019-05-28 16:45:21 +01001000 make CC=gcc PTHREAD=1 CFLAGS='-Werror -Wall -Wextra -std=c99 -pedantic -O0 -D_DEFAULT_SOURCE' lib programs
1001 make CC=gcc PTHREAD=1 CFLAGS='-Werror -Wall -Wextra -O0' test
Gilles Peskine8f073122018-11-27 15:58:47 +01001002}
Manuel Pégourié-Gonnard66b8e952015-05-20 11:13:56 +02001003
Gilles Peskine8f073122018-11-27 15:58:47 +01001004component_build_no_std_function () {
1005 # catch compile bugs in _uninit functions
1006 msg "build: full config with NO_STD_FUNCTION, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +01001007 scripts/config.pl full
1008 scripts/config.pl set MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
1009 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
Hanno Becker22cf2552019-05-28 16:45:21 +01001010 make CC=gcc PTHREAD=1 CFLAGS='-Werror -Wall -Wextra -O0'
Gilles Peskine8f073122018-11-27 15:58:47 +01001011}
Manuel Pégourié-Gonnard66b8e952015-05-20 11:13:56 +02001012
Gilles Peskine8f073122018-11-27 15:58:47 +01001013component_build_no_ssl_srv () {
1014 msg "build: full config except ssl_srv.c, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +01001015 scripts/config.pl full
1016 scripts/config.pl unset MBEDTLS_SSL_SRV_C
Hanno Becker22cf2552019-05-28 16:45:21 +01001017 make CC=gcc PTHREAD=1 CFLAGS='-Werror -Wall -Wextra -O0'
Gilles Peskine8f073122018-11-27 15:58:47 +01001018}
Manuel Pégourié-Gonnard66b8e952015-05-20 11:13:56 +02001019
Gilles Peskine8f073122018-11-27 15:58:47 +01001020component_build_no_ssl_cli () {
1021 msg "build: full config except ssl_cli.c, make, gcc" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +01001022 scripts/config.pl full
1023 scripts/config.pl unset MBEDTLS_SSL_CLI_C
Hanno Becker22cf2552019-05-28 16:45:21 +01001024 make CC=gcc PTHREAD=1 CFLAGS='-Werror -Wall -Wextra -O0'
Gilles Peskine8f073122018-11-27 15:58:47 +01001025}
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +00001026
Gilles Peskine8f073122018-11-27 15:58:47 +01001027component_build_no_sockets () {
1028 # Note, C99 compliance can also be tested with the sockets support disabled,
1029 # as that requires a POSIX platform (which isn't the same as C99).
1030 msg "build: full config except net_sockets.c, make, gcc -std=c99 -pedantic" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +01001031 scripts/config.pl full
1032 scripts/config.pl unset MBEDTLS_NET_C # getaddrinfo() undeclared, etc.
1033 scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY # uses syscall() on GNU/Linux
Hanno Becker22cf2552019-05-28 16:45:21 +01001034 make CC=gcc PTHREAD=1 CFLAGS='-Werror -Wall -Wextra -O0 -std=c99 -pedantic' lib
Gilles Peskine8f073122018-11-27 15:58:47 +01001035}
Hanno Becker5175ac62017-09-18 15:36:25 +01001036
Gilles Peskine8f073122018-11-27 15:58:47 +01001037component_test_no_max_fragment_length () {
1038 # Run max fragment length tests with MFL disabled
1039 msg "build: default config except MFL extension (ASan build)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +01001040 scripts/config.pl unset MBEDTLS_SSL_MAX_FRAGMENT_LENGTH
1041 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
1042 make
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +00001043
Gilles Peskine8f073122018-11-27 15:58:47 +01001044 msg "test: ssl-opt.sh, MFL-related tests"
1045 if_build_succeeded tests/ssl-opt.sh -f "Max fragment length"
1046}
Angus Grattonc4dd0732018-04-11 16:28:39 +10001047
Hanno Becker92820a12019-02-19 11:10:48 +00001048component_test_asan_remove_peer_certificate () {
1049 msg "build: default config with MBEDTLS_SSL_KEEP_PEER_CERTIFICATE disabled (ASan build)"
1050 scripts/config.pl unset MBEDTLS_SSL_KEEP_PEER_CERTIFICATE
1051 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
1052 make
1053
1054 msg "test: !MBEDTLS_SSL_KEEP_PEER_CERTIFICATE"
1055 make test
1056
1057 msg "test: ssl-opt.sh, !MBEDTLS_SSL_KEEP_PEER_CERTIFICATE"
1058 if_build_succeeded tests/ssl-opt.sh
1059
1060 msg "test: compat.sh, !MBEDTLS_SSL_KEEP_PEER_CERTIFICATE"
1061 if_build_succeeded tests/compat.sh
1062}
1063
Hanno Beckere256f7c2019-06-07 11:14:53 +01001064component_test_asan_remove_peer_certificate_no_renego () {
1065 msg "build: default config with MBEDTLS_SSL_KEEP_PEER_CERTIFICATE and MBEDTLS_SSL_RENEGOTIATION disabled (ASan build)"
1066 scripts/config.pl unset MBEDTLS_SSL_KEEP_PEER_CERTIFICATE
1067 scripts/config.pl unset MBEDTLS_SSL_RENEGOTIATION
1068 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
1069 make
1070
1071 msg "test: !MBEDTLS_SSL_KEEP_PEER_CERTIFICATE"
1072 make test
1073
1074 msg "test: ssl-opt.sh, !MBEDTLS_SSL_KEEP_PEER_CERTIFICATE + !MBEDTLS_SSL_RENEGOTIATION"
1075 if_build_succeeded tests/ssl-opt.sh
1076
1077 msg "test: compat.sh, !MBEDTLS_SSL_KEEP_PEER_CERTIFICATE + !MBEDTLS_SSL_RENEGOTIATION"
1078 if_build_succeeded tests/compat.sh
1079}
1080
Hanno Beckerbfabd1d2019-02-28 17:31:54 +00001081component_test_asan_on_demand_parsing_remove_peer_cert () {
1082 msg "build: default config, no peer CRT, on-demand CRT parsing (ASan build)"
1083 scripts/config.pl unset MBEDTLS_SSL_KEEP_PEER_CERTIFICATE
1084 scripts/config.pl set MBEDTLS_X509_ON_DEMAND_PARSING
Hanno Becker7dbf49a2019-03-04 16:30:14 +00001085 scripts/config.pl set MBEDTLS_THREADING_C
1086 scripts/config.pl set MBEDTLS_THREADING_PTHREAD
Hanno Becker22cf2552019-05-28 16:45:21 +01001087 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan -D LINK_WITH_PTHREAD=1 .
Hanno Beckerbfabd1d2019-02-28 17:31:54 +00001088 make
1089
1090 msg "test: !MBEDTLS_SSL_KEEP_PEER_CERTIFICATE, MBEDTLS_X509_ON_DEMAND_PARSING"
1091 make test
1092
1093 msg "test: ssl-opt.sh, !MBEDTLS_SSL_KEEP_PEER_CERTIFICATE, MBEDTLS_X509_ON_DEMAND_PARSING"
1094 if_build_succeeded tests/ssl-opt.sh
1095}
1096
Gilles Peskine8f073122018-11-27 15:58:47 +01001097component_test_no_max_fragment_length_small_ssl_out_content_len () {
1098 msg "build: no MFL extension, small SSL_OUT_CONTENT_LEN (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +01001099 scripts/config.pl unset MBEDTLS_SSL_MAX_FRAGMENT_LENGTH
1100 scripts/config.pl set MBEDTLS_SSL_IN_CONTENT_LEN 16384
1101 scripts/config.pl set MBEDTLS_SSL_OUT_CONTENT_LEN 4096
1102 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
1103 make
Angus Grattonc4dd0732018-04-11 16:28:39 +10001104
Gilles Peskine8f073122018-11-27 15:58:47 +01001105 msg "test: MFL tests (disabled MFL extension case) & large packet tests"
1106 if_build_succeeded tests/ssl-opt.sh -f "Max fragment length\|Large buffer"
1107}
Janos Follath06c54002016-06-09 13:57:40 +01001108
Jaeden Amero2eaf2c72019-06-05 13:32:08 +01001109component_test_when_no_ciphersuites_have_mac () {
1110 msg "build: when no ciphersuites have MAC"
1111 scripts/config.pl unset MBEDTLS_CIPHER_NULL_CIPHER
1112 scripts/config.pl unset MBEDTLS_ARC4_C
1113 scripts/config.pl unset MBEDTLS_CIPHER_MODE_CBC
1114 make
1115
1116 msg "test: !MBEDTLS_SSL_SOME_MODES_USE_MAC"
1117 make test
1118
1119 msg "test ssl-opt.sh: !MBEDTLS_SSL_SOME_MODES_USE_MAC"
Jaeden Amerofa8e6da2019-06-05 14:42:50 +01001120 if_build_succeeded tests/ssl-opt.sh -f 'Default\|EtM' -e 'without EtM'
Jaeden Amero2eaf2c72019-06-05 13:32:08 +01001121}
1122
Gilles Peskine8f073122018-11-27 15:58:47 +01001123component_test_null_entropy () {
1124 msg "build: default config with MBEDTLS_TEST_NULL_ENTROPY (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +01001125 scripts/config.pl set MBEDTLS_TEST_NULL_ENTROPY
1126 scripts/config.pl set MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
1127 scripts/config.pl set MBEDTLS_ENTROPY_C
1128 scripts/config.pl unset MBEDTLS_ENTROPY_NV_SEED
1129 scripts/config.pl unset MBEDTLS_ENTROPY_HARDWARE_ALT
1130 scripts/config.pl unset MBEDTLS_HAVEGE_C
Gilles Peskine5fa32a72019-01-06 19:48:30 +00001131 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan -D UNSAFE_BUILD=ON .
Gilles Peskine8f073122018-11-27 15:58:47 +01001132 make
Janos Follath06c54002016-06-09 13:57:40 +01001133
Gilles Peskine8f073122018-11-27 15:58:47 +01001134 msg "test: MBEDTLS_TEST_NULL_ENTROPY - main suites (inc. selftests) (ASan build)"
1135 make test
1136}
Hanno Beckere5fecec2018-10-11 11:02:52 +01001137
Gilles Peskine8f073122018-11-27 15:58:47 +01001138component_test_platform_calloc_macro () {
1139 msg "build: MBEDTLS_PLATFORM_{CALLOC/FREE}_MACRO enabled (ASan build)"
Gilles Peskine8f073122018-11-27 15:58:47 +01001140 scripts/config.pl set MBEDTLS_PLATFORM_MEMORY
1141 scripts/config.pl set MBEDTLS_PLATFORM_CALLOC_MACRO calloc
1142 scripts/config.pl set MBEDTLS_PLATFORM_FREE_MACRO free
1143 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
1144 make
Hanno Beckere5fecec2018-10-11 11:02:52 +01001145
Gilles Peskine8f073122018-11-27 15:58:47 +01001146 msg "test: MBEDTLS_PLATFORM_{CALLOC/FREE}_MACRO enabled (ASan build)"
1147 make test
1148}
Hanno Becker83ebf782017-07-07 12:29:15 +01001149
Gilles Peskine8f073122018-11-27 15:58:47 +01001150component_test_aes_fewer_tables () {
1151 msg "build: default config with AES_FEWER_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +01001152 scripts/config.pl set MBEDTLS_AES_FEWER_TABLES
1153 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +01001154
Gilles Peskine8f073122018-11-27 15:58:47 +01001155 msg "test: AES_FEWER_TABLES"
1156 make test
1157}
Hanno Becker83ebf782017-07-07 12:29:15 +01001158
Gilles Peskine8f073122018-11-27 15:58:47 +01001159component_test_aes_rom_tables () {
1160 msg "build: default config with AES_ROM_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +01001161 scripts/config.pl set MBEDTLS_AES_ROM_TABLES
1162 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +01001163
Gilles Peskine8f073122018-11-27 15:58:47 +01001164 msg "test: AES_ROM_TABLES"
1165 make test
1166}
Hanno Becker83ebf782017-07-07 12:29:15 +01001167
Gilles Peskine8f073122018-11-27 15:58:47 +01001168component_test_aes_fewer_tables_and_rom_tables () {
1169 msg "build: default config with AES_ROM_TABLES and AES_FEWER_TABLES enabled"
Gilles Peskine8f073122018-11-27 15:58:47 +01001170 scripts/config.pl set MBEDTLS_AES_FEWER_TABLES
1171 scripts/config.pl set MBEDTLS_AES_ROM_TABLES
1172 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
Hanno Becker83ebf782017-07-07 12:29:15 +01001173
Gilles Peskine8f073122018-11-27 15:58:47 +01001174 msg "test: AES_FEWER_TABLES + AES_ROM_TABLES"
1175 make test
1176}
1177
1178component_test_make_shared () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001179 msg "build/test: make shared" # ~ 40s
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001180 make SHARED=1 all check
Gilles Peskinedc25c322019-07-03 20:43:32 +02001181 ldd programs/util/strerror | grep libmbedcrypto
Gilles Peskine8f073122018-11-27 15:58:47 +01001182}
Manuel Pégourié-Gonnard9b06abe2015-06-25 09:56:07 +02001183
Gilles Peskine2c47ffc2019-07-03 20:43:05 +02001184component_test_cmake_shared () {
1185 msg "build/test: cmake shared" # ~ 2min
1186 cmake -DUSE_SHARED_MBEDTLS_LIBRARY=On .
1187 make
Gilles Peskinedc25c322019-07-03 20:43:32 +02001188 ldd programs/util/strerror | grep libmbedcrypto
Gilles Peskine2c47ffc2019-07-03 20:43:05 +02001189 make test
1190}
1191
Gilles Peskine87bf1b52019-07-03 20:42:16 +02001192component_build_mbedtls_config_file () {
1193 msg "build: make with MBEDTLS_CONFIG_FILE" # ~40s
1194 # Use the full config so as to catch a maximum of places where
1195 # the check of MBEDTLS_CONFIG_FILE might be missing.
1196 scripts/config.pl full
1197 sed 's!"check_config.h"!"mbedtls/check_config.h"!' <"$CONFIG_H" >full_config.h
1198 echo '#error "MBEDTLS_CONFIG_FILE is not working"' >"$CONFIG_H"
1199 make CFLAGS="-I '$PWD' -DMBEDTLS_CONFIG_FILE='\"full_config.h\"'"
1200 rm -f full_config.h
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +00001201}
1202
Gilles Peskine8f073122018-11-27 15:58:47 +01001203component_test_m32_o0 () {
Simon Butcher8e6a22a2018-07-20 21:27:33 +01001204 # Build once with -O0, to compile out the i386 specific inline assembly
1205 msg "build: i386, make, gcc -O0 (ASan build)" # ~ 30s
Simon Butcher7a6da6e2018-06-27 21:52:54 +01001206 scripts/config.pl full
Hanno Becker94a94f62019-06-28 13:43:33 +01001207 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE
1208 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
1209 scripts/config.pl unset MBEDTLS_MEMORY_DEBUG
Manuel Pégourié-Gonnardde8869c2019-07-03 10:31:46 +02001210 make CC=gcc PTHREAD=1 CFLAGS='-O0 -Werror -Wall -Wextra -m32 -fsanitize=address' LDFLAGS='-m32'
Andres Amaya Garcia84e6ce82017-05-04 11:35:51 +01001211
Simon Butcher8e6a22a2018-07-20 21:27:33 +01001212 msg "test: i386, make, gcc -O0 (ASan build)"
1213 make test
Gilles Peskine8f073122018-11-27 15:58:47 +01001214}
Gilles Peskine878cf602019-01-06 20:50:38 +00001215support_test_m32_o0 () {
1216 case $(uname -m) in
1217 *64*) true;;
1218 *) false;;
1219 esac
1220}
Simon Butcher8e6a22a2018-07-20 21:27:33 +01001221
Gilles Peskine8f073122018-11-27 15:58:47 +01001222component_test_m32_o1 () {
Simon Butcher8e6a22a2018-07-20 21:27:33 +01001223 # Build again with -O1, to compile in the i386 specific inline assembly
1224 msg "build: i386, make, gcc -O1 (ASan build)" # ~ 30s
Simon Butcher8e6a22a2018-07-20 21:27:33 +01001225 scripts/config.pl full
Gilles Peskine7dd44b22019-04-08 16:58:02 +02001226 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE
1227 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
1228 scripts/config.pl unset MBEDTLS_MEMORY_DEBUG
Manuel Pégourié-Gonnardde8869c2019-07-03 10:31:46 +02001229 make CC=gcc PTHREAD=1 CFLAGS='-O1 -Werror -Wall -Wextra -m32 -fsanitize=address' LDFLAGS='-m32'
Simon Butcher8e6a22a2018-07-20 21:27:33 +01001230
1231 msg "test: i386, make, gcc -O1 (ASan build)"
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +01001232 make test
Gilles Peskine7dd44b22019-04-08 16:58:02 +02001233
1234 msg "test ssl-opt.sh, i386, make, gcc-O1"
1235 if_build_succeeded tests/ssl-opt.sh
Gilles Peskine8f073122018-11-27 15:58:47 +01001236}
Gilles Peskine878cf602019-01-06 20:50:38 +00001237support_test_m32_o1 () {
1238 support_test_m32_o0 "$@"
1239}
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +01001240
Gilles Peskine8f073122018-11-27 15:58:47 +01001241component_test_mx32 () {
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +01001242 msg "build: 64-bit ILP32, make, gcc" # ~ 30s
Simon Butcher7a6da6e2018-06-27 21:52:54 +01001243 scripts/config.pl full
Manuel Pégourié-Gonnardde8869c2019-07-03 10:31:46 +02001244 make CC=gcc PTHREAD=1 CFLAGS='-Werror -Wall -Wextra -mx32' LDFLAGS='-mx32'
Andres Amaya Garciaf4fbdda2017-05-08 11:19:19 +01001245
1246 msg "test: 64-bit ILP32, make, gcc"
1247 make test
Gilles Peskine8f073122018-11-27 15:58:47 +01001248}
Gilles Peskine878cf602019-01-06 20:50:38 +00001249support_test_mx32 () {
1250 case $(uname -m) in
1251 amd64|x86_64) true;;
1252 *) false;;
1253 esac
1254}
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +00001255
Peter Kolbus1e2aa722018-12-27 06:59:04 -06001256component_test_min_mpi_window_size () {
1257 msg "build: Default + MBEDTLS_MPI_WINDOW_SIZE=1 (ASan build)" # ~ 10s
1258 scripts/config.pl set MBEDTLS_MPI_WINDOW_SIZE 1
1259 CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
1260 make
1261
1262 msg "test: MBEDTLS_MPI_WINDOW_SIZE=1 - main suites (inc. selftests) (ASan build)" # ~ 10s
1263 make test
1264}
1265
Gilles Peskine8f073122018-11-27 15:58:47 +01001266component_test_have_int32 () {
1267 msg "build: gcc, force 32-bit bignum limbs"
Gilles Peskine8f073122018-11-27 15:58:47 +01001268 scripts/config.pl unset MBEDTLS_HAVE_ASM
1269 scripts/config.pl unset MBEDTLS_AESNI_C
1270 scripts/config.pl unset MBEDTLS_PADLOCK_C
1271 make CC=gcc CFLAGS='-Werror -Wall -Wextra -DMBEDTLS_HAVE_INT32'
Andres Amaya Garcia84e6ce82017-05-04 11:35:51 +01001272
Gilles Peskine8f073122018-11-27 15:58:47 +01001273 msg "test: gcc, force 32-bit bignum limbs"
1274 make test
1275}
Andres Amaya Garciafe843a32017-07-20 13:21:34 +01001276
Gilles Peskine8f073122018-11-27 15:58:47 +01001277component_test_have_int64 () {
1278 msg "build: gcc, force 64-bit bignum limbs"
Gilles Peskine8f073122018-11-27 15:58:47 +01001279 scripts/config.pl unset MBEDTLS_HAVE_ASM
1280 scripts/config.pl unset MBEDTLS_AESNI_C
1281 scripts/config.pl unset MBEDTLS_PADLOCK_C
1282 make CC=gcc CFLAGS='-Werror -Wall -Wextra -DMBEDTLS_HAVE_INT64'
Gilles Peskine14c3c062018-01-29 21:25:12 +01001283
Gilles Peskine8f073122018-11-27 15:58:47 +01001284 msg "test: gcc, force 64-bit bignum limbs"
1285 make test
1286}
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +00001287
Gilles Peskine8f073122018-11-27 15:58:47 +01001288component_test_no_udbl_division () {
1289 msg "build: MBEDTLS_NO_UDBL_DIVISION native" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +01001290 scripts/config.pl full
1291 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
1292 scripts/config.pl set MBEDTLS_NO_UDBL_DIVISION
1293 make CFLAGS='-Werror -O1'
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001294
Gilles Peskine8f073122018-11-27 15:58:47 +01001295 msg "test: MBEDTLS_NO_UDBL_DIVISION native" # ~ 10s
1296 make test
1297}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001298
Gilles Peskine8f073122018-11-27 15:58:47 +01001299component_test_no_64bit_multiplication () {
1300 msg "build: MBEDTLS_NO_64BIT_MULTIPLICATION native" # ~ 10s
Gilles Peskine8f073122018-11-27 15:58:47 +01001301 scripts/config.pl full
1302 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
1303 scripts/config.pl set MBEDTLS_NO_64BIT_MULTIPLICATION
1304 make CFLAGS='-Werror -O1'
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001305
Gilles Peskine8f073122018-11-27 15:58:47 +01001306 msg "test: MBEDTLS_NO_64BIT_MULTIPLICATION native" # ~ 10s
1307 make test
1308}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001309
Peter Kolbusb1cb0bd2019-01-29 17:42:02 -06001310component_test_no_x509_info () {
1311 msg "build: full + MBEDTLS_X509_REMOVE_INFO" # ~ 10s
1312 scripts/config.pl full
1313 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
1314 scripts/config.pl set MBEDTLS_X509_REMOVE_INFO
1315 make CFLAGS='-Werror -O1'
1316
1317 msg "test: full + MBEDTLS_X509_REMOVE_INFO" # ~ 10s
1318 make test
1319
1320 msg "test: ssl-opt.sh, full + MBEDTLS_X509_REMOVE_INFO" # ~ 1 min
1321 if_build_succeeded tests/ssl-opt.sh
1322}
1323
Teppo Järvelin4009d8f2019-08-19 14:48:09 +03001324component_test_no_hostname_verification () {
1325 msg "build: full + MBEDTLS_X509_REMOVE_HOSTNAME_VERIFICATION" # ~ 10s
1326 scripts/config.pl full
1327 scripts/config.pl unset MBEDTLS_MEMORY_BACKTRACE # too slow for tests
1328 scripts/config.pl set MBEDTLS_X509_REMOVE_HOSTNAME_VERIFICATION
1329 make CFLAGS='-Werror -O1'
1330
1331 msg "test: full + MBEDTLS_X509_REMOVE_HOSTNAME_VERIFICATION" # ~ 10s
1332 make test
1333
1334 msg "test: ssl-opt.sh, full + MBEDTLS_X509_REMOVE_HOSTNAME_VERIFICATION" # ~ 1 min
1335 if_build_succeeded tests/ssl-opt.sh
1336}
1337
Gilles Peskine8f073122018-11-27 15:58:47 +01001338component_build_arm_none_eabi_gcc () {
1339 msg "build: arm-none-eabi-gcc, make" # ~ 10s
Manuel Pégourié-Gonnard6e6ae9b2019-04-29 12:44:12 +02001340 scripts/config.pl baremetal
Gilles Peskine8f073122018-11-27 15:58:47 +01001341 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib
1342}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001343
Gilles Peskine560f3322019-08-09 16:05:05 +02001344component_build_arm_none_eabi_gcc_arm5vte () {
Gilles Peskinee07b9ff2019-08-08 16:09:02 +02001345 msg "build: arm-none-eabi-gcc -march=arm5vte, make" # ~ 10s
Gilles Peskine0bd284d2019-08-05 11:34:25 +02001346 scripts/config.pl baremetal
Gilles Peskine560f3322019-08-09 16:05:05 +02001347 # Build for a target platform that's close to what Debian uses
1348 # for its "armel" distribution (https://wiki.debian.org/ArmEabiPort).
1349 # See https://github.com/ARMmbed/mbedtls/pull/2169 and comments.
1350 # It would be better to build with arm-linux-gnueabi-gcc but
1351 # we don't have that on our CI at this time.
Gilles Peskinee07b9ff2019-08-08 16:09:02 +02001352 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar CFLAGS='-Werror -Wall -Wextra -march=armv5te -O1' LDFLAGS='-march=armv5te' SHELL='sh -x' lib
Gilles Peskine0bd284d2019-08-05 11:34:25 +02001353}
1354
Gilles Peskine8f073122018-11-27 15:58:47 +01001355component_build_arm_none_eabi_gcc_no_udbl_division () {
1356 msg "build: arm-none-eabi-gcc -DMBEDTLS_NO_UDBL_DIVISION, make" # ~ 10s
Manuel Pégourié-Gonnard6e6ae9b2019-04-29 12:44:12 +02001357 scripts/config.pl baremetal
Gilles Peskine8f073122018-11-27 15:58:47 +01001358 scripts/config.pl set MBEDTLS_NO_UDBL_DIVISION
1359 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -Wall -Wextra' lib
1360 echo "Checking that software 64-bit division is not required"
1361 if_build_succeeded not grep __aeabi_uldiv library/*.o
1362}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001363
Gilles Peskine8f073122018-11-27 15:58:47 +01001364component_build_arm_none_eabi_gcc_no_64bit_multiplication () {
1365 msg "build: arm-none-eabi-gcc MBEDTLS_NO_64BIT_MULTIPLICATION, make" # ~ 10s
Manuel Pégourié-Gonnard6e6ae9b2019-04-29 12:44:12 +02001366 scripts/config.pl baremetal
Gilles Peskine8f073122018-11-27 15:58:47 +01001367 scripts/config.pl set MBEDTLS_NO_64BIT_MULTIPLICATION
1368 make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar LD=arm-none-eabi-ld CFLAGS='-Werror -O1 -march=armv6-m -mthumb' lib
1369 echo "Checking that software 64-bit multiplication is not required"
1370 if_build_succeeded not grep __aeabi_lmul library/*.o
1371}
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001372
Gilles Peskine8f073122018-11-27 15:58:47 +01001373component_build_armcc () {
1374 msg "build: ARM Compiler 5, make"
Manuel Pégourié-Gonnard6e6ae9b2019-04-29 12:44:12 +02001375 scripts/config.pl baremetal
Manuel Pégourié-Gonnardedb2dc92015-02-10 14:36:31 +00001376
Gilles Peskine5331c6e2019-01-06 22:23:42 +00001377 make CC="$ARMC5_CC" AR="$ARMC5_AR" WARNING_CFLAGS='--strict --c99' lib
1378 make clean
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +02001379
Gilles Peskine5331c6e2019-01-06 22:23:42 +00001380 # ARM Compiler 6 - Target ARMv7-A
1381 armc6_build_test "--target=arm-arm-none-eabi -march=armv7-a"
Gilles Peskineed942f82017-06-08 15:19:20 +02001382
Gilles Peskine5331c6e2019-01-06 22:23:42 +00001383 # ARM Compiler 6 - Target ARMv7-M
1384 armc6_build_test "--target=arm-arm-none-eabi -march=armv7-m"
Andres AG87bb5772016-09-27 15:05:15 +01001385
Gilles Peskine5331c6e2019-01-06 22:23:42 +00001386 # ARM Compiler 6 - Target ARMv8-A - AArch32
1387 armc6_build_test "--target=arm-arm-none-eabi -march=armv8.2-a"
Andres AG87bb5772016-09-27 15:05:15 +01001388
Gilles Peskine5331c6e2019-01-06 22:23:42 +00001389 # ARM Compiler 6 - Target ARMv8-M
1390 armc6_build_test "--target=arm-arm-none-eabi -march=armv8-m.main"
Simon Butcher940737f2017-07-23 13:42:36 +02001391
Gilles Peskine5331c6e2019-01-06 22:23:42 +00001392 # ARM Compiler 6 - Target ARMv8-A - AArch64
1393 armc6_build_test "--target=aarch64-arm-none-eabi -march=armv8.2-a"
Gilles Peskine8f073122018-11-27 15:58:47 +01001394}
Simon Butcher940737f2017-07-23 13:42:36 +02001395
Manuel Pégourié-Gonnard31ae7fa2019-06-18 12:03:51 +02001396# need _armcc in the name for pre_check_tools()
Hanno Becker62daad32019-07-25 12:41:40 +01001397component_build_baremetal_raw_armcc () {
Manuel Pégourié-Gonnard31ae7fa2019-06-18 12:03:51 +02001398 msg "build: scripts/baremetal.sh gcc/armc5/armc6"
1399 scripts/baremetal.sh --rom --gcc --armc5 --armc6 --check
1400}
1401
Hanno Beckerb1074972019-09-02 12:27:03 +01001402component_test_default_tinycrypt_without_legacy_ecc () {
1403 msg "test default config with tinycrypt enabled and legacy ECC disabled"
Jarno Lamsa7ba62882019-08-02 11:45:44 +03001404
1405 scripts/config.pl set MBEDTLS_USE_TINYCRYPT
1406 scripts/config.pl set MBEDTLS_SSL_CONF_RNG rng_wrap
1407 scripts/config.pl set MBEDTLS_SSL_CONF_SINGLE_EC
1408 scripts/config.pl set MBEDTLS_SSL_CONF_SINGLE_EC_TLS_ID 23
Hanno Becker49ac40b2019-08-29 16:25:49 +01001409 scripts/config.pl set MBEDTLS_SSL_CONF_SINGLE_UECC_GRP_ID MBEDTLS_UECC_DP_SECP256R1
Hanno Beckerb1074972019-09-02 12:27:03 +01001410 scripts/config.pl unset MBEDTLS_ECP_C
Jarno Lamsa7ba62882019-08-02 11:45:44 +03001411 scripts/config.pl unset MBEDTLS_ECDH_C
Hanno Beckerb1074972019-09-02 12:27:03 +01001412 scripts/config.pl unset MBEDTLS_ECDSA_C
Jarno Lamsa7ba62882019-08-02 11:45:44 +03001413 scripts/config.pl unset MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED
1414 scripts/config.pl unset MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED
1415 scripts/config.pl unset MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED
Hanno Becker325eb332019-09-02 13:47:19 +01001416 scripts/config.pl unset MBEDTLS_ECP_DP_SECP192R1_ENABLED
1417 scripts/config.pl unset MBEDTLS_ECP_DP_SECP224R1_ENABLED
1418 scripts/config.pl unset MBEDTLS_ECP_DP_SECP256R1_ENABLED
1419 scripts/config.pl unset MBEDTLS_ECP_DP_SECP384R1_ENABLED
1420 scripts/config.pl unset MBEDTLS_ECP_DP_SECP521R1_ENABLED
1421 scripts/config.pl unset MBEDTLS_ECP_DP_BP256R1_ENABLED
1422 scripts/config.pl unset MBEDTLS_ECP_DP_BP384R1_ENABLED
1423 scripts/config.pl unset MBEDTLS_ECP_DP_BP512R1_ENABLED
1424 scripts/config.pl unset MBEDTLS_ECP_DP_SECP192K1_ENABLED
1425 scripts/config.pl unset MBEDTLS_ECP_DP_SECP224K1_ENABLED
1426 scripts/config.pl unset MBEDTLS_ECP_DP_SECP256K1_ENABLED
Jarno Lamsa7ba62882019-08-02 11:45:44 +03001427 make CC=gcc CFLAGS='-Werror -Wall -Wextra'
1428
Hanno Beckerb1074972019-09-02 12:27:03 +01001429 msg "test: default config with tinycrypt enabled and legacy ECC disabled"
Jarno Lamsa7ba62882019-08-02 11:45:44 +03001430 make test
Hanno Becker8b3408f2019-09-02 14:35:23 +01001431 if_build_succeeded tests/ssl-opt.sh
Hanno Becker7c2cd3e2019-09-02 09:15:23 +01001432
1433 export SRV_ECDSA_CRT=data_files/server11.crt.pem
1434 export SRV_ECDSA_KEY=data_files/server11.key.pem
1435 export CLI_ECDSA_CRT=data_files/cli3.crt.pem
1436 export CLI_ECDSA_KEY=data_files/cli3.key.pem
1437 export CA_FILE=data_files/test-ca3.crt.pem
Hanno Beckerfe088442019-09-02 13:07:20 +01001438 if_build_succeeded tests/compat.sh -f 'ECDHE-ECDSA\|ECDHE-PSK\|ECDH-ECDSA'
Jarno Lamsa7ba62882019-08-02 11:45:44 +03001439}
1440
Hanno Becker62daad32019-07-25 12:41:40 +01001441component_test_baremetal () {
Hanno Beckere7895aa2019-07-22 12:47:20 +01001442 msg "build: lib+test+programs for baremetal.h + baremetal_test.h"
1443 record_status scripts/baremetal.sh --ram --build-only
1444
1445 msg "test: baremetal.h + baremetal_test.h"
1446 if_build_succeeded make test
1447 if_build_succeeded tests/ssl-opt.sh --filter "^Default, DTLS$"
1448}
1449
Gilles Peskine8f073122018-11-27 15:58:47 +01001450component_test_allow_sha1 () {
1451 msg "build: allow SHA1 in certificates by default"
Gilles Peskine8f073122018-11-27 15:58:47 +01001452 scripts/config.pl set MBEDTLS_TLS_DEFAULT_ALLOW_SHA1_IN_CERTIFICATES
1453 make CFLAGS='-Werror -Wall -Wextra'
1454 msg "test: allow SHA1 in certificates by default"
1455 make test
1456 if_build_succeeded tests/ssl-opt.sh -f SHA-1
1457}
Simon Butcher940737f2017-07-23 13:42:36 +02001458
Gilles Peskine8f073122018-11-27 15:58:47 +01001459component_build_mingw () {
1460 msg "build: Windows cross build - mingw64, make (Link Library)" # ~ 30s
Gilles Peskine8f073122018-11-27 15:58:47 +01001461 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 +02001462
Gilles Peskine8f073122018-11-27 15:58:47 +01001463 # note Make tests only builds the tests, but doesn't run them
1464 make CC=i686-w64-mingw32-gcc AR=i686-w64-mingw32-ar LD=i686-w64-minggw32-ld CFLAGS='-Werror' WINDOWS_BUILD=1 tests
1465 make WINDOWS_BUILD=1 clean
Hanno Beckere963efa2018-01-03 10:03:43 +00001466
Gilles Peskine8f073122018-11-27 15:58:47 +01001467 msg "build: Windows cross build - mingw64, make (DLL)" # ~ 30s
1468 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
1469 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
1470 make WINDOWS_BUILD=1 clean
1471}
Simon Butcher002bc622016-11-17 09:27:45 +00001472
Gilles Peskine8f073122018-11-27 15:58:47 +01001473component_test_memsan () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001474 msg "build: MSan (clang)" # ~ 1 min 20s
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001475 scripts/config.pl unset MBEDTLS_AESNI_C # memsan doesn't grok asm
1476 CC=clang cmake -D CMAKE_BUILD_TYPE:String=MemSan .
1477 make
Manuel Pégourié-Gonnard4a9dc2a2014-05-09 13:46:59 +02001478
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001479 msg "test: main suites (MSan)" # ~ 10s
1480 make test
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001481
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001482 msg "test: ssl-opt.sh (MSan)" # ~ 1 min
Gilles Peskine7c652162017-12-11 00:01:40 +01001483 if_build_succeeded tests/ssl-opt.sh
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001484
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001485 # Optional part(s)
Manuel Pégourié-Gonnard9bda9b32014-11-20 13:10:22 +01001486
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001487 if [ "$MEMORY" -gt 0 ]; then
1488 msg "test: compat.sh (MSan)" # ~ 6 min 20s
Gilles Peskine7c652162017-12-11 00:01:40 +01001489 if_build_succeeded tests/compat.sh
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001490 fi
Gilles Peskine8f073122018-11-27 15:58:47 +01001491}
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +01001492
Gilles Peskine69f190e2019-01-10 00:11:42 +01001493component_test_valgrind () {
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001494 msg "build: Release (clang)"
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001495 CC=clang cmake -D CMAKE_BUILD_TYPE:String=Release .
1496 make
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001497
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001498 msg "test: main suites valgrind (Release)"
1499 make memcheck
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001500
Gilles Peskine0a47c4f2019-04-08 17:00:56 +02001501 # Optional parts (slow; currently broken on OS X because programs don't
1502 # seem to receive signals under valgrind on OS X).
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001503 if [ "$MEMORY" -gt 0 ]; then
1504 msg "test: ssl-opt.sh --memcheck (Release)"
Gilles Peskine7c652162017-12-11 00:01:40 +01001505 if_build_succeeded tests/ssl-opt.sh --memcheck
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001506 fi
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001507
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001508 if [ "$MEMORY" -gt 1 ]; then
1509 msg "test: compat.sh --memcheck (Release)"
Gilles Peskine7c652162017-12-11 00:01:40 +01001510 if_build_succeeded tests/compat.sh --memcheck
Gilles Peskine7ad603e2017-12-10 23:22:20 +01001511 fi
Gilles Peskine8f073122018-11-27 15:58:47 +01001512}
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001513
Gilles Peskine8f073122018-11-27 15:58:47 +01001514component_test_cmake_out_of_source () {
1515 msg "build: cmake 'out-of-source' build"
Gilles Peskine8f073122018-11-27 15:58:47 +01001516 MBEDTLS_ROOT_DIR="$PWD"
1517 mkdir "$OUT_OF_SOURCE_DIR"
1518 cd "$OUT_OF_SOURCE_DIR"
1519 cmake "$MBEDTLS_ROOT_DIR"
1520 make
Manuel Pégourié-Gonnard392d3dd2015-01-26 14:03:56 +00001521
Gilles Peskine8f073122018-11-27 15:58:47 +01001522 msg "test: cmake 'out-of-source' build"
1523 make test
1524 # Test an SSL option that requires an auxiliary script in test/scripts/.
1525 # Also ensure that there are no error messages such as
1526 # "No such file or directory", which would indicate that some required
1527 # file is missing (ssl-opt.sh tolerates the absence of some files so
1528 # may exit with status 0 but emit errors).
1529 if_build_succeeded ./tests/ssl-opt.sh -f 'Fallback SCSV: beginning of list' 2>ssl-opt.err
1530 if [ -s ssl-opt.err ]; then
1531 cat ssl-opt.err >&2
1532 record_status [ ! -s ssl-opt.err ]
1533 rm ssl-opt.err
1534 fi
1535 cd "$MBEDTLS_ROOT_DIR"
1536 rm -rf "$OUT_OF_SOURCE_DIR"
1537 unset MBEDTLS_ROOT_DIR
1538}
Andres AGdc192212016-08-31 17:33:13 +01001539
Gilles Peskine8f073122018-11-27 15:58:47 +01001540component_test_zeroize () {
1541 # Test that the function mbedtls_platform_zeroize() is not optimized away by
1542 # different combinations of compilers and optimization flags by using an
1543 # auxiliary GDB script. Unfortunately, GDB does not return error values to the
1544 # system in all cases that the script fails, so we must manually search the
1545 # output to check whether the pass string is present and no failure strings
1546 # were printed.
Gilles Peskine4976e822019-01-06 19:52:22 +00001547
1548 # Don't try to disable ASLR. We don't care about ASLR here. We do care
1549 # about a spurious message if Gdb tries and fails, so suppress that.
1550 gdb_disable_aslr=
1551 if [ -z "$(gdb -batch -nw -ex 'set disable-randomization off' 2>&1)" ]; then
1552 gdb_disable_aslr='set disable-randomization off'
1553 fi
1554
Gilles Peskine8f073122018-11-27 15:58:47 +01001555 for optimization_flag in -O2 -O3 -Ofast -Os; do
Gilles Peskine55f7c942019-01-09 22:28:21 +01001556 for compiler in clang gcc; do
1557 msg "test: $compiler $optimization_flag, mbedtls_platform_zeroize()"
1558 make programs CC="$compiler" DEBUG=1 CFLAGS="$optimization_flag"
Gilles Peskine4976e822019-01-06 19:52:22 +00001559 if_build_succeeded gdb -ex "$gdb_disable_aslr" -x tests/scripts/test_zeroize.gdb -nw -batch -nx 2>&1 | tee test_zeroize.log
Gilles Peskine55f7c942019-01-09 22:28:21 +01001560 if_build_succeeded grep "The buffer was correctly zeroized" test_zeroize.log
1561 if_build_succeeded not grep -i "error" test_zeroize.log
1562 rm -f test_zeroize.log
1563 make clean
1564 done
Andres Amaya Garcia29673812017-10-25 10:35:51 +01001565 done
Gilles Peskine4976e822019-01-06 19:52:22 +00001566
1567 unset gdb_disable_aslr
Gilles Peskine8f073122018-11-27 15:58:47 +01001568}
Andres Amaya Garciad0d7bf62017-10-25 09:01:31 +01001569
Gilles Peskine7b9fcdc2019-02-25 20:26:06 +01001570support_check_python_files () {
1571 type pylint3 >/dev/null 2>/dev/null
1572}
Gilles Peskine8f073122018-11-27 15:58:47 +01001573component_check_python_files () {
1574 msg "Lint: Python scripts"
1575 record_status tests/scripts/check-python-files.sh
1576}
Gilles Peskine192c72f2017-12-21 15:59:21 +01001577
Gilles Peskine8f073122018-11-27 15:58:47 +01001578component_check_generate_test_code () {
1579 msg "uint test: generate_test_code.py"
1580 record_status ./tests/scripts/test_generate_test_code.py
1581}
Gilles Peskine192c72f2017-12-21 15:59:21 +01001582
1583################################################################
1584#### Termination
1585################################################################
1586
Gilles Peskine8f073122018-11-27 15:58:47 +01001587post_report () {
1588 msg "Done, cleaning up"
1589 cleanup
Manuel Pégourié-Gonnard80955ee2014-03-19 18:29:01 +01001590
Gilles Peskine8f073122018-11-27 15:58:47 +01001591 final_report
1592}
1593
1594
1595
1596################################################################
1597#### Run all the things
1598################################################################
1599
Gilles Peskinee48351a2018-11-27 16:06:30 +01001600# Run one component and clean up afterwards.
Gilles Peskine8f073122018-11-27 15:58:47 +01001601run_component () {
Gilles Peskine608953e2019-01-02 18:57:02 +01001602 # Back up the configuration in case the component modifies it.
1603 # The cleanup function will restore it.
1604 cp -p "$CONFIG_H" "$CONFIG_BAK"
Gilles Peskineffcdeff2018-12-04 12:49:28 +01001605 current_component="$1"
Gilles Peskine8f073122018-11-27 15:58:47 +01001606 "$@"
Gilles Peskinee48351a2018-11-27 16:06:30 +01001607 cleanup
Gilles Peskine8f073122018-11-27 15:58:47 +01001608}
1609
1610# Preliminary setup
1611pre_check_environment
1612pre_initialize_variables
1613pre_parse_command_line "$@"
Gilles Peskine348fb9a2018-11-27 17:04:29 +01001614
Gilles Peskine878cf602019-01-06 20:50:38 +00001615pre_check_git
1616build_status=0
1617if [ $KEEP_GOING -eq 1 ]; then
1618 pre_setup_keep_going
1619else
1620 record_status () {
1621 "$@"
1622 }
1623fi
1624pre_print_configuration
1625pre_check_tools
Gilles Peskine878cf602019-01-06 20:50:38 +00001626cleanup
Gilles Peskine8f073122018-11-27 15:58:47 +01001627
Gilles Peskinebeb3a812019-01-06 22:11:25 +00001628# Run the requested tests.
1629for component in $RUN_COMPONENTS; do
1630 run_component "component_$component"
1631done
Gilles Peskine8f073122018-11-27 15:58:47 +01001632
1633# We're done.
Gilles Peskine878cf602019-01-06 20:50:38 +00001634post_report