blob: 2cd6257d352b8f85b46fb9d804f1babf2cbcba60 [file] [log] [blame]
Gilles Peskine15c2cbf2020-06-25 18:36:28 +02001#!/usr/bin/env python3
2
3"""Analyze the test outcomes from a full CI run.
4
5This script can also run on outcomes from a partial run, but the results are
6less likely to be useful.
7"""
8
9import argparse
10import sys
11import traceback
Przemek Stekiel85c54ea2022-11-17 11:50:23 +010012import re
Valerio Settia2663322023-03-24 08:20:18 +010013import subprocess
14import os
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020015
Gilles Peskine8d3c70a2020-06-25 18:37:43 +020016import check_test_cases
17
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020018class Results:
19 """Process analysis results."""
20
21 def __init__(self):
22 self.error_count = 0
23 self.warning_count = 0
24
Valerio Setti2cff8202023-10-18 14:36:47 +020025 def new_section(self, fmt, *args, **kwargs):
26 self._print_line('\n*** ' + fmt + ' ***\n', *args, **kwargs)
27
Valerio Settiaaef0bc2023-10-10 09:42:13 +020028 def info(self, fmt, *args, **kwargs):
Valerio Setti8070dbe2023-10-17 12:29:30 +020029 self._print_line('Info: ' + fmt, *args, **kwargs)
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020030
31 def error(self, fmt, *args, **kwargs):
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020032 self.error_count += 1
Valerio Setti8070dbe2023-10-17 12:29:30 +020033 self._print_line('Error: ' + fmt, *args, **kwargs)
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020034
35 def warning(self, fmt, *args, **kwargs):
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020036 self.warning_count += 1
Valerio Setti8070dbe2023-10-17 12:29:30 +020037 self._print_line('Warning: ' + fmt, *args, **kwargs)
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020038
Valerio Setti3f339892023-10-17 10:42:11 +020039 @staticmethod
Valerio Setti8070dbe2023-10-17 12:29:30 +020040 def _print_line(fmt, *args, **kwargs):
Valerio Setti735794c2023-10-18 08:05:15 +020041 sys.stderr.write((fmt + '\n').format(*args, **kwargs))
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020042
Valerio Settif075e472023-10-17 11:03:16 +020043def execute_reference_driver_tests(results: Results, ref_component, driver_component, \
Valerio Setti781c2342023-10-17 12:47:35 +020044 outcome_file):
Valerio Setti22992a02023-03-29 11:15:28 +020045 """Run the tests specified in ref_component and driver_component. Results
46 are stored in the output_file and they will be used for the following
Valerio Settia2663322023-03-24 08:20:18 +010047 coverage analysis"""
48 # If the outcome file already exists, we assume that the user wants to
49 # perform the comparison analysis again without repeating the tests.
50 if os.path.exists(outcome_file):
Valerio Setti39d4b9d2023-10-18 14:30:03 +020051 results.info("Outcome file ({}) already exists. Tests will be skipped.", outcome_file)
Valerio Settia2663322023-03-24 08:20:18 +010052 return
53
54 shell_command = "tests/scripts/all.sh --outcome-file " + outcome_file + \
55 " " + ref_component + " " + driver_component
Valerio Setti39d4b9d2023-10-18 14:30:03 +020056 results.info("Running: {}", shell_command)
Valerio Settia2663322023-03-24 08:20:18 +010057 ret_val = subprocess.run(shell_command.split(), check=False).returncode
58
59 if ret_val != 0:
Valerio Settif075e472023-10-17 11:03:16 +020060 results.error("failed to run reference/driver components")
Valerio Settia2663322023-03-24 08:20:18 +010061
Tomás Gonzálezb401e112023-08-11 15:22:04 +010062def analyze_coverage(results, outcomes, allow_list, full_coverage):
Gilles Peskine8d3c70a2020-06-25 18:37:43 +020063 """Check that all available test cases are executed at least once."""
Gilles Peskine686c2922022-01-07 15:58:38 +010064 available = check_test_cases.collect_available_test_cases()
Gilles Peskine8d3c70a2020-06-25 18:37:43 +020065 for key in available:
Pengyu Lva4428582023-11-22 19:02:15 +080066 hits = 0
67 for _comp, comp_outcomes in outcomes.items():
68 if key in comp_outcomes["successes"] or \
69 key in comp_outcomes["failures"]:
70 hits += 1
71
Tomás González07bdcc22023-08-11 14:59:03 +010072 if hits == 0 and key not in allow_list:
Tomás Gonzálezb401e112023-08-11 15:22:04 +010073 if full_coverage:
74 results.error('Test case not executed: {}', key)
75 else:
76 results.warning('Test case not executed: {}', key)
Tomás González07bdcc22023-08-11 14:59:03 +010077 elif hits != 0 and key in allow_list:
78 # Test Case should be removed from the allow list.
Tomás González7ebb18f2023-08-22 09:40:23 +010079 if full_coverage:
Tomás Gonzáleza0631442023-08-22 12:17:57 +010080 results.error('Allow listed test case was executed: {}', key)
Tomás González7ebb18f2023-08-22 09:40:23 +010081 else:
82 results.warning('Allow listed test case was executed: {}', key)
Gilles Peskine8d3c70a2020-06-25 18:37:43 +020083
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +020084def name_matches_pattern(name, str_or_re):
85 """Check if name matches a pattern, that may be a string or regex.
86 - If the pattern is a string, name must be equal to match.
87 - If the pattern is a regex, name must fully match.
88 """
Manuel Pégourié-Gonnardb2695432023-10-23 09:30:40 +020089 # The CI's python is too old for re.Pattern
90 #if isinstance(str_or_re, re.Pattern):
91 if not isinstance(str_or_re, str):
Manuel Pégourié-Gonnard9d9c2342023-10-26 09:37:40 +020092 return str_or_re.fullmatch(name)
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +020093 else:
Manuel Pégourié-Gonnard9d9c2342023-10-26 09:37:40 +020094 return str_or_re == name
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +020095
Valerio Settif075e472023-10-17 11:03:16 +020096def analyze_driver_vs_reference(results: Results, outcomes,
Valerio Settiaaef0bc2023-10-10 09:42:13 +020097 component_ref, component_driver,
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +020098 ignored_suites, ignored_tests=None):
Przemek Stekiel4e955902022-10-21 13:42:08 +020099 """Check that all tests executed in the reference component are also
100 executed in the corresponding driver component.
Valerio Setti3002c992023-01-18 17:28:36 +0100101 Skip:
102 - full test suites provided in ignored_suites list
103 - only some specific test inside a test suite, for which the corresponding
104 output string is provided
Przemek Stekiel4e955902022-10-21 13:42:08 +0200105 """
Pengyu Lva4428582023-11-22 19:02:15 +0800106 ref_outcomes = outcomes.get("component_" + component_ref)
107 driver_outcomes = outcomes.get("component_" + component_driver)
108
109 if ref_outcomes is None or not ref_outcomes['successes']:
110 results.error("no passing test in reference component: bad outcome file?")
111 return
112
113 for key in ref_outcomes["successes"]:
Manuel Pégourié-Gonnard4da369f2023-10-18 09:40:32 +0200114 # key is like "test_suite_foo.bar;Description of test case"
115 (full_test_suite, test_string) = key.split(';')
Valerio Setti00c1ccb2023-02-02 11:33:31 +0100116 test_suite = full_test_suite.split('.')[0] # retrieve main part of test suite name
Manuel Pégourié-Gonnard371165a2023-10-18 12:44:54 +0200117
118 # Immediately skip fully-ignored test suites
Manuel Pégourié-Gonnard7d381f52023-03-17 15:13:08 +0100119 if test_suite in ignored_suites or full_test_suite in ignored_suites:
Valerio Setti00c1ccb2023-02-02 11:33:31 +0100120 continue
Manuel Pégourié-Gonnard371165a2023-10-18 12:44:54 +0200121
122 # For ignored test cases inside test suites, just remember and:
123 # don't issue an error if they're skipped with drivers,
124 # but issue an error if they're not (means we have a bad entry).
125 ignored = False
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +0200126 if full_test_suite in ignored_tests:
Manuel Pégourié-Gonnardd36a37f2023-10-26 09:41:59 +0200127 for str_or_re in ignored_tests[test_suite]:
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +0200128 if name_matches_pattern(test_string, str_or_re):
Manuel Pégourié-Gonnard371165a2023-10-18 12:44:54 +0200129 ignored = True
Manuel Pégourié-Gonnard4da369f2023-10-18 09:40:32 +0200130
Pengyu Lva4428582023-11-22 19:02:15 +0800131 if not ignored and not key in driver_outcomes['successes']:
Manuel Pégourié-Gonnardc51c4112023-10-30 10:21:22 +0100132 results.error("PASS -> SKIP/FAIL: {}", key)
Pengyu Lva4428582023-11-22 19:02:15 +0800133 if ignored and key in driver_outcomes['successes']:
Manuel Pégourié-Gonnardc51c4112023-10-30 10:21:22 +0100134 results.error("uselessly ignored: {}", key)
Manuel Pégourié-Gonnard371165a2023-10-18 12:44:54 +0200135
Valerio Setti781c2342023-10-17 12:47:35 +0200136def analyze_outcomes(results: Results, outcomes, args):
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200137 """Run all analyses on the given outcome collection."""
Tomás Gonzálezb401e112023-08-11 15:22:04 +0100138 analyze_coverage(results, outcomes, args['allow_list'],
139 args['full_coverage'])
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200140
141def read_outcome_file(outcome_file):
142 """Parse an outcome file and return an outcome collection.
143
144An outcome collection is a dictionary mapping keys to TestCaseOutcomes objects.
145The keys are the test suite name and the test case description, separated
146by a semicolon.
147"""
148 outcomes = {}
149 with open(outcome_file, 'r', encoding='utf-8') as input_file:
150 for line in input_file:
Pengyu Lva4428582023-11-22 19:02:15 +0800151 (_platform, config, suite, case, result, _cause) = line.split(';')
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200152 key = ';'.join([suite, case])
Pengyu Lva4428582023-11-22 19:02:15 +0800153 if config not in outcomes:
154 outcomes[config] = {"successes":[], "failures":[]}
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200155 if result == 'PASS':
Pengyu Lva4428582023-11-22 19:02:15 +0800156 outcomes[config]['successes'].append(key)
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200157 elif result == 'FAIL':
Pengyu Lva4428582023-11-22 19:02:15 +0800158 outcomes[config]['failures'].append(key)
159
160 for config in outcomes:
161 outcomes[config]['successes'] = frozenset(outcomes[config]['successes'])
162 outcomes[config]['failures'] = frozenset(outcomes[config]['failures'])
163
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200164 return outcomes
165
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800166def do_analyze_coverage(results: Results, outcomes_or_file, args):
Przemek Stekiel6856f4c2022-11-09 10:50:29 +0100167 """Perform coverage analysis."""
Valerio Setti2cff8202023-10-18 14:36:47 +0200168 results.new_section("Analyze coverage")
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800169 outcomes = read_outcome_file(outcomes_or_file) \
170 if isinstance(outcomes_or_file, str) else outcomes_or_file
Valerio Setti781c2342023-10-17 12:47:35 +0200171 analyze_outcomes(results, outcomes, args)
Przemek Stekiel4e955902022-10-21 13:42:08 +0200172
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800173def do_analyze_driver_vs_reference(results: Results, outcomes_or_file, args):
Przemek Stekiel4e955902022-10-21 13:42:08 +0200174 """Perform driver vs reference analyze."""
Valerio Setti2cff8202023-10-18 14:36:47 +0200175 results.new_section("Analyze driver {} vs reference {}",
176 args['component_driver'], args['component_ref'])
Valerio Settib0c618e2023-10-16 14:19:49 +0200177
Valerio Setti3002c992023-01-18 17:28:36 +0100178 ignored_suites = ['test_suite_' + x for x in args['ignored_suites']]
Przemek Stekiel51f30ff2022-11-09 12:07:29 +0100179
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800180 if isinstance(outcomes_or_file, str):
181 execute_reference_driver_tests(results, args['component_ref'], \
182 args['component_driver'], outcomes_or_file)
183 outcomes = read_outcome_file(outcomes_or_file)
184 else:
185 outcomes = outcomes_or_file
Valerio Settiaaef0bc2023-10-10 09:42:13 +0200186
Valerio Setti781c2342023-10-17 12:47:35 +0200187 analyze_driver_vs_reference(results, outcomes,
188 args['component_ref'], args['component_driver'],
189 ignored_suites, args['ignored_tests'])
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200190
Przemek Stekiel6856f4c2022-11-09 10:50:29 +0100191# List of tasks with a function that can handle this task and additional arguments if required
Valerio Settidfd7ca62023-10-09 16:30:11 +0200192KNOWN_TASKS = {
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200193 'analyze_coverage': {
194 'test_function': do_analyze_coverage,
Tomás González07bdcc22023-08-11 14:59:03 +0100195 'args': {
Tomás González358c6c62023-08-14 15:43:46 +0100196 'allow_list': [
Tomás González50223112023-08-22 09:52:06 +0100197 # Algorithm not supported yet
198 'test_suite_psa_crypto_metadata;Asymmetric signature: pure EdDSA',
199 # Algorithm not supported yet
200 'test_suite_psa_crypto_metadata;Cipher: XTS',
Tomás Gonzálezd43cab32023-08-24 09:12:40 +0100201 ],
Tomás Gonzálezb401e112023-08-11 15:22:04 +0100202 'full_coverage': False,
Tomás González07bdcc22023-08-11 14:59:03 +0100203 }
Tomás Gonzálezd43cab32023-08-24 09:12:40 +0100204 },
Valerio Settia2663322023-03-24 08:20:18 +0100205 # There are 2 options to use analyze_driver_vs_reference_xxx locally:
206 # 1. Run tests and then analysis:
207 # - tests/scripts/all.sh --outcome-file "$PWD/out.csv" <component_ref> <component_driver>
208 # - tests/scripts/analyze_outcomes.py out.csv analyze_driver_vs_reference_xxx
209 # 2. Let this script run both automatically:
210 # - tests/scripts/analyze_outcomes.py out.csv analyze_driver_vs_reference_xxx
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200211 'analyze_driver_vs_reference_hash': {
212 'test_function': do_analyze_driver_vs_reference,
213 'args': {
Przemek Stekiel51f30ff2022-11-09 12:07:29 +0100214 'component_ref': 'test_psa_crypto_config_reference_hash_use_psa',
215 'component_driver': 'test_psa_crypto_config_accel_hash_use_psa',
Manuel Pégourié-Gonnard10e39632022-12-29 12:29:09 +0100216 'ignored_suites': [
217 'shax', 'mdx', # the software implementations that are being excluded
Manuel Pégourié-Gonnard7d381f52023-03-17 15:13:08 +0100218 'md.psa', # purposefully depends on whether drivers are present
Gilles Peskine35b49c42023-10-04 12:28:41 +0200219 'psa_crypto_low_hash.generated', # testing the builtins
Valerio Setti3002c992023-01-18 17:28:36 +0100220 ],
221 'ignored_tests': {
222 }
223 }
224 },
Valerio Settib6b301f2023-10-04 12:05:05 +0200225 'analyze_driver_vs_reference_cipher_aead': {
226 'test_function': do_analyze_driver_vs_reference,
227 'args': {
228 'component_ref': 'test_psa_crypto_config_reference_cipher_aead',
229 'component_driver': 'test_psa_crypto_config_accel_cipher_aead',
Valerio Setti507e08f2023-10-26 09:44:06 +0200230 # Modules replaced by drivers.
Valerio Settib6b301f2023-10-04 12:05:05 +0200231 'ignored_suites': [
Valerio Setti507e08f2023-10-26 09:44:06 +0200232 # low-level (block/stream) cipher modules
233 'aes', 'aria', 'camellia', 'des', 'chacha20',
234 # AEAD modes
235 'ccm', 'chachapoly', 'cmac', 'gcm',
236 # The Cipher abstraction layer
237 'cipher',
Valerio Settib6b301f2023-10-04 12:05:05 +0200238 ],
239 'ignored_tests': {
Valerio Setti507e08f2023-10-26 09:44:06 +0200240 # PEM decryption is not supported so far.
241 # The rest of PEM (write, unencrypted read) works though.
Valerio Setti7448cee2023-10-04 15:46:42 +0200242 'test_suite_pem': [
Manuel Pégourié-Gonnardcd84a292023-10-27 09:24:44 +0200243 re.compile(r'PEM read .*(AES|DES|\bencrypt).*'),
Valerio Setti7448cee2023-10-04 15:46:42 +0200244 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200245 # Following tests depend on AES_C/DES_C but are not about
246 # them really, just need to know some error code is there.
Valerio Setti7448cee2023-10-04 15:46:42 +0200247 'test_suite_error': [
248 'Low and high error',
249 'Single low error'
250 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200251 # Similar to test_suite_error above.
Valerio Setti7448cee2023-10-04 15:46:42 +0200252 'test_suite_version': [
253 'Check for MBEDTLS_AES_C when already present',
Valerio Setti93941442023-10-13 09:19:52 +0200254 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200255 # The en/decryption part of PKCS#12 is not supported so far.
256 # The rest of PKCS#12 (key derivation) works though.
Valerio Setti93941442023-10-13 09:19:52 +0200257 'test_suite_pkcs12': [
Manuel Pégourié-Gonnardcd84a292023-10-27 09:24:44 +0200258 re.compile(r'PBE Encrypt, .*'),
259 re.compile(r'PBE Decrypt, .*'),
Valerio Setti93941442023-10-13 09:19:52 +0200260 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200261 # The en/decryption part of PKCS#5 is not supported so far.
262 # The rest of PKCS#5 (PBKDF2) works though.
Valerio Setti93941442023-10-13 09:19:52 +0200263 'test_suite_pkcs5': [
Manuel Pégourié-Gonnardcd84a292023-10-27 09:24:44 +0200264 re.compile(r'PBES2 Encrypt, .*'),
265 re.compile(r'PBES2 Decrypt .*'),
Valerio Setti93941442023-10-13 09:19:52 +0200266 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200267 # Encrypted keys are not supported so far.
Valerio Setti5cd18f92023-10-13 15:14:07 +0200268 # pylint: disable=line-too-long
Valerio Setti93941442023-10-13 09:19:52 +0200269 'test_suite_pkparse': [
270 'Key ASN1 (Encrypted key PKCS12, trailing garbage data)',
271 'Key ASN1 (Encrypted key PKCS5, trailing garbage data)',
Manuel Pégourié-Gonnardcd84a292023-10-27 09:24:44 +0200272 re.compile(r'Parse RSA Key .*\(PKCS#8 encrypted .*\)'),
Valerio Setti93941442023-10-13 09:19:52 +0200273 ],
Valerio Settib6b301f2023-10-04 12:05:05 +0200274 }
275 }
276 },
Valerio Setti4d25a8d2023-06-14 10:33:10 +0200277 'analyze_driver_vs_reference_ecp_light_only': {
Valerio Setti42d5f192023-03-20 13:54:41 +0100278 'test_function': do_analyze_driver_vs_reference,
279 'args': {
Valerio Setti4d25a8d2023-06-14 10:33:10 +0200280 'component_ref': 'test_psa_crypto_config_reference_ecc_ecp_light_only',
281 'component_driver': 'test_psa_crypto_config_accel_ecc_ecp_light_only',
Valerio Setti42d5f192023-03-20 13:54:41 +0100282 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200283 # Modules replaced by drivers
284 'ecdsa', 'ecdh', 'ecjpake',
Valerio Setti42d5f192023-03-20 13:54:41 +0100285 ],
286 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200287 # This test wants a legacy function that takes f_rng, p_rng
288 # arguments, and uses legacy ECDSA for that. The test is
289 # really about the wrapper around the PSA RNG, not ECDSA.
Valerio Setti42d5f192023-03-20 13:54:41 +0100290 'test_suite_random': [
291 'PSA classic wrapper: ECDSA signature (SECP256R1)',
292 ],
Valerio Setti0c477d32023-04-07 15:54:20 +0200293 # In the accelerated test ECP_C is not set (only ECP_LIGHT is)
294 # so we must ignore disparities in the tests for which ECP_C
295 # is required.
296 'test_suite_ecp': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200297 re.compile(r'ECP check public-private .*'),
298 re.compile(r'ECP gen keypair .*'),
299 re.compile(r'ECP point muladd .*'),
300 re.compile(r'ECP point multiplication .*'),
301 re.compile(r'ECP test vectors .*'),
Valerio Setti482a0b92023-08-18 15:55:10 +0200302 ],
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200303 'test_suite_ssl': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200304 # This deprecated function is only present when ECP_C is On.
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200305 'Test configuration of groups for DHE through mbedtls_ssl_conf_curves()',
306 ],
Valerio Setti5f540202023-06-30 17:20:49 +0200307 }
Valerio Setti42d5f192023-03-20 13:54:41 +0100308 }
309 },
Valerio Setti4d25a8d2023-06-14 10:33:10 +0200310 'analyze_driver_vs_reference_no_ecp_at_all': {
Valerio Settie618cb02023-04-12 14:59:16 +0200311 'test_function': do_analyze_driver_vs_reference,
312 'args': {
Valerio Setti4d25a8d2023-06-14 10:33:10 +0200313 'component_ref': 'test_psa_crypto_config_reference_ecc_no_ecp_at_all',
314 'component_driver': 'test_psa_crypto_config_accel_ecc_no_ecp_at_all',
Valerio Settie618cb02023-04-12 14:59:16 +0200315 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200316 # Modules replaced by drivers
317 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
Valerio Settie618cb02023-04-12 14:59:16 +0200318 ],
319 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200320 # See ecp_light_only
Valerio Settie618cb02023-04-12 14:59:16 +0200321 'test_suite_random': [
322 'PSA classic wrapper: ECDSA signature (SECP256R1)',
323 ],
Valerio Settiaddeee42023-06-14 10:46:55 +0200324 'test_suite_pkparse': [
Valerio Setti5bd25232023-06-19 19:32:14 +0200325 # When PK_PARSE_C and ECP_C are defined then PK_PARSE_EC_COMPRESSED
326 # is automatically enabled in build_info.h (backward compatibility)
327 # even if it is disabled in config_psa_crypto_no_ecp_at_all(). As a
328 # consequence compressed points are supported in the reference
329 # component but not in the accelerated one, so they should be skipped
330 # while checking driver's coverage.
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200331 re.compile(r'Parse EC Key .*compressed\)'),
332 re.compile(r'Parse Public EC Key .*compressed\)'),
Valerio Settiaddeee42023-06-14 10:46:55 +0200333 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200334 # See ecp_light_only
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200335 'test_suite_ssl': [
336 'Test configuration of groups for DHE through mbedtls_ssl_conf_curves()',
337 ],
Valerio Settie618cb02023-04-12 14:59:16 +0200338 }
339 }
340 },
Valerio Setti307810b2023-08-15 10:12:25 +0200341 'analyze_driver_vs_reference_ecc_no_bignum': {
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200342 'test_function': do_analyze_driver_vs_reference,
343 'args': {
344 'component_ref': 'test_psa_crypto_config_reference_ecc_no_bignum',
345 'component_driver': 'test_psa_crypto_config_accel_ecc_no_bignum',
346 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200347 # Modules replaced by drivers
348 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
349 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
350 'bignum.generated', 'bignum.misc',
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200351 ],
352 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200353 # See ecp_light_only
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200354 'test_suite_random': [
355 'PSA classic wrapper: ECDSA signature (SECP256R1)',
356 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200357 # See no_ecp_at_all
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200358 'test_suite_pkparse': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200359 re.compile(r'Parse EC Key .*compressed\)'),
360 re.compile(r'Parse Public EC Key .*compressed\)'),
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200361 ],
Valerio Setti9b3dbcc2023-07-26 18:00:31 +0200362 'test_suite_asn1parse': [
Valerio Setti9b3dbcc2023-07-26 18:00:31 +0200363 'INTEGER too large for mpi',
364 ],
365 'test_suite_asn1write': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200366 re.compile(r'ASN.1 Write mpi.*'),
Valerio Setti9b3dbcc2023-07-26 18:00:31 +0200367 ],
Valerio Settie0be95e2023-08-01 09:07:43 +0200368 'test_suite_debug': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200369 re.compile(r'Debug print mbedtls_mpi.*'),
Valerio Settie0be95e2023-08-01 09:07:43 +0200370 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200371 # See ecp_light_only
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200372 'test_suite_ssl': [
373 'Test configuration of groups for DHE through mbedtls_ssl_conf_curves()',
374 ],
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200375 }
376 }
377 },
Valerio Setti307810b2023-08-15 10:12:25 +0200378 'analyze_driver_vs_reference_ecc_ffdh_no_bignum': {
379 'test_function': do_analyze_driver_vs_reference,
380 'args': {
381 'component_ref': 'test_psa_crypto_config_reference_ecc_ffdh_no_bignum',
382 'component_driver': 'test_psa_crypto_config_accel_ecc_ffdh_no_bignum',
383 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200384 # Modules replaced by drivers
385 'ecp', 'ecdsa', 'ecdh', 'ecjpake', 'dhm',
386 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
387 'bignum.generated', 'bignum.misc',
Valerio Setti307810b2023-08-15 10:12:25 +0200388 ],
389 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200390 # See ecp_light_only
Valerio Setti307810b2023-08-15 10:12:25 +0200391 'test_suite_random': [
392 'PSA classic wrapper: ECDSA signature (SECP256R1)',
393 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200394 # See no_ecp_at_all
Valerio Setti307810b2023-08-15 10:12:25 +0200395 'test_suite_pkparse': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200396 re.compile(r'Parse EC Key .*compressed\)'),
397 re.compile(r'Parse Public EC Key .*compressed\)'),
Valerio Setti307810b2023-08-15 10:12:25 +0200398 ],
399 'test_suite_asn1parse': [
Valerio Setti307810b2023-08-15 10:12:25 +0200400 'INTEGER too large for mpi',
401 ],
402 'test_suite_asn1write': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200403 re.compile(r'ASN.1 Write mpi.*'),
Valerio Setti307810b2023-08-15 10:12:25 +0200404 ],
405 'test_suite_debug': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200406 re.compile(r'Debug print mbedtls_mpi.*'),
Valerio Setti307810b2023-08-15 10:12:25 +0200407 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200408 # See ecp_light_only
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200409 'test_suite_ssl': [
410 'Test configuration of groups for DHE through mbedtls_ssl_conf_curves()',
411 ],
Valerio Setti307810b2023-08-15 10:12:25 +0200412 }
413 }
414 },
Przemek Stekiel85b64422023-05-26 09:55:23 +0200415 'analyze_driver_vs_reference_ffdh_alg': {
416 'test_function': do_analyze_driver_vs_reference,
417 'args': {
418 'component_ref': 'test_psa_crypto_config_reference_ffdh',
419 'component_driver': 'test_psa_crypto_config_accel_ffdh',
Przemek Stekiel84f4ff12023-07-04 12:35:31 +0200420 'ignored_suites': ['dhm'],
Przemek Stekiel565353e2023-07-05 11:07:07 +0200421 'ignored_tests': {}
Przemek Stekiel85b64422023-05-26 09:55:23 +0200422 }
423 },
Valerio Settif01d6482023-08-04 13:51:18 +0200424 'analyze_driver_vs_reference_tfm_config': {
425 'test_function': do_analyze_driver_vs_reference,
426 'args': {
427 'component_ref': 'test_tfm_config',
428 'component_driver': 'test_tfm_config_p256m_driver_accel_ec',
Manuel Pégourié-Gonnarde9d97972023-08-08 18:34:47 +0200429 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200430 # Modules replaced by drivers
Yanray Wang57790962023-10-31 13:39:07 +0800431 'asn1parse', 'asn1write',
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200432 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
433 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
434 'bignum.generated', 'bignum.misc',
Manuel Pégourié-Gonnarde9d97972023-08-08 18:34:47 +0200435 ],
Valerio Settif01d6482023-08-04 13:51:18 +0200436 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200437 # See ecp_light_only
Manuel Pégourié-Gonnarde9d97972023-08-08 18:34:47 +0200438 'test_suite_random': [
439 'PSA classic wrapper: ECDSA signature (SECP256R1)',
440 ],
Valerio Settif01d6482023-08-04 13:51:18 +0200441 }
442 }
443 }
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200444}
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200445
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200446def main():
Valerio Settif075e472023-10-17 11:03:16 +0200447 main_results = Results()
Valerio Settiaaef0bc2023-10-10 09:42:13 +0200448
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200449 try:
450 parser = argparse.ArgumentParser(description=__doc__)
Przemek Stekiel58bbc232022-10-24 08:10:10 +0200451 parser.add_argument('outcomes', metavar='OUTCOMES.CSV',
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200452 help='Outcome file to analyze')
Valerio Settidfd7ca62023-10-09 16:30:11 +0200453 parser.add_argument('specified_tasks', default='all', nargs='?',
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100454 help='Analysis to be done. By default, run all tasks. '
455 'With one or more TASK, run only those. '
456 'TASK can be the name of a single task or '
Przemek Stekiel85c54ea2022-11-17 11:50:23 +0100457 'comma/space-separated list of tasks. ')
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100458 parser.add_argument('--list', action='store_true',
459 help='List all available tasks and exit.')
Tomás Gonzálezb401e112023-08-11 15:22:04 +0100460 parser.add_argument('--require-full-coverage', action='store_true',
461 dest='full_coverage', help="Require all available "
462 "test cases to be executed and issue an error "
463 "otherwise. This flag is ignored if 'task' is "
464 "neither 'all' nor 'analyze_coverage'")
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200465 options = parser.parse_args()
Przemek Stekiel4e955902022-10-21 13:42:08 +0200466
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100467 if options.list:
Valerio Settidfd7ca62023-10-09 16:30:11 +0200468 for task in KNOWN_TASKS:
Valerio Setti5329ff02023-10-17 09:44:36 +0200469 print(task)
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100470 sys.exit(0)
471
Valerio Settidfd7ca62023-10-09 16:30:11 +0200472 if options.specified_tasks == 'all':
473 tasks_list = KNOWN_TASKS.keys()
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100474 else:
Valerio Settidfd7ca62023-10-09 16:30:11 +0200475 tasks_list = re.split(r'[, ]+', options.specified_tasks)
Valerio Settidfd7ca62023-10-09 16:30:11 +0200476 for task in tasks_list:
477 if task not in KNOWN_TASKS:
Manuel Pégourié-Gonnard62d61312023-10-20 10:51:57 +0200478 sys.stderr.write('invalid task: {}\n'.format(task))
Valerio Settifb2750e2023-10-17 10:11:45 +0200479 sys.exit(2)
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100480
Valerio Settidfd7ca62023-10-09 16:30:11 +0200481 KNOWN_TASKS['analyze_coverage']['args']['full_coverage'] = options.full_coverage
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100482
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800483 # If the outcome file already exists, we assume that the user wants to
484 # perform the comparison.
485 # Share the contents among tasks to improve performance.
486 if os.path.exists(options.outcomes):
487 main_results.info("Read outcome file from {}.", options.outcomes)
488 outcomes_or_file = read_outcome_file(options.outcomes)
489 else:
490 outcomes_or_file = options.outcomes
491
Valerio Settifb2750e2023-10-17 10:11:45 +0200492 for task in tasks_list:
493 test_function = KNOWN_TASKS[task]['test_function']
494 test_args = KNOWN_TASKS[task]['args']
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800495 test_function(main_results, outcomes_or_file, test_args)
Tomás Gonzálezb401e112023-08-11 15:22:04 +0100496
Valerio Settif6f64cf2023-10-17 12:28:26 +0200497 main_results.info("Overall results: {} warnings and {} errors",
498 main_results.warning_count, main_results.error_count)
Przemek Stekiel4e955902022-10-21 13:42:08 +0200499
Valerio Setti8d178be2023-10-17 12:23:55 +0200500 sys.exit(0 if (main_results.error_count == 0) else 1)
Valerio Settiaaef0bc2023-10-10 09:42:13 +0200501
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200502 except Exception: # pylint: disable=broad-except
503 # Print the backtrace and exit explicitly with our chosen status.
504 traceback.print_exc()
505 sys.exit(120)
506
507if __name__ == '__main__':
508 main()