blob: 488c96bbad139de56f5392147bc6f9b9a5525098 [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()
Pengyu Lv31a9b782023-11-23 14:15:37 +080065 for suite_case in available:
Pengyu Lva4428582023-11-22 19:02:15 +080066 hits = 0
Pengyu Lvdd1d6a72023-11-27 17:57:31 +080067 for comp_outcomes in outcomes.values():
Pengyu Lv31a9b782023-11-23 14:15:37 +080068 if suite_case in comp_outcomes["successes"] or \
69 suite_case in comp_outcomes["failures"]:
Pengyu Lva4428582023-11-22 19:02:15 +080070 hits += 1
Pengyu Lvf28cf592023-11-28 10:56:29 +080071 break
Pengyu Lva4428582023-11-22 19:02:15 +080072
Pengyu Lv31a9b782023-11-23 14:15:37 +080073 if hits == 0 and suite_case not in allow_list:
Tomás Gonzálezb401e112023-08-11 15:22:04 +010074 if full_coverage:
Pengyu Lv31a9b782023-11-23 14:15:37 +080075 results.error('Test case not executed: {}', suite_case)
Tomás Gonzálezb401e112023-08-11 15:22:04 +010076 else:
Pengyu Lv31a9b782023-11-23 14:15:37 +080077 results.warning('Test case not executed: {}', suite_case)
78 elif hits != 0 and suite_case in allow_list:
Tomás González07bdcc22023-08-11 14:59:03 +010079 # Test Case should be removed from the allow list.
Tomás González7ebb18f2023-08-22 09:40:23 +010080 if full_coverage:
Pengyu Lv31a9b782023-11-23 14:15:37 +080081 results.error('Allow listed test case was executed: {}', suite_case)
Tomás González7ebb18f2023-08-22 09:40:23 +010082 else:
Pengyu Lv31a9b782023-11-23 14:15:37 +080083 results.warning('Allow listed test case was executed: {}', suite_case)
Gilles Peskine8d3c70a2020-06-25 18:37:43 +020084
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +020085def name_matches_pattern(name, str_or_re):
86 """Check if name matches a pattern, that may be a string or regex.
87 - If the pattern is a string, name must be equal to match.
88 - If the pattern is a regex, name must fully match.
89 """
Manuel Pégourié-Gonnardb2695432023-10-23 09:30:40 +020090 # The CI's python is too old for re.Pattern
91 #if isinstance(str_or_re, re.Pattern):
92 if not isinstance(str_or_re, str):
Manuel Pégourié-Gonnard9d9c2342023-10-26 09:37:40 +020093 return str_or_re.fullmatch(name)
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +020094 else:
Manuel Pégourié-Gonnard9d9c2342023-10-26 09:37:40 +020095 return str_or_re == name
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +020096
Valerio Settif075e472023-10-17 11:03:16 +020097def analyze_driver_vs_reference(results: Results, outcomes,
Valerio Settiaaef0bc2023-10-10 09:42:13 +020098 component_ref, component_driver,
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +020099 ignored_suites, ignored_tests=None):
Pengyu Lvdd1d6a72023-11-27 17:57:31 +0800100 """Check that all tests passing in the reference component are also
101 passing in the corresponding driver component.
Valerio Setti3002c992023-01-18 17:28:36 +0100102 Skip:
103 - full test suites provided in ignored_suites list
104 - only some specific test inside a test suite, for which the corresponding
105 output string is provided
Przemek Stekiel4e955902022-10-21 13:42:08 +0200106 """
Pengyu Lva4428582023-11-22 19:02:15 +0800107 ref_outcomes = outcomes.get("component_" + component_ref)
108 driver_outcomes = outcomes.get("component_" + component_driver)
109
110 if ref_outcomes is None or not ref_outcomes['successes']:
111 results.error("no passing test in reference component: bad outcome file?")
112 return
113
Pengyu Lv31a9b782023-11-23 14:15:37 +0800114 for suite_case in ref_outcomes["successes"]:
115 # suite_case is like "test_suite_foo.bar;Description of test case"
116 (full_test_suite, test_string) = suite_case.split(';')
Valerio Setti00c1ccb2023-02-02 11:33:31 +0100117 test_suite = full_test_suite.split('.')[0] # retrieve main part of test suite name
Manuel Pégourié-Gonnard371165a2023-10-18 12:44:54 +0200118
119 # Immediately skip fully-ignored test suites
Manuel Pégourié-Gonnard7d381f52023-03-17 15:13:08 +0100120 if test_suite in ignored_suites or full_test_suite in ignored_suites:
Valerio Setti00c1ccb2023-02-02 11:33:31 +0100121 continue
Manuel Pégourié-Gonnard371165a2023-10-18 12:44:54 +0200122
123 # For ignored test cases inside test suites, just remember and:
124 # don't issue an error if they're skipped with drivers,
125 # but issue an error if they're not (means we have a bad entry).
126 ignored = False
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +0200127 if full_test_suite in ignored_tests:
Manuel Pégourié-Gonnardd36a37f2023-10-26 09:41:59 +0200128 for str_or_re in ignored_tests[test_suite]:
Manuel Pégourié-Gonnard881ce012023-10-18 10:22:07 +0200129 if name_matches_pattern(test_string, str_or_re):
Manuel Pégourié-Gonnard371165a2023-10-18 12:44:54 +0200130 ignored = True
Manuel Pégourié-Gonnard4da369f2023-10-18 09:40:32 +0200131
Pengyu Lv31a9b782023-11-23 14:15:37 +0800132 if not ignored and not suite_case in driver_outcomes['successes']:
133 results.error("PASS -> SKIP/FAIL: {}", suite_case)
134 if ignored and suite_case in driver_outcomes['successes']:
135 results.error("uselessly ignored: {}", suite_case)
Manuel Pégourié-Gonnard371165a2023-10-18 12:44:54 +0200136
Valerio Setti781c2342023-10-17 12:47:35 +0200137def analyze_outcomes(results: Results, outcomes, args):
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200138 """Run all analyses on the given outcome collection."""
Tomás Gonzálezb401e112023-08-11 15:22:04 +0100139 analyze_coverage(results, outcomes, args['allow_list'],
140 args['full_coverage'])
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200141
142def read_outcome_file(outcome_file):
143 """Parse an outcome file and return an outcome collection.
144
Pengyu Lv31a9b782023-11-23 14:15:37 +0800145An outcome collection is a dictionary presentation of the outcome file:
146```
147outcomes = {
Pengyu Lvdd1d6a72023-11-27 17:57:31 +0800148 "<component>": {
Pengyu Lv31a9b782023-11-23 14:15:37 +0800149 "successes": frozenset(["<suite_case>", ... ]),
150 "failures": frozenset(["<suite_case>", ...])
151 }
152 ...
153}
154suite_case = "<suite>;<case>"
155```
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200156"""
157 outcomes = {}
158 with open(outcome_file, 'r', encoding='utf-8') as input_file:
159 for line in input_file:
Pengyu Lvdd1d6a72023-11-27 17:57:31 +0800160 (_platform, component, suite, case, result, _cause) = line.split(';')
Pengyu Lv31a9b782023-11-23 14:15:37 +0800161 suite_case = ';'.join([suite, case])
Pengyu Lvdd1d6a72023-11-27 17:57:31 +0800162 if component not in outcomes:
163 outcomes[component] = {"successes":[], "failures":[]}
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200164 if result == 'PASS':
Pengyu Lvdd1d6a72023-11-27 17:57:31 +0800165 outcomes[component]['successes'].append(suite_case)
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200166 elif result == 'FAIL':
Pengyu Lvdd1d6a72023-11-27 17:57:31 +0800167 outcomes[component]['failures'].append(suite_case)
Pengyu Lva4428582023-11-22 19:02:15 +0800168
Pengyu Lv31a9b782023-11-23 14:15:37 +0800169 # Convert `list` to `frozenset` to improve search performance
Pengyu Lvdd1d6a72023-11-27 17:57:31 +0800170 for component in outcomes:
171 outcomes[component]['successes'] = frozenset(outcomes[component]['successes'])
172 outcomes[component]['failures'] = frozenset(outcomes[component]['failures'])
Pengyu Lva4428582023-11-22 19:02:15 +0800173
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200174 return outcomes
175
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800176def do_analyze_coverage(results: Results, outcomes_or_file, args):
Przemek Stekiel6856f4c2022-11-09 10:50:29 +0100177 """Perform coverage analysis."""
Valerio Setti2cff8202023-10-18 14:36:47 +0200178 results.new_section("Analyze coverage")
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800179 outcomes = read_outcome_file(outcomes_or_file) \
180 if isinstance(outcomes_or_file, str) else outcomes_or_file
Valerio Setti781c2342023-10-17 12:47:35 +0200181 analyze_outcomes(results, outcomes, args)
Przemek Stekiel4e955902022-10-21 13:42:08 +0200182
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800183def do_analyze_driver_vs_reference(results: Results, outcomes_or_file, args):
Przemek Stekiel4e955902022-10-21 13:42:08 +0200184 """Perform driver vs reference analyze."""
Valerio Setti2cff8202023-10-18 14:36:47 +0200185 results.new_section("Analyze driver {} vs reference {}",
186 args['component_driver'], args['component_ref'])
Valerio Settib0c618e2023-10-16 14:19:49 +0200187
Valerio Setti3002c992023-01-18 17:28:36 +0100188 ignored_suites = ['test_suite_' + x for x in args['ignored_suites']]
Przemek Stekiel51f30ff2022-11-09 12:07:29 +0100189
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800190 if isinstance(outcomes_or_file, str):
191 execute_reference_driver_tests(results, args['component_ref'], \
192 args['component_driver'], outcomes_or_file)
193 outcomes = read_outcome_file(outcomes_or_file)
194 else:
195 outcomes = outcomes_or_file
Valerio Settiaaef0bc2023-10-10 09:42:13 +0200196
Valerio Setti781c2342023-10-17 12:47:35 +0200197 analyze_driver_vs_reference(results, outcomes,
198 args['component_ref'], args['component_driver'],
199 ignored_suites, args['ignored_tests'])
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200200
Przemek Stekiel6856f4c2022-11-09 10:50:29 +0100201# List of tasks with a function that can handle this task and additional arguments if required
Valerio Settidfd7ca62023-10-09 16:30:11 +0200202KNOWN_TASKS = {
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200203 'analyze_coverage': {
204 'test_function': do_analyze_coverage,
Tomás González07bdcc22023-08-11 14:59:03 +0100205 'args': {
Tomás González358c6c62023-08-14 15:43:46 +0100206 'allow_list': [
Tomás González50223112023-08-22 09:52:06 +0100207 # Algorithm not supported yet
208 'test_suite_psa_crypto_metadata;Asymmetric signature: pure EdDSA',
209 # Algorithm not supported yet
210 'test_suite_psa_crypto_metadata;Cipher: XTS',
Tomás Gonzálezd43cab32023-08-24 09:12:40 +0100211 ],
Tomás Gonzálezb401e112023-08-11 15:22:04 +0100212 'full_coverage': False,
Tomás González07bdcc22023-08-11 14:59:03 +0100213 }
Tomás Gonzálezd43cab32023-08-24 09:12:40 +0100214 },
Valerio Settia2663322023-03-24 08:20:18 +0100215 # There are 2 options to use analyze_driver_vs_reference_xxx locally:
216 # 1. Run tests and then analysis:
217 # - tests/scripts/all.sh --outcome-file "$PWD/out.csv" <component_ref> <component_driver>
218 # - tests/scripts/analyze_outcomes.py out.csv analyze_driver_vs_reference_xxx
219 # 2. Let this script run both automatically:
220 # - tests/scripts/analyze_outcomes.py out.csv analyze_driver_vs_reference_xxx
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200221 'analyze_driver_vs_reference_hash': {
222 'test_function': do_analyze_driver_vs_reference,
223 'args': {
Przemek Stekiel51f30ff2022-11-09 12:07:29 +0100224 'component_ref': 'test_psa_crypto_config_reference_hash_use_psa',
225 'component_driver': 'test_psa_crypto_config_accel_hash_use_psa',
Manuel Pégourié-Gonnard10e39632022-12-29 12:29:09 +0100226 'ignored_suites': [
227 'shax', 'mdx', # the software implementations that are being excluded
Manuel Pégourié-Gonnard7d381f52023-03-17 15:13:08 +0100228 'md.psa', # purposefully depends on whether drivers are present
Gilles Peskine35b49c42023-10-04 12:28:41 +0200229 'psa_crypto_low_hash.generated', # testing the builtins
Valerio Setti3002c992023-01-18 17:28:36 +0100230 ],
231 'ignored_tests': {
232 }
233 }
234 },
Valerio Settib6b301f2023-10-04 12:05:05 +0200235 'analyze_driver_vs_reference_cipher_aead': {
236 'test_function': do_analyze_driver_vs_reference,
237 'args': {
238 'component_ref': 'test_psa_crypto_config_reference_cipher_aead',
239 'component_driver': 'test_psa_crypto_config_accel_cipher_aead',
Valerio Setti507e08f2023-10-26 09:44:06 +0200240 # Modules replaced by drivers.
Valerio Settib6b301f2023-10-04 12:05:05 +0200241 'ignored_suites': [
Valerio Setti507e08f2023-10-26 09:44:06 +0200242 # low-level (block/stream) cipher modules
243 'aes', 'aria', 'camellia', 'des', 'chacha20',
244 # AEAD modes
245 'ccm', 'chachapoly', 'cmac', 'gcm',
246 # The Cipher abstraction layer
247 'cipher',
Valerio Settib6b301f2023-10-04 12:05:05 +0200248 ],
249 'ignored_tests': {
Valerio Setti507e08f2023-10-26 09:44:06 +0200250 # PEM decryption is not supported so far.
251 # The rest of PEM (write, unencrypted read) works though.
Valerio Setti7448cee2023-10-04 15:46:42 +0200252 'test_suite_pem': [
Manuel Pégourié-Gonnardcd84a292023-10-27 09:24:44 +0200253 re.compile(r'PEM read .*(AES|DES|\bencrypt).*'),
Valerio Setti7448cee2023-10-04 15:46:42 +0200254 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200255 # Following tests depend on AES_C/DES_C but are not about
256 # them really, just need to know some error code is there.
Valerio Setti7448cee2023-10-04 15:46:42 +0200257 'test_suite_error': [
258 'Low and high error',
259 'Single low error'
260 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200261 # Similar to test_suite_error above.
Valerio Setti7448cee2023-10-04 15:46:42 +0200262 'test_suite_version': [
263 'Check for MBEDTLS_AES_C when already present',
Valerio Setti93941442023-10-13 09:19:52 +0200264 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200265 # The en/decryption part of PKCS#12 is not supported so far.
266 # The rest of PKCS#12 (key derivation) works though.
Valerio Setti93941442023-10-13 09:19:52 +0200267 'test_suite_pkcs12': [
Manuel Pégourié-Gonnardcd84a292023-10-27 09:24:44 +0200268 re.compile(r'PBE Encrypt, .*'),
269 re.compile(r'PBE Decrypt, .*'),
Valerio Setti93941442023-10-13 09:19:52 +0200270 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200271 # The en/decryption part of PKCS#5 is not supported so far.
272 # The rest of PKCS#5 (PBKDF2) works though.
Valerio Setti93941442023-10-13 09:19:52 +0200273 'test_suite_pkcs5': [
Manuel Pégourié-Gonnardcd84a292023-10-27 09:24:44 +0200274 re.compile(r'PBES2 Encrypt, .*'),
275 re.compile(r'PBES2 Decrypt .*'),
Valerio Setti93941442023-10-13 09:19:52 +0200276 ],
Valerio Setti507e08f2023-10-26 09:44:06 +0200277 # Encrypted keys are not supported so far.
Valerio Setti5cd18f92023-10-13 15:14:07 +0200278 # pylint: disable=line-too-long
Valerio Setti93941442023-10-13 09:19:52 +0200279 'test_suite_pkparse': [
280 'Key ASN1 (Encrypted key PKCS12, trailing garbage data)',
281 'Key ASN1 (Encrypted key PKCS5, trailing garbage data)',
Manuel Pégourié-Gonnardcd84a292023-10-27 09:24:44 +0200282 re.compile(r'Parse RSA Key .*\(PKCS#8 encrypted .*\)'),
Valerio Setti93941442023-10-13 09:19:52 +0200283 ],
Valerio Settib6b301f2023-10-04 12:05:05 +0200284 }
285 }
286 },
Valerio Setti4d25a8d2023-06-14 10:33:10 +0200287 'analyze_driver_vs_reference_ecp_light_only': {
Valerio Setti42d5f192023-03-20 13:54:41 +0100288 'test_function': do_analyze_driver_vs_reference,
289 'args': {
Valerio Setti4d25a8d2023-06-14 10:33:10 +0200290 'component_ref': 'test_psa_crypto_config_reference_ecc_ecp_light_only',
291 'component_driver': 'test_psa_crypto_config_accel_ecc_ecp_light_only',
Valerio Setti42d5f192023-03-20 13:54:41 +0100292 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200293 # Modules replaced by drivers
294 'ecdsa', 'ecdh', 'ecjpake',
Valerio Setti42d5f192023-03-20 13:54:41 +0100295 ],
296 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200297 # This test wants a legacy function that takes f_rng, p_rng
298 # arguments, and uses legacy ECDSA for that. The test is
299 # really about the wrapper around the PSA RNG, not ECDSA.
Valerio Setti42d5f192023-03-20 13:54:41 +0100300 'test_suite_random': [
301 'PSA classic wrapper: ECDSA signature (SECP256R1)',
302 ],
Valerio Setti0c477d32023-04-07 15:54:20 +0200303 # In the accelerated test ECP_C is not set (only ECP_LIGHT is)
304 # so we must ignore disparities in the tests for which ECP_C
305 # is required.
306 'test_suite_ecp': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200307 re.compile(r'ECP check public-private .*'),
308 re.compile(r'ECP gen keypair .*'),
309 re.compile(r'ECP point muladd .*'),
310 re.compile(r'ECP point multiplication .*'),
311 re.compile(r'ECP test vectors .*'),
Valerio Setti482a0b92023-08-18 15:55:10 +0200312 ],
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200313 'test_suite_ssl': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200314 # This deprecated function is only present when ECP_C is On.
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200315 'Test configuration of groups for DHE through mbedtls_ssl_conf_curves()',
316 ],
Valerio Setti5f540202023-06-30 17:20:49 +0200317 }
Valerio Setti42d5f192023-03-20 13:54:41 +0100318 }
319 },
Valerio Setti4d25a8d2023-06-14 10:33:10 +0200320 'analyze_driver_vs_reference_no_ecp_at_all': {
Valerio Settie618cb02023-04-12 14:59:16 +0200321 'test_function': do_analyze_driver_vs_reference,
322 'args': {
Valerio Setti4d25a8d2023-06-14 10:33:10 +0200323 'component_ref': 'test_psa_crypto_config_reference_ecc_no_ecp_at_all',
324 'component_driver': 'test_psa_crypto_config_accel_ecc_no_ecp_at_all',
Valerio Settie618cb02023-04-12 14:59:16 +0200325 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200326 # Modules replaced by drivers
327 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
Valerio Settie618cb02023-04-12 14:59:16 +0200328 ],
329 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200330 # See ecp_light_only
Valerio Settie618cb02023-04-12 14:59:16 +0200331 'test_suite_random': [
332 'PSA classic wrapper: ECDSA signature (SECP256R1)',
333 ],
Valerio Settiaddeee42023-06-14 10:46:55 +0200334 'test_suite_pkparse': [
Valerio Setti5bd25232023-06-19 19:32:14 +0200335 # When PK_PARSE_C and ECP_C are defined then PK_PARSE_EC_COMPRESSED
336 # is automatically enabled in build_info.h (backward compatibility)
337 # even if it is disabled in config_psa_crypto_no_ecp_at_all(). As a
338 # consequence compressed points are supported in the reference
339 # component but not in the accelerated one, so they should be skipped
340 # while checking driver's coverage.
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200341 re.compile(r'Parse EC Key .*compressed\)'),
342 re.compile(r'Parse Public EC Key .*compressed\)'),
Valerio Settiaddeee42023-06-14 10:46:55 +0200343 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200344 # See ecp_light_only
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200345 'test_suite_ssl': [
346 'Test configuration of groups for DHE through mbedtls_ssl_conf_curves()',
347 ],
Valerio Settie618cb02023-04-12 14:59:16 +0200348 }
349 }
350 },
Valerio Setti307810b2023-08-15 10:12:25 +0200351 'analyze_driver_vs_reference_ecc_no_bignum': {
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200352 'test_function': do_analyze_driver_vs_reference,
353 'args': {
354 'component_ref': 'test_psa_crypto_config_reference_ecc_no_bignum',
355 'component_driver': 'test_psa_crypto_config_accel_ecc_no_bignum',
356 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200357 # Modules replaced by drivers
358 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
359 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
360 'bignum.generated', 'bignum.misc',
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200361 ],
362 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200363 # See ecp_light_only
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200364 'test_suite_random': [
365 'PSA classic wrapper: ECDSA signature (SECP256R1)',
366 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200367 # See no_ecp_at_all
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200368 'test_suite_pkparse': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200369 re.compile(r'Parse EC Key .*compressed\)'),
370 re.compile(r'Parse Public EC Key .*compressed\)'),
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200371 ],
Valerio Setti9b3dbcc2023-07-26 18:00:31 +0200372 'test_suite_asn1parse': [
Valerio Setti9b3dbcc2023-07-26 18:00:31 +0200373 'INTEGER too large for mpi',
374 ],
375 'test_suite_asn1write': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200376 re.compile(r'ASN.1 Write mpi.*'),
Valerio Setti9b3dbcc2023-07-26 18:00:31 +0200377 ],
Valerio Settie0be95e2023-08-01 09:07:43 +0200378 'test_suite_debug': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200379 re.compile(r'Debug print mbedtls_mpi.*'),
Valerio Settie0be95e2023-08-01 09:07:43 +0200380 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200381 # See ecp_light_only
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200382 'test_suite_ssl': [
383 'Test configuration of groups for DHE through mbedtls_ssl_conf_curves()',
384 ],
Manuel Pégourié-Gonnardabd00d02023-06-12 17:51:33 +0200385 }
386 }
387 },
Valerio Setti307810b2023-08-15 10:12:25 +0200388 'analyze_driver_vs_reference_ecc_ffdh_no_bignum': {
389 'test_function': do_analyze_driver_vs_reference,
390 'args': {
391 'component_ref': 'test_psa_crypto_config_reference_ecc_ffdh_no_bignum',
392 'component_driver': 'test_psa_crypto_config_accel_ecc_ffdh_no_bignum',
393 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200394 # Modules replaced by drivers
395 'ecp', 'ecdsa', 'ecdh', 'ecjpake', 'dhm',
396 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
397 'bignum.generated', 'bignum.misc',
Valerio Setti307810b2023-08-15 10:12:25 +0200398 ],
399 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200400 # See ecp_light_only
Valerio Setti307810b2023-08-15 10:12:25 +0200401 'test_suite_random': [
402 'PSA classic wrapper: ECDSA signature (SECP256R1)',
403 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200404 # See no_ecp_at_all
Valerio Setti307810b2023-08-15 10:12:25 +0200405 'test_suite_pkparse': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200406 re.compile(r'Parse EC Key .*compressed\)'),
407 re.compile(r'Parse Public EC Key .*compressed\)'),
Valerio Setti307810b2023-08-15 10:12:25 +0200408 ],
409 'test_suite_asn1parse': [
Valerio Setti307810b2023-08-15 10:12:25 +0200410 'INTEGER too large for mpi',
411 ],
412 'test_suite_asn1write': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200413 re.compile(r'ASN.1 Write mpi.*'),
Valerio Setti307810b2023-08-15 10:12:25 +0200414 ],
415 'test_suite_debug': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200416 re.compile(r'Debug print mbedtls_mpi.*'),
Valerio Setti307810b2023-08-15 10:12:25 +0200417 ],
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200418 # See ecp_light_only
Manuel Pégourié-Gonnardf07ce3b2023-09-22 11:53:41 +0200419 'test_suite_ssl': [
420 'Test configuration of groups for DHE through mbedtls_ssl_conf_curves()',
421 ],
Valerio Setti307810b2023-08-15 10:12:25 +0200422 }
423 }
424 },
Przemek Stekiel85b64422023-05-26 09:55:23 +0200425 'analyze_driver_vs_reference_ffdh_alg': {
426 'test_function': do_analyze_driver_vs_reference,
427 'args': {
428 'component_ref': 'test_psa_crypto_config_reference_ffdh',
429 'component_driver': 'test_psa_crypto_config_accel_ffdh',
Przemek Stekiel84f4ff12023-07-04 12:35:31 +0200430 'ignored_suites': ['dhm'],
Przemek Stekiel565353e2023-07-05 11:07:07 +0200431 'ignored_tests': {}
Przemek Stekiel85b64422023-05-26 09:55:23 +0200432 }
433 },
Valerio Settif01d6482023-08-04 13:51:18 +0200434 'analyze_driver_vs_reference_tfm_config': {
435 'test_function': do_analyze_driver_vs_reference,
436 'args': {
437 'component_ref': 'test_tfm_config',
438 'component_driver': 'test_tfm_config_p256m_driver_accel_ec',
Manuel Pégourié-Gonnarde9d97972023-08-08 18:34:47 +0200439 'ignored_suites': [
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200440 # Modules replaced by drivers
Yanray Wang57790962023-10-31 13:39:07 +0800441 'asn1parse', 'asn1write',
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200442 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
443 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
444 'bignum.generated', 'bignum.misc',
Manuel Pégourié-Gonnarde9d97972023-08-08 18:34:47 +0200445 ],
Valerio Settif01d6482023-08-04 13:51:18 +0200446 'ignored_tests': {
Manuel Pégourié-Gonnard4fd5a6a2023-10-20 10:21:09 +0200447 # See ecp_light_only
Manuel Pégourié-Gonnarde9d97972023-08-08 18:34:47 +0200448 'test_suite_random': [
449 'PSA classic wrapper: ECDSA signature (SECP256R1)',
450 ],
Valerio Settif01d6482023-08-04 13:51:18 +0200451 }
452 }
453 }
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200454}
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200455
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200456def main():
Valerio Settif075e472023-10-17 11:03:16 +0200457 main_results = Results()
Valerio Settiaaef0bc2023-10-10 09:42:13 +0200458
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200459 try:
460 parser = argparse.ArgumentParser(description=__doc__)
Przemek Stekiel58bbc232022-10-24 08:10:10 +0200461 parser.add_argument('outcomes', metavar='OUTCOMES.CSV',
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200462 help='Outcome file to analyze')
Valerio Settidfd7ca62023-10-09 16:30:11 +0200463 parser.add_argument('specified_tasks', default='all', nargs='?',
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100464 help='Analysis to be done. By default, run all tasks. '
465 'With one or more TASK, run only those. '
466 'TASK can be the name of a single task or '
Przemek Stekiel85c54ea2022-11-17 11:50:23 +0100467 'comma/space-separated list of tasks. ')
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100468 parser.add_argument('--list', action='store_true',
469 help='List all available tasks and exit.')
Tomás Gonzálezb401e112023-08-11 15:22:04 +0100470 parser.add_argument('--require-full-coverage', action='store_true',
471 dest='full_coverage', help="Require all available "
472 "test cases to be executed and issue an error "
473 "otherwise. This flag is ignored if 'task' is "
474 "neither 'all' nor 'analyze_coverage'")
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200475 options = parser.parse_args()
Przemek Stekiel4e955902022-10-21 13:42:08 +0200476
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100477 if options.list:
Valerio Settidfd7ca62023-10-09 16:30:11 +0200478 for task in KNOWN_TASKS:
Valerio Setti5329ff02023-10-17 09:44:36 +0200479 print(task)
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100480 sys.exit(0)
481
Valerio Settidfd7ca62023-10-09 16:30:11 +0200482 if options.specified_tasks == 'all':
483 tasks_list = KNOWN_TASKS.keys()
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100484 else:
Valerio Settidfd7ca62023-10-09 16:30:11 +0200485 tasks_list = re.split(r'[, ]+', options.specified_tasks)
Valerio Settidfd7ca62023-10-09 16:30:11 +0200486 for task in tasks_list:
487 if task not in KNOWN_TASKS:
Manuel Pégourié-Gonnard62d61312023-10-20 10:51:57 +0200488 sys.stderr.write('invalid task: {}\n'.format(task))
Valerio Settifb2750e2023-10-17 10:11:45 +0200489 sys.exit(2)
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100490
Valerio Settidfd7ca62023-10-09 16:30:11 +0200491 KNOWN_TASKS['analyze_coverage']['args']['full_coverage'] = options.full_coverage
Przemek Stekiel992de3c2022-11-09 13:54:49 +0100492
Pengyu Lvdd1d6a72023-11-27 17:57:31 +0800493 # If the outcome file exists, parse it once and share the result
494 # among tasks to improve performance.
495 # Otherwise, it will be generated by do_analyze_driver_vs_reference.
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800496 if os.path.exists(options.outcomes):
497 main_results.info("Read outcome file from {}.", options.outcomes)
498 outcomes_or_file = read_outcome_file(options.outcomes)
499 else:
500 outcomes_or_file = options.outcomes
501
Valerio Settifb2750e2023-10-17 10:11:45 +0200502 for task in tasks_list:
503 test_function = KNOWN_TASKS[task]['test_function']
504 test_args = KNOWN_TASKS[task]['args']
Pengyu Lva6cf5d62023-11-22 11:35:21 +0800505 test_function(main_results, outcomes_or_file, test_args)
Tomás Gonzálezb401e112023-08-11 15:22:04 +0100506
Valerio Settif6f64cf2023-10-17 12:28:26 +0200507 main_results.info("Overall results: {} warnings and {} errors",
508 main_results.warning_count, main_results.error_count)
Przemek Stekiel4e955902022-10-21 13:42:08 +0200509
Valerio Setti8d178be2023-10-17 12:23:55 +0200510 sys.exit(0 if (main_results.error_count == 0) else 1)
Valerio Settiaaef0bc2023-10-10 09:42:13 +0200511
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200512 except Exception: # pylint: disable=broad-except
513 # Print the backtrace and exit explicitly with our chosen status.
514 traceback.print_exc()
515 sys.exit(120)
516
517if __name__ == '__main__':
518 main()