blob: 5df479df6a4ef89cd1200d0aa1aa457eb6f39d88 [file] [log] [blame]
Bence Szépkúti80b31c52021-10-19 15:05:36 +02001#!/usr/bin/env python3
Shaun Case8b0ecbc2021-12-20 21:14:10 -08002"""Run the PSA Crypto API compliance test suite.
Bence Szépkúti449781f2021-11-02 13:41:14 +01003Clone the repo and check out the commit specified by PSA_ARCH_TEST_REPO and PSA_ARCH_TEST_REF,
David Horstmann3b8984a2023-08-29 10:32:26 +01004then compile and run the test suite. The clone is stored at <repository root>/psa-arch-tests.
5Known defects in either the test suite or mbedtls / psa-crypto - identified by their test
6number - are ignored, while unexpected failures AND successes are reported as errors, to help
7keep the list of known defects as up to date as possible.
Bence Szépkúti449781f2021-11-02 13:41:14 +01008"""
Bence Szépkúti67fb3142021-11-02 14:01:08 +01009
10# Copyright The Mbed TLS Contributors
11# SPDX-License-Identifier: Apache-2.0
12#
13# Licensed under the Apache License, Version 2.0 (the "License"); you may
14# not use this file except in compliance with the License.
15# You may obtain a copy of the License at
16#
17# http://www.apache.org/licenses/LICENSE-2.0
18#
19# Unless required by applicable law or agreed to in writing, software
20# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
21# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
22# See the License for the specific language governing permissions and
23# limitations under the License.
24
David Horstmann4dcddcf2023-08-17 18:08:24 +010025import argparse
Bence Szépkúti80b31c52021-10-19 15:05:36 +020026import os
27import re
28import shutil
29import subprocess
30import sys
31
David Horstmanne31014a2023-07-19 11:43:27 +010032#pylint: disable=unused-import
David Horstmann1d091842023-07-18 17:39:35 +010033import scripts_path
34from mbedtls_dev import build_tree
35
David Horstmann3b8984a2023-08-29 10:32:26 +010036# PSA Compliance tests we expect to fail due to known defects in Mbed TLS / PSA Crypto
37# (or the test suite).
Bence Szépkúticb288712021-11-09 21:30:43 +010038# The test numbers correspond to the numbers used by the console output of the test suite.
39# Test number 2xx corresponds to the files in the folder
40# psa-arch-tests/api-tests/dev_apis/crypto/test_c0xx
Bence Szépkúti80b31c52021-10-19 15:05:36 +020041EXPECTED_FAILURES = {
Bence Szépkúticb288712021-11-09 21:30:43 +010042 # psa_hash_suspend() and psa_hash_resume() are not supported.
43 # - Tracked in issue #3274
44 262, 263
Bence Szépkúti80b31c52021-10-19 15:05:36 +020045}
Bence Szépkútie2855c32021-11-09 17:33:57 +010046
47# We currently use a fork of ARM-software/psa-arch-tests, with a couple of downstream patches
48# that allow it to build with MbedTLS 3, and fixes a couple of issues in the compliance test suite.
49# These fixes allow the tests numbered 216, 248 and 249 to complete successfully.
50#
51# Once all the fixes are upstreamed, this fork should be replaced with an upstream commit/tag.
Bence Szépkútib376eac2021-11-09 22:13:46 +010052# - Tracked in issue #5145
Bence Szépkútie2855c32021-11-09 17:33:57 +010053#
54# Web URL: https://github.com/bensze01/psa-arch-tests/tree/fixes-for-mbedtls-3
55PSA_ARCH_TESTS_REPO = 'https://github.com/bensze01/psa-arch-tests.git'
Gilles Peskine42ed9632022-05-17 17:23:09 +020056PSA_ARCH_TESTS_REF = 'fix-pr-5736'
Bence Szépkúti80b31c52021-10-19 15:05:36 +020057
David Horstmanne31014a2023-07-19 11:43:27 +010058#pylint: disable=too-many-branches,too-many-statements,too-many-locals
David Horstmann4dcddcf2023-08-17 18:08:24 +010059def main(library_build_dir: str):
David Horstmannf7570692023-08-29 10:27:13 +010060 root_dir = os.getcwd()
Bence Szépkúti80b31c52021-10-19 15:05:36 +020061
David Horstmannf7570692023-08-29 10:27:13 +010062 in_psa_crypto_repo = build_tree.looks_like_psa_crypto_root(root_dir)
David Horstmann1d091842023-07-18 17:39:35 +010063
David Horstmann98af1982023-08-29 10:25:26 +010064 if in_psa_crypto_repo:
David Horstmannbeaee262023-08-29 13:56:17 +010065 crypto_name = 'psacrypto'
66 library_subdir = 'core'
David Horstmann98af1982023-08-29 10:25:26 +010067 else:
David Horstmannbeaee262023-08-29 13:56:17 +010068 crypto_name = 'mbedcrypto'
69 library_subdir = 'library'
70
71 crypto_lib_filename = (library_build_dir + '/' +
72 library_subdir + '/' +
73 'lib' + crypto_name + '.a')
David Horstmann98af1982023-08-29 10:25:26 +010074
75 if not os.path.exists(crypto_lib_filename):
David Horstmann2ba89be2023-08-29 10:37:29 +010076 #pylint: disable=bad-continuation
David Horstmann4dcddcf2023-08-17 18:08:24 +010077 subprocess.check_call([
78 'cmake', '.',
79 '-GUnix Makefiles',
80 '-B', library_build_dir
81 ])
David Horstmannbeaee262023-08-29 13:56:17 +010082 subprocess.check_call(['cmake', '--build', library_build_dir,
83 '-t', crypto_name])
Bence Szépkúti80b31c52021-10-19 15:05:36 +020084
85 psa_arch_tests_dir = 'psa-arch-tests'
Bence Szépkútic63d1602021-11-02 14:06:40 +010086 os.makedirs(psa_arch_tests_dir, exist_ok=True)
Bence Szépkúti80b31c52021-10-19 15:05:36 +020087 try:
Bence Szépkúti34b5f562021-11-02 13:48:39 +010088 os.chdir(psa_arch_tests_dir)
Bence Szépkúti80b31c52021-10-19 15:05:36 +020089
Bence Szépkútib3818412021-11-03 11:32:51 +010090 # Reuse existing local clone
Bence Szépkúti34b5f562021-11-02 13:48:39 +010091 subprocess.check_call(['git', 'init'])
92 subprocess.check_call(['git', 'fetch', PSA_ARCH_TESTS_REPO, PSA_ARCH_TESTS_REF])
93 subprocess.check_call(['git', 'checkout', 'FETCH_HEAD'])
Bence Szépkúti80b31c52021-10-19 15:05:36 +020094
Bence Szépkúti34b5f562021-11-02 13:48:39 +010095 build_dir = 'api-tests/build'
96 try:
97 shutil.rmtree(build_dir)
98 except FileNotFoundError:
99 pass
100 os.mkdir(build_dir)
101 os.chdir(build_dir)
Bence Szépkúti80b31c52021-10-19 15:05:36 +0200102
David Horstmannf7570692023-08-29 10:27:13 +0100103 extra_includes = (';{}/drivers/builtin/include'.format(root_dir)
David Horstmann0ac57ca2023-08-23 16:24:55 +0100104 if in_psa_crypto_repo else '')
David Horstmann1d091842023-07-18 17:39:35 +0100105
Bence Szépkúti34b5f562021-11-02 13:48:39 +0100106 #pylint: disable=bad-continuation
107 subprocess.check_call([
108 'cmake', '..',
109 '-GUnix Makefiles',
110 '-DTARGET=tgt_dev_apis_stdc',
111 '-DTOOLCHAIN=HOST_GCC',
112 '-DSUITE=CRYPTO',
David Horstmannf7570692023-08-29 10:27:13 +0100113 '-DPSA_CRYPTO_LIB_FILENAME={}/{}'.format(root_dir,
David Horstmann7f93d222023-08-23 16:21:40 +0100114 crypto_lib_filename),
David Horstmannf7570692023-08-29 10:27:13 +0100115 ('-DPSA_INCLUDE_PATHS={}/include' + extra_includes).format(root_dir)
Bence Szépkúti34b5f562021-11-02 13:48:39 +0100116 ])
117 subprocess.check_call(['cmake', '--build', '.'])
Bence Szépkúti80b31c52021-10-19 15:05:36 +0200118
Bence Szépkúti34b5f562021-11-02 13:48:39 +0100119 proc = subprocess.Popen(['./psa-arch-tests-crypto'],
120 bufsize=1, stdout=subprocess.PIPE, universal_newlines=True)
121
122 test_re = re.compile(
123 '^TEST: (?P<test_num>[0-9]*)|'
124 '^TEST RESULT: (?P<test_result>FAILED|PASSED)'
125 )
126 test = -1
127 unexpected_successes = set(EXPECTED_FAILURES)
128 expected_failures = []
129 unexpected_failures = []
130 for line in proc.stdout:
131 print(line, end='')
132 match = test_re.match(line)
133 if match is not None:
134 groupdict = match.groupdict()
135 test_num = groupdict['test_num']
136 if test_num is not None:
137 test = int(test_num)
138 elif groupdict['test_result'] == 'FAILED':
139 try:
140 unexpected_successes.remove(test)
141 expected_failures.append(test)
142 print('Expected failure, ignoring')
143 except KeyError:
144 unexpected_failures.append(test)
145 print('ERROR: Unexpected failure')
146 elif test in unexpected_successes:
147 print('ERROR: Unexpected success')
148 proc.wait()
149
150 print()
151 print('***** test_psa_compliance.py report ******')
152 print()
153 print('Expected failures:', ', '.join(str(i) for i in expected_failures))
154 print('Unexpected failures:', ', '.join(str(i) for i in unexpected_failures))
155 print('Unexpected successes:', ', '.join(str(i) for i in sorted(unexpected_successes)))
156 print()
157 if unexpected_successes or unexpected_failures:
158 if unexpected_successes:
159 print('Unexpected successes encountered.')
160 print('Please remove the corresponding tests from '
161 'EXPECTED_FAILURES in tests/scripts/compliance_test.py')
162 print()
163 print('FAILED')
164 return 1
165 else:
Bence Szépkúti34b5f562021-11-02 13:48:39 +0100166 print('SUCCESS')
167 return 0
168 finally:
David Horstmannf7570692023-08-29 10:27:13 +0100169 os.chdir(root_dir)
Bence Szépkúti80b31c52021-10-19 15:05:36 +0200170
171if __name__ == '__main__':
David Horstmannb48822c2023-08-29 14:12:53 +0100172 BUILD_DIR = 'out_of_source_build'
David Horstmann4dcddcf2023-08-17 18:08:24 +0100173
174 parser = argparse.ArgumentParser()
175 parser.add_argument('--build-dir', nargs=1,
David Horstmann3b8984a2023-08-29 10:32:26 +0100176 help='path to Mbed TLS / PSA Crypto build directory')
David Horstmann4dcddcf2023-08-17 18:08:24 +0100177 args = parser.parse_args()
178
179 if args.build_dir is not None:
David Horstmannb48822c2023-08-29 14:12:53 +0100180 BUILD_DIR = args.build_dir[0]
David Horstmann4dcddcf2023-08-17 18:08:24 +0100181
David Horstmannb48822c2023-08-29 14:12:53 +0100182 sys.exit(main(BUILD_DIR))