lib/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-07-08 23:21:59 +03:00
Code Activity

PSA test case generation: dependency inference class: key not supported

Browse Source 
Use psa_information.TestCase for not-supported test cases for key import and
generation.

No change to the generated output.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine
2024-04-10 17:16:16 +02:00
parent 6281cf432f
commit 1ae57ec203
2 changed files with 36 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
scripts/mbedtls_dev/psa_information.py
View File

@ -6,7 +6,7 @@
import re
from typing import Dict, FrozenSet, List, Optional
from typing import Dict, FrozenSet, List, Optional, Set
from . import macro_collector
from . import test_case
@ -116,6 +116,20 @@ class TestCase(test_case.TestCase):
def __init__(self) -> None:
super().__init__()
self.key_bits = None #type: Optional[int]
self.negated_dependencies = set() #type: Set[str]
def assumes_not_supported(self, name: str) -> None:
"""Negate the given mechanism for automatic dependency generation.
Call this function before set_arguments() for a test case that should
run if the given mechanism is not supported.
A mechanism is a PSA_XXX symbol, e.g. PSA_KEY_TYPE_AES, PSA_ALG_HMAC,
etc. For mechanisms like ECC curves where the support status includes
the key bit-size, this class assumes that only one bit-size is
involved in a given test case.
"""
self.negated_dependencies.add(psa_want_symbol(name))
def set_key_bits(self, key_bits: Optional[int]) -> None:
"""Use the given key size for automatic dependency generation.
@ -131,6 +145,9 @@ class TestCase(test_case.TestCase):
"""Set test case arguments and automatically infer dependencies."""
super().set_arguments(arguments)
dependencies = automatic_dependencies(*arguments)
for i in range(len(dependencies)): #pylint: disable=consider-using-enumerate
if dependencies[i] in self.negated_dependencies:
dependencies[i] = '!' + dependencies[i]
if self.key_bits is not None:
dependencies = finish_family_dependencies(dependencies, self.key_bits)
hack_dependencies_not_implemented(dependencies)