eden-emu/mbedtls
15
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #8018 from AgathiyanB/add-overflow-test-inputs-bignum

Browse source 
[Bignum] Add overflow test inputs for add and add if
This commit is contained in:
Tom Cosgrove 2023-08-04 14:00:39 +00:00 • committed by GitHub
commit 2588f8d36d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 26 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/mbedtls_dev/bignum_core.py
View file

@ -21,6 +21,7 @@ from typing import Dict, Iterator, List, Tuple
from . import test_case from . import test_case
from . import test_data_generation from . import test_data_generation
from . import bignum_common from . import bignum_common
from .bignum_data import ADD_SUB_DATA
class BignumCoreTarget(test_data_generation.BaseTarget): class BignumCoreTarget(test_data_generation.BaseTarget):
#pylint: disable=abstract-method, too-few-public-methods #pylint: disable=abstract-method, too-few-public-methods
@ -176,6 +177,7 @@ class BignumCoreAddAndAddIf(BignumCoreTarget, bignum_common.OperationCommon):
test_function = "mpi_core_add_and_add_if" test_function = "mpi_core_add_and_add_if"
test_name = "mpi_core_add_and_add_if" test_name = "mpi_core_add_and_add_if"
input_style = "arch_split" input_style = "arch_split"
input_values = ADD_SUB_DATA
unique_combinations_only = True unique_combinations_only = True
def result(self) -> List[str]: def result(self) -> List[str]:
@ -196,6 +198,7 @@ class BignumCoreSub(BignumCoreTarget, bignum_common.OperationCommon):
symbol = "-" symbol = "-"
test_function = "mpi_core_sub" test_function = "mpi_core_sub"
test_name = "mbedtls_mpi_core_sub" test_name = "mbedtls_mpi_core_sub"
input_values = ADD_SUB_DATA
def result(self) -> List[str]: def result(self) -> List[str]:
if self.int_a >= self.int_b: if self.int_a >= self.int_b:

23
scripts/mbedtls_dev/bignum_data.py
View file

@ -106,6 +106,29 @@ INPUTS_DEFAULT = [
RANDOM_1024_BIT_SEED_4_NO2, # largest (not a prime) RANDOM_1024_BIT_SEED_4_NO2, # largest (not a prime)
] ]
ADD_SUB_DATA = [
"0", "1", "3", "f", "fe", "ff", "100", "ff00",
"fffe", "ffff", "10000", # 2^16 - 1, 2^16, 2^16 + 1
"fffffffe", "ffffffff", "100000000", # 2^32 - 1, 2^32, 2^32 + 1
"1f7f7f7f7f7f7f",
"8000000000000000", "fefefefefefefefe",
"fffffffffffffffe", "ffffffffffffffff", "10000000000000000", # 2^64 - 1, 2^64, 2^64 + 1
"1234567890abcdef0",
"fffffffffffffffffffffffe",
"ffffffffffffffffffffffff",
"1000000000000000000000000",
"fffffffffffffffffefefefefefefefe",
"fffffffffffffffffffffffffffffffe",
"ffffffffffffffffffffffffffffffff",
"100000000000000000000000000000000",
"1234567890abcdef01234567890abcdef0",
"fffffffffffffffffffffffffffffffffffffffffffffffffefefefefefefefe",
"fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
"10000000000000000000000000000000000000000000000000000000000000000",
"1234567890abcdef01234567890abcdef01234567890abcdef01234567890abcdef0",
]
# Only odd moduli are present as in the new bignum code only odd moduli are # Only odd moduli are present as in the new bignum code only odd moduli are
# supported for now. # supported for now.
MODULI_DEFAULT = [ MODULI_DEFAULT = [