Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 1 | /* BEGIN_HEADER */ |
David Horstmann | 22ec2ae | 2023-08-30 15:34:34 +0100 | [diff] [blame] | 2 | #include "common.h" |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 3 | |
Michael Schuster | 6a3573a | 2024-06-07 06:47:31 +0200 | [diff] [blame^] | 4 | static void fill_arrays(unsigned char *a, |
| 5 | unsigned char *b, |
| 6 | unsigned char *r1, |
| 7 | unsigned char *r2, |
| 8 | size_t n) |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 9 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 10 | for (size_t i = 0; i < n; i++) { |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 11 | a[i] = (unsigned char) i * 3; |
| 12 | b[i] = (unsigned char) i * 3 + 1; |
| 13 | r1[i] = (unsigned char) i * 3 + 2; |
| 14 | r2[i] = r1[i]; |
| 15 | } |
| 16 | } |
| 17 | /* END_HEADER */ |
| 18 | |
| 19 | /* BEGIN_CASE */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 20 | void mbedtls_xor(int len) |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 21 | { |
| 22 | size_t n = (size_t) len; |
| 23 | unsigned char *a = NULL, *b = NULL, *r1 = NULL, *r2 = NULL; |
Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 24 | TEST_CALLOC(a, n + 1); |
| 25 | TEST_CALLOC(b, n + 1); |
| 26 | TEST_CALLOC(r1, n + 1); |
| 27 | TEST_CALLOC(r2, n + 1); |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 28 | |
| 29 | /* Test non-overlapping */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 30 | fill_arrays(a, b, r1, r2, n); |
| 31 | for (size_t i = 0; i < n; i++) { |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 32 | r1[i] = a[i] ^ b[i]; |
| 33 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 34 | mbedtls_xor(r2, a, b, n); |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 35 | TEST_MEMORY_COMPARE(r1, n, r2, n); |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 36 | |
| 37 | /* Test r == a */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 38 | fill_arrays(a, b, r1, r2, n); |
| 39 | for (size_t i = 0; i < n; i++) { |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 40 | r1[i] = r1[i] ^ b[i]; |
| 41 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 42 | mbedtls_xor(r2, r2, b, n); |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 43 | TEST_MEMORY_COMPARE(r1, n, r2, n); |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 44 | |
| 45 | /* Test r == b */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 46 | fill_arrays(a, b, r1, r2, n); |
| 47 | for (size_t i = 0; i < n; i++) { |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 48 | r1[i] = a[i] ^ r1[i]; |
| 49 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 50 | mbedtls_xor(r2, a, r2, n); |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 51 | TEST_MEMORY_COMPARE(r1, n, r2, n); |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 52 | |
| 53 | /* Test a == b */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 54 | fill_arrays(a, b, r1, r2, n); |
| 55 | for (size_t i = 0; i < n; i++) { |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 56 | r1[i] = a[i] ^ a[i]; |
| 57 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 58 | mbedtls_xor(r2, a, a, n); |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 59 | TEST_MEMORY_COMPARE(r1, n, r2, n); |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 60 | |
| 61 | /* Test a == b == r */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 62 | fill_arrays(a, b, r1, r2, n); |
| 63 | for (size_t i = 0; i < n; i++) { |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 64 | r1[i] = r1[i] ^ r1[i]; |
| 65 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 66 | mbedtls_xor(r2, r2, r2, n); |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 67 | TEST_MEMORY_COMPARE(r1, n, r2, n); |
Dave Rodgman | 8c18baf | 2022-11-22 18:15:55 +0000 | [diff] [blame] | 68 | |
Dave Rodgman | 15531bc | 2022-11-23 16:11:04 +0000 | [diff] [blame] | 69 | /* Test non-word-aligned buffers, for all combinations of alignedness */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 70 | for (int i = 0; i < 7; i++) { |
Dave Rodgman | 15531bc | 2022-11-23 16:11:04 +0000 | [diff] [blame] | 71 | int r_off = i & 1, a_off = (i & 2) >> 1, b_off = (i & 4) >> 2; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 72 | fill_arrays(a, b, r1, r2, n + 1); |
Dave Rodgman | 15531bc | 2022-11-23 16:11:04 +0000 | [diff] [blame] | 73 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 74 | for (size_t j = 0; j < n; j++) { |
Dave Rodgman | 3172e4e | 2022-11-23 19:38:13 +0000 | [diff] [blame] | 75 | r1[j + r_off] = a[j + a_off] ^ b[j + b_off]; |
Dave Rodgman | 15531bc | 2022-11-23 16:11:04 +0000 | [diff] [blame] | 76 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 77 | mbedtls_xor(r2 + r_off, a + a_off, b + b_off, n); |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 78 | TEST_MEMORY_COMPARE(r1 + r_off, n, r2 + r_off, n); |
Dave Rodgman | 8c18baf | 2022-11-22 18:15:55 +0000 | [diff] [blame] | 79 | } |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 80 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 81 | mbedtls_free(a); |
| 82 | mbedtls_free(b); |
| 83 | mbedtls_free(r1); |
| 84 | mbedtls_free(r2); |
Dave Rodgman | 4413b66 | 2022-11-22 17:31:50 +0000 | [diff] [blame] | 85 | } |
| 86 | /* END_CASE */ |