blob: bcd8ca1b61b002bcdaaa94f6b7e27890129a1017 [file] [log] [blame]
Gilles Peskinef5ea1972019-01-29 08:50:20 +01001#!/usr/bin/env python3
2
Andrzej Kurekffbc8f52022-10-17 08:34:40 -04003# Copyright (c) 2022, Arm Limited, All Rights Reserved.
Gilles Peskinef5ea1972019-01-29 08:50:20 +01004# SPDX-License-Identifier: Apache-2.0
5#
6# Licensed under the Apache License, Version 2.0 (the "License"); you may
7# not use this file except in compliance with the License.
8# You may obtain a copy of the License at
9#
10# http://www.apache.org/licenses/LICENSE-2.0
11#
12# Unless required by applicable law or agreed to in writing, software
13# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
14# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15# See the License for the specific language governing permissions and
16# limitations under the License.
17#
18# This file is part of Mbed TLS (https://tls.mbed.org)
19
Gilles Peskinef5ea1972019-01-29 08:50:20 +010020"""
Andrzej Kurek110fc482022-10-09 05:29:44 -040021Test Mbed TLS with a subset of algorithms.
Gilles Peskinef5ea1972019-01-29 08:50:20 +010022
Andrzej Kurek110fc482022-10-09 05:29:44 -040023This script can be divided into several steps:
24
25First, include/mbedtls/mbedtls_config.h or a different config file passed
26in the arguments is parsed to extract any configuration options (collect_config_symbols).
27
28Then, test domains (groups of jobs, tests) are built based on predefined data
29collected in the DomainData class. Here, each domain has five major traits:
Andrzej Kurekffbc8f52022-10-17 08:34:40 -040030- domain name, can be used to run only specific tests via command-line;
Andrzej Kurek110fc482022-10-09 05:29:44 -040031- configuration building method, described in detail below;
32- list of symbols passed to the configuration building method;
33- commands to be run on each job (only build, build and test, or any other custom);
34- optional list of symbols to be excluded from testing.
35
36The configuration building method can be one of the three following:
37
38- ComplementaryDomain - build a job for each passed symbol by disabling a single
39 symbol and its reverse dependencies (defined in REVERSE_DEPENDENCIES);
40
41- ExclusiveDomain - build a job where, for each passed symbol, only this particular
42 one is defined and other symbols from the list are unset. For each job look for
43 any non-standard symbols to set/unset in EXCLUSIVE_GROUPS. These are usually not
44 direct dependencies, but rather non-trivial results of other configs missing. Then
45 look for any unset symbols and handle their reverse dependencies.
46 Examples of EXCLUSIVE_GROUPS usage:
Andrzej Kurekffbc8f52022-10-17 08:34:40 -040047 - MBEDTLS_SHA256 job turns off all hashes except SHA256, however, when investigating
48 reverse dependencies, SHA224 is found to depend on SHA256, so it is disabled,
49 and then SHA256 is found to depend on SHA224, so it is also disabled. To handle
50 this, there's a field in EXCLUSIVE_GROUPS that states that in a SHA256 test SHA224
Andrzej Kurek110fc482022-10-09 05:29:44 -040051 should also be enabled before processing reverse dependencies:
Andrzej Kurekffbc8f52022-10-17 08:34:40 -040052 'MBEDTLS_SHA256_C': ['+MBEDTLS_SHA224_C']
Andrzej Kurek110fc482022-10-09 05:29:44 -040053 - MBEDTLS_SHA512_C job turns off all hashes except SHA512. MBEDTLS_SSL_COOKIE_C
54 requires either SHA256 or SHA384 to work, so it also has to be disabled.
55 This is not a dependency on SHA512_C, but a result of an exclusive domain
56 config building method. Relevant field:
Andrzej Kurekffbc8f52022-10-17 08:34:40 -040057 'MBEDTLS_SHA512_C': ['-MBEDTLS_SSL_COOKIE_C'],
Andrzej Kurek110fc482022-10-09 05:29:44 -040058
59- DualDomain - combination of the two above - both complementary and exclusive domain
60 job generation code will be run. Currently only used for hashes.
61
62Lastly, the collected jobs are executed and (optionally) tested, with
63error reporting and coloring as configured in options. Each test starts with
64a full config without a couple of slowing down or unnecessary options
65(see set_reference_config), then the specific job config is derived.
66"""
Gilles Peskinef5ea1972019-01-29 08:50:20 +010067import argparse
68import os
69import re
70import shutil
71import subprocess
72import sys
73import traceback
74
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -040075class Colors: # pylint: disable=too-few-public-methods
Gilles Peskinefd1d69c2019-01-29 18:48:48 +010076 """Minimalistic support for colored output.
77Each field of an object of this class is either None if colored output
78is not possible or not desired, or a pair of strings (start, stop) such
79that outputting start switches the text color to the desired color and
80stop switches the text color back to the default."""
81 red = None
82 green = None
83 bold_red = None
84 bold_green = None
85 def __init__(self, options=None):
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -040086 """Initialize color profile according to passed options."""
Gilles Peskinefd1d69c2019-01-29 18:48:48 +010087 if not options or options.color in ['no', 'never']:
88 want_color = False
89 elif options.color in ['yes', 'always']:
90 want_color = True
91 else:
92 want_color = sys.stderr.isatty()
93 if want_color:
94 # Assume ANSI compatible terminal
95 normal = '\033[0m'
96 self.red = ('\033[31m', normal)
97 self.green = ('\033[32m', normal)
98 self.bold_red = ('\033[1;31m', normal)
99 self.bold_green = ('\033[1;32m', normal)
100NO_COLORS = Colors(None)
101
102def log_line(text, prefix='depends.py:', suffix='', color=None):
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100103 """Print a status message."""
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400104 if color is not None:
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100105 prefix = color[0] + prefix
106 suffix = suffix + color[1]
107 sys.stderr.write(prefix + ' ' + text + suffix + '\n')
Gilles Peskinee6a60db2019-01-29 18:42:55 +0100108 sys.stderr.flush()
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100109
Gilles Peskined43ce2b2019-01-29 18:46:34 +0100110def log_command(cmd):
111 """Print a trace of the specified command.
112cmd is a list of strings: a command name and its arguments."""
113 log_line(' '.join(cmd), prefix='+')
114
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100115def backup_config(options):
Andrzej Kurek90686252022-09-28 03:17:56 -0400116 """Back up the library configuration file (mbedtls_config.h).
Gilles Peskine88e8dd62019-01-29 18:52:16 +0100117If the backup file already exists, it is presumed to be the desired backup,
118so don't make another backup."""
119 if os.path.exists(options.config_backup):
120 options.own_backup = False
121 else:
122 options.own_backup = True
123 shutil.copy(options.config, options.config_backup)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100124
Gilles Peskine88e8dd62019-01-29 18:52:16 +0100125def restore_config(options):
Andrzej Kurek90686252022-09-28 03:17:56 -0400126 """Restore the library configuration file (mbedtls_config.h).
Gilles Peskine88e8dd62019-01-29 18:52:16 +0100127Remove the backup file if it was saved earlier."""
128 if options.own_backup:
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100129 shutil.move(options.config_backup, options.config)
130 else:
131 shutil.copy(options.config_backup, options.config)
Gilles Peskine88e8dd62019-01-29 18:52:16 +0100132
Andrzej Kurekbec35a12022-10-16 12:52:20 -0400133def run_config_py(options, args):
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400134 """Run scripts/config.py with the specified arguments."""
135 cmd = ['scripts/config.py']
Andrzej Kurek90686252022-09-28 03:17:56 -0400136 if options.config != 'include/mbedtls/mbedtls_config.h':
Gilles Peskined43ce2b2019-01-29 18:46:34 +0100137 cmd += ['--file', options.config]
138 cmd += args
139 log_command(cmd)
140 subprocess.check_call(cmd)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100141
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400142def set_reference_config(options):
143 """Change the library configuration file (mbedtls_config.h) to the reference state.
144The reference state is the one from which the tested configurations are
145derived."""
Andrzej Kurek8b7a1572022-10-14 07:06:43 -0400146 # Turn off options that are not relevant to the tests and slow them down.
Andrzej Kurekbec35a12022-10-16 12:52:20 -0400147 run_config_py(options, ['full'])
Andrzej Kurekbec35a12022-10-16 12:52:20 -0400148 run_config_py(options, ['unset', 'MBEDTLS_TEST_HOOKS'])
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400149
150def collect_config_symbols(options):
151 """Read the list of settings from mbedtls_config.h.
152Return them in a generator."""
153 with open(options.config, encoding="utf-8") as config_file:
154 rx = re.compile(r'\s*(?://\s*)?#define\s+(\w+)\s*(?:$|/[/*])')
155 for line in config_file:
156 m = re.match(rx, line)
157 if m:
158 yield m.group(1)
159
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100160class Job:
161 """A job builds the library in a specific configuration and runs some tests."""
162 def __init__(self, name, config_settings, commands):
163 """Build a job object.
164The job uses the configuration described by config_settings. This is a
165dictionary where the keys are preprocessor symbols and the values are
166booleans or strings. A boolean indicates whether or not to #define the
167symbol. With a string, the symbol is #define'd to that value.
168After setting the configuration, the job runs the programs specified by
169commands. This is a list of lists of strings; each list of string is a
170command name and its arguments and is passed to subprocess.call with
171shell=False."""
172 self.name = name
173 self.config_settings = config_settings
174 self.commands = commands
175
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100176 def announce(self, colors, what):
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100177 '''Announce the start or completion of a job.
178If what is None, announce the start of the job.
179If what is True, announce that the job has passed.
180If what is False, announce that the job has failed.'''
181 if what is True:
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100182 log_line(self.name + ' PASSED', color=colors.green)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100183 elif what is False:
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100184 log_line(self.name + ' FAILED', color=colors.red)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100185 else:
186 log_line('starting ' + self.name)
187
Gilles Peskined43ce2b2019-01-29 18:46:34 +0100188 def configure(self, options):
Andrzej Kurek8b7a1572022-10-14 07:06:43 -0400189 '''Set library configuration options as required for the job.'''
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400190 set_reference_config(options)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100191 for key, value in sorted(self.config_settings.items()):
192 if value is True:
193 args = ['set', key]
194 elif value is False:
195 args = ['unset', key]
196 else:
197 args = ['set', key, value]
Andrzej Kurekbec35a12022-10-16 12:52:20 -0400198 run_config_py(options, args)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100199
200 def test(self, options):
201 '''Run the job's build and test commands.
202Return True if all the commands succeed and False otherwise.
203If options.keep_going is false, stop as soon as one command fails. Otherwise
204run all the commands, except that if the first command fails, none of the
205other commands are run (typically, the first command is a build command
206and subsequent commands are tests that cannot run if the build failed).'''
207 built = False
208 success = True
209 for command in self.commands:
Gilles Peskined43ce2b2019-01-29 18:46:34 +0100210 log_command(command)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100211 ret = subprocess.call(command)
212 if ret != 0:
213 if command[0] not in ['make', options.make_command]:
214 log_line('*** [{}] Error {}'.format(' '.join(command), ret))
215 if not options.keep_going or not built:
216 return False
217 success = False
218 built = True
219 return success
220
221# SSL/TLS versions up to 1.1 and corresponding options. These require
222# both MD5 and SHA-1.
Andrzej Kurekfb3e27e2022-10-04 16:22:22 -0400223SSL_PRE_1_2_DEPENDENCIES = ['MBEDTLS_SSL_CBC_RECORD_SPLITTING',
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100224 'MBEDTLS_SSL_PROTO_SSL3',
225 'MBEDTLS_SSL_PROTO_TLS1',
226 'MBEDTLS_SSL_PROTO_TLS1_1']
227
228# If the configuration option A requires B, make sure that
Andrzej Kurekfb3e27e2022-10-04 16:22:22 -0400229# B in REVERSE_DEPENDENCIES[A].
Gilles Peskineb81f4062019-01-29 19:30:40 +0100230# All the information here should be contained in check_config.h. This
231# file includes a copy because it changes rarely and it would be a pain
232# to extract automatically.
Andrzej Kurekfb3e27e2022-10-04 16:22:22 -0400233REVERSE_DEPENDENCIES = {
Gilles Peskine3ce0e322019-01-29 23:12:28 +0100234 'MBEDTLS_AES_C': ['MBEDTLS_CTR_DRBG_C',
Andrzej Kurek90686252022-09-28 03:17:56 -0400235 'MBEDTLS_NIST_KW_C'],
Gilles Peskine3ce0e322019-01-29 23:12:28 +0100236 'MBEDTLS_CHACHA20_C': ['MBEDTLS_CHACHAPOLY_C'],
Andrzej Kurek90686252022-09-28 03:17:56 -0400237 'MBEDTLS_ECDSA_C': ['MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED',
238 'MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED'],
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100239 'MBEDTLS_ECP_C': ['MBEDTLS_ECDSA_C',
240 'MBEDTLS_ECDH_C',
241 'MBEDTLS_ECJPAKE_C',
242 'MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED',
243 'MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED',
244 'MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED',
245 'MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED',
Andrzej Kurek90686252022-09-28 03:17:56 -0400246 'MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED',
247 'MBEDTLS_KEY_EXCHANGE_ECJPAKE_ENABLED'],
Gilles Peskineb81f4062019-01-29 19:30:40 +0100248 'MBEDTLS_ECP_DP_SECP256R1_ENABLED': ['MBEDTLS_KEY_EXCHANGE_ECJPAKE_ENABLED'],
Andrzej Kurekfb3e27e2022-10-04 16:22:22 -0400249 'MBEDTLS_MD5_C': SSL_PRE_1_2_DEPENDENCIES,
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100250 'MBEDTLS_PKCS1_V21': ['MBEDTLS_X509_RSASSA_PSS_SUPPORT'],
251 'MBEDTLS_PKCS1_V15': ['MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED',
252 'MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED',
253 'MBEDTLS_KEY_EXCHANGE_RSA_PSK_ENABLED',
254 'MBEDTLS_KEY_EXCHANGE_RSA_ENABLED'],
255 'MBEDTLS_RSA_C': ['MBEDTLS_X509_RSASSA_PSS_SUPPORT',
256 'MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED',
257 'MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED',
258 'MBEDTLS_KEY_EXCHANGE_RSA_PSK_ENABLED',
Andrzej Kurek90686252022-09-28 03:17:56 -0400259 'MBEDTLS_KEY_EXCHANGE_RSA_ENABLED',
260 'MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED'],
Andrzej Kurekfb3e27e2022-10-04 16:22:22 -0400261 'MBEDTLS_SHA1_C': SSL_PRE_1_2_DEPENDENCIES,
Gilles Peskineb81f4062019-01-29 19:30:40 +0100262 'MBEDTLS_SHA256_C': ['MBEDTLS_KEY_EXCHANGE_ECJPAKE_ENABLED',
Andrzej Kurek90686252022-09-28 03:17:56 -0400263 'MBEDTLS_ENTROPY_FORCE_SHA256',
264 'MBEDTLS_SHA224_C',
265 'MBEDTLS_SHA256_USE_A64_CRYPTO_IF_PRESENT',
Andrzej Kurek0325ced2022-10-18 09:37:59 -0400266 'MBEDTLS_SHA256_USE_A64_CRYPTO_ONLY'],
Andrzej Kurek90686252022-09-28 03:17:56 -0400267 'MBEDTLS_SHA512_C': ['MBEDTLS_SHA384_C',
268 'MBEDTLS_SHA512_USE_A64_CRYPTO_IF_PRESENT',
269 'MBEDTLS_SHA512_USE_A64_CRYPTO_ONLY'],
270 'MBEDTLS_SHA224_C': ['MBEDTLS_KEY_EXCHANGE_ECJPAKE_ENABLED',
271 'MBEDTLS_ENTROPY_FORCE_SHA256',
272 'MBEDTLS_SHA256_C',
273 'MBEDTLS_SHA256_USE_A64_CRYPTO_IF_PRESENT',
274 'MBEDTLS_SHA256_USE_A64_CRYPTO_ONLY'],
Andrzej Kurek90686252022-09-28 03:17:56 -0400275 'MBEDTLS_X509_RSASSA_PSS_SUPPORT': []
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100276}
277
Andrzej Kurek90686252022-09-28 03:17:56 -0400278# If an option is tested in an exclusive test, alter the following defines.
Andrzej Kurek110fc482022-10-09 05:29:44 -0400279# These are not necessarily dependencies, but just minimal required changes
Andrzej Kurek90686252022-09-28 03:17:56 -0400280# if a given define is the only one enabled from an exclusive group.
Andrzej Kurekfb3e27e2022-10-04 16:22:22 -0400281EXCLUSIVE_GROUPS = {
Andrzej Kurek9cbdf102022-10-14 08:09:16 -0400282 'MBEDTLS_SHA256_C': ['+MBEDTLS_SHA224_C'],
283 'MBEDTLS_SHA384_C': ['+MBEDTLS_SHA512_C'],
284 'MBEDTLS_SHA512_C': ['-MBEDTLS_SSL_COOKIE_C',
285 '-MBEDTLS_SSL_PROTO_TLS1_3'],
286 'MBEDTLS_ECP_DP_CURVE448_ENABLED': ['-MBEDTLS_ECDSA_C',
287 '-MBEDTLS_ECDSA_DETERMINISTIC',
288 '-MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED',
289 '-MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED',
290 '-MBEDTLS_ECJPAKE_C',
291 '-MBEDTLS_KEY_EXCHANGE_ECJPAKE_ENABLED'],
292 'MBEDTLS_ECP_DP_CURVE25519_ENABLED': ['-MBEDTLS_ECDSA_C',
293 '-MBEDTLS_ECDSA_DETERMINISTIC',
294 '-MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED',
295 '-MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED',
296 '-MBEDTLS_ECJPAKE_C',
297 '-MBEDTLS_KEY_EXCHANGE_ECJPAKE_ENABLED'],
298 'MBEDTLS_ARIA_C': ['-MBEDTLS_CMAC_C'],
299 'MBEDTLS_CAMELLIA_C': ['-MBEDTLS_CMAC_C'],
300 'MBEDTLS_CHACHA20_C': ['-MBEDTLS_CMAC_C', '-MBEDTLS_CCM_C', '-MBEDTLS_GCM_C'],
301 'MBEDTLS_DES_C': ['-MBEDTLS_CCM_C',
302 '-MBEDTLS_GCM_C',
303 '-MBEDTLS_SSL_TICKET_C',
304 '-MBEDTLS_SSL_CONTEXT_SERIALIZATION'],
Andrzej Kurek90686252022-09-28 03:17:56 -0400305}
306def handle_exclusive_groups(config_settings, symbol):
307 """For every symbol tested in an exclusive group check if there are other
308defines to be altered. """
Andrzej Kurekfb3e27e2022-10-04 16:22:22 -0400309 for dep in EXCLUSIVE_GROUPS.get(symbol, []):
Andrzej Kurek9cbdf102022-10-14 08:09:16 -0400310 unset = dep.startswith('-')
311 dep = dep[1:]
Andrzej Kurek90686252022-09-28 03:17:56 -0400312 config_settings[dep] = not unset
313
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100314def turn_off_dependencies(config_settings):
315 """For every option turned off config_settings, also turn off what depends on it.
316An option O is turned off if config_settings[O] is False."""
317 for key, value in sorted(config_settings.items()):
318 if value is not False:
319 continue
Andrzej Kurekfb3e27e2022-10-04 16:22:22 -0400320 for dep in REVERSE_DEPENDENCIES.get(key, []):
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100321 config_settings[dep] = False
322
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400323class BaseDomain: # pylint: disable=too-few-public-methods, unused-argument
324 """A base class for all domains."""
325 def __init__(self, symbols, commands, exclude):
326 """Initialize the jobs container"""
327 self.jobs = []
328
329class ExclusiveDomain(BaseDomain): # pylint: disable=too-few-public-methods
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100330 """A domain consisting of a set of conceptually-equivalent settings.
331Establish a list of configuration symbols. For each symbol, run a test job
Andrzej Kurek2e105b52022-10-06 16:57:38 -0400332with this symbol set and the others unset."""
Gilles Peskine3dd0dab2019-01-29 18:56:03 +0100333 def __init__(self, symbols, commands, exclude=None):
334 """Build a domain for the specified list of configuration symbols.
Andrzej Kurek2e105b52022-10-06 16:57:38 -0400335The domain contains a set of jobs that enable one of the elements
336of symbols and disable the others.
Gilles Peskine3dd0dab2019-01-29 18:56:03 +0100337Each job runs the specified commands.
338If exclude is a regular expression, skip generated jobs whose description
339would match this regular expression."""
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400340 super().__init__(symbols, commands, exclude)
Andrzej Kurek2e105b52022-10-06 16:57:38 -0400341 base_config_settings = {}
342 for symbol in symbols:
343 base_config_settings[symbol] = False
344 for symbol in symbols:
345 description = symbol
346 if exclude and re.match(exclude, description):
347 continue
348 config_settings = base_config_settings.copy()
349 config_settings[symbol] = True
350 handle_exclusive_groups(config_settings, symbol)
351 turn_off_dependencies(config_settings)
352 job = Job(description, config_settings, commands)
353 self.jobs.append(job)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100354
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400355class ComplementaryDomain(BaseDomain): # pylint: disable=too-few-public-methods
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100356 """A domain consisting of a set of loosely-related settings.
357Establish a list of configuration symbols. For each symbol, run a test job
Andrzej Kurek8b7a1572022-10-14 07:06:43 -0400358with this symbol unset.
359If exclude is a regular expression, skip generated jobs whose description
360would match this regular expression."""
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400361 def __init__(self, symbols, commands, exclude=None):
Gilles Peskine3dd0dab2019-01-29 18:56:03 +0100362 """Build a domain for the specified list of configuration symbols.
363Each job in the domain disables one of the specified symbols.
364Each job runs the specified commands."""
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400365 super().__init__(symbols, commands, exclude)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100366 for symbol in symbols:
367 description = '!' + symbol
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400368 if exclude and re.match(exclude, description):
369 continue
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100370 config_settings = {symbol: False}
371 turn_off_dependencies(config_settings)
372 job = Job(description, config_settings, commands)
373 self.jobs.append(job)
374
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400375class DualDomain(ExclusiveDomain, ComplementaryDomain): # pylint: disable=too-few-public-methods
Andrzej Kurek8b7a1572022-10-14 07:06:43 -0400376 """A domain that contains both the ExclusiveDomain and BaseDomain tests.
Andrzej Kurek0325ced2022-10-18 09:37:59 -0400377Both parent class __init__ calls are performed in any order and
Andrzej Kurek8b7a1572022-10-14 07:06:43 -0400378each call adds respective jobs. The job array initialization is done once in
379BaseDomain, before the parent __init__ calls."""
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400380
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400381class CipherInfo: # pylint: disable=too-few-public-methods
Gilles Peskine3ce0e322019-01-29 23:12:28 +0100382 """Collect data about cipher.h."""
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400383 def __init__(self):
Gilles Peskine3ce0e322019-01-29 23:12:28 +0100384 self.base_symbols = set()
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400385 with open('include/mbedtls/cipher.h', encoding="utf-8") as fh:
Gilles Peskine3ce0e322019-01-29 23:12:28 +0100386 for line in fh:
387 m = re.match(r' *MBEDTLS_CIPHER_ID_(\w+),', line)
388 if m and m.group(1) not in ['NONE', 'NULL', '3DES']:
389 self.base_symbols.add('MBEDTLS_' + m.group(1) + '_C')
390
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100391class DomainData:
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400392 """A container for domains and jobs, used to structurize testing."""
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100393 def config_symbols_matching(self, regexp):
Andrzej Kurek90686252022-09-28 03:17:56 -0400394 """List the mbedtls_config.h settings matching regexp."""
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100395 return [symbol for symbol in self.all_config_symbols
396 if re.match(regexp, symbol)]
397
398 def __init__(self, options):
399 """Gather data about the library and establish a list of domains to test."""
400 build_command = [options.make_command, 'CFLAGS=-Werror']
401 build_and_test = [build_command, [options.make_command, 'test']]
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400402 self.all_config_symbols = set(collect_config_symbols(options))
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100403 # Find hash modules by name.
404 hash_symbols = self.config_symbols_matching(r'MBEDTLS_(MD|RIPEMD|SHA)[0-9]+_C\Z')
405 # Find elliptic curve enabling macros by name.
406 curve_symbols = self.config_symbols_matching(r'MBEDTLS_ECP_DP_\w+_ENABLED\Z')
407 # Find key exchange enabling macros by name.
408 key_exchange_symbols = self.config_symbols_matching(r'MBEDTLS_KEY_EXCHANGE_\w+_ENABLED\Z')
Gilles Peskine3ce0e322019-01-29 23:12:28 +0100409 # Find cipher IDs (block permutations and stream ciphers --- chaining
410 # and padding modes are exercised separately) information by parsing
Andrzej Kurek90686252022-09-28 03:17:56 -0400411 # cipher.h, as the information is not readily available in mbedtls_config.h.
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400412 cipher_info = CipherInfo()
Gilles Peskine3ce0e322019-01-29 23:12:28 +0100413 # Find block cipher chaining and padding mode enabling macros by name.
414 cipher_chaining_symbols = self.config_symbols_matching(r'MBEDTLS_CIPHER_MODE_\w+\Z')
415 cipher_padding_symbols = self.config_symbols_matching(r'MBEDTLS_CIPHER_PADDING_\w+\Z')
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100416 self.domains = {
Gilles Peskine3ce0e322019-01-29 23:12:28 +0100417 # Cipher IDs, chaining modes and padding modes. Run the test suites.
418 'cipher_id': ExclusiveDomain(cipher_info.base_symbols,
419 build_and_test),
420 'cipher_chaining': ExclusiveDomain(cipher_chaining_symbols,
421 build_and_test),
422 'cipher_padding': ExclusiveDomain(cipher_padding_symbols,
423 build_and_test),
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100424 # Elliptic curves. Run the test suites.
425 'curves': ExclusiveDomain(curve_symbols, build_and_test),
Andrzej Kurek8b7a1572022-10-14 07:06:43 -0400426 # Hash algorithms. Exclude three groups:
427 # - Exclusive domain of MD, RIPEMD, SHA1 (obsolete);
428 # - Exclusive domain of SHA224 (tested with and depends on SHA256);
429 # - Complementary domain of SHA224 and SHA384 - tested with and depend
430 # on SHA256 and SHA512, respectively.
Andrzej Kurek068a73f2022-10-06 18:52:44 -0400431 'hashes': DualDomain(hash_symbols, build_and_test,
Andrzej Kurek8b7a1572022-10-14 07:06:43 -0400432 exclude=r'MBEDTLS_(MD|RIPEMD|SHA1_)' \
433 '|MBEDTLS_SHA224_'\
434 '|!MBEDTLS_(SHA224_|SHA384_)'),
Gilles Peskine7088a732019-01-29 19:33:05 +0100435 # Key exchange types. Only build the library and the sample
436 # programs.
437 'kex': ExclusiveDomain(key_exchange_symbols,
438 [build_command + ['lib'],
439 build_command + ['-C', 'programs']]),
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100440 'pkalgs': ComplementaryDomain(['MBEDTLS_ECDSA_C',
441 'MBEDTLS_ECP_C',
442 'MBEDTLS_PKCS1_V21',
443 'MBEDTLS_PKCS1_V15',
444 'MBEDTLS_RSA_C',
445 'MBEDTLS_X509_RSASSA_PSS_SUPPORT'],
446 build_and_test),
447 }
448 self.jobs = {}
449 for domain in self.domains.values():
450 for job in domain.jobs:
451 self.jobs[job.name] = job
452
453 def get_jobs(self, name):
454 """Return the list of jobs identified by the given name.
455A name can either be the name of a domain or the name of one specific job."""
456 if name in self.domains:
457 return sorted(self.domains[name].jobs, key=lambda job: job.name)
458 else:
459 return [self.jobs[name]]
460
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100461def run(options, job, colors=NO_COLORS):
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100462 """Run the specified job (a Job instance)."""
463 subprocess.check_call([options.make_command, 'clean'])
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100464 job.announce(colors, None)
Gilles Peskined43ce2b2019-01-29 18:46:34 +0100465 job.configure(options)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100466 success = job.test(options)
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100467 job.announce(colors, success)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100468 return success
469
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400470def run_tests(options, domain_data):
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100471 """Run the desired jobs.
472domain_data should be a DomainData instance that describes the available
473domains and jobs.
474Run the jobs listed in options.domains."""
475 if not hasattr(options, 'config_backup'):
476 options.config_backup = options.config + '.bak'
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100477 colors = Colors(options)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100478 jobs = []
479 failures = []
480 successes = []
481 for name in options.domains:
482 jobs += domain_data.get_jobs(name)
483 backup_config(options)
484 try:
485 for job in jobs:
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100486 success = run(options, job, colors=colors)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100487 if not success:
488 if options.keep_going:
489 failures.append(job.name)
490 else:
491 return False
492 else:
493 successes.append(job.name)
Gilles Peskine88e8dd62019-01-29 18:52:16 +0100494 restore_config(options)
495 except:
496 # Restore the configuration, except in stop-on-error mode if there
497 # was an error, where we leave the failing configuration up for
498 # developer convenience.
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100499 if options.keep_going:
Gilles Peskine88e8dd62019-01-29 18:52:16 +0100500 restore_config(options)
501 raise
Gilles Peskinedc68f612019-01-29 18:50:03 +0100502 if successes:
503 log_line('{} passed'.format(' '.join(successes)), color=colors.bold_green)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100504 if failures:
Gilles Peskinedc68f612019-01-29 18:50:03 +0100505 log_line('{} FAILED'.format(' '.join(failures)), color=colors.bold_red)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100506 return False
507 else:
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100508 return True
509
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400510def main():
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100511 try:
Andrzej Kurek110fc482022-10-09 05:29:44 -0400512 parser = argparse.ArgumentParser(
513 formatter_class=argparse.RawDescriptionHelpFormatter,
514 description=
515 "Test Mbed TLS with a subset of algorithms.\n\n"
516 "Example usage:\n"
Andrzej Kurekffbc8f52022-10-17 08:34:40 -0400517 r"./tests/scripts/depends.py \!MBEDTLS_SHA1_C MBEDTLS_SHA256_C""\n"
Andrzej Kurek110fc482022-10-09 05:29:44 -0400518 "./tests/scripts/depends.py MBEDTLS_AES_C hashes\n"
519 "./tests/scripts/depends.py cipher_id cipher_chaining\n")
Gilles Peskinefd1d69c2019-01-29 18:48:48 +0100520 parser.add_argument('--color', metavar='WHEN',
521 help='Colorize the output (always/auto/never)',
522 choices=['always', 'auto', 'never'], default='auto')
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100523 parser.add_argument('-c', '--config', metavar='FILE',
524 help='Configuration file to modify',
Andrzej Kurek90686252022-09-28 03:17:56 -0400525 default='include/mbedtls/mbedtls_config.h')
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100526 parser.add_argument('-C', '--directory', metavar='DIR',
527 help='Change to this directory before anything else',
528 default='.')
529 parser.add_argument('-k', '--keep-going',
530 help='Try all configurations even if some fail (default)',
531 action='store_true', dest='keep_going', default=True)
532 parser.add_argument('-e', '--no-keep-going',
533 help='Stop as soon as a configuration fails',
534 action='store_false', dest='keep_going')
535 parser.add_argument('--list-jobs',
536 help='List supported jobs and exit',
537 action='append_const', dest='list', const='jobs')
538 parser.add_argument('--list-domains',
539 help='List supported domains and exit',
540 action='append_const', dest='list', const='domains')
541 parser.add_argument('--make-command', metavar='CMD',
542 help='Command to run instead of make (e.g. gmake)',
543 action='store', default='make')
544 parser.add_argument('domains', metavar='DOMAIN', nargs='*',
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400545 help='The domain(s) to test (default: all). This can \
546 be also a list of jobs to run.',
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100547 default=True)
548 options = parser.parse_args()
549 os.chdir(options.directory)
550 domain_data = DomainData(options)
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400551 if options.domains is True:
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100552 options.domains = sorted(domain_data.domains.keys())
553 if options.list:
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400554 for arg in options.list:
555 for domain_name in sorted(getattr(domain_data, arg).keys()):
556 print(domain_name)
557 sys.exit(0)
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100558 else:
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400559 sys.exit(0 if run_tests(options, domain_data) else 1)
560 except Exception: # pylint: disable=broad-except
Gilles Peskinef5ea1972019-01-29 08:50:20 +0100561 traceback.print_exc()
Andrzej Kurekb95ba9a2022-10-04 15:02:41 -0400562 sys.exit(3)
563
564if __name__ == '__main__':
565 main()