Feedback from Arm: guarantee that output_length <= output_size even on error, to reduce the risk that a missing error check

escalates into a buffer overflow in the application code

Signed-off-by: Stephan Koch <[email protected]>
Signed-off-by: Dave Rodgman <[email protected]>
This commit is contained in:
Stephan Koch
2023-02-28 15:13:35 +00:00
committed by Dave Rodgman
parent 8a23f49ebc
commit 6ed143635d
@@ -4175,6 +4175,8 @@ void asymmetric_encrypt(int key_type_arg,
TEST_EQUAL(actual_status, expected_status);
if (actual_status == PSA_SUCCESS) {
TEST_EQUAL(output_length, expected_output_length);
} else {
TEST_LE_U(output_length, output_size);
}
/* If the label is empty, the test framework puts a non-null pointer
@@ -4192,6 +4194,8 @@ void asymmetric_encrypt(int key_type_arg,
TEST_EQUAL(actual_status, expected_status);
if (actual_status == PSA_SUCCESS) {
TEST_EQUAL(output_length, expected_output_length);
} else {
TEST_LE_U(output_length, output_size);
}
}