blob: d5843f867e114f4e24d4912c72429701dc643614 [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
Przemek Stekiel85c54ea2022-11-17 11:50:23 +01009import re
Gilles Peskine2a71fac2024-09-17 15:07:22 +020010import typing
Gilles Peskine15c2cbf2020-06-25 18:36:28 +020011
Gilles Peskine31467722024-10-03 18:52:58 +020012import scripts_path # pylint: disable=unused-import
13from mbedtls_framework import outcome_analysis
Gilles Peskine8d3c70a2020-06-25 18:37:43 +020014
Pengyu Lvc2e8f3a2023-11-28 17:22:04 +080015
Gilles Peskine082eade2024-10-03 18:42:37 +020016class CoverageTask(outcome_analysis.CoverageTask):
Gilles Peskine095561c2024-10-04 16:24:26 +020017 """Justify test cases that are never executed."""
Gilles Peskine3f5022e2024-09-16 20:23:40 +020018
Gilles Peskine2a71fac2024-09-17 15:07:22 +020019 @staticmethod
Gilles Peskine5872c0d2024-09-17 17:15:29 +020020 def _has_word_re(words: typing.Iterable[str],
21 exclude: typing.Optional[str] = None) -> typing.Pattern:
Gilles Peskine2a71fac2024-09-17 15:07:22 +020022 """Construct a regex that matches if any of the words appears.
23
24 The occurrence must start and end at a word boundary.
Gilles Peskine5872c0d2024-09-17 17:15:29 +020025
26 If exclude is specified, strings containing a match for that
27 regular expression will not match the returned pattern.
Gilles Peskine2a71fac2024-09-17 15:07:22 +020028 """
Gilles Peskine5872c0d2024-09-17 17:15:29 +020029 exclude_clause = r''
30 if exclude:
31 exclude_clause = r'(?!.*' + exclude + ')'
32 return re.compile(exclude_clause +
33 r'.*\b(?:' + r'|'.join(words) + r')\b.*',
Gilles Peskine5e3ed3f2024-10-11 12:00:44 +020034 re.DOTALL)
Gilles Peskine2a71fac2024-09-17 15:07:22 +020035
Gilles Peskine2a71fac2024-09-17 15:07:22 +020036 IGNORED_TESTS = {
Gilles Peskinede2316b2024-09-17 18:32:05 +020037 'ssl-opt': [
38 # We don't run ssl-opt.sh with Valgrind on the CI because
39 # it's extremely slow. We don't intend to change this.
40 'DTLS client reconnect from same port: reconnect, nbio, valgrind',
Gilles Peskinede2316b2024-09-17 18:32:05 +020041 # We don't have IPv6 in our CI environment.
42 # https://github.com/Mbed-TLS/mbedtls-test/issues/176
43 'DTLS cookie: enabled, IPv6',
44 # Disabled due to OpenSSL bug.
45 # https://github.com/openssl/openssl/issues/18887
46 'DTLS fragmenting: 3d, openssl client, DTLS 1.2',
47 # We don't run ssl-opt.sh with Valgrind on the CI because
48 # it's extremely slow. We don't intend to change this.
49 'DTLS fragmenting: proxy MTU: auto-reduction (with valgrind)',
Gilles Peskine24b03d82024-10-04 16:22:24 +020050 # TLS doesn't use restartable ECDH yet.
51 # https://github.com/Mbed-TLS/mbedtls/issues/7294
52 re.compile(r'EC restart:.*no USE_PSA.*'),
Gilles Peskinede2316b2024-09-17 18:32:05 +020053 ],
Gilles Peskine2fd25bb2024-09-17 19:46:18 +020054 'test_suite_config.mbedtls_boolean': [
Gilles Peskine2fd25bb2024-09-17 19:46:18 +020055 # Missing coverage of test configurations.
56 # https://github.com/Mbed-TLS/mbedtls/issues/9585
57 'Config: !MBEDTLS_SSL_DTLS_ANTI_REPLAY',
58 # Missing coverage of test configurations.
59 # https://github.com/Mbed-TLS/mbedtls/issues/9585
60 'Config: !MBEDTLS_SSL_DTLS_HELLO_VERIFY',
61 # We don't run test_suite_config when we test this.
62 # https://github.com/Mbed-TLS/mbedtls/issues/9586
63 'Config: !MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ENABLED',
Gilles Peskine2fd25bb2024-09-17 19:46:18 +020064 ],
Gilles Peskine3c2a1cb2025-07-15 19:09:08 +020065 'test_suite_config.crypto_combinations': [
66 # New thing in crypto. Not intended to be tested separately
67 # in mbedtls.
68 # https://github.com/Mbed-TLS/mbedtls/issues/10300
69 'Config: entropy: NV seed only',
70 ],
Gilles Peskine2fd25bb2024-09-17 19:46:18 +020071 'test_suite_config.psa_boolean': [
72 # We don't test with HMAC disabled.
73 # https://github.com/Mbed-TLS/mbedtls/issues/9591
74 'Config: !PSA_WANT_ALG_HMAC',
Gilles Peskine2fd25bb2024-09-17 19:46:18 +020075 # The DERIVE key type is always enabled.
76 'Config: !PSA_WANT_KEY_TYPE_DERIVE',
77 # More granularity of key pair type enablement macros
78 # than we care to test.
79 # https://github.com/Mbed-TLS/mbedtls/issues/9590
80 'Config: !PSA_WANT_KEY_TYPE_DH_KEY_PAIR_EXPORT',
81 'Config: !PSA_WANT_KEY_TYPE_DH_KEY_PAIR_GENERATE',
82 'Config: !PSA_WANT_KEY_TYPE_DH_KEY_PAIR_IMPORT',
83 # More granularity of key pair type enablement macros
84 # than we care to test.
85 # https://github.com/Mbed-TLS/mbedtls/issues/9590
86 'Config: !PSA_WANT_KEY_TYPE_ECC_KEY_PAIR_EXPORT',
87 'Config: !PSA_WANT_KEY_TYPE_ECC_KEY_PAIR_IMPORT',
88 # We don't test with HMAC disabled.
89 # https://github.com/Mbed-TLS/mbedtls/issues/9591
90 'Config: !PSA_WANT_KEY_TYPE_HMAC',
91 # The PASSWORD key type is always enabled.
92 'Config: !PSA_WANT_KEY_TYPE_PASSWORD',
93 # The PASSWORD_HASH key type is always enabled.
94 'Config: !PSA_WANT_KEY_TYPE_PASSWORD_HASH',
95 # The RAW_DATA key type is always enabled.
96 'Config: !PSA_WANT_KEY_TYPE_RAW_DATA',
97 # More granularity of key pair type enablement macros
98 # than we care to test.
99 # https://github.com/Mbed-TLS/mbedtls/issues/9590
100 'Config: !PSA_WANT_KEY_TYPE_RSA_KEY_PAIR_EXPORT',
101 'Config: !PSA_WANT_KEY_TYPE_RSA_KEY_PAIR_IMPORT',
102 # Algorithm declared but not supported.
103 'Config: PSA_WANT_ALG_CBC_MAC',
104 # Algorithm declared but not supported.
105 'Config: PSA_WANT_ALG_XTS',
Gilles Peskine2fd25bb2024-09-17 19:46:18 +0200106 # More granularity of key pair type enablement macros
107 # than we care to test.
108 # https://github.com/Mbed-TLS/mbedtls/issues/9590
109 'Config: PSA_WANT_KEY_TYPE_DH_KEY_PAIR_DERIVE',
110 'Config: PSA_WANT_KEY_TYPE_ECC_KEY_PAIR',
111 'Config: PSA_WANT_KEY_TYPE_RSA_KEY_PAIR',
112 'Config: PSA_WANT_KEY_TYPE_RSA_KEY_PAIR_DERIVE',
Minos Galanakis848333d2024-12-02 15:58:32 +0000113 # https://github.com/Mbed-TLS/mbedtls/issues/9583
114 'Config: !MBEDTLS_ECP_NIST_OPTIM',
115 # We never test without the PSA client code. Should we?
116 # https://github.com/Mbed-TLS/TF-PSA-Crypto/issues/112
117 'Config: !MBEDTLS_PSA_CRYPTO_CLIENT',
118 # We only test multithreading with pthreads.
119 # https://github.com/Mbed-TLS/mbedtls/issues/9584
120 'Config: !MBEDTLS_THREADING_PTHREAD',
121 # Built but not tested.
122 # https://github.com/Mbed-TLS/mbedtls/issues/9587
123 'Config: MBEDTLS_AES_USE_HARDWARE_ONLY',
124 # Untested platform-specific optimizations.
125 # https://github.com/Mbed-TLS/mbedtls/issues/9588
126 'Config: MBEDTLS_HAVE_SSE2',
Minos Galanakis848333d2024-12-02 15:58:32 +0000127 # Untested aspect of the platform interface.
128 # https://github.com/Mbed-TLS/mbedtls/issues/9589
129 'Config: MBEDTLS_PLATFORM_NO_STD_FUNCTIONS',
130 # In a client-server build, test_suite_config runs in the
131 # client configuration, so it will never report
132 # MBEDTLS_PSA_CRYPTO_SPM as enabled. That's ok.
133 'Config: MBEDTLS_PSA_CRYPTO_SPM',
134 # We don't test on armv8 yet.
Minos Galanakis848333d2024-12-02 15:58:32 +0000135 'Config: MBEDTLS_SHA256_USE_ARMV8_A_CRYPTO_ONLY',
136 'Config: MBEDTLS_SHA512_USE_A64_CRYPTO_ONLY',
137 # We don't run test_suite_config when we test this.
138 # https://github.com/Mbed-TLS/mbedtls/issues/9586
139 'Config: MBEDTLS_TEST_CONSTANT_FLOW_VALGRIND',
Gilles Peskine2fd25bb2024-09-17 19:46:18 +0200140 ],
141 'test_suite_config.psa_combinations': [
142 # We don't test this unusual, but sensible configuration.
143 # https://github.com/Mbed-TLS/mbedtls/issues/9592
144 'Config: PSA_WANT_ALG_DETERMINSTIC_ECDSA without PSA_WANT_ALG_ECDSA',
145 ],
Gilles Peskineb0ec85d2024-09-17 18:33:29 +0200146 'test_suite_pkcs12': [
Gilles Peskine2fd25bb2024-09-17 19:46:18 +0200147 # We never test with CBC/PKCS5/PKCS12 enabled but
148 # PKCS7 padding disabled.
Gilles Peskineb0ec85d2024-09-17 18:33:29 +0200149 # https://github.com/Mbed-TLS/mbedtls/issues/9580
150 'PBE Decrypt, (Invalid padding & PKCS7 padding disabled)',
151 'PBE Encrypt, pad = 8 (PKCS7 padding disabled)',
152 ],
153 'test_suite_pkcs5': [
Gilles Peskine2fd25bb2024-09-17 19:46:18 +0200154 # We never test with CBC/PKCS5/PKCS12 enabled but
155 # PKCS7 padding disabled.
Gilles Peskineb0ec85d2024-09-17 18:33:29 +0200156 # https://github.com/Mbed-TLS/mbedtls/issues/9580
157 'PBES2 Decrypt (Invalid padding & PKCS7 padding disabled)',
158 'PBES2 Encrypt, pad=6 (PKCS7 padding disabled)',
159 'PBES2 Encrypt, pad=8 (PKCS7 padding disabled)',
160 ],
Gilles Peskineeafc2752024-04-19 19:08:34 +0200161 'test_suite_psa_crypto': [
162 # We don't test this unusual, but sensible configuration.
163 # https://github.com/Mbed-TLS/mbedtls/issues/9592
164 re.compile(r'.*ECDSA.*only deterministic supported'),
165 ],
Gilles Peskineb0ec85d2024-09-17 18:33:29 +0200166 'test_suite_psa_crypto_metadata': [
167 # Algorithms declared but not supported.
168 # https://github.com/Mbed-TLS/mbedtls/issues/9579
169 'Asymmetric signature: Ed25519ph',
170 'Asymmetric signature: Ed448ph',
171 'Asymmetric signature: pure EdDSA',
172 'Cipher: XTS',
173 'MAC: CBC_MAC-3DES',
174 'MAC: CBC_MAC-AES-128',
175 'MAC: CBC_MAC-AES-192',
176 'MAC: CBC_MAC-AES-256',
177 ],
Gilles Peskine2a71fac2024-09-17 15:07:22 +0200178 'test_suite_psa_crypto_not_supported.generated': [
Gilles Peskine5e3ed3f2024-10-11 12:00:44 +0200179 # We never test with DH key support disabled but support
Gilles Peskineab5cc9b2024-09-17 17:57:11 +0200180 # for a DH group enabled. The dependencies of these test
181 # cases don't really make sense.
182 # https://github.com/Mbed-TLS/mbedtls/issues/9574
183 re.compile(r'PSA \w+ DH_.*type not supported'),
184 # We only test partial support for DH with the 2048-bit group
185 # enabled and the other groups disabled.
186 # https://github.com/Mbed-TLS/mbedtls/issues/9575
187 'PSA generate DH_KEY_PAIR(RFC7919) 2048-bit group not supported',
188 'PSA import DH_KEY_PAIR(RFC7919) 2048-bit group not supported',
189 'PSA import DH_PUBLIC_KEY(RFC7919) 2048-bit group not supported',
Gilles Peskine2a71fac2024-09-17 15:07:22 +0200190 ],
191 'test_suite_psa_crypto_op_fail.generated': [
Gilles Peskineeafc2752024-04-19 19:08:34 +0200192 # We don't test this unusual, but sensible configuration.
193 # https://github.com/Mbed-TLS/mbedtls/issues/9592
194 re.compile(r'.*: !ECDSA but DETERMINISTIC_ECDSA with ECC_.*'),
Gilles Peskineab5cc9b2024-09-17 17:57:11 +0200195 # We never test with the HMAC algorithm enabled but the HMAC
196 # key type disabled. Those dependencies don't really make sense.
197 # https://github.com/Mbed-TLS/mbedtls/issues/9573
198 re.compile(r'.* !HMAC with HMAC'),
Gilles Peskine13c418d2025-01-16 19:49:12 +0100199 # We don't test with ECDH disabled but the key type enabled.
200 # https://github.com/Mbed-TLS/TF-PSA-Crypto/issues/161
201 re.compile(r'PSA key_agreement.* !ECDH with ECC_KEY_PAIR\(.*'),
202 # We don't test with FFDH disabled but the key type enabled.
203 # https://github.com/Mbed-TLS/TF-PSA-Crypto/issues/160
204 re.compile(r'PSA key_agreement.* !FFDH with DH_KEY_PAIR\(.*'),
Gilles Peskine2a71fac2024-09-17 15:07:22 +0200205 ],
Gilles Peskineeafc2752024-04-19 19:08:34 +0200206 'test_suite_psa_crypto_op_fail.misc': [
207 # We don't test this unusual, but sensible configuration.
208 # https://github.com/Mbed-TLS/mbedtls/issues/9592
209 'PSA sign DETERMINISTIC_ECDSA(SHA_256): !ECDSA but DETERMINISTIC_ECDSA with ECC_KEY_PAIR(SECP_R1)', #pylint: disable=line-too-long
210 ],
Gilles Peskinede2316b2024-09-17 18:32:05 +0200211 'tls13-misc': [
212 # Disabled due to OpenSSL bug.
213 # https://github.com/openssl/openssl/issues/10714
214 'TLS 1.3 O->m: resumption',
215 # Disabled due to OpenSSL command line limitation.
216 # https://github.com/Mbed-TLS/mbedtls/issues/9582
217 'TLS 1.3 m->O: resumption with early data',
218 ],
Gilles Peskine2a71fac2024-09-17 15:07:22 +0200219 }
220
Gilles Peskine82b16722024-09-16 19:57:10 +0200221
Gilles Peskine9df375b2024-09-16 20:14:26 +0200222# The names that we give to classes derived from DriverVSReference do not
223# follow the usual naming convention, because it's more readable to use
224# underscores and parts of the configuration names. Also, these classes
225# are just there to specify some data, so they don't need repetitive
226# documentation.
227#pylint: disable=invalid-name,missing-class-docstring
228
Gilles Peskine082eade2024-10-03 18:42:37 +0200229class DriverVSReference_hash(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200230 REFERENCE = 'test_psa_crypto_config_reference_hash_use_psa'
231 DRIVER = 'test_psa_crypto_config_accel_hash_use_psa'
232 IGNORED_SUITES = [
233 'shax', 'mdx', # the software implementations that are being excluded
234 'md.psa', # purposefully depends on whether drivers are present
235 'psa_crypto_low_hash.generated', # testing the builtins
236 ]
237 IGNORED_TESTS = {
238 'test_suite_config': [
239 re.compile(r'.*\bMBEDTLS_(MD5|RIPEMD160|SHA[0-9]+)_.*'),
240 ],
241 'test_suite_platform': [
242 # Incompatible with sanitizers (e.g. ASan). If the driver
243 # component uses a sanitizer but the reference component
244 # doesn't, we have a PASS vs SKIP mismatch.
245 'Check mbedtls_calloc overallocation',
246 ],
247 }
248
Gilles Peskine082eade2024-10-03 18:42:37 +0200249class DriverVSReference_hmac(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200250 REFERENCE = 'test_psa_crypto_config_reference_hmac'
251 DRIVER = 'test_psa_crypto_config_accel_hmac'
252 IGNORED_SUITES = [
253 # These suites require legacy hash support, which is disabled
254 # in the accelerated component.
255 'shax', 'mdx',
256 # This suite tests builtins directly, but these are missing
257 # in the accelerated case.
258 'psa_crypto_low_hash.generated',
259 ]
260 IGNORED_TESTS = {
261 'test_suite_config': [
262 re.compile(r'.*\bMBEDTLS_(MD5|RIPEMD160|SHA[0-9]+)_.*'),
263 re.compile(r'.*\bMBEDTLS_MD_C\b')
264 ],
265 'test_suite_md': [
266 # Builtin HMAC is not supported in the accelerate component.
267 re.compile('.*HMAC.*'),
268 # Following tests make use of functions which are not available
269 # when MD_C is disabled, as it happens in the accelerated
270 # test component.
271 re.compile('generic .* Hash file .*'),
272 'MD list',
273 ],
274 'test_suite_md.psa': [
275 # "legacy only" tests require hash algorithms to be NOT
276 # accelerated, but this of course false for the accelerated
277 # test component.
278 re.compile('PSA dispatch .* legacy only'),
279 ],
280 'test_suite_platform': [
281 # Incompatible with sanitizers (e.g. ASan). If the driver
282 # component uses a sanitizer but the reference component
283 # doesn't, we have a PASS vs SKIP mismatch.
284 'Check mbedtls_calloc overallocation',
285 ],
286 }
287
Gilles Peskine082eade2024-10-03 18:42:37 +0200288class DriverVSReference_cipher_aead_cmac(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200289 REFERENCE = 'test_psa_crypto_config_reference_cipher_aead_cmac'
290 DRIVER = 'test_psa_crypto_config_accel_cipher_aead_cmac'
291 # Modules replaced by drivers.
292 IGNORED_SUITES = [
293 # low-level (block/stream) cipher modules
294 'aes', 'aria', 'camellia', 'des', 'chacha20',
Ronald Cronb5c6fcc2025-07-10 13:40:00 +0200295 # AEAD modes, CMAC and POLY1305
296 'ccm', 'chachapoly', 'cmac', 'gcm', 'poly1305',
Gilles Peskine9df375b2024-09-16 20:14:26 +0200297 # The Cipher abstraction layer
298 'cipher',
299 ]
300 IGNORED_TESTS = {
301 'test_suite_config': [
302 re.compile(r'.*\bMBEDTLS_(AES|ARIA|CAMELLIA|CHACHA20|DES)_.*'),
Ronald Cronb5c6fcc2025-07-10 13:40:00 +0200303 re.compile(r'.*\bMBEDTLS_(CCM|CHACHAPOLY|CMAC|GCM|POLY1305)_.*'),
Gilles Peskine9df375b2024-09-16 20:14:26 +0200304 re.compile(r'.*\bMBEDTLS_AES(\w+)_C\b.*'),
305 re.compile(r'.*\bMBEDTLS_CIPHER_.*'),
306 ],
307 # PEM decryption is not supported so far.
308 # The rest of PEM (write, unencrypted read) works though.
309 'test_suite_pem': [
310 re.compile(r'PEM read .*(AES|DES|\bencrypt).*'),
311 ],
312 'test_suite_platform': [
313 # Incompatible with sanitizers (e.g. ASan). If the driver
314 # component uses a sanitizer but the reference component
315 # doesn't, we have a PASS vs SKIP mismatch.
316 'Check mbedtls_calloc overallocation',
317 ],
318 # Following tests depend on AES_C/DES_C but are not about
319 # them really, just need to know some error code is there.
320 'test_suite_error': [
321 'Low and high error',
322 'Single low error'
323 ],
Gilles Peskine9df375b2024-09-16 20:14:26 +0200324 # The en/decryption part of PKCS#12 is not supported so far.
325 # The rest of PKCS#12 (key derivation) works though.
326 'test_suite_pkcs12': [
327 re.compile(r'PBE Encrypt, .*'),
328 re.compile(r'PBE Decrypt, .*'),
329 ],
330 # The en/decryption part of PKCS#5 is not supported so far.
331 # The rest of PKCS#5 (PBKDF2) works though.
332 'test_suite_pkcs5': [
333 re.compile(r'PBES2 Encrypt, .*'),
334 re.compile(r'PBES2 Decrypt .*'),
335 ],
336 # Encrypted keys are not supported so far.
337 # pylint: disable=line-too-long
338 'test_suite_pkparse': [
339 'Key ASN1 (Encrypted key PKCS12, trailing garbage data)',
340 'Key ASN1 (Encrypted key PKCS5, trailing garbage data)',
341 re.compile(r'Parse (RSA|EC) Key .*\(.* ([Ee]ncrypted|password).*\)'),
342 ],
343 # Encrypted keys are not supported so far.
344 'ssl-opt': [
345 'TLS: password protected server key',
346 'TLS: password protected client key',
347 'TLS: password protected server key, two certificates',
348 ],
349 }
350
Gilles Peskine082eade2024-10-03 18:42:37 +0200351class DriverVSReference_ecp_light_only(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200352 REFERENCE = 'test_psa_crypto_config_reference_ecc_ecp_light_only'
353 DRIVER = 'test_psa_crypto_config_accel_ecc_ecp_light_only'
354 IGNORED_SUITES = [
355 # Modules replaced by drivers
356 'ecdsa', 'ecdh', 'ecjpake',
Gilles Peskine77587ce2024-10-29 20:55:11 +0100357 # Unit tests for the built-in implementation
358 'psa_crypto_ecp',
Gilles Peskine9df375b2024-09-16 20:14:26 +0200359 ]
360 IGNORED_TESTS = {
361 'test_suite_config': [
362 re.compile(r'.*\bMBEDTLS_(ECDH|ECDSA|ECJPAKE|ECP)_.*'),
363 ],
364 'test_suite_platform': [
365 # Incompatible with sanitizers (e.g. ASan). If the driver
366 # component uses a sanitizer but the reference component
367 # doesn't, we have a PASS vs SKIP mismatch.
368 'Check mbedtls_calloc overallocation',
369 ],
370 # This test wants a legacy function that takes f_rng, p_rng
371 # arguments, and uses legacy ECDSA for that. The test is
372 # really about the wrapper around the PSA RNG, not ECDSA.
373 'test_suite_random': [
374 'PSA classic wrapper: ECDSA signature (SECP256R1)',
375 ],
376 # In the accelerated test ECP_C is not set (only ECP_LIGHT is)
377 # so we must ignore disparities in the tests for which ECP_C
378 # is required.
379 'test_suite_ecp': [
380 re.compile(r'ECP check public-private .*'),
381 re.compile(r'ECP calculate public: .*'),
382 re.compile(r'ECP gen keypair .*'),
383 re.compile(r'ECP point muladd .*'),
384 re.compile(r'ECP point multiplication .*'),
385 re.compile(r'ECP test vectors .*'),
386 ],
Gilles Peskine9df375b2024-09-16 20:14:26 +0200387 }
388
Gilles Peskine082eade2024-10-03 18:42:37 +0200389class DriverVSReference_no_ecp_at_all(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200390 REFERENCE = 'test_psa_crypto_config_reference_ecc_no_ecp_at_all'
391 DRIVER = 'test_psa_crypto_config_accel_ecc_no_ecp_at_all'
392 IGNORED_SUITES = [
393 # Modules replaced by drivers
394 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
Gilles Peskine77587ce2024-10-29 20:55:11 +0100395 # Unit tests for the built-in implementation
396 'psa_crypto_ecp',
Gilles Peskine9df375b2024-09-16 20:14:26 +0200397 ]
398 IGNORED_TESTS = {
399 'test_suite_config': [
400 re.compile(r'.*\bMBEDTLS_(ECDH|ECDSA|ECJPAKE|ECP)_.*'),
401 re.compile(r'.*\bMBEDTLS_PK_PARSE_EC_COMPRESSED\b.*'),
402 ],
403 'test_suite_platform': [
404 # Incompatible with sanitizers (e.g. ASan). If the driver
405 # component uses a sanitizer but the reference component
406 # doesn't, we have a PASS vs SKIP mismatch.
407 'Check mbedtls_calloc overallocation',
408 ],
409 # See ecp_light_only
410 'test_suite_random': [
411 'PSA classic wrapper: ECDSA signature (SECP256R1)',
412 ],
413 'test_suite_pkparse': [
414 # When PK_PARSE_C and ECP_C are defined then PK_PARSE_EC_COMPRESSED
415 # is automatically enabled in build_info.h (backward compatibility)
416 # even if it is disabled in config_psa_crypto_no_ecp_at_all(). As a
417 # consequence compressed points are supported in the reference
418 # component but not in the accelerated one, so they should be skipped
419 # while checking driver's coverage.
420 re.compile(r'Parse EC Key .*compressed\)'),
421 re.compile(r'Parse Public EC Key .*compressed\)'),
422 ],
Gilles Peskine9df375b2024-09-16 20:14:26 +0200423 }
424
Gilles Peskine082eade2024-10-03 18:42:37 +0200425class DriverVSReference_ecc_no_bignum(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200426 REFERENCE = 'test_psa_crypto_config_reference_ecc_no_bignum'
427 DRIVER = 'test_psa_crypto_config_accel_ecc_no_bignum'
428 IGNORED_SUITES = [
429 # Modules replaced by drivers
430 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
431 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
432 'bignum.generated', 'bignum.misc',
Gilles Peskine77587ce2024-10-29 20:55:11 +0100433 # Unit tests for the built-in implementation
434 'psa_crypto_ecp',
Gilles Peskine9df375b2024-09-16 20:14:26 +0200435 ]
436 IGNORED_TESTS = {
437 'test_suite_config': [
438 re.compile(r'.*\bMBEDTLS_BIGNUM_C\b.*'),
439 re.compile(r'.*\bMBEDTLS_(ECDH|ECDSA|ECJPAKE|ECP)_.*'),
440 re.compile(r'.*\bMBEDTLS_PK_PARSE_EC_COMPRESSED\b.*'),
441 ],
442 'test_suite_platform': [
443 # Incompatible with sanitizers (e.g. ASan). If the driver
444 # component uses a sanitizer but the reference component
445 # doesn't, we have a PASS vs SKIP mismatch.
446 'Check mbedtls_calloc overallocation',
447 ],
448 # See ecp_light_only
449 'test_suite_random': [
450 'PSA classic wrapper: ECDSA signature (SECP256R1)',
451 ],
452 # See no_ecp_at_all
453 'test_suite_pkparse': [
454 re.compile(r'Parse EC Key .*compressed\)'),
455 re.compile(r'Parse Public EC Key .*compressed\)'),
456 ],
457 'test_suite_asn1parse': [
458 'INTEGER too large for mpi',
459 ],
460 'test_suite_asn1write': [
461 re.compile(r'ASN.1 Write mpi.*'),
462 ],
463 'test_suite_debug': [
464 re.compile(r'Debug print mbedtls_mpi.*'),
465 ],
Gilles Peskine9df375b2024-09-16 20:14:26 +0200466 }
467
Gilles Peskine082eade2024-10-03 18:42:37 +0200468class DriverVSReference_ecc_ffdh_no_bignum(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200469 REFERENCE = 'test_psa_crypto_config_reference_ecc_ffdh_no_bignum'
470 DRIVER = 'test_psa_crypto_config_accel_ecc_ffdh_no_bignum'
471 IGNORED_SUITES = [
472 # Modules replaced by drivers
Valerio Setti461899e2025-02-12 13:34:25 +0100473 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
Gilles Peskine9df375b2024-09-16 20:14:26 +0200474 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
475 'bignum.generated', 'bignum.misc',
Gilles Peskine77587ce2024-10-29 20:55:11 +0100476 # Unit tests for the built-in implementation
477 'psa_crypto_ecp',
Gilles Peskine9df375b2024-09-16 20:14:26 +0200478 ]
479 IGNORED_TESTS = {
Gilles Peskine9df375b2024-09-16 20:14:26 +0200480 'test_suite_config': [
481 re.compile(r'.*\bMBEDTLS_BIGNUM_C\b.*'),
Gilles Peskine9df375b2024-09-16 20:14:26 +0200482 re.compile(r'.*\bMBEDTLS_(ECDH|ECDSA|ECJPAKE|ECP)_.*'),
Gilles Peskine9df375b2024-09-16 20:14:26 +0200483 re.compile(r'.*\bMBEDTLS_PK_PARSE_EC_COMPRESSED\b.*'),
484 ],
485 'test_suite_platform': [
486 # Incompatible with sanitizers (e.g. ASan). If the driver
487 # component uses a sanitizer but the reference component
488 # doesn't, we have a PASS vs SKIP mismatch.
489 'Check mbedtls_calloc overallocation',
490 ],
491 # See ecp_light_only
492 'test_suite_random': [
493 'PSA classic wrapper: ECDSA signature (SECP256R1)',
494 ],
495 # See no_ecp_at_all
496 'test_suite_pkparse': [
497 re.compile(r'Parse EC Key .*compressed\)'),
498 re.compile(r'Parse Public EC Key .*compressed\)'),
499 ],
500 'test_suite_asn1parse': [
501 'INTEGER too large for mpi',
502 ],
503 'test_suite_asn1write': [
504 re.compile(r'ASN.1 Write mpi.*'),
505 ],
506 'test_suite_debug': [
507 re.compile(r'Debug print mbedtls_mpi.*'),
508 ],
Gilles Peskine9df375b2024-09-16 20:14:26 +0200509 }
510
Gilles Peskine082eade2024-10-03 18:42:37 +0200511class DriverVSReference_ffdh_alg(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200512 REFERENCE = 'test_psa_crypto_config_reference_ffdh'
513 DRIVER = 'test_psa_crypto_config_accel_ffdh'
Gilles Peskine9df375b2024-09-16 20:14:26 +0200514 IGNORED_TESTS = {
Gilles Peskine9df375b2024-09-16 20:14:26 +0200515 'test_suite_platform': [
516 # Incompatible with sanitizers (e.g. ASan). If the driver
517 # component uses a sanitizer but the reference component
518 # doesn't, we have a PASS vs SKIP mismatch.
519 'Check mbedtls_calloc overallocation',
520 ],
521 }
522
Gilles Peskine082eade2024-10-03 18:42:37 +0200523class DriverVSReference_tfm_config(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200524 REFERENCE = 'test_tfm_config_no_p256m'
525 DRIVER = 'test_tfm_config_p256m_driver_accel_ec'
526 IGNORED_SUITES = [
527 # Modules replaced by drivers
528 'asn1parse', 'asn1write',
529 'ecp', 'ecdsa', 'ecdh', 'ecjpake',
530 'bignum_core', 'bignum_random', 'bignum_mod', 'bignum_mod_raw',
531 'bignum.generated', 'bignum.misc',
Gilles Peskine77587ce2024-10-29 20:55:11 +0100532 # Unit tests for the built-in implementation
533 'psa_crypto_ecp',
Gilles Peskine9df375b2024-09-16 20:14:26 +0200534 ]
535 IGNORED_TESTS = {
536 'test_suite_config': [
537 re.compile(r'.*\bMBEDTLS_BIGNUM_C\b.*'),
538 re.compile(r'.*\bMBEDTLS_(ASN1\w+)_C\b.*'),
539 re.compile(r'.*\bMBEDTLS_(ECDH|ECDSA|ECP)_.*'),
540 re.compile(r'.*\bMBEDTLS_PSA_P256M_DRIVER_ENABLED\b.*')
541 ],
542 'test_suite_config.crypto_combinations': [
543 'Config: ECC: Weierstrass curves only',
544 ],
545 'test_suite_platform': [
546 # Incompatible with sanitizers (e.g. ASan). If the driver
547 # component uses a sanitizer but the reference component
548 # doesn't, we have a PASS vs SKIP mismatch.
549 'Check mbedtls_calloc overallocation',
550 ],
551 # See ecp_light_only
552 'test_suite_random': [
553 'PSA classic wrapper: ECDSA signature (SECP256R1)',
554 ],
555 }
556
Gilles Peskine082eade2024-10-03 18:42:37 +0200557class DriverVSReference_rsa(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200558 REFERENCE = 'test_psa_crypto_config_reference_rsa_crypto'
559 DRIVER = 'test_psa_crypto_config_accel_rsa_crypto'
560 IGNORED_SUITES = [
561 # Modules replaced by drivers.
562 'rsa', 'pkcs1_v15', 'pkcs1_v21',
563 # We temporarily don't care about PK stuff.
564 'pk', 'pkwrite', 'pkparse'
565 ]
566 IGNORED_TESTS = {
Ronald Cron4c481142025-07-11 17:23:41 +0200567 'test_suite_bignum.misc': [
568 re.compile(r'.*\bmbedtls_mpi_is_prime.*'),
569 re.compile(r'.*\bmbedtls_mpi_gen_prime.*'),
570 ],
Gilles Peskine9df375b2024-09-16 20:14:26 +0200571 'test_suite_config': [
572 re.compile(r'.*\bMBEDTLS_(PKCS1|RSA)_.*'),
573 re.compile(r'.*\bMBEDTLS_GENPRIME\b.*')
574 ],
575 'test_suite_platform': [
576 # Incompatible with sanitizers (e.g. ASan). If the driver
577 # component uses a sanitizer but the reference component
578 # doesn't, we have a PASS vs SKIP mismatch.
579 'Check mbedtls_calloc overallocation',
580 ],
581 # Following tests depend on RSA_C but are not about
582 # them really, just need to know some error code is there.
583 'test_suite_error': [
584 'Low and high error',
585 'Single high error'
586 ],
587 # Constant time operations only used for PKCS1_V15
588 'test_suite_constant_time': [
589 re.compile(r'mbedtls_ct_zeroize_if .*'),
590 re.compile(r'mbedtls_ct_memmove_left .*')
591 ],
592 'test_suite_psa_crypto': [
593 # We don't support generate_key_custom entry points
594 # in drivers yet.
595 re.compile(r'PSA generate key custom: RSA, e=.*'),
596 re.compile(r'PSA generate key ext: RSA, e=.*'),
597 ],
598 }
599
Gilles Peskine082eade2024-10-03 18:42:37 +0200600class DriverVSReference_block_cipher_dispatch(outcome_analysis.DriverVSReference):
Gilles Peskine9df375b2024-09-16 20:14:26 +0200601 REFERENCE = 'test_full_block_cipher_legacy_dispatch'
602 DRIVER = 'test_full_block_cipher_psa_dispatch'
603 IGNORED_SUITES = [
604 # Skipped in the accelerated component
605 'aes', 'aria', 'camellia',
606 # These require AES_C, ARIA_C or CAMELLIA_C to be enabled in
607 # order for the cipher module (actually cipher_wrapper) to work
608 # properly. However these symbols are disabled in the accelerated
609 # component so we ignore them.
610 'cipher.ccm', 'cipher.gcm', 'cipher.aes', 'cipher.aria',
611 'cipher.camellia',
612 ]
613 IGNORED_TESTS = {
614 'test_suite_config': [
615 re.compile(r'.*\bMBEDTLS_(AES|ARIA|CAMELLIA)_.*'),
616 re.compile(r'.*\bMBEDTLS_AES(\w+)_C\b.*'),
617 ],
618 'test_suite_cmac': [
619 # Following tests require AES_C/ARIA_C/CAMELLIA_C to be enabled,
620 # but these are not available in the accelerated component.
621 'CMAC null arguments',
622 re.compile('CMAC.* (AES|ARIA|Camellia).*'),
623 ],
624 'test_suite_cipher.padding': [
625 # Following tests require AES_C/CAMELLIA_C to be enabled,
626 # but these are not available in the accelerated component.
627 re.compile('Set( non-existent)? padding with (AES|CAMELLIA).*'),
628 ],
629 'test_suite_pkcs5': [
630 # The AES part of PKCS#5 PBES2 is not yet supported.
631 # The rest of PKCS#5 (PBKDF2) works, though.
632 re.compile(r'PBES2 .* AES-.*')
633 ],
634 'test_suite_pkparse': [
635 # PEM (called by pkparse) requires AES_C in order to decrypt
636 # the key, but this is not available in the accelerated
637 # component.
638 re.compile('Parse RSA Key.*(password|AES-).*'),
639 ],
640 'test_suite_pem': [
641 # Following tests require AES_C, but this is diabled in the
642 # accelerated component.
643 re.compile('PEM read .*AES.*'),
644 'PEM read (unknown encryption algorithm)',
645 ],
646 'test_suite_error': [
647 # Following tests depend on AES_C but are not about them
648 # really, just need to know some error code is there.
649 'Single low error',
650 'Low and high error',
651 ],
Gilles Peskine9df375b2024-09-16 20:14:26 +0200652 'test_suite_platform': [
653 # Incompatible with sanitizers (e.g. ASan). If the driver
654 # component uses a sanitizer but the reference component
655 # doesn't, we have a PASS vs SKIP mismatch.
656 'Check mbedtls_calloc overallocation',
657 ],
658 }
659
660#pylint: enable=invalid-name,missing-class-docstring
661
662
Przemek Stekiel6856f4c2022-11-09 10:50:29 +0100663# List of tasks with a function that can handle this task and additional arguments if required
Valerio Settidfd7ca62023-10-09 16:30:11 +0200664KNOWN_TASKS = {
Gilles Peskinef646dbf2024-09-16 19:15:29 +0200665 'analyze_coverage': CoverageTask,
Gilles Peskine9df375b2024-09-16 20:14:26 +0200666 'analyze_driver_vs_reference_hash': DriverVSReference_hash,
667 'analyze_driver_vs_reference_hmac': DriverVSReference_hmac,
668 'analyze_driver_vs_reference_cipher_aead_cmac': DriverVSReference_cipher_aead_cmac,
669 'analyze_driver_vs_reference_ecp_light_only': DriverVSReference_ecp_light_only,
670 'analyze_driver_vs_reference_no_ecp_at_all': DriverVSReference_no_ecp_at_all,
671 'analyze_driver_vs_reference_ecc_no_bignum': DriverVSReference_ecc_no_bignum,
672 'analyze_driver_vs_reference_ecc_ffdh_no_bignum': DriverVSReference_ecc_ffdh_no_bignum,
673 'analyze_driver_vs_reference_ffdh_alg': DriverVSReference_ffdh_alg,
674 'analyze_driver_vs_reference_tfm_config': DriverVSReference_tfm_config,
675 'analyze_driver_vs_reference_rsa': DriverVSReference_rsa,
676 'analyze_block_cipher_dispatch': DriverVSReference_block_cipher_dispatch,
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200677}
Przemek Stekiel4d13c832022-10-26 16:11:26 +0200678
Gilles Peskine15c2cbf2020-06-25 18:36:28 +0200679if __name__ == '__main__':
Gilles Peskine082eade2024-10-03 18:42:37 +0200680 outcome_analysis.main(KNOWN_TASKS)