blob: af25feb639a193eed760de00f688f5ba776216c9 [file] [log] [blame]
Gilles Peskine09940492021-01-26 22:16:30 +01001#!/usr/bin/env python3
2"""Generate test data for PSA cryptographic mechanisms.
Gilles Peskine0298bda2021-03-10 02:34:37 +01003
4With no arguments, generate all test data. With non-option arguments,
5generate only the specified files.
Gilles Peskine09940492021-01-26 22:16:30 +01006"""
7
8# Copyright The Mbed TLS Contributors
9# SPDX-License-Identifier: Apache-2.0
10#
11# Licensed under the Apache License, Version 2.0 (the "License"); you may
12# not use this file except in compliance with the License.
13# You may obtain a copy of the License at
14#
15# http://www.apache.org/licenses/LICENSE-2.0
16#
17# Unless required by applicable law or agreed to in writing, software
18# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
19# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
20# See the License for the specific language governing permissions and
21# limitations under the License.
22
23import argparse
Gilles Peskine14e428f2021-01-26 22:19:21 +010024import os
25import re
Gilles Peskine09940492021-01-26 22:16:30 +010026import sys
Gilles Peskine3d778392021-02-17 15:11:05 +010027from typing import Callable, Dict, FrozenSet, Iterable, Iterator, List, Optional, TypeVar
Gilles Peskine09940492021-01-26 22:16:30 +010028
29import scripts_path # pylint: disable=unused-import
Gilles Peskine14e428f2021-01-26 22:19:21 +010030from mbedtls_dev import crypto_knowledge
Gilles Peskine09940492021-01-26 22:16:30 +010031from mbedtls_dev import macro_collector
Gilles Peskine897dff92021-03-10 15:03:44 +010032from mbedtls_dev import psa_storage
Gilles Peskine14e428f2021-01-26 22:19:21 +010033from mbedtls_dev import test_case
Gilles Peskine09940492021-01-26 22:16:30 +010034
35T = TypeVar('T') #pylint: disable=invalid-name
36
Gilles Peskine14e428f2021-01-26 22:19:21 +010037
Gilles Peskine7f756872021-02-16 12:13:12 +010038def psa_want_symbol(name: str) -> str:
Gilles Peskineaf172842021-01-27 18:24:48 +010039 """Return the PSA_WANT_xxx symbol associated with a PSA crypto feature."""
40 if name.startswith('PSA_'):
41 return name[:4] + 'WANT_' + name[4:]
42 else:
43 raise ValueError('Unable to determine the PSA_WANT_ symbol for ' + name)
44
Gilles Peskine7f756872021-02-16 12:13:12 +010045def finish_family_dependency(dep: str, bits: int) -> str:
46 """Finish dep if it's a family dependency symbol prefix.
47
48 A family dependency symbol prefix is a PSA_WANT_ symbol that needs to be
49 qualified by the key size. If dep is such a symbol, finish it by adjusting
50 the prefix and appending the key size. Other symbols are left unchanged.
51 """
52 return re.sub(r'_FAMILY_(.*)', r'_\1_' + str(bits), dep)
53
54def finish_family_dependencies(dependencies: List[str], bits: int) -> List[str]:
55 """Finish any family dependency symbol prefixes.
56
57 Apply `finish_family_dependency` to each element of `dependencies`.
58 """
59 return [finish_family_dependency(dep, bits) for dep in dependencies]
Gilles Peskineaf172842021-01-27 18:24:48 +010060
Gilles Peskine8a55b432021-04-20 23:23:45 +020061SYMBOLS_WITHOUT_DEPENDENCY = frozenset([
62 'PSA_ALG_AEAD_WITH_AT_LEAST_THIS_LENGTH_TAG', # modifier, only in policies
63 'PSA_ALG_AEAD_WITH_SHORTENED_TAG', # modifier
64 'PSA_ALG_ANY_HASH', # only in policies
65 'PSA_ALG_AT_LEAST_THIS_LENGTH_MAC', # modifier, only in policies
66 'PSA_ALG_KEY_AGREEMENT', # chaining
67 'PSA_ALG_TRUNCATED_MAC', # modifier
68])
Gilles Peskinef8223ab2021-03-10 15:07:16 +010069def automatic_dependencies(*expressions: str) -> List[str]:
70 """Infer dependencies of a test case by looking for PSA_xxx symbols.
71
72 The arguments are strings which should be C expressions. Do not use
73 string literals or comments as this function is not smart enough to
74 skip them.
75 """
76 used = set()
77 for expr in expressions:
78 used.update(re.findall(r'PSA_(?:ALG|ECC_FAMILY|KEY_TYPE)_\w+', expr))
Gilles Peskine8a55b432021-04-20 23:23:45 +020079 used.difference_update(SYMBOLS_WITHOUT_DEPENDENCY)
Gilles Peskinef8223ab2021-03-10 15:07:16 +010080 return sorted(psa_want_symbol(name) for name in used)
81
Gilles Peskined169d602021-02-16 14:16:25 +010082# A temporary hack: at the time of writing, not all dependency symbols
83# are implemented yet. Skip test cases for which the dependency symbols are
84# not available. Once all dependency symbols are available, this hack must
85# be removed so that a bug in the dependency symbols proprely leads to a test
86# failure.
87def read_implemented_dependencies(filename: str) -> FrozenSet[str]:
88 return frozenset(symbol
89 for line in open(filename)
90 for symbol in re.findall(r'\bPSA_WANT_\w+\b', line))
Przemyslaw Stekiel29275932021-11-09 12:06:26 +010091_implemented_dependencies = None #type: Optional[FrozenSet[str]] #pylint: disable=invalid-name
Gilles Peskined169d602021-02-16 14:16:25 +010092def hack_dependencies_not_implemented(dependencies: List[str]) -> None:
Przemyslaw Stekiel29275932021-11-09 12:06:26 +010093 global _implemented_dependencies #pylint: disable=global-statement,invalid-name
Przemyslaw Stekiel08101082021-10-22 10:39:56 +020094 if _implemented_dependencies is None:
95 _implemented_dependencies = \
96 read_implemented_dependencies('include/psa/crypto_config.h')
97 if not all((dep.lstrip('!') in _implemented_dependencies or 'PSA_WANT' not in dep)
Gilles Peskined169d602021-02-16 14:16:25 +010098 for dep in dependencies):
99 dependencies.append('DEPENDENCY_NOT_IMPLEMENTED_YET')
100
Gilles Peskine14e428f2021-01-26 22:19:21 +0100101
Gilles Peskineb94ea512021-03-10 02:12:08 +0100102class Information:
103 """Gather information about PSA constructors."""
Gilles Peskine09940492021-01-26 22:16:30 +0100104
Gilles Peskineb94ea512021-03-10 02:12:08 +0100105 def __init__(self) -> None:
Gilles Peskine09940492021-01-26 22:16:30 +0100106 self.constructors = self.read_psa_interface()
107
108 @staticmethod
Gilles Peskine09940492021-01-26 22:16:30 +0100109 def remove_unwanted_macros(
Gilles Peskineb93f8542021-04-19 13:50:25 +0200110 constructors: macro_collector.PSAMacroEnumerator
Gilles Peskine09940492021-01-26 22:16:30 +0100111 ) -> None:
Gilles Peskineb93f8542021-04-19 13:50:25 +0200112 # Mbed TLS doesn't support finite-field DH yet and will not support
113 # finite-field DSA. Don't attempt to generate any related test case.
114 constructors.key_types.discard('PSA_KEY_TYPE_DH_KEY_PAIR')
115 constructors.key_types.discard('PSA_KEY_TYPE_DH_PUBLIC_KEY')
Gilles Peskine09940492021-01-26 22:16:30 +0100116 constructors.key_types.discard('PSA_KEY_TYPE_DSA_KEY_PAIR')
117 constructors.key_types.discard('PSA_KEY_TYPE_DSA_PUBLIC_KEY')
Gilles Peskine09940492021-01-26 22:16:30 +0100118
Gilles Peskineb93f8542021-04-19 13:50:25 +0200119 def read_psa_interface(self) -> macro_collector.PSAMacroEnumerator:
Gilles Peskine09940492021-01-26 22:16:30 +0100120 """Return the list of known key types, algorithms, etc."""
Gilles Peskined6d2d6a2021-03-30 21:46:35 +0200121 constructors = macro_collector.InputsForTest()
Gilles Peskine09940492021-01-26 22:16:30 +0100122 header_file_names = ['include/psa/crypto_values.h',
123 'include/psa/crypto_extra.h']
Gilles Peskineb93f8542021-04-19 13:50:25 +0200124 test_suites = ['tests/suites/test_suite_psa_crypto_metadata.data']
Gilles Peskine09940492021-01-26 22:16:30 +0100125 for header_file_name in header_file_names:
Gilles Peskineb93f8542021-04-19 13:50:25 +0200126 constructors.parse_header(header_file_name)
127 for test_cases in test_suites:
128 constructors.parse_test_cases(test_cases)
Gilles Peskine09940492021-01-26 22:16:30 +0100129 self.remove_unwanted_macros(constructors)
Gilles Peskined6d2d6a2021-03-30 21:46:35 +0200130 constructors.gather_arguments()
Gilles Peskine09940492021-01-26 22:16:30 +0100131 return constructors
132
Gilles Peskine14e428f2021-01-26 22:19:21 +0100133
Przemyslaw Stekield6ead7c2021-10-11 10:15:25 +0200134def test_case_for_key_type_not_supported(
Gilles Peskineb94ea512021-03-10 02:12:08 +0100135 verb: str, key_type: str, bits: int,
136 dependencies: List[str],
137 *args: str,
138 param_descr: str = ''
139) -> test_case.TestCase:
140 """Return one test case exercising a key creation method
141 for an unsupported key type or size.
142 """
143 hack_dependencies_not_implemented(dependencies)
144 tc = test_case.TestCase()
145 short_key_type = re.sub(r'PSA_(KEY_TYPE|ECC_FAMILY)_', r'', key_type)
146 adverb = 'not' if dependencies else 'never'
147 if param_descr:
148 adverb = param_descr + ' ' + adverb
Przemyslaw Stekield6ead7c2021-10-11 10:15:25 +0200149 tc.set_description('PSA {} {} {}-bit {} supported'
150 .format(verb, short_key_type, bits, adverb))
151 tc.set_dependencies(dependencies)
152 tc.set_function(verb + '_not_supported')
153 tc.set_arguments([key_type] + list(args))
154 return tc
155
Gilles Peskineb94ea512021-03-10 02:12:08 +0100156class NotSupported:
Przemyslaw Stekiel32a8b842021-10-18 14:58:20 +0200157 """Generate test cases for when something is not supported."""
Gilles Peskineb94ea512021-03-10 02:12:08 +0100158
159 def __init__(self, info: Information) -> None:
160 self.constructors = info.constructors
Gilles Peskine14e428f2021-01-26 22:19:21 +0100161
Gilles Peskine60b29fe2021-02-16 14:06:50 +0100162 ALWAYS_SUPPORTED = frozenset([
163 'PSA_KEY_TYPE_DERIVE',
164 'PSA_KEY_TYPE_RAW_DATA',
165 ])
Gilles Peskine14e428f2021-01-26 22:19:21 +0100166 def test_cases_for_key_type_not_supported(
Gilles Peskine60b29fe2021-02-16 14:06:50 +0100167 self,
Gilles Peskineaf172842021-01-27 18:24:48 +0100168 kt: crypto_knowledge.KeyType,
169 param: Optional[int] = None,
170 param_descr: str = '',
Gilles Peskine3d778392021-02-17 15:11:05 +0100171 ) -> Iterator[test_case.TestCase]:
Przemyslaw Stekiel32a8b842021-10-18 14:58:20 +0200172 """Return test cases exercising key creation when the given type is unsupported.
Gilles Peskineaf172842021-01-27 18:24:48 +0100173
174 If param is present and not None, emit test cases conditioned on this
175 parameter not being supported. If it is absent or None, emit test cases
Przemyslaw Stekiel32a8b842021-10-18 14:58:20 +0200176 conditioned on the base type not being supported.
Gilles Peskineaf172842021-01-27 18:24:48 +0100177 """
Gilles Peskine60b29fe2021-02-16 14:06:50 +0100178 if kt.name in self.ALWAYS_SUPPORTED:
179 # Don't generate test cases for key types that are always supported.
180 # They would be skipped in all configurations, which is noise.
Gilles Peskine3d778392021-02-17 15:11:05 +0100181 return
Gilles Peskineaf172842021-01-27 18:24:48 +0100182 import_dependencies = [('!' if param is None else '') +
183 psa_want_symbol(kt.name)]
184 if kt.params is not None:
185 import_dependencies += [('!' if param == i else '') +
186 psa_want_symbol(sym)
187 for i, sym in enumerate(kt.params)]
Gilles Peskine14e428f2021-01-26 22:19:21 +0100188 if kt.name.endswith('_PUBLIC_KEY'):
189 generate_dependencies = []
190 else:
191 generate_dependencies = import_dependencies
Gilles Peskine14e428f2021-01-26 22:19:21 +0100192 for bits in kt.sizes_to_test():
Przemyslaw Stekield6ead7c2021-10-11 10:15:25 +0200193 yield test_case_for_key_type_not_supported(
Gilles Peskine7f756872021-02-16 12:13:12 +0100194 'import', kt.expression, bits,
195 finish_family_dependencies(import_dependencies, bits),
Gilles Peskineaf172842021-01-27 18:24:48 +0100196 test_case.hex_string(kt.key_material(bits)),
197 param_descr=param_descr,
Gilles Peskine3d778392021-02-17 15:11:05 +0100198 )
Gilles Peskineaf172842021-01-27 18:24:48 +0100199 if not generate_dependencies and param is not None:
200 # If generation is impossible for this key type, rather than
201 # supported or not depending on implementation capabilities,
202 # only generate the test case once.
203 continue
Przemyslaw Stekiel1ab3a5c2021-11-02 10:50:44 +0100204 # For public key we expect that key generation fails with
205 # INVALID_ARGUMENT. It is handled by KeyGenerate class.
Przemyslaw Stekiel32a8b842021-10-18 14:58:20 +0200206 if not kt.name.endswith('_PUBLIC_KEY'):
Przemyslaw Stekield6ead7c2021-10-11 10:15:25 +0200207 yield test_case_for_key_type_not_supported(
208 'generate', kt.expression, bits,
209 finish_family_dependencies(generate_dependencies, bits),
210 str(bits),
211 param_descr=param_descr,
212 )
Gilles Peskine14e428f2021-01-26 22:19:21 +0100213 # To be added: derive
Gilles Peskine14e428f2021-01-26 22:19:21 +0100214
Gilles Peskineb93f8542021-04-19 13:50:25 +0200215 ECC_KEY_TYPES = ('PSA_KEY_TYPE_ECC_KEY_PAIR',
216 'PSA_KEY_TYPE_ECC_PUBLIC_KEY')
217
Gilles Peskine3d778392021-02-17 15:11:05 +0100218 def test_cases_for_not_supported(self) -> Iterator[test_case.TestCase]:
Gilles Peskine14e428f2021-01-26 22:19:21 +0100219 """Generate test cases that exercise the creation of keys of unsupported types."""
Gilles Peskine14e428f2021-01-26 22:19:21 +0100220 for key_type in sorted(self.constructors.key_types):
Gilles Peskineb93f8542021-04-19 13:50:25 +0200221 if key_type in self.ECC_KEY_TYPES:
222 continue
Gilles Peskine14e428f2021-01-26 22:19:21 +0100223 kt = crypto_knowledge.KeyType(key_type)
Gilles Peskine3d778392021-02-17 15:11:05 +0100224 yield from self.test_cases_for_key_type_not_supported(kt)
Gilles Peskineaf172842021-01-27 18:24:48 +0100225 for curve_family in sorted(self.constructors.ecc_curves):
Gilles Peskineb93f8542021-04-19 13:50:25 +0200226 for constr in self.ECC_KEY_TYPES:
Gilles Peskineaf172842021-01-27 18:24:48 +0100227 kt = crypto_knowledge.KeyType(constr, [curve_family])
Gilles Peskine3d778392021-02-17 15:11:05 +0100228 yield from self.test_cases_for_key_type_not_supported(
Gilles Peskineaf172842021-01-27 18:24:48 +0100229 kt, param_descr='type')
Gilles Peskine3d778392021-02-17 15:11:05 +0100230 yield from self.test_cases_for_key_type_not_supported(
Gilles Peskineaf172842021-01-27 18:24:48 +0100231 kt, 0, param_descr='curve')
Gilles Peskineb94ea512021-03-10 02:12:08 +0100232
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200233def test_case_for_key_generation(
234 key_type: str, bits: int,
235 dependencies: List[str],
236 *args: str,
Przemyslaw Stekielc03b7c52021-10-20 11:59:50 +0200237 result: str = ''
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200238) -> test_case.TestCase:
239 """Return one test case exercising a key generation.
240 """
241 hack_dependencies_not_implemented(dependencies)
242 tc = test_case.TestCase()
243 short_key_type = re.sub(r'PSA_(KEY_TYPE|ECC_FAMILY)_', r'', key_type)
244 tc.set_description('PSA {} {}-bit'
Przemyslaw Stekielc03b7c52021-10-20 11:59:50 +0200245 .format(short_key_type, bits))
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200246 tc.set_dependencies(dependencies)
247 tc.set_function('generate_key')
Przemyslaw Stekiel1ab3a5c2021-11-02 10:50:44 +0100248 tc.set_arguments([key_type] + list(args) + [result])
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200249
250 return tc
251
252class KeyGenerate:
253 """Generate positive and negative (invalid argument) test cases for key generation."""
254
255 def __init__(self, info: Information) -> None:
256 self.constructors = info.constructors
257
Przemyslaw Stekielc03b7c52021-10-20 11:59:50 +0200258 ECC_KEY_TYPES = ('PSA_KEY_TYPE_ECC_KEY_PAIR',
259 'PSA_KEY_TYPE_ECC_PUBLIC_KEY')
260
Przemyslaw Stekiel1ab3a5c2021-11-02 10:50:44 +0100261 @staticmethod
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200262 def test_cases_for_key_type_key_generation(
Przemyslaw Stekielc03b7c52021-10-20 11:59:50 +0200263 kt: crypto_knowledge.KeyType
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200264 ) -> Iterator[test_case.TestCase]:
265 """Return test cases exercising key generation.
266
267 All key types can be generated except for public keys. For public key
268 PSA_ERROR_INVALID_ARGUMENT status is expected.
269 """
270 result = 'PSA_SUCCESS'
271
272 import_dependencies = [psa_want_symbol(kt.name)]
273 if kt.params is not None:
274 import_dependencies += [psa_want_symbol(sym)
275 for i, sym in enumerate(kt.params)]
276 if kt.name.endswith('_PUBLIC_KEY'):
Przemyslaw Stekiel1ab3a5c2021-11-02 10:50:44 +0100277 # The library checks whether the key type is a public key generically,
278 # before it reaches a point where it needs support for the specific key
279 # type, so it returns INVALID_ARGUMENT for unsupported public key types.
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200280 generate_dependencies = []
281 result = 'PSA_ERROR_INVALID_ARGUMENT'
282 else:
283 generate_dependencies = import_dependencies
Przemyslaw Stekiel1ab3a5c2021-11-02 10:50:44 +0100284 if kt.name == 'PSA_KEY_TYPE_RSA_KEY_PAIR':
Przemyslaw Stekiel08101082021-10-22 10:39:56 +0200285 generate_dependencies.append("MBEDTLS_GENPRIME")
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200286 for bits in kt.sizes_to_test():
287 yield test_case_for_key_generation(
288 kt.expression, bits,
289 finish_family_dependencies(generate_dependencies, bits),
290 str(bits),
Przemyslaw Stekielc03b7c52021-10-20 11:59:50 +0200291 result
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200292 )
293
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200294 def test_cases_for_key_generation(self) -> Iterator[test_case.TestCase]:
295 """Generate test cases that exercise the generation of keys."""
296 for key_type in sorted(self.constructors.key_types):
297 if key_type in self.ECC_KEY_TYPES:
298 continue
299 kt = crypto_knowledge.KeyType(key_type)
300 yield from self.test_cases_for_key_type_key_generation(kt)
301 for curve_family in sorted(self.constructors.ecc_curves):
302 for constr in self.ECC_KEY_TYPES:
303 kt = crypto_knowledge.KeyType(constr, [curve_family])
Przemyslaw Stekielc03b7c52021-10-20 11:59:50 +0200304 yield from self.test_cases_for_key_type_key_generation(kt)
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200305
Gilles Peskine897dff92021-03-10 15:03:44 +0100306class StorageKey(psa_storage.Key):
307 """Representation of a key for storage format testing."""
308
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200309 IMPLICIT_USAGE_FLAGS = {
310 'PSA_KEY_USAGE_SIGN_HASH': 'PSA_KEY_USAGE_SIGN_MESSAGE',
311 'PSA_KEY_USAGE_VERIFY_HASH': 'PSA_KEY_USAGE_VERIFY_MESSAGE'
312 } #type: Dict[str, str]
313 """Mapping of usage flags to the flags that they imply."""
314
315 def __init__(
316 self,
317 usage: str,
318 without_implicit_usage: Optional[bool] = False,
319 **kwargs
320 ) -> None:
321 """Prepare to generate a key.
322
323 * `usage` : The usage flags used for the key.
324 * `without_implicit_usage`: Flag to defide to apply the usage extension
325 """
gabor-mezei-arm3ea27322021-06-29 17:21:21 +0200326 super().__init__(usage=usage, **kwargs)
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200327
328 if not without_implicit_usage:
329 for flag, implicit in self.IMPLICIT_USAGE_FLAGS.items():
330 if self.usage.value() & psa_storage.Expr(flag).value() and \
331 self.usage.value() & psa_storage.Expr(implicit).value() == 0:
332 self.usage = psa_storage.Expr(self.usage.string + ' | ' + implicit)
333
334class StorageTestData(StorageKey):
335 """Representation of test case data for storage format testing."""
336
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200337 def __init__(
338 self,
339 description: str,
340 expected_usage: Optional[str] = None,
341 **kwargs
342 ) -> None:
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200343 """Prepare to generate test data
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200344
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200345 * `description` : used for the the test case names
346 * `expected_usage`: the usage flags generated as the expected usage flags
347 in the test cases. CAn differ from the usage flags
348 stored in the keys because of the usage flags extension.
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200349 """
Gilles Peskine897dff92021-03-10 15:03:44 +0100350 super().__init__(**kwargs)
351 self.description = description #type: str
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200352 self.expected_usage = expected_usage if expected_usage else self.usage.string #type: str
gabor-mezei-arm15c1f032021-06-24 10:04:38 +0200353
Gilles Peskine897dff92021-03-10 15:03:44 +0100354class StorageFormat:
355 """Storage format stability test cases."""
356
357 def __init__(self, info: Information, version: int, forward: bool) -> None:
358 """Prepare to generate test cases for storage format stability.
359
360 * `info`: information about the API. See the `Information` class.
361 * `version`: the storage format version to generate test cases for.
362 * `forward`: if true, generate forward compatibility test cases which
363 save a key and check that its representation is as intended. Otherwise
364 generate backward compatibility test cases which inject a key
365 representation and check that it can be read and used.
366 """
gabor-mezei-arm0bdb84e2021-06-23 17:01:44 +0200367 self.constructors = info.constructors #type: macro_collector.PSAMacroEnumerator
368 self.version = version #type: int
369 self.forward = forward #type: bool
Gilles Peskine897dff92021-03-10 15:03:44 +0100370
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200371 def make_test_case(self, key: StorageTestData) -> test_case.TestCase:
Gilles Peskine897dff92021-03-10 15:03:44 +0100372 """Construct a storage format test case for the given key.
373
374 If ``forward`` is true, generate a forward compatibility test case:
375 create a key and validate that it has the expected representation.
376 Otherwise generate a backward compatibility test case: inject the
377 key representation into storage and validate that it can be read
378 correctly.
379 """
380 verb = 'save' if self.forward else 'read'
381 tc = test_case.TestCase()
382 tc.set_description('PSA storage {}: {}'.format(verb, key.description))
Gilles Peskinef8223ab2021-03-10 15:07:16 +0100383 dependencies = automatic_dependencies(
384 key.lifetime.string, key.type.string,
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200385 key.expected_usage, key.alg.string, key.alg2.string,
Gilles Peskinef8223ab2021-03-10 15:07:16 +0100386 )
387 dependencies = finish_family_dependencies(dependencies, key.bits)
388 tc.set_dependencies(dependencies)
Gilles Peskine897dff92021-03-10 15:03:44 +0100389 tc.set_function('key_storage_' + verb)
390 if self.forward:
391 extra_arguments = []
392 else:
Gilles Peskine643eb832021-04-21 20:11:33 +0200393 flags = []
Gilles Peskine897dff92021-03-10 15:03:44 +0100394 # Some test keys have the RAW_DATA type and attributes that don't
395 # necessarily make sense. We do this to validate numerical
396 # encodings of the attributes.
397 # Raw data keys have no useful exercise anyway so there is no
398 # loss of test coverage.
Gilles Peskine643eb832021-04-21 20:11:33 +0200399 if key.type.string != 'PSA_KEY_TYPE_RAW_DATA':
400 flags.append('TEST_FLAG_EXERCISE')
401 if 'READ_ONLY' in key.lifetime.string:
402 flags.append('TEST_FLAG_READ_ONLY')
403 extra_arguments = [' | '.join(flags) if flags else '0']
Gilles Peskine897dff92021-03-10 15:03:44 +0100404 tc.set_arguments([key.lifetime.string,
405 key.type.string, str(key.bits),
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200406 key.expected_usage, key.alg.string, key.alg2.string,
Gilles Peskine897dff92021-03-10 15:03:44 +0100407 '"' + key.material.hex() + '"',
408 '"' + key.hex() + '"',
409 *extra_arguments])
410 return tc
411
Gilles Peskineefb584d2021-04-21 22:05:34 +0200412 def key_for_lifetime(
413 self,
414 lifetime: str,
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200415 ) -> StorageTestData:
Gilles Peskineefb584d2021-04-21 22:05:34 +0200416 """Construct a test key for the given lifetime."""
417 short = lifetime
418 short = re.sub(r'PSA_KEY_LIFETIME_FROM_PERSISTENCE_AND_LOCATION',
419 r'', short)
420 short = re.sub(r'PSA_KEY_[A-Z]+_', r'', short)
421 description = 'lifetime: ' + short
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200422 key = StorageTestData(version=self.version,
423 id=1, lifetime=lifetime,
424 type='PSA_KEY_TYPE_RAW_DATA', bits=8,
425 usage='PSA_KEY_USAGE_EXPORT', alg=0, alg2=0,
426 material=b'L',
427 description=description)
428 return key
Gilles Peskineefb584d2021-04-21 22:05:34 +0200429
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200430 def all_keys_for_lifetimes(self) -> Iterator[StorageTestData]:
Gilles Peskineefb584d2021-04-21 22:05:34 +0200431 """Generate test keys covering lifetimes."""
432 lifetimes = sorted(self.constructors.lifetimes)
433 expressions = self.constructors.generate_expressions(lifetimes)
434 for lifetime in expressions:
435 # Don't attempt to create or load a volatile key in storage
436 if 'VOLATILE' in lifetime:
437 continue
438 # Don't attempt to create a read-only key in storage,
439 # but do attempt to load one.
440 if 'READ_ONLY' in lifetime and self.forward:
441 continue
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200442 yield self.key_for_lifetime(lifetime)
Gilles Peskineefb584d2021-04-21 22:05:34 +0200443
gabor-mezei-arm912eca32021-06-29 15:39:56 +0200444 def keys_for_usage_flags(
Gilles Peskine897dff92021-03-10 15:03:44 +0100445 self,
446 usage_flags: List[str],
gabor-mezei-armd71659f2021-06-24 09:42:02 +0200447 short: Optional[str] = None,
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200448 test_implicit_usage: Optional[bool] = False
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200449 ) -> Iterator[StorageTestData]:
Gilles Peskine897dff92021-03-10 15:03:44 +0100450 """Construct a test key for the given key usage."""
451 usage = ' | '.join(usage_flags) if usage_flags else '0'
452 if short is None:
453 short = re.sub(r'\bPSA_KEY_USAGE_', r'', usage)
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200454 extra_desc = ' with implication' if test_implicit_usage else ''
gabor-mezei-armd71659f2021-06-24 09:42:02 +0200455 description = 'usage' + extra_desc + ': ' + short
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200456 key1 = StorageTestData(version=self.version,
457 id=1, lifetime=0x00000001,
458 type='PSA_KEY_TYPE_RAW_DATA', bits=8,
459 expected_usage=usage,
460 usage=usage, alg=0, alg2=0,
461 material=b'K',
462 description=description)
463 yield key1
464
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200465 if test_implicit_usage:
466 description = 'usage without implication' + ': ' + short
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200467 key2 = StorageTestData(version=self.version,
468 id=1, lifetime=0x00000001,
469 type='PSA_KEY_TYPE_RAW_DATA', bits=8,
470 without_implicit_usage=True,
471 usage=usage, alg=0, alg2=0,
472 material=b'K',
473 description=description)
474 yield key2
Gilles Peskine897dff92021-03-10 15:03:44 +0100475
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200476 def generate_keys_for_usage_flags(self, **kwargs) -> Iterator[StorageTestData]:
Gilles Peskine897dff92021-03-10 15:03:44 +0100477 """Generate test keys covering usage flags."""
478 known_flags = sorted(self.constructors.key_usage_flags)
gabor-mezei-arm912eca32021-06-29 15:39:56 +0200479 yield from self.keys_for_usage_flags(['0'], **kwargs)
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200480 for usage_flag in known_flags:
gabor-mezei-arm912eca32021-06-29 15:39:56 +0200481 yield from self.keys_for_usage_flags([usage_flag], **kwargs)
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200482 for flag1, flag2 in zip(known_flags,
483 known_flags[1:] + [known_flags[0]]):
gabor-mezei-arm912eca32021-06-29 15:39:56 +0200484 yield from self.keys_for_usage_flags([flag1, flag2], **kwargs)
gabor-mezei-armbce85272021-06-24 14:38:51 +0200485
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200486 def generate_key_for_all_usage_flags(self) -> Iterator[StorageTestData]:
gabor-mezei-armbce85272021-06-24 14:38:51 +0200487 known_flags = sorted(self.constructors.key_usage_flags)
gabor-mezei-arm912eca32021-06-29 15:39:56 +0200488 yield from self.keys_for_usage_flags(known_flags, short='all known')
gabor-mezei-armbce85272021-06-24 14:38:51 +0200489
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200490 def all_keys_for_usage_flags(self) -> Iterator[StorageTestData]:
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200491 yield from self.generate_keys_for_usage_flags()
492 yield from self.generate_key_for_all_usage_flags()
Gilles Peskine897dff92021-03-10 15:03:44 +0100493
Gilles Peskinef8223ab2021-03-10 15:07:16 +0100494 def keys_for_type(
495 self,
496 key_type: str,
497 params: Optional[Iterable[str]] = None
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200498 ) -> Iterator[StorageTestData]:
Gilles Peskinef8223ab2021-03-10 15:07:16 +0100499 """Generate test keys for the given key type.
500
501 For key types that depend on a parameter (e.g. elliptic curve family),
502 `param` is the parameter to pass to the constructor. Only a single
503 parameter is supported.
504 """
505 kt = crypto_knowledge.KeyType(key_type, params)
506 for bits in kt.sizes_to_test():
507 usage_flags = 'PSA_KEY_USAGE_EXPORT'
508 alg = 0
509 alg2 = 0
510 key_material = kt.key_material(bits)
511 short_expression = re.sub(r'\bPSA_(?:KEY_TYPE|ECC_FAMILY)_',
512 r'',
513 kt.expression)
514 description = 'type: {} {}-bit'.format(short_expression, bits)
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200515 key = StorageTestData(version=self.version,
516 id=1, lifetime=0x00000001,
517 type=kt.expression, bits=bits,
518 usage=usage_flags, alg=alg, alg2=alg2,
519 material=key_material,
520 description=description)
521 yield key
Gilles Peskinef8223ab2021-03-10 15:07:16 +0100522
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200523 def all_keys_for_types(self) -> Iterator[StorageTestData]:
Gilles Peskinef8223ab2021-03-10 15:07:16 +0100524 """Generate test keys covering key types and their representations."""
Gilles Peskineb93f8542021-04-19 13:50:25 +0200525 key_types = sorted(self.constructors.key_types)
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200526 for key_type in self.constructors.generate_expressions(key_types):
527 yield from self.keys_for_type(key_type)
Gilles Peskinef8223ab2021-03-10 15:07:16 +0100528
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200529 def keys_for_algorithm(self, alg: str) -> Iterator[StorageTestData]:
Gilles Peskined86bc522021-03-10 15:08:57 +0100530 """Generate test keys for the specified algorithm."""
531 # For now, we don't have information on the compatibility of key
532 # types and algorithms. So we just test the encoding of algorithms,
533 # and not that operations can be performed with them.
Gilles Peskineff9629f2021-04-21 10:18:19 +0200534 descr = re.sub(r'PSA_ALG_', r'', alg)
535 descr = re.sub(r',', r', ', re.sub(r' +', r'', descr))
Gilles Peskined86bc522021-03-10 15:08:57 +0100536 usage = 'PSA_KEY_USAGE_EXPORT'
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200537 key1 = StorageTestData(version=self.version,
538 id=1, lifetime=0x00000001,
539 type='PSA_KEY_TYPE_RAW_DATA', bits=8,
540 usage=usage, alg=alg, alg2=0,
541 material=b'K',
542 description='alg: ' + descr)
543 yield key1
544 key2 = StorageTestData(version=self.version,
545 id=1, lifetime=0x00000001,
546 type='PSA_KEY_TYPE_RAW_DATA', bits=8,
547 usage=usage, alg=0, alg2=alg,
548 material=b'L',
549 description='alg2: ' + descr)
550 yield key2
Gilles Peskined86bc522021-03-10 15:08:57 +0100551
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200552 def all_keys_for_algorithms(self) -> Iterator[StorageTestData]:
Gilles Peskined86bc522021-03-10 15:08:57 +0100553 """Generate test keys covering algorithm encodings."""
Gilles Peskineb93f8542021-04-19 13:50:25 +0200554 algorithms = sorted(self.constructors.algorithms)
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200555 for alg in self.constructors.generate_expressions(algorithms):
556 yield from self.keys_for_algorithm(alg)
Gilles Peskined86bc522021-03-10 15:08:57 +0100557
gabor-mezei-armea840de2021-06-29 15:42:57 +0200558 def generate_all_keys(self) -> Iterator[StorageTestData]:
gabor-mezei-arm8b0c91c2021-06-24 09:49:50 +0200559 """Generate all keys for the test cases."""
gabor-mezei-armea840de2021-06-29 15:42:57 +0200560 yield from self.all_keys_for_lifetimes()
561 yield from self.all_keys_for_usage_flags()
562 yield from self.all_keys_for_types()
563 yield from self.all_keys_for_algorithms()
gabor-mezei-arm8b0c91c2021-06-24 09:49:50 +0200564
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200565 def all_test_cases(self) -> Iterator[test_case.TestCase]:
Gilles Peskine897dff92021-03-10 15:03:44 +0100566 """Generate all storage format test cases."""
Gilles Peskineae9f14b2021-04-12 14:43:05 +0200567 # First build a list of all keys, then construct all the corresponding
568 # test cases. This allows all required information to be obtained in
569 # one go, which is a significant performance gain as the information
570 # includes numerical values obtained by compiling a C program.
Gilles Peskine3008c582021-07-06 21:05:52 +0200571 all_keys = list(self.generate_all_keys())
572 for key in all_keys:
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200573 if key.location_value() != 0:
574 # Skip keys with a non-default location, because they
575 # require a driver and we currently have no mechanism to
576 # determine whether a driver is available.
577 continue
578 yield self.make_test_case(key)
Gilles Peskine897dff92021-03-10 15:03:44 +0100579
gabor-mezei-arm4d9fb732021-06-24 09:53:26 +0200580class StorageFormatForward(StorageFormat):
581 """Storage format stability test cases for forward compatibility."""
582
583 def __init__(self, info: Information, version: int) -> None:
584 super().__init__(info, version, True)
585
586class StorageFormatV0(StorageFormat):
587 """Storage format stability test cases for version 0 compatibility."""
588
589 def __init__(self, info: Information) -> None:
590 super().__init__(info, 0, False)
Gilles Peskine897dff92021-03-10 15:03:44 +0100591
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200592 def all_keys_for_usage_flags(self) -> Iterator[StorageTestData]:
gabor-mezei-arm15c1f032021-06-24 10:04:38 +0200593 """Generate test keys covering usage flags."""
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200594 yield from self.generate_keys_for_usage_flags(test_implicit_usage=True)
595 yield from self.generate_key_for_all_usage_flags()
gabor-mezei-arm15c1f032021-06-24 10:04:38 +0200596
gabor-mezei-armacfcc182021-06-28 17:40:32 +0200597 def keys_for_implicit_usage(
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200598 self,
gabor-mezei-arme84d3212021-06-28 16:54:11 +0200599 implyer_usage: str,
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200600 alg: str,
gabor-mezei-arm805c7352021-06-28 20:02:11 +0200601 key_type: crypto_knowledge.KeyType
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200602 ) -> StorageTestData:
gabor-mezei-armb92d61b2021-06-24 14:38:25 +0200603 # pylint: disable=too-many-locals
gabor-mezei-arm927742e2021-06-28 16:27:29 +0200604 """Generate test keys for the specified implicit usage flag,
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200605 algorithm and key type combination.
606 """
gabor-mezei-arm805c7352021-06-28 20:02:11 +0200607 bits = key_type.sizes_to_test()[0]
gabor-mezei-arme84d3212021-06-28 16:54:11 +0200608 implicit_usage = StorageKey.IMPLICIT_USAGE_FLAGS[implyer_usage]
gabor-mezei-arm47812632021-06-28 16:35:48 +0200609 usage_flags = 'PSA_KEY_USAGE_EXPORT'
gabor-mezei-arme84d3212021-06-28 16:54:11 +0200610 material_usage_flags = usage_flags + ' | ' + implyer_usage
611 expected_usage_flags = material_usage_flags + ' | ' + implicit_usage
gabor-mezei-arm47812632021-06-28 16:35:48 +0200612 alg2 = 0
gabor-mezei-arm805c7352021-06-28 20:02:11 +0200613 key_material = key_type.key_material(bits)
gabor-mezei-arme84d3212021-06-28 16:54:11 +0200614 usage_expression = re.sub(r'PSA_KEY_USAGE_', r'', implyer_usage)
gabor-mezei-arm47812632021-06-28 16:35:48 +0200615 alg_expression = re.sub(r'PSA_ALG_', r'', alg)
616 alg_expression = re.sub(r',', r', ', re.sub(r' +', r'', alg_expression))
617 key_type_expression = re.sub(r'\bPSA_(?:KEY_TYPE|ECC_FAMILY)_',
618 r'',
gabor-mezei-arm805c7352021-06-28 20:02:11 +0200619 key_type.expression)
gabor-mezei-armacfcc182021-06-28 17:40:32 +0200620 description = 'implied by {}: {} {} {}-bit'.format(
gabor-mezei-arm47812632021-06-28 16:35:48 +0200621 usage_expression, alg_expression, key_type_expression, bits)
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200622 key = StorageTestData(version=self.version,
623 id=1, lifetime=0x00000001,
624 type=key_type.expression, bits=bits,
625 usage=material_usage_flags,
626 expected_usage=expected_usage_flags,
627 without_implicit_usage=True,
628 alg=alg, alg2=alg2,
629 material=key_material,
630 description=description)
631 return key
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200632
633 def gather_key_types_for_sign_alg(self) -> Dict[str, List[str]]:
gabor-mezei-armb92d61b2021-06-24 14:38:25 +0200634 # pylint: disable=too-many-locals
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200635 """Match possible key types for sign algorithms."""
636 # To create a valid combinaton both the algorithms and key types
637 # must be filtered. Pair them with keywords created from its names.
638 incompatible_alg_keyword = frozenset(['RAW', 'ANY', 'PURE'])
639 incompatible_key_type_keywords = frozenset(['MONTGOMERY'])
640 keyword_translation = {
641 'ECDSA': 'ECC',
642 'ED[0-9]*.*' : 'EDWARDS'
643 }
644 exclusive_keywords = {
645 'EDWARDS': 'ECC'
646 }
gabor-mezei-armb92d61b2021-06-24 14:38:25 +0200647 key_types = set(self.constructors.generate_expressions(self.constructors.key_types))
648 algorithms = set(self.constructors.generate_expressions(self.constructors.sign_algorithms))
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200649 alg_with_keys = {} #type: Dict[str, List[str]]
650 translation_table = str.maketrans('(', '_', ')')
651 for alg in algorithms:
652 # Generate keywords from the name of the algorithm
653 alg_keywords = set(alg.partition('(')[0].split(sep='_')[2:])
654 # Translate keywords for better matching with the key types
655 for keyword in alg_keywords.copy():
656 for pattern, replace in keyword_translation.items():
657 if re.match(pattern, keyword):
658 alg_keywords.remove(keyword)
659 alg_keywords.add(replace)
660 # Filter out incompatible algortihms
661 if not alg_keywords.isdisjoint(incompatible_alg_keyword):
662 continue
663
664 for key_type in key_types:
665 # Generate keywords from the of the key type
666 key_type_keywords = set(key_type.translate(translation_table).split(sep='_')[3:])
667
668 # Remove ambigious keywords
669 for keyword1, keyword2 in exclusive_keywords.items():
670 if keyword1 in key_type_keywords:
671 key_type_keywords.remove(keyword2)
672
673 if key_type_keywords.isdisjoint(incompatible_key_type_keywords) and\
674 not key_type_keywords.isdisjoint(alg_keywords):
675 if alg in alg_with_keys:
676 alg_with_keys[alg].append(key_type)
677 else:
678 alg_with_keys[alg] = [key_type]
679 return alg_with_keys
680
gabor-mezei-arme4b74992021-06-29 15:29:24 +0200681 def all_keys_for_implicit_usage(self) -> Iterator[StorageTestData]:
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200682 """Generate test keys for usage flag extensions."""
683 # Generate a key type and algorithm pair for each extendable usage
684 # flag to generate a valid key for exercising. The key is generated
685 # without usage extension to check the extension compatiblity.
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200686 alg_with_keys = self.gather_key_types_for_sign_alg()
gabor-mezei-arm7d2ec9a2021-06-24 16:35:01 +0200687
gabor-mezei-arm5ea30372021-06-28 19:26:55 +0200688 for usage in sorted(StorageKey.IMPLICIT_USAGE_FLAGS, key=str):
689 for alg in sorted(alg_with_keys):
690 for key_type in sorted(alg_with_keys[alg]):
691 # The key types must be filtered to fit the specific usage flag.
gabor-mezei-arm805c7352021-06-28 20:02:11 +0200692 kt = crypto_knowledge.KeyType(key_type)
693 if kt.is_valid_for_signature(usage):
694 yield self.keys_for_implicit_usage(usage, alg, kt)
gabor-mezei-arm044fefc2021-06-24 10:16:44 +0200695
gabor-mezei-armea840de2021-06-29 15:42:57 +0200696 def generate_all_keys(self) -> Iterator[StorageTestData]:
697 yield from super().generate_all_keys()
698 yield from self.all_keys_for_implicit_usage()
gabor-mezei-arm15c1f032021-06-24 10:04:38 +0200699
Gilles Peskineb94ea512021-03-10 02:12:08 +0100700class TestGenerator:
701 """Generate test data."""
702
703 def __init__(self, options) -> None:
704 self.test_suite_directory = self.get_option(options, 'directory',
705 'tests/suites')
706 self.info = Information()
707
708 @staticmethod
709 def get_option(options, name: str, default: T) -> T:
710 value = getattr(options, name, None)
711 return default if value is None else value
712
Gilles Peskine0298bda2021-03-10 02:34:37 +0100713 def filename_for(self, basename: str) -> str:
714 """The location of the data file with the specified base name."""
715 return os.path.join(self.test_suite_directory, basename + '.data')
716
Gilles Peskineb94ea512021-03-10 02:12:08 +0100717 def write_test_data_file(self, basename: str,
718 test_cases: Iterable[test_case.TestCase]) -> None:
719 """Write the test cases to a .data file.
720
721 The output file is ``basename + '.data'`` in the test suite directory.
722 """
Gilles Peskine0298bda2021-03-10 02:34:37 +0100723 filename = self.filename_for(basename)
Gilles Peskineb94ea512021-03-10 02:12:08 +0100724 test_case.write_data_file(filename, test_cases)
725
Gilles Peskine0298bda2021-03-10 02:34:37 +0100726 TARGETS = {
Przemyslaw Stekiel997caf82021-10-15 15:21:51 +0200727 'test_suite_psa_crypto_generate_key.generated':
728 lambda info: KeyGenerate(info).test_cases_for_key_generation(),
Gilles Peskine0298bda2021-03-10 02:34:37 +0100729 'test_suite_psa_crypto_not_supported.generated':
Gilles Peskine3d778392021-02-17 15:11:05 +0100730 lambda info: NotSupported(info).test_cases_for_not_supported(),
Gilles Peskine897dff92021-03-10 15:03:44 +0100731 'test_suite_psa_crypto_storage_format.current':
gabor-mezei-arm4d9fb732021-06-24 09:53:26 +0200732 lambda info: StorageFormatForward(info, 0).all_test_cases(),
Gilles Peskine897dff92021-03-10 15:03:44 +0100733 'test_suite_psa_crypto_storage_format.v0':
gabor-mezei-arm4d9fb732021-06-24 09:53:26 +0200734 lambda info: StorageFormatV0(info).all_test_cases(),
Gilles Peskine0298bda2021-03-10 02:34:37 +0100735 } #type: Dict[str, Callable[[Information], Iterable[test_case.TestCase]]]
736
737 def generate_target(self, name: str) -> None:
738 test_cases = self.TARGETS[name](self.info)
739 self.write_test_data_file(name, test_cases)
Gilles Peskine14e428f2021-01-26 22:19:21 +0100740
Gilles Peskine09940492021-01-26 22:16:30 +0100741def main(args):
742 """Command line entry point."""
743 parser = argparse.ArgumentParser(description=__doc__)
Gilles Peskine0298bda2021-03-10 02:34:37 +0100744 parser.add_argument('--list', action='store_true',
745 help='List available targets and exit')
746 parser.add_argument('targets', nargs='*', metavar='TARGET',
747 help='Target file to generate (default: all; "-": none)')
Gilles Peskine09940492021-01-26 22:16:30 +0100748 options = parser.parse_args(args)
749 generator = TestGenerator(options)
Gilles Peskine0298bda2021-03-10 02:34:37 +0100750 if options.list:
751 for name in sorted(generator.TARGETS):
752 print(generator.filename_for(name))
753 return
754 if options.targets:
755 # Allow "-" as a special case so you can run
756 # ``generate_psa_tests.py - $targets`` and it works uniformly whether
757 # ``$targets`` is empty or not.
758 options.targets = [os.path.basename(re.sub(r'\.data\Z', r'', target))
759 for target in options.targets
760 if target != '-']
761 else:
762 options.targets = sorted(generator.TARGETS)
763 for target in options.targets:
764 generator.generate_target(target)
Gilles Peskine09940492021-01-26 22:16:30 +0100765
766if __name__ == '__main__':
767 main(sys.argv[1:])