Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 1 | /* BEGIN_HEADER */ |
Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 2 | #include "mbedtls/md.h" |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 3 | /* END_HEADER */ |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 4 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 5 | /* BEGIN_DEPENDENCIES |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 6 | * depends_on:MBEDTLS_MD_C |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 7 | * END_DEPENDENCIES |
| 8 | */ |
Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 9 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 10 | /* BEGIN_CASE */ |
Manuel Pégourié-Gonnard | ba2412f | 2023-02-16 18:44:46 +0100 | [diff] [blame^] | 11 | void mbedtls_md_list() |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 12 | { |
| 13 | const int *md_type_ptr; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 14 | const mbedtls_md_info_t *info; |
| 15 | mbedtls_md_context_t ctx; |
Manuel Pégourié-Gonnard | ba2412f | 2023-02-16 18:44:46 +0100 | [diff] [blame^] | 16 | unsigned char out[MBEDTLS_MD_MAX_SIZE] = { 0 }; |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 17 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 18 | mbedtls_md_init(&ctx); |
Manuel Pégourié-Gonnard | edb242f | 2014-04-02 17:52:04 +0200 | [diff] [blame] | 19 | |
| 20 | /* |
Manuel Pégourié-Gonnard | ba2412f | 2023-02-16 18:44:46 +0100 | [diff] [blame^] | 21 | * Test that mbedtls_md_list() only returns valid MDs. |
Manuel Pégourié-Gonnard | edb242f | 2014-04-02 17:52:04 +0200 | [diff] [blame] | 22 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 23 | for (md_type_ptr = mbedtls_md_list(); *md_type_ptr != 0; md_type_ptr++) { |
| 24 | info = mbedtls_md_info_from_type(*md_type_ptr); |
| 25 | TEST_ASSERT(info != NULL); |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 26 | TEST_EQUAL(0, mbedtls_md_setup(&ctx, info, 0)); |
| 27 | TEST_EQUAL(0, mbedtls_md_starts(&ctx)); |
Manuel Pégourié-Gonnard | ba2412f | 2023-02-16 18:44:46 +0100 | [diff] [blame^] | 28 | TEST_EQUAL(0, mbedtls_md_finish(&ctx, out)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 29 | mbedtls_md_free(&ctx); |
Manuel Pégourié-Gonnard | edb242f | 2014-04-02 17:52:04 +0200 | [diff] [blame] | 30 | } |
Paul Bakker | bd51b26 | 2014-07-10 15:26:12 +0200 | [diff] [blame] | 31 | |
| 32 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 33 | mbedtls_md_free(&ctx); |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 34 | } |
| 35 | /* END_CASE */ |
| 36 | |
| 37 | /* BEGIN_CASE */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 38 | void md_null_args() |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 39 | { |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 40 | mbedtls_md_context_t ctx; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 41 | const mbedtls_md_info_t *info = mbedtls_md_info_from_type(*(mbedtls_md_list())); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 42 | unsigned char buf[1] = { 0 }; |
| 43 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 44 | mbedtls_md_init(&ctx); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 45 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 46 | TEST_EQUAL(0, mbedtls_md_get_size(NULL)); |
Manuel Pégourié-Gonnard | 2189fda | 2023-02-09 09:18:22 +0100 | [diff] [blame] | 47 | TEST_EQUAL(mbedtls_md_get_type(NULL), MBEDTLS_MD_NONE); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 48 | TEST_ASSERT(mbedtls_md_get_name(NULL) == NULL); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 49 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 50 | TEST_ASSERT(mbedtls_md_info_from_string(NULL) == NULL); |
| 51 | TEST_ASSERT(mbedtls_md_info_from_ctx(NULL) == NULL); |
| 52 | TEST_ASSERT(mbedtls_md_info_from_ctx(&ctx) == NULL); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 53 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 54 | TEST_EQUAL(mbedtls_md_setup(&ctx, NULL, 0), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
| 55 | TEST_EQUAL(mbedtls_md_setup(NULL, info, 0), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 56 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 57 | TEST_EQUAL(mbedtls_md_starts(NULL), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
| 58 | TEST_EQUAL(mbedtls_md_starts(&ctx), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 59 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 60 | TEST_EQUAL(mbedtls_md_update(NULL, buf, 1), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
| 61 | TEST_EQUAL(mbedtls_md_update(&ctx, buf, 1), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 62 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 63 | TEST_EQUAL(mbedtls_md_finish(NULL, buf), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
| 64 | TEST_EQUAL(mbedtls_md_finish(&ctx, buf), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 65 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 66 | TEST_EQUAL(mbedtls_md(NULL, buf, 1, buf), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 67 | |
Manuel Pégourié-Gonnard | bfffa90 | 2015-05-28 14:44:00 +0200 | [diff] [blame] | 68 | #if defined(MBEDTLS_FS_IO) |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 69 | TEST_EQUAL(mbedtls_md_file(NULL, "", buf), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | bfffa90 | 2015-05-28 14:44:00 +0200 | [diff] [blame] | 70 | #endif |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 71 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 72 | TEST_EQUAL(mbedtls_md_hmac_starts(NULL, buf, 1), |
| 73 | MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
| 74 | TEST_EQUAL(mbedtls_md_hmac_starts(&ctx, buf, 1), |
| 75 | MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 76 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 77 | TEST_EQUAL(mbedtls_md_hmac_update(NULL, buf, 1), |
| 78 | MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
| 79 | TEST_EQUAL(mbedtls_md_hmac_update(&ctx, buf, 1), |
| 80 | MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 81 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 82 | TEST_EQUAL(mbedtls_md_hmac_finish(NULL, buf), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
| 83 | TEST_EQUAL(mbedtls_md_hmac_finish(&ctx, buf), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 84 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 85 | TEST_EQUAL(mbedtls_md_hmac_reset(NULL), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
| 86 | TEST_EQUAL(mbedtls_md_hmac_reset(&ctx), MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 87 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 88 | TEST_EQUAL(mbedtls_md_hmac(NULL, buf, 1, buf, 1, buf), |
| 89 | MBEDTLS_ERR_MD_BAD_INPUT_DATA); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 90 | |
Manuel Pégourié-Gonnard | 19d644b | 2015-03-26 12:42:35 +0100 | [diff] [blame] | 91 | /* Ok, this is not NULL arg but NULL return... */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 92 | TEST_ASSERT(mbedtls_md_info_from_type(MBEDTLS_MD_NONE) == NULL); |
| 93 | TEST_ASSERT(mbedtls_md_info_from_string("no such md") == NULL); |
Manuel Pégourié-Gonnard | b25f816 | 2014-06-13 16:34:30 +0200 | [diff] [blame] | 94 | } |
| 95 | /* END_CASE */ |
| 96 | |
| 97 | /* BEGIN_CASE */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 98 | void md_info(int md_type, char *md_name, int md_size) |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 99 | { |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 100 | const mbedtls_md_info_t *md_info; |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 101 | const int *md_type_ptr; |
| 102 | int found; |
| 103 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 104 | md_info = mbedtls_md_info_from_type(md_type); |
| 105 | TEST_ASSERT(md_info != NULL); |
| 106 | TEST_ASSERT(md_info == mbedtls_md_info_from_string(md_name)); |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 107 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 108 | TEST_EQUAL(mbedtls_md_get_type(md_info), (mbedtls_md_type_t) md_type); |
| 109 | TEST_EQUAL(mbedtls_md_get_size(md_info), (unsigned char) md_size); |
| 110 | TEST_EQUAL(0, strcmp(mbedtls_md_get_name(md_info), md_name)); |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 111 | |
| 112 | found = 0; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 113 | for (md_type_ptr = mbedtls_md_list(); *md_type_ptr != 0; md_type_ptr++) { |
| 114 | if (*md_type_ptr == md_type) { |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 115 | found = 1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 116 | } |
| 117 | } |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 118 | TEST_EQUAL(found, 1); |
Manuel Pégourié-Gonnard | f301383 | 2014-03-29 15:54:50 +0100 | [diff] [blame] | 119 | } |
| 120 | /* END_CASE */ |
| 121 | |
| 122 | /* BEGIN_CASE */ |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 123 | void md_text(int md_type, char *text_src_string, data_t *hash) |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 124 | { |
Manuel Pégourié-Gonnard | b707bed | 2023-02-03 12:32:41 +0100 | [diff] [blame] | 125 | unsigned char *src = (unsigned char *) text_src_string; |
| 126 | size_t src_len = strlen(text_src_string); |
Manuel Pégourié-Gonnard | cced352 | 2023-02-06 12:37:02 +0100 | [diff] [blame] | 127 | unsigned char output[MBEDTLS_MD_MAX_SIZE] = { 0 }; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 128 | const mbedtls_md_info_t *md_info = NULL; |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 129 | |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 130 | md_info = mbedtls_md_info_from_type(md_type); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 131 | TEST_ASSERT(md_info != NULL); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 132 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 133 | TEST_EQUAL(0, mbedtls_md(md_info, src, src_len, output)); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 134 | |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 135 | ASSERT_COMPARE(output, mbedtls_md_get_size(md_info), hash->x, hash->len); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 136 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 137 | /* END_CASE */ |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 138 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 139 | /* BEGIN_CASE */ |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 140 | void md_hex(int md_type, data_t *src_str, data_t *hash) |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 141 | { |
Manuel Pégourié-Gonnard | cced352 | 2023-02-06 12:37:02 +0100 | [diff] [blame] | 142 | unsigned char output[MBEDTLS_MD_MAX_SIZE] = { 0 }; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 143 | const mbedtls_md_info_t *md_info = NULL; |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 144 | |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 145 | md_info = mbedtls_md_info_from_type(md_type); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 146 | TEST_ASSERT(md_info != NULL); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 147 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 148 | TEST_EQUAL(0, mbedtls_md(md_info, src_str->x, src_str->len, output)); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 149 | |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 150 | |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 151 | ASSERT_COMPARE(output, mbedtls_md_get_size(md_info), hash->x, hash->len); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 152 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 153 | /* END_CASE */ |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 154 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 155 | /* BEGIN_CASE */ |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 156 | void md_text_multi(int md_type, char *text_src_string, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 157 | data_t *hash) |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 158 | { |
Manuel Pégourié-Gonnard | b707bed | 2023-02-03 12:32:41 +0100 | [diff] [blame] | 159 | unsigned char *src = (unsigned char *) text_src_string; |
| 160 | size_t src_len = strlen(text_src_string); |
Manuel Pégourié-Gonnard | cced352 | 2023-02-06 12:37:02 +0100 | [diff] [blame] | 161 | unsigned char output[MBEDTLS_MD_MAX_SIZE] = { 0 }; |
Manuel Pégourié-Gonnard | b707bed | 2023-02-03 12:32:41 +0100 | [diff] [blame] | 162 | size_t halfway; |
Paul Bakker | d2a2d61 | 2014-07-01 15:45:49 +0200 | [diff] [blame] | 163 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 164 | const mbedtls_md_info_t *md_info = NULL; |
Paul Bakker | 97c53c2 | 2016-07-13 17:20:22 +0100 | [diff] [blame] | 165 | mbedtls_md_context_t ctx, ctx_copy; |
Paul Bakker | d2a2d61 | 2014-07-01 15:45:49 +0200 | [diff] [blame] | 166 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 167 | mbedtls_md_init(&ctx); |
| 168 | mbedtls_md_init(&ctx_copy); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 169 | |
Manuel Pégourié-Gonnard | b707bed | 2023-02-03 12:32:41 +0100 | [diff] [blame] | 170 | halfway = src_len / 2; |
Paul Bakker | e35afa2 | 2016-07-13 17:09:14 +0100 | [diff] [blame] | 171 | |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 172 | md_info = mbedtls_md_info_from_type(md_type); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 173 | TEST_ASSERT(md_info != NULL); |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 174 | TEST_EQUAL(0, mbedtls_md_setup(&ctx, md_info, 0)); |
| 175 | TEST_EQUAL(0, mbedtls_md_setup(&ctx_copy, md_info, 0)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 176 | TEST_ASSERT(mbedtls_md_info_from_ctx(&ctx) == md_info); |
| 177 | TEST_ASSERT(mbedtls_md_info_from_ctx(&ctx_copy) == md_info); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 178 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 179 | TEST_EQUAL(0, mbedtls_md_starts(&ctx)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 180 | TEST_ASSERT(ctx.md_ctx != NULL); |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 181 | TEST_EQUAL(0, mbedtls_md_update(&ctx, src, halfway)); |
| 182 | TEST_EQUAL(0, mbedtls_md_clone(&ctx_copy, &ctx)); |
Paul Bakker | 97c53c2 | 2016-07-13 17:20:22 +0100 | [diff] [blame] | 183 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 184 | TEST_EQUAL(0, mbedtls_md_update(&ctx, src + halfway, src_len - halfway)); |
| 185 | TEST_EQUAL(0, mbedtls_md_finish(&ctx, output)); |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 186 | ASSERT_COMPARE(output, mbedtls_md_get_size(md_info), hash->x, hash->len); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 187 | |
Paul Bakker | 97c53c2 | 2016-07-13 17:20:22 +0100 | [diff] [blame] | 188 | /* Test clone */ |
Manuel Pégourié-Gonnard | 4ba98f5 | 2023-02-03 12:25:53 +0100 | [diff] [blame] | 189 | memset(output, 0x00, sizeof(output)); |
Paul Bakker | 97c53c2 | 2016-07-13 17:20:22 +0100 | [diff] [blame] | 190 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 191 | TEST_EQUAL(0, mbedtls_md_update(&ctx_copy, src + halfway, src_len - halfway)); |
| 192 | TEST_EQUAL(0, mbedtls_md_finish(&ctx_copy, output)); |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 193 | ASSERT_COMPARE(output, mbedtls_md_get_size(md_info), hash->x, hash->len); |
Paul Bakker | bd51b26 | 2014-07-10 15:26:12 +0200 | [diff] [blame] | 194 | |
| 195 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 196 | mbedtls_md_free(&ctx); |
| 197 | mbedtls_md_free(&ctx_copy); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 198 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 199 | /* END_CASE */ |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 200 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 201 | /* BEGIN_CASE */ |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 202 | void md_hex_multi(int md_type, data_t *src_str, data_t *hash) |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 203 | { |
Manuel Pégourié-Gonnard | cced352 | 2023-02-06 12:37:02 +0100 | [diff] [blame] | 204 | unsigned char output[MBEDTLS_MD_MAX_SIZE] = { 0 }; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 205 | const mbedtls_md_info_t *md_info = NULL; |
Paul Bakker | 97c53c2 | 2016-07-13 17:20:22 +0100 | [diff] [blame] | 206 | mbedtls_md_context_t ctx, ctx_copy; |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 207 | int halfway; |
Paul Bakker | d2a2d61 | 2014-07-01 15:45:49 +0200 | [diff] [blame] | 208 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 209 | mbedtls_md_init(&ctx); |
| 210 | mbedtls_md_init(&ctx_copy); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 211 | |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 212 | md_info = mbedtls_md_info_from_type(md_type); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 213 | TEST_ASSERT(md_info != NULL); |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 214 | TEST_EQUAL(0, mbedtls_md_setup(&ctx, md_info, 0)); |
| 215 | TEST_EQUAL(0, mbedtls_md_setup(&ctx_copy, md_info, 0)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 216 | TEST_ASSERT(mbedtls_md_info_from_ctx(&ctx) == md_info); |
| 217 | TEST_ASSERT(mbedtls_md_info_from_ctx(&ctx_copy) == md_info); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 218 | |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 219 | halfway = src_str->len / 2; |
Paul Bakker | d2a2d61 | 2014-07-01 15:45:49 +0200 | [diff] [blame] | 220 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 221 | TEST_EQUAL(0, mbedtls_md_starts(&ctx)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 222 | TEST_ASSERT(ctx.md_ctx != NULL); |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 223 | TEST_EQUAL(0, mbedtls_md_update(&ctx, src_str->x, halfway)); |
| 224 | TEST_EQUAL(0, mbedtls_md_clone(&ctx_copy, &ctx)); |
Paul Bakker | 97c53c2 | 2016-07-13 17:20:22 +0100 | [diff] [blame] | 225 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 226 | TEST_EQUAL(0, mbedtls_md_update(&ctx, src_str->x + halfway, src_str->len - halfway)); |
| 227 | TEST_EQUAL(0, mbedtls_md_finish(&ctx, output)); |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 228 | ASSERT_COMPARE(output, mbedtls_md_get_size(md_info), hash->x, hash->len); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 229 | |
Paul Bakker | 97c53c2 | 2016-07-13 17:20:22 +0100 | [diff] [blame] | 230 | /* Test clone */ |
Manuel Pégourié-Gonnard | 4ba98f5 | 2023-02-03 12:25:53 +0100 | [diff] [blame] | 231 | memset(output, 0x00, sizeof(output)); |
Paul Bakker | 97c53c2 | 2016-07-13 17:20:22 +0100 | [diff] [blame] | 232 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 233 | TEST_EQUAL(0, mbedtls_md_update(&ctx_copy, src_str->x + halfway, src_str->len - halfway)); |
| 234 | TEST_EQUAL(0, mbedtls_md_finish(&ctx_copy, output)); |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 235 | ASSERT_COMPARE(output, mbedtls_md_get_size(md_info), hash->x, hash->len); |
Paul Bakker | bd51b26 | 2014-07-10 15:26:12 +0200 | [diff] [blame] | 236 | |
| 237 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 238 | mbedtls_md_free(&ctx); |
| 239 | mbedtls_md_free(&ctx_copy); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 240 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 241 | /* END_CASE */ |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 242 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 243 | /* BEGIN_CASE */ |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 244 | void mbedtls_md_hmac(int md_type, int trunc_size, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 245 | data_t *key_str, data_t *src_str, |
| 246 | data_t *hash) |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 247 | { |
Manuel Pégourié-Gonnard | cced352 | 2023-02-06 12:37:02 +0100 | [diff] [blame] | 248 | unsigned char output[MBEDTLS_MD_MAX_SIZE] = { 0 }; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 249 | const mbedtls_md_info_t *md_info = NULL; |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 250 | |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 251 | md_info = mbedtls_md_info_from_type(md_type); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 252 | TEST_ASSERT(md_info != NULL); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 253 | |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 254 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 255 | TEST_EQUAL(0, mbedtls_md_hmac(md_info, key_str->x, key_str->len, |
Manuel Pégourié-Gonnard | cced352 | 2023-02-06 12:37:02 +0100 | [diff] [blame] | 256 | src_str->x, src_str->len, output)); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 257 | |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 258 | ASSERT_COMPARE(output, trunc_size, hash->x, hash->len); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 259 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 260 | /* END_CASE */ |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 261 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 262 | /* BEGIN_CASE */ |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 263 | void md_hmac_multi(int md_type, int trunc_size, data_t *key_str, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 264 | data_t *src_str, data_t *hash) |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 265 | { |
Manuel Pégourié-Gonnard | cced352 | 2023-02-06 12:37:02 +0100 | [diff] [blame] | 266 | unsigned char output[MBEDTLS_MD_MAX_SIZE] = { 0 }; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 267 | const mbedtls_md_info_t *md_info = NULL; |
| 268 | mbedtls_md_context_t ctx; |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 269 | int halfway; |
Paul Bakker | d2a2d61 | 2014-07-01 15:45:49 +0200 | [diff] [blame] | 270 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 271 | mbedtls_md_init(&ctx); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 272 | |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 273 | md_info = mbedtls_md_info_from_type(md_type); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 274 | TEST_ASSERT(md_info != NULL); |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 275 | TEST_EQUAL(0, mbedtls_md_setup(&ctx, md_info, 1)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 276 | TEST_ASSERT(mbedtls_md_info_from_ctx(&ctx) == md_info); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 277 | |
Azim Khan | d30ca13 | 2017-06-09 04:32:58 +0100 | [diff] [blame] | 278 | halfway = src_str->len / 2; |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 279 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 280 | TEST_EQUAL(0, mbedtls_md_hmac_starts(&ctx, key_str->x, key_str->len)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 281 | TEST_ASSERT(ctx.md_ctx != NULL); |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 282 | TEST_EQUAL(0, mbedtls_md_hmac_update(&ctx, src_str->x, halfway)); |
| 283 | TEST_EQUAL(0, mbedtls_md_hmac_update(&ctx, src_str->x + halfway, src_str->len - halfway)); |
| 284 | TEST_EQUAL(0, mbedtls_md_hmac_finish(&ctx, output)); |
Manuel Pégourié-Gonnard | 59ba4e9 | 2014-03-29 14:43:44 +0100 | [diff] [blame] | 285 | |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 286 | ASSERT_COMPARE(output, trunc_size, hash->x, hash->len); |
Manuel Pégourié-Gonnard | 59ba4e9 | 2014-03-29 14:43:44 +0100 | [diff] [blame] | 287 | |
| 288 | /* Test again, for reset() */ |
Manuel Pégourié-Gonnard | 4ba98f5 | 2023-02-03 12:25:53 +0100 | [diff] [blame] | 289 | memset(output, 0x00, sizeof(output)); |
Manuel Pégourié-Gonnard | 59ba4e9 | 2014-03-29 14:43:44 +0100 | [diff] [blame] | 290 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 291 | TEST_EQUAL(0, mbedtls_md_hmac_reset(&ctx)); |
| 292 | TEST_EQUAL(0, mbedtls_md_hmac_update(&ctx, src_str->x, halfway)); |
| 293 | TEST_EQUAL(0, mbedtls_md_hmac_update(&ctx, src_str->x + halfway, src_str->len - halfway)); |
| 294 | TEST_EQUAL(0, mbedtls_md_hmac_finish(&ctx, output)); |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 295 | |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 296 | ASSERT_COMPARE(output, trunc_size, hash->x, hash->len); |
Paul Bakker | bd51b26 | 2014-07-10 15:26:12 +0200 | [diff] [blame] | 297 | |
| 298 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 299 | mbedtls_md_free(&ctx); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 300 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 301 | /* END_CASE */ |
Paul Bakker | 428b9ba | 2013-09-15 15:20:37 +0200 | [diff] [blame] | 302 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 303 | /* BEGIN_CASE depends_on:MBEDTLS_FS_IO */ |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 304 | void mbedtls_md_file(int md_type, char *filename, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 305 | data_t *hash) |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 306 | { |
Manuel Pégourié-Gonnard | cced352 | 2023-02-06 12:37:02 +0100 | [diff] [blame] | 307 | unsigned char output[MBEDTLS_MD_MAX_SIZE] = { 0 }; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 308 | const mbedtls_md_info_t *md_info = NULL; |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 309 | |
Manuel Pégourié-Gonnard | c90514e | 2023-02-03 12:13:10 +0100 | [diff] [blame] | 310 | md_info = mbedtls_md_info_from_type(md_type); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 311 | TEST_ASSERT(md_info != NULL); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 312 | |
Manuel Pégourié-Gonnard | f5e2331 | 2023-02-03 12:51:03 +0100 | [diff] [blame] | 313 | TEST_EQUAL(0, mbedtls_md_file(md_info, filename, output)); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 314 | |
Manuel Pégourié-Gonnard | a9a1b21 | 2023-02-09 09:15:04 +0100 | [diff] [blame] | 315 | ASSERT_COMPARE(output, mbedtls_md_get_size(md_info), hash->x, hash->len); |
Paul Bakker | 1737385 | 2011-01-06 14:20:01 +0000 | [diff] [blame] | 316 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 317 | /* END_CASE */ |