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

Add corner case to mod_p521 tests

Browse source 
Signed-off-by: Janos Follath <janos.follath@arm.com>
Signed-off-by: Gabor Mezei <gabor.mezei@arm.com>
This commit is contained in:
Janos Follath 2023-02-07 15:27:44 +00:00 • committed by Gabor Mezei
parent 13c3aa13af
commit 755ff0e685
No known key found for this signature in database
GPG key ID: FEE76C0CF8C6267D
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
scripts/mbedtls_dev/ecp.py
View file

@ -91,6 +91,13 @@ class EcpP521R1Raw(bignum_common.ModOperationCommon,
input_values = [ input_values = [
"0", "1", "0", "1",
# Corner case: maximum canonical P521 multiplication result
("0003ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
"fffff800"
"0000000000000000000000000000000000000000000000000000000000000000"
"0000000000000000000000000000000000000000000000000000000000000004"),
# Test case for overflow during addition # Test case for overflow during addition
("0001efffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" ("0001efffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
"ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"