blob: e1be52ef4e20113b3be2715d270382e449bee89f [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
valeriof6853a82023-05-31 12:00:11 +020031static int pk_write_any_key(mbedtls_pk_context *pk, unsigned char **p,
32 size_t *buf_len, int is_public_key, int is_der)
33{
34 int ret = 0;
35
36 if (is_der) {
37 if (is_public_key) {
38 ret = mbedtls_pk_write_pubkey_der(pk, *p, *buf_len);
39 } else {
40 ret = mbedtls_pk_write_key_der(pk, *p, *buf_len);
41 }
42 if (ret <= 0) {
43 return ret;
44 }
45
46 *p = *p + *buf_len - ret;
47 *buf_len = ret;
48 } else {
49#if defined(MBEDTLS_PEM_WRITE_C)
50 if (is_public_key) {
51 ret = mbedtls_pk_write_pubkey_pem(pk, *p, *buf_len);
52 } else {
53 ret = mbedtls_pk_write_key_pem(pk, *p, *buf_len);
54 }
55 if (ret != 0) {
56 return ret;
57 }
58
59 *buf_len = strlen((char *) *p) + 1; /* +1 takes the string terminator into account */
60#else
61 return MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
62#endif
63 }
64
65 return 0;
66}
67
Valerio Settic60bc5e2023-04-17 18:43:06 +020068static void pk_write_check_common(char *key_file, int is_public_key, int is_der)
Valerio Setti89590952023-04-17 17:34:09 +020069{
70 mbedtls_pk_context key;
71 unsigned char *buf = NULL;
72 unsigned char *check_buf = NULL;
Valerio Settic60bc5e2023-04-17 18:43:06 +020073 unsigned char *start_buf;
Valerio Setti3401b302023-04-18 10:42:53 +020074 size_t buf_len, check_buf_len;
valeriof6853a82023-05-31 12:00:11 +020075#if defined(MBEDTLS_USE_PSA_CRYPTO)
76 mbedtls_svc_key_id_t opaque_id = MBEDTLS_SVC_KEY_ID_INIT;
77#endif /* MBEDTLS_USE_PSA_CRYPTO */
78
79 USE_PSA_INIT();
Valerio Setti89590952023-04-17 17:34:09 +020080
Valerio Setti14bfdbf2023-04-24 13:53:21 +020081 mbedtls_pk_init(&key);
82 USE_PSA_INIT();
83
Valerio Setti89590952023-04-17 17:34:09 +020084 /* Note: if mbedtls_pk_load_file() successfully reads the file, then
85 it also allocates check_buf, which should be freed on exit */
Valerio Setti3401b302023-04-18 10:42:53 +020086 TEST_EQUAL(mbedtls_pk_load_file(key_file, &check_buf, &check_buf_len), 0);
Valerio Setti89590952023-04-17 17:34:09 +020087 TEST_ASSERT(check_buf_len > 0);
88
Valerio Setti7bacaf82023-04-24 08:52:16 +020089 /* Windows' line ending is different from the Linux's one ("\r\n" vs "\n").
90 * Git treats PEM files as text, so when on Windows, it replaces new lines
91 * with "\r\n" on checkout.
92 * Unfortunately mbedtls_pk_load_file() loads files in binary format,
93 * while mbedtls_pk_write_pubkey_pem() goes through the I/O layer which
94 * uses "\n" for newlines in both Windows and Linux.
95 * Here we remove the extra "\r" so that "buf" and "check_buf" can be
96 * easily compared later. */
97 if (!is_der) {
98 fix_new_lines(check_buf, &check_buf_len);
99 }
100 TEST_ASSERT(check_buf_len > 0);
101
Tom Cosgrove05b2a872023-07-21 11:31:13 +0100102 TEST_CALLOC(buf, check_buf_len);
Valerio Setti89590952023-04-17 17:34:09 +0200103
Valerio Setti89590952023-04-17 17:34:09 +0200104 if (is_public_key) {
Valerio Setti3401b302023-04-18 10:42:53 +0200105 TEST_EQUAL(mbedtls_pk_parse_public_keyfile(&key, key_file), 0);
Valerio Setti89590952023-04-17 17:34:09 +0200106 } else {
Valerio Setti3401b302023-04-18 10:42:53 +0200107 TEST_EQUAL(mbedtls_pk_parse_keyfile(&key, key_file, NULL,
Valerio Setti22808952023-04-18 12:57:52 +0200108 mbedtls_test_rnd_std_rand, NULL), 0);
Valerio Setti89590952023-04-17 17:34:09 +0200109 }
Valerio Setti89590952023-04-17 17:34:09 +0200110
valeriof6853a82023-05-31 12:00:11 +0200111 start_buf = buf;
112 buf_len = check_buf_len;
113 TEST_EQUAL(pk_write_any_key(&key, &start_buf, &buf_len, is_public_key,
114 is_der), 0);
Valerio Settic60bc5e2023-04-17 18:43:06 +0200115
Tom Cosgrovee4e9e7d2023-07-21 11:40:20 +0100116 TEST_MEMORY_COMPARE(start_buf, buf_len, check_buf, check_buf_len);
Valerio Setti89590952023-04-17 17:34:09 +0200117
valeriof6853a82023-05-31 12:00:11 +0200118#if defined(MBEDTLS_USE_PSA_CRYPTO)
119 /* Verify that pk_write works also for opaque private keys */
120 if (!is_public_key) {
121 memset(buf, 0, check_buf_len);
122 TEST_EQUAL(mbedtls_pk_wrap_as_opaque(&key, &opaque_id,
123 PSA_ALG_NONE,
124 PSA_KEY_USAGE_EXPORT,
125 PSA_ALG_NONE), 0);
126 start_buf = buf;
127 buf_len = check_buf_len;
128 TEST_EQUAL(pk_write_any_key(&key, &start_buf, &buf_len, is_public_key,
129 is_der), 0);
130
Tom Cosgrovee4e9e7d2023-07-21 11:40:20 +0100131 TEST_MEMORY_COMPARE(start_buf, buf_len, check_buf, check_buf_len);
valeriof6853a82023-05-31 12:00:11 +0200132 }
133#endif /* MBEDTLS_USE_PSA_CRYPTO */
134
Valerio Setti89590952023-04-17 17:34:09 +0200135exit:
valeriof6853a82023-05-31 12:00:11 +0200136#if defined(MBEDTLS_USE_PSA_CRYPTO)
137 psa_destroy_key(opaque_id);
138#endif /* MBEDTLS_USE_PSA_CRYPTO */
Valerio Setti89590952023-04-17 17:34:09 +0200139 mbedtls_free(buf);
140 mbedtls_free(check_buf);
141 mbedtls_pk_free(&key);
Valerio Setti14bfdbf2023-04-24 13:53:21 +0200142 USE_PSA_DONE();
Valerio Setti89590952023-04-17 17:34:09 +0200143}
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200144/* END_HEADER */
145
146/* BEGIN_DEPENDENCIES
Hanno Becker19d858e2018-10-16 13:46:25 +0100147 * depends_on:MBEDTLS_PK_PARSE_C:MBEDTLS_PK_WRITE_C:MBEDTLS_BIGNUM_C:MBEDTLS_FS_IO
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200148 * END_DEPENDENCIES
149 */
150
Valerio Setti15cac172023-04-18 11:25:30 +0200151/* BEGIN_CASE */
Valerio Settic60bc5e2023-04-17 18:43:06 +0200152void pk_write_pubkey_check(char *key_file, int is_der)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200153{
Valerio Settic60bc5e2023-04-17 18:43:06 +0200154 pk_write_check_common(key_file, 1, is_der);
Valerio Setti89590952023-04-17 17:34:09 +0200155 goto exit; /* make the compiler happy */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200156}
157/* END_CASE */
158
Valerio Setti15cac172023-04-18 11:25:30 +0200159/* BEGIN_CASE */
Valerio Settic60bc5e2023-04-17 18:43:06 +0200160void pk_write_key_check(char *key_file, int is_der)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200161{
Valerio Settic60bc5e2023-04-17 18:43:06 +0200162 pk_write_check_common(key_file, 0, is_der);
Valerio Setti89590952023-04-17 17:34:09 +0200163 goto exit; /* make the compiler happy */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200164}
165/* END_CASE */
Valerio Setti17513412023-04-26 14:48:43 +0200166
167/* BEGIN_CASE */
Valerio Settif5451712023-04-27 10:52:57 +0200168void pk_write_public_from_private(char *priv_key_file, char *pub_key_file)
Valerio Setti17513412023-04-26 14:48:43 +0200169{
Valerio Settif5451712023-04-27 10:52:57 +0200170 mbedtls_pk_context priv_key;
171 uint8_t *derived_key_raw = NULL;
Valerio Setti17513412023-04-26 14:48:43 +0200172 size_t derived_key_len = 0;
Valerio Settif5451712023-04-27 10:52:57 +0200173 uint8_t *pub_key_raw = NULL;
Valerio Setti17513412023-04-26 14:48:43 +0200174 size_t pub_key_len = 0;
175#if defined(MBEDTLS_USE_PSA_CRYPTO)
176 mbedtls_svc_key_id_t opaque_key_id = MBEDTLS_SVC_KEY_ID_INIT;
177#endif /* MBEDTLS_USE_PSA_CRYPTO */
178
179 mbedtls_pk_init(&priv_key);
Valerio Setti17513412023-04-26 14:48:43 +0200180 USE_PSA_INIT();
181
Valerio Setti17513412023-04-26 14:48:43 +0200182 TEST_EQUAL(mbedtls_pk_parse_keyfile(&priv_key, priv_key_file, NULL,
183 mbedtls_test_rnd_std_rand, NULL), 0);
Valerio Settif5451712023-04-27 10:52:57 +0200184 TEST_EQUAL(mbedtls_pk_load_file(pub_key_file, &pub_key_raw,
185 &pub_key_len), 0);
Valerio Setti17513412023-04-26 14:48:43 +0200186
Valerio Settif5451712023-04-27 10:52:57 +0200187 derived_key_len = pub_key_len;
Tom Cosgrove05b2a872023-07-21 11:31:13 +0100188 TEST_CALLOC(derived_key_raw, derived_key_len);
Valerio Setti17513412023-04-26 14:48:43 +0200189
Valerio Setti9a855f22023-04-27 12:07:23 +0200190 TEST_EQUAL(mbedtls_pk_write_pubkey_der(&priv_key, derived_key_raw,
191 derived_key_len), pub_key_len);
Valerio Setti17513412023-04-26 14:48:43 +0200192
Tom Cosgrovee4e9e7d2023-07-21 11:40:20 +0100193 TEST_MEMORY_COMPARE(derived_key_raw, derived_key_len,
Tom Cosgrove0540fe72023-07-27 14:17:27 +0100194 pub_key_raw, pub_key_len);
Valerio Setti17513412023-04-26 14:48:43 +0200195
196#if defined(MBEDTLS_USE_PSA_CRYPTO)
197 mbedtls_platform_zeroize(derived_key_raw, sizeof(derived_key_raw));
Valerio Setti17513412023-04-26 14:48:43 +0200198
199 TEST_EQUAL(mbedtls_pk_wrap_as_opaque(&priv_key, &opaque_key_id,
200 PSA_ALG_NONE, PSA_KEY_USAGE_EXPORT,
201 PSA_ALG_NONE), 0);
202
Valerio Setti9a855f22023-04-27 12:07:23 +0200203 TEST_EQUAL(mbedtls_pk_write_pubkey_der(&priv_key, derived_key_raw,
204 derived_key_len), pub_key_len);
Valerio Setti17513412023-04-26 14:48:43 +0200205
Tom Cosgrovee4e9e7d2023-07-21 11:40:20 +0100206 TEST_MEMORY_COMPARE(derived_key_raw, derived_key_len,
Tom Cosgrove0540fe72023-07-27 14:17:27 +0100207 pub_key_raw, pub_key_len);
Valerio Setti17513412023-04-26 14:48:43 +0200208#endif /* MBEDTLS_USE_PSA_CRYPTO */
209
210exit:
211#if defined(MBEDTLS_USE_PSA_CRYPTO)
212 psa_destroy_key(opaque_key_id);
213#endif /* MBEDTLS_USE_PSA_CRYPTO */
Valerio Settif5451712023-04-27 10:52:57 +0200214 mbedtls_free(derived_key_raw);
215 mbedtls_free(pub_key_raw);
Valerio Setti17513412023-04-26 14:48:43 +0200216 mbedtls_pk_free(&priv_key);
217 USE_PSA_DONE();
218}
219/* END_CASE */