blob: 7fdda80f2477bef0e5c1d285291b54a1fd8a76f7 [file] [log] [blame]
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00002#include "mbedtls/pk.h"
3#include "mbedtls/pem.h"
4#include "mbedtls/oid.h"
Valerio Setti17513412023-04-26 14:48:43 +02005#include "psa/crypto_sizes.h"
Valerio Setti89590952023-04-17 17:34:09 +02006
Valerio Settic9cb5322023-04-18 11:20:36 +02007typedef enum {
8 TEST_PEM,
9 TEST_DER
10} pkwrite_file_format_t;
11
Valerio Setti547b3a42023-04-24 10:24:37 +020012/* Helper function for removing "\r" chars from a buffer. */
Valerio Setti7bacaf82023-04-24 08:52:16 +020013static void fix_new_lines(unsigned char *in_str, size_t *len)
14{
15 size_t chars_left;
16 unsigned int i;
17
18 for (i = 0; (i < *len) && (*len > 0); i++) {
19 if (in_str[i] == '\r') {
20 if (i < (*len - 1)) {
21 chars_left = *len - i - 1;
Valerio Settibf974b92023-04-24 10:26:24 +020022 memmove(&in_str[i], &in_str[i+1], chars_left);
Valerio Setti7bacaf82023-04-24 08:52:16 +020023 } else {
24 in_str[i] = '\0';
25 }
26 *len = *len - 1;
27 }
28 }
29}
30
Valerio Settic60bc5e2023-04-17 18:43:06 +020031static void pk_write_check_common(char *key_file, int is_public_key, int is_der)
Valerio Setti89590952023-04-17 17:34:09 +020032{
33 mbedtls_pk_context key;
34 unsigned char *buf = NULL;
35 unsigned char *check_buf = NULL;
Valerio Settic60bc5e2023-04-17 18:43:06 +020036 unsigned char *start_buf;
Valerio Setti3401b302023-04-18 10:42:53 +020037 size_t buf_len, check_buf_len;
Valerio Setti89590952023-04-17 17:34:09 +020038 int ret;
39
Valerio Setti14bfdbf2023-04-24 13:53:21 +020040 mbedtls_pk_init(&key);
41 USE_PSA_INIT();
42
Valerio Setti89590952023-04-17 17:34:09 +020043 /* Note: if mbedtls_pk_load_file() successfully reads the file, then
44 it also allocates check_buf, which should be freed on exit */
Valerio Setti3401b302023-04-18 10:42:53 +020045 TEST_EQUAL(mbedtls_pk_load_file(key_file, &check_buf, &check_buf_len), 0);
Valerio Setti89590952023-04-17 17:34:09 +020046 TEST_ASSERT(check_buf_len > 0);
47
Valerio Setti7bacaf82023-04-24 08:52:16 +020048 /* Windows' line ending is different from the Linux's one ("\r\n" vs "\n").
49 * Git treats PEM files as text, so when on Windows, it replaces new lines
50 * with "\r\n" on checkout.
51 * Unfortunately mbedtls_pk_load_file() loads files in binary format,
52 * while mbedtls_pk_write_pubkey_pem() goes through the I/O layer which
53 * uses "\n" for newlines in both Windows and Linux.
54 * Here we remove the extra "\r" so that "buf" and "check_buf" can be
55 * easily compared later. */
56 if (!is_der) {
57 fix_new_lines(check_buf, &check_buf_len);
58 }
59 TEST_ASSERT(check_buf_len > 0);
60
Valerio Setti89590952023-04-17 17:34:09 +020061 ASSERT_ALLOC(buf, check_buf_len);
62
Valerio Setti89590952023-04-17 17:34:09 +020063 if (is_public_key) {
Valerio Setti3401b302023-04-18 10:42:53 +020064 TEST_EQUAL(mbedtls_pk_parse_public_keyfile(&key, key_file), 0);
Valerio Settic60bc5e2023-04-17 18:43:06 +020065 if (is_der) {
66 ret = mbedtls_pk_write_pubkey_der(&key, buf, check_buf_len);
67 } else {
Valerio Setti15cac172023-04-18 11:25:30 +020068#if defined(MBEDTLS_PEM_WRITE_C)
Valerio Settic60bc5e2023-04-17 18:43:06 +020069 ret = mbedtls_pk_write_pubkey_pem(&key, buf, check_buf_len);
Valerio Setti15cac172023-04-18 11:25:30 +020070#else
71 ret = MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
72#endif
Valerio Settic60bc5e2023-04-17 18:43:06 +020073 }
Valerio Setti89590952023-04-17 17:34:09 +020074 } else {
Valerio Setti3401b302023-04-18 10:42:53 +020075 TEST_EQUAL(mbedtls_pk_parse_keyfile(&key, key_file, NULL,
Valerio Setti22808952023-04-18 12:57:52 +020076 mbedtls_test_rnd_std_rand, NULL), 0);
Valerio Settic60bc5e2023-04-17 18:43:06 +020077 if (is_der) {
78 ret = mbedtls_pk_write_key_der(&key, buf, check_buf_len);
79 } else {
Valerio Setti15cac172023-04-18 11:25:30 +020080#if defined(MBEDTLS_PEM_WRITE_C)
Valerio Settic60bc5e2023-04-17 18:43:06 +020081 ret = mbedtls_pk_write_key_pem(&key, buf, check_buf_len);
Valerio Setti15cac172023-04-18 11:25:30 +020082#else
83 ret = MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
84#endif
Valerio Settic60bc5e2023-04-17 18:43:06 +020085 }
Valerio Setti89590952023-04-17 17:34:09 +020086 }
Valerio Setti89590952023-04-17 17:34:09 +020087
Valerio Settic60bc5e2023-04-17 18:43:06 +020088 if (is_der) {
Valerio Setti3401b302023-04-18 10:42:53 +020089 TEST_LE_U(1, ret);
90 buf_len = ret;
91 start_buf = buf + check_buf_len - buf_len;
Valerio Settic60bc5e2023-04-17 18:43:06 +020092 } else {
Valerio Setti3401b302023-04-18 10:42:53 +020093 TEST_EQUAL(ret, 0);
Valerio Setti22808952023-04-18 12:57:52 +020094 buf_len = strlen((char *) buf) + 1; /* +1 takes the string terminator into account */
Valerio Settic60bc5e2023-04-17 18:43:06 +020095 start_buf = buf;
96 }
97
Valerio Setti3401b302023-04-18 10:42:53 +020098 ASSERT_COMPARE(start_buf, buf_len, check_buf, check_buf_len);
Valerio Setti89590952023-04-17 17:34:09 +020099
100exit:
101 mbedtls_free(buf);
102 mbedtls_free(check_buf);
103 mbedtls_pk_free(&key);
Valerio Setti14bfdbf2023-04-24 13:53:21 +0200104 USE_PSA_DONE();
Valerio Setti89590952023-04-17 17:34:09 +0200105}
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200106/* END_HEADER */
107
108/* BEGIN_DEPENDENCIES
Hanno Becker19d858e2018-10-16 13:46:25 +0100109 * depends_on:MBEDTLS_PK_PARSE_C:MBEDTLS_PK_WRITE_C:MBEDTLS_BIGNUM_C:MBEDTLS_FS_IO
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200110 * END_DEPENDENCIES
111 */
112
Valerio Setti15cac172023-04-18 11:25:30 +0200113/* BEGIN_CASE */
Valerio Settic60bc5e2023-04-17 18:43:06 +0200114void pk_write_pubkey_check(char *key_file, int is_der)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200115{
Valerio Settic60bc5e2023-04-17 18:43:06 +0200116 pk_write_check_common(key_file, 1, is_der);
Valerio Setti89590952023-04-17 17:34:09 +0200117 goto exit; /* make the compiler happy */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200118}
119/* END_CASE */
120
Valerio Setti15cac172023-04-18 11:25:30 +0200121/* BEGIN_CASE */
Valerio Settic60bc5e2023-04-17 18:43:06 +0200122void pk_write_key_check(char *key_file, int is_der)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200123{
Valerio Settic60bc5e2023-04-17 18:43:06 +0200124 pk_write_check_common(key_file, 0, is_der);
Valerio Setti89590952023-04-17 17:34:09 +0200125 goto exit; /* make the compiler happy */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200126}
127/* END_CASE */
Valerio Setti17513412023-04-26 14:48:43 +0200128
129/* BEGIN_CASE */
Valerio Settif5451712023-04-27 10:52:57 +0200130void pk_write_public_from_private(char *priv_key_file, char *pub_key_file)
Valerio Setti17513412023-04-26 14:48:43 +0200131{
Valerio Settif5451712023-04-27 10:52:57 +0200132 mbedtls_pk_context priv_key;
133 uint8_t *derived_key_raw = NULL;
Valerio Setti17513412023-04-26 14:48:43 +0200134 size_t derived_key_len = 0;
Valerio Settif5451712023-04-27 10:52:57 +0200135 uint8_t *pub_key_raw = NULL;
Valerio Setti17513412023-04-26 14:48:43 +0200136 size_t pub_key_len = 0;
137#if defined(MBEDTLS_USE_PSA_CRYPTO)
138 mbedtls_svc_key_id_t opaque_key_id = MBEDTLS_SVC_KEY_ID_INIT;
139#endif /* MBEDTLS_USE_PSA_CRYPTO */
140
141 mbedtls_pk_init(&priv_key);
Valerio Setti17513412023-04-26 14:48:43 +0200142 USE_PSA_INIT();
143
Valerio Setti17513412023-04-26 14:48:43 +0200144 TEST_EQUAL(mbedtls_pk_parse_keyfile(&priv_key, priv_key_file, NULL,
145 mbedtls_test_rnd_std_rand, NULL), 0);
Valerio Settif5451712023-04-27 10:52:57 +0200146 TEST_EQUAL(mbedtls_pk_load_file(pub_key_file, &pub_key_raw,
147 &pub_key_len), 0);
Valerio Setti17513412023-04-26 14:48:43 +0200148
Valerio Settif5451712023-04-27 10:52:57 +0200149 derived_key_len = pub_key_len;
150 ASSERT_ALLOC(derived_key_raw, derived_key_len);
Valerio Setti17513412023-04-26 14:48:43 +0200151
Valerio Settif5451712023-04-27 10:52:57 +0200152 TEST_LE_U(1, mbedtls_pk_write_pubkey_der(&priv_key, derived_key_raw,
153 derived_key_len));
Valerio Setti17513412023-04-26 14:48:43 +0200154
Valerio Settif5451712023-04-27 10:52:57 +0200155 ASSERT_COMPARE(derived_key_raw, derived_key_len,
156 pub_key_raw, pub_key_len);
Valerio Setti17513412023-04-26 14:48:43 +0200157
158#if defined(MBEDTLS_USE_PSA_CRYPTO)
159 mbedtls_platform_zeroize(derived_key_raw, sizeof(derived_key_raw));
Valerio Setti17513412023-04-26 14:48:43 +0200160
161 TEST_EQUAL(mbedtls_pk_wrap_as_opaque(&priv_key, &opaque_key_id,
162 PSA_ALG_NONE, PSA_KEY_USAGE_EXPORT,
163 PSA_ALG_NONE), 0);
164
Valerio Settif5451712023-04-27 10:52:57 +0200165 TEST_LE_U(1, mbedtls_pk_write_pubkey_der(&priv_key, derived_key_raw,
166 derived_key_len));
Valerio Setti17513412023-04-26 14:48:43 +0200167
Valerio Settif5451712023-04-27 10:52:57 +0200168 ASSERT_COMPARE(derived_key_raw, derived_key_len,
169 pub_key_raw, pub_key_len);
Valerio Setti17513412023-04-26 14:48:43 +0200170#endif /* MBEDTLS_USE_PSA_CRYPTO */
171
172exit:
173#if defined(MBEDTLS_USE_PSA_CRYPTO)
174 psa_destroy_key(opaque_key_id);
175#endif /* MBEDTLS_USE_PSA_CRYPTO */
Valerio Settif5451712023-04-27 10:52:57 +0200176 mbedtls_free(derived_key_raw);
177 mbedtls_free(pub_key_raw);
Valerio Setti17513412023-04-26 14:48:43 +0200178 mbedtls_pk_free(&priv_key);
179 USE_PSA_DONE();
180}
181/* END_CASE */