lib/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-07-29 11:41:15 +03:00
Code Activity

Remove mbedtls_ prefix from bignum test cases

Browse Source 
Align 2.28 with development to make backports easier.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine
2023-04-26 22:43:54 +02:00
parent 503f487cbe
commit 366e6859e3
4 changed files with 907 additions and 907 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tests/scripts/generate_bignum_tests.py
View File

@ -196,7 +196,7 @@ class BignumOperation(BignumTarget, metaclass=ABCMeta):
class BignumCmp(BignumOperation): class BignumCmp(BignumOperation):
"""Test cases for bignum value comparison.""" """Test cases for bignum value comparison."""
count = 0 count = 0
test_function = "mbedtls_mpi_cmp_mpi" test_function = "mpi_cmp_mpi"
test_name = "MPI compare" test_name = "MPI compare"
input_cases = [ input_cases = [
("-2", "-3"), ("-2", "-3"),
@ -217,7 +217,7 @@ class BignumCmp(BignumOperation):
class BignumCmpAbs(BignumCmp): class BignumCmpAbs(BignumCmp):
"""Test cases for absolute bignum value comparison.""" """Test cases for absolute bignum value comparison."""
count = 0 count = 0
test_function = "mbedtls_mpi_cmp_abs" test_function = "mpi_cmp_abs"
test_name = "MPI compare (abs)" test_name = "MPI compare (abs)"
def __init__(self, val_a, val_b) -> None: def __init__(self, val_a, val_b) -> None:
@ -228,7 +228,7 @@ class BignumAdd(BignumOperation):
"""Test cases for bignum value addition.""" """Test cases for bignum value addition."""
count = 0 count = 0
symbol = "+" symbol = "+"
test_function = "mbedtls_mpi_add_mpi" test_function = "mpi_add_mpi"
test_name = "MPI add" test_name = "MPI add"
input_cases = combination_pairs( input_cases = combination_pairs(
[ [

136
tests/suites/test_suite_bignum.function
View File

@ -402,7 +402,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_read_binary(data_t *buf, char *input_A) void mpi_read_binary(data_t *buf, char *input_A)
{ {
mbedtls_mpi X; mbedtls_mpi X;
char str[1000]; char str[1000];
@ -422,7 +422,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_read_binary_le(data_t *buf, char *input_A) void mpi_read_binary_le(data_t *buf, char *input_A)
{ {
mbedtls_mpi X; mbedtls_mpi X;
char str[1000]; char str[1000];
@ -442,8 +442,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_write_binary(char *input_X, data_t *input_A, void mpi_write_binary(char *input_X, data_t *input_A,
int output_size, int result) int output_size, int result)
{ {
mbedtls_mpi X; mbedtls_mpi X;
unsigned char buf[1000]; unsigned char buf[1000];
@ -473,8 +473,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_write_binary_le(char *input_X, data_t *input_A, void mpi_write_binary_le(char *input_X, data_t *input_A,
int output_size, int result) int output_size, int result)
{ {
mbedtls_mpi X; mbedtls_mpi X;
unsigned char buf[1000]; unsigned char buf[1000];
@ -504,7 +504,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE depends_on:MBEDTLS_FS_IO */ /* BEGIN_CASE depends_on:MBEDTLS_FS_IO */
void mbedtls_mpi_read_file(char *input_file, data_t *input_A, int result) void mpi_read_file(char *input_file, data_t *input_A, int result)
{ {
mbedtls_mpi X; mbedtls_mpi X;
unsigned char buf[1000]; unsigned char buf[1000];
@ -538,7 +538,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE depends_on:MBEDTLS_FS_IO */ /* BEGIN_CASE depends_on:MBEDTLS_FS_IO */
void mbedtls_mpi_write_file(char *input_X, char *output_file) void mpi_write_file(char *input_X, char *output_file)
{ {
mbedtls_mpi X, Y; mbedtls_mpi X, Y;
FILE *file_out, *file_in; FILE *file_out, *file_in;
@ -568,7 +568,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_get_bit(char *input_X, int pos, int val) void mpi_get_bit(char *input_X, int pos, int val)
{ {
mbedtls_mpi X; mbedtls_mpi X;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&X);
@ -581,8 +581,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_set_bit(char *input_X, int pos, int val, void mpi_set_bit(char *input_X, int pos, int val,
char *output_Y, int result) char *output_Y, int result)
{ {
mbedtls_mpi X, Y; mbedtls_mpi X, Y;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
@ -602,7 +602,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_lsb(char *input_X, int nr_bits) void mpi_lsb(char *input_X, int nr_bits)
{ {
mbedtls_mpi X; mbedtls_mpi X;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&X);
@ -616,7 +616,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_bitlen(char *input_X, int nr_bits) void mpi_bitlen(char *input_X, int nr_bits)
{ {
mbedtls_mpi X; mbedtls_mpi X;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&X);
@ -630,8 +630,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_gcd(char *input_X, char *input_Y, void mpi_gcd(char *input_X, char *input_Y,
char *input_A) char *input_A)
{ {
mbedtls_mpi A, X, Y, Z; mbedtls_mpi A, X, Y, Z;
mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z);
@ -649,7 +649,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_cmp_int(int input_X, int input_A, int result_CMP) void mpi_cmp_int(int input_X, int input_A, int result_CMP)
{ {
mbedtls_mpi X; mbedtls_mpi X;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&X);
@ -663,8 +663,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_cmp_mpi(char *input_X, char *input_Y, void mpi_cmp_mpi(char *input_X, char *input_Y,
int input_A) int input_A)
{ {
mbedtls_mpi X, Y; mbedtls_mpi X, Y;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
@ -679,9 +679,9 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_lt_mpi_ct(int size_X, char *input_X, void mpi_lt_mpi_ct(int size_X, char *input_X,
int size_Y, char *input_Y, int size_Y, char *input_Y,
int input_ret, int input_err) int input_ret, int input_err)
{ {
unsigned ret = -1; unsigned ret = -1;
unsigned input_uret = input_ret; unsigned input_uret = input_ret;
@ -705,8 +705,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_cmp_abs(char *input_X, char *input_Y, void mpi_cmp_abs(char *input_X, char *input_Y,
int input_A) int input_A)
{ {
mbedtls_mpi X, Y; mbedtls_mpi X, Y;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
@ -721,7 +721,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_copy(char *src_hex, char *dst_hex) void mpi_copy(char *src_hex, char *dst_hex)
{ {
mbedtls_mpi src, dst, ref; mbedtls_mpi src, dst, ref;
mbedtls_mpi_init(&src); mbedtls_mpi_init(&src);
@ -779,7 +779,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_swap(char *X_hex, char *Y_hex) void mpi_swap(char *X_hex, char *Y_hex)
{ {
mbedtls_mpi X, Y, X0, Y0; mbedtls_mpi X, Y, X0, Y0;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
@ -844,7 +844,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_shrink(int before, int used, int min, int after) void mpi_shrink(int before, int used, int min, int after)
{ {
mbedtls_mpi X; mbedtls_mpi X;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&X);
@ -864,8 +864,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_add_mpi(char *input_X, char *input_Y, void mpi_add_mpi(char *input_X, char *input_Y,
char *input_A) char *input_A)
{ {
mbedtls_mpi X, Y, Z, A; mbedtls_mpi X, Y, Z, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
@ -894,7 +894,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_add_mpi_inplace(char *input_X, char *input_A) void mpi_add_mpi_inplace(char *input_X, char *input_A)
{ {
mbedtls_mpi X, A; mbedtls_mpi X, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&A);
@ -923,8 +923,8 @@ exit:
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_add_abs(char *input_X, char *input_Y, void mpi_add_abs(char *input_X, char *input_Y,
char *input_A) char *input_A)
{ {
mbedtls_mpi X, Y, Z, A; mbedtls_mpi X, Y, Z, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
@ -953,8 +953,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_add_int(char *input_X, int input_Y, void mpi_add_int(char *input_X, int input_Y,
char *input_A) char *input_A)
{ {
mbedtls_mpi X, Z, A; mbedtls_mpi X, Z, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
@ -971,8 +971,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_sub_mpi(char *input_X, char *input_Y, void mpi_sub_mpi(char *input_X, char *input_Y,
char *input_A) char *input_A)
{ {
mbedtls_mpi X, Y, Z, A; mbedtls_mpi X, Y, Z, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
@ -1001,8 +1001,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_sub_abs(char *input_X, char *input_Y, void mpi_sub_abs(char *input_X, char *input_Y,
char *input_A, int sub_result) char *input_A, int sub_result)
{ {
mbedtls_mpi X, Y, Z, A; mbedtls_mpi X, Y, Z, A;
int res; int res;
@ -1040,8 +1040,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_sub_int(char *input_X, int input_Y, void mpi_sub_int(char *input_X, int input_Y,
char *input_A) char *input_A)
{ {
mbedtls_mpi X, Z, A; mbedtls_mpi X, Z, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
@ -1058,8 +1058,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_mul_mpi(char *input_X, char *input_Y, void mpi_mul_mpi(char *input_X, char *input_Y,
char *input_A) char *input_A)
{ {
mbedtls_mpi X, Y, Z, A; mbedtls_mpi X, Y, Z, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
@ -1077,8 +1077,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_mul_int(char *input_X, int input_Y, void mpi_mul_int(char *input_X, int input_Y,
char *input_A, char *result_comparison) char *input_A, char *result_comparison)
{ {
mbedtls_mpi X, Z, A; mbedtls_mpi X, Z, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
@ -1101,9 +1101,9 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_div_mpi(char *input_X, char *input_Y, void mpi_div_mpi(char *input_X, char *input_Y,
char *input_A, char *input_B, char *input_A, char *input_B,
int div_result) int div_result)
{ {
mbedtls_mpi X, Y, Q, R, A, B; mbedtls_mpi X, Y, Q, R, A, B;
int res; int res;
@ -1130,9 +1130,9 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_div_int(char *input_X, int input_Y, void mpi_div_int(char *input_X, int input_Y,
char *input_A, char *input_B, char *input_A, char *input_B,
int div_result) int div_result)
{ {
mbedtls_mpi X, Q, R, A, B; mbedtls_mpi X, Q, R, A, B;
int res; int res;
@ -1158,8 +1158,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_mod_mpi(char *input_X, char *input_Y, void mpi_mod_mpi(char *input_X, char *input_Y,
char *input_A, int div_result) char *input_A, int div_result)
{ {
mbedtls_mpi X, Y, A; mbedtls_mpi X, Y, A;
int res; int res;
@ -1181,8 +1181,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_mod_int(char *input_X, char *input_Y, void mpi_mod_int(char *input_X, char *input_Y,
char *input_A, int mod_result) char *input_A, int mod_result)
{ {
mbedtls_mpi X; mbedtls_mpi X;
mbedtls_mpi Y; mbedtls_mpi Y;
@ -1237,9 +1237,9 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_exp_mod(char *input_A, char *input_E, void mpi_exp_mod(char *input_A, char *input_E,
char *input_N, char *input_X, char *input_N, char *input_X,
int exp_result) int exp_result)
{ {
mbedtls_mpi A, E, N, RR, Z, X; mbedtls_mpi A, E, N, RR, Z, X;
int res; int res;
@ -1281,8 +1281,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_exp_mod_size(int A_bytes, int E_bytes, int N_bytes, void mpi_exp_mod_size(int A_bytes, int E_bytes, int N_bytes,
char *input_RR, int exp_result) char *input_RR, int exp_result)
{ {
mbedtls_mpi A, E, N, RR, Z; mbedtls_mpi A, E, N, RR, Z;
mbedtls_mpi_init(&A); mbedtls_mpi_init(&E); mbedtls_mpi_init(&N); mbedtls_mpi_init(&A); mbedtls_mpi_init(&E); mbedtls_mpi_init(&N);
@ -1316,8 +1316,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_inv_mod(char *input_X, char *input_Y, void mpi_inv_mod(char *input_X, char *input_Y,
char *input_A, int div_result) char *input_A, int div_result)
{ {
mbedtls_mpi X, Y, Z, A; mbedtls_mpi X, Y, Z, A;
int res; int res;
@ -1339,7 +1339,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE depends_on:MBEDTLS_GENPRIME */ /* BEGIN_CASE depends_on:MBEDTLS_GENPRIME */
void mbedtls_mpi_is_prime(char *input_X, int div_result) void mpi_is_prime(char *input_X, int div_result)
{ {
mbedtls_mpi X; mbedtls_mpi X;
int res; int res;
@ -1355,8 +1355,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE depends_on:MBEDTLS_GENPRIME */ /* BEGIN_CASE depends_on:MBEDTLS_GENPRIME */
void mbedtls_mpi_is_prime_det(data_t *input_X, data_t *witnesses, void mpi_is_prime_det(data_t *input_X, data_t *witnesses,
int chunk_len, int rounds) int chunk_len, int rounds)
{ {
mbedtls_mpi X; mbedtls_mpi X;
int res; int res;
@ -1388,7 +1388,7 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE depends_on:MBEDTLS_GENPRIME */ /* BEGIN_CASE depends_on:MBEDTLS_GENPRIME */
void mbedtls_mpi_gen_prime(int bits, int flags, int ref_ret) void mpi_gen_prime(int bits, int flags, int ref_ret)
{ {
mbedtls_mpi X; mbedtls_mpi X;
int my_ret; int my_ret;
@ -1424,8 +1424,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_shift_l(char *input_X, int shift_X, void mpi_shift_l(char *input_X, int shift_X,
char *input_A) char *input_A)
{ {
mbedtls_mpi X, A; mbedtls_mpi X, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&A);
@ -1442,8 +1442,8 @@ exit:
/* END_CASE */ /* END_CASE */
/* BEGIN_CASE */ /* BEGIN_CASE */
void mbedtls_mpi_shift_r(char *input_X, int shift_X, void mpi_shift_r(char *input_X, int shift_X,
char *input_A) char *input_A)
{ {
mbedtls_mpi X, A; mbedtls_mpi X, A;
mbedtls_mpi_init(&X); mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&A);

648
tests/suites/test_suite_bignum.generated.data
View File

File diff suppressed because it is too large Load Diff

1024
tests/suites/test_suite_bignum.misc.data
View File

File diff suppressed because it is too large Load Diff