blob: 11bc5a88abd12b51c9a41aaa716a0f54e8797b50 [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 Setti89590952023-04-17 17:34:09 +02005
Valerio Settic9cb5322023-04-18 11:20:36 +02006typedef enum {
7 TEST_PEM,
8 TEST_DER
9} pkwrite_file_format_t;
10
Valerio Settic60bc5e2023-04-17 18:43:06 +020011static void pk_write_check_common(char *key_file, int is_public_key, int is_der)
Valerio Setti89590952023-04-17 17:34:09 +020012{
13 mbedtls_pk_context key;
14 unsigned char *buf = NULL;
15 unsigned char *check_buf = NULL;
Valerio Settic60bc5e2023-04-17 18:43:06 +020016 unsigned char *start_buf;
Valerio Setti3401b302023-04-18 10:42:53 +020017 size_t buf_len, check_buf_len;
Valerio Setti89590952023-04-17 17:34:09 +020018 int ret;
19
20 /* Note: if mbedtls_pk_load_file() successfully reads the file, then
21 it also allocates check_buf, which should be freed on exit */
Valerio Setti3401b302023-04-18 10:42:53 +020022 TEST_EQUAL(mbedtls_pk_load_file(key_file, &check_buf, &check_buf_len), 0);
Valerio Setti89590952023-04-17 17:34:09 +020023 TEST_ASSERT(check_buf_len > 0);
24
25 ASSERT_ALLOC(buf, check_buf_len);
26
27 mbedtls_pk_init(&key);
28 if (is_public_key) {
Valerio Setti3401b302023-04-18 10:42:53 +020029 TEST_EQUAL(mbedtls_pk_parse_public_keyfile(&key, key_file), 0);
Valerio Settic60bc5e2023-04-17 18:43:06 +020030 if (is_der) {
31 ret = mbedtls_pk_write_pubkey_der(&key, buf, check_buf_len);
32 } else {
Valerio Setti15cac172023-04-18 11:25:30 +020033#if defined(MBEDTLS_PEM_WRITE_C)
Valerio Settic60bc5e2023-04-17 18:43:06 +020034 ret = mbedtls_pk_write_pubkey_pem(&key, buf, check_buf_len);
Valerio Setti15cac172023-04-18 11:25:30 +020035#else
36 ret = MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
37#endif
Valerio Settic60bc5e2023-04-17 18:43:06 +020038 }
Valerio Setti89590952023-04-17 17:34:09 +020039 } else {
Valerio Setti3401b302023-04-18 10:42:53 +020040 TEST_EQUAL(mbedtls_pk_parse_keyfile(&key, key_file, NULL,
41 mbedtls_test_rnd_std_rand, NULL), 0);
Valerio Settic60bc5e2023-04-17 18:43:06 +020042 if (is_der) {
43 ret = mbedtls_pk_write_key_der(&key, buf, check_buf_len);
44 } else {
Valerio Setti15cac172023-04-18 11:25:30 +020045#if defined(MBEDTLS_PEM_WRITE_C)
Valerio Settic60bc5e2023-04-17 18:43:06 +020046 ret = mbedtls_pk_write_key_pem(&key, buf, check_buf_len);
Valerio Setti15cac172023-04-18 11:25:30 +020047#else
48 ret = MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
49#endif
Valerio Settic60bc5e2023-04-17 18:43:06 +020050 }
Valerio Setti89590952023-04-17 17:34:09 +020051 }
Valerio Setti89590952023-04-17 17:34:09 +020052
Valerio Settic60bc5e2023-04-17 18:43:06 +020053 if (is_der) {
Valerio Setti3401b302023-04-18 10:42:53 +020054 TEST_LE_U(1, ret);
55 buf_len = ret;
56 start_buf = buf + check_buf_len - buf_len;
Valerio Settic60bc5e2023-04-17 18:43:06 +020057 } else {
Valerio Setti3401b302023-04-18 10:42:53 +020058 TEST_EQUAL(ret, 0);
59 buf_len = check_buf_len;
Valerio Settic60bc5e2023-04-17 18:43:06 +020060 start_buf = buf;
61 }
62
Valerio Setti3401b302023-04-18 10:42:53 +020063 ASSERT_COMPARE(start_buf, buf_len, check_buf, check_buf_len);
Valerio Setti89590952023-04-17 17:34:09 +020064
65exit:
66 mbedtls_free(buf);
67 mbedtls_free(check_buf);
68 mbedtls_pk_free(&key);
69}
Paul Bakkerc7bb02b2013-09-15 14:54:56 +020070/* END_HEADER */
71
72/* BEGIN_DEPENDENCIES
Hanno Becker19d858e2018-10-16 13:46:25 +010073 * depends_on:MBEDTLS_PK_PARSE_C:MBEDTLS_PK_WRITE_C:MBEDTLS_BIGNUM_C:MBEDTLS_FS_IO
Paul Bakkerc7bb02b2013-09-15 14:54:56 +020074 * END_DEPENDENCIES
75 */
76
Valerio Setti15cac172023-04-18 11:25:30 +020077/* BEGIN_CASE */
Valerio Settic60bc5e2023-04-17 18:43:06 +020078void pk_write_pubkey_check(char *key_file, int is_der)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +020079{
Valerio Settic60bc5e2023-04-17 18:43:06 +020080 pk_write_check_common(key_file, 1, is_der);
Valerio Setti89590952023-04-17 17:34:09 +020081 goto exit; /* make the compiler happy */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +020082}
83/* END_CASE */
84
Valerio Setti15cac172023-04-18 11:25:30 +020085/* BEGIN_CASE */
Valerio Settic60bc5e2023-04-17 18:43:06 +020086void pk_write_key_check(char *key_file, int is_der)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +020087{
Valerio Settic60bc5e2023-04-17 18:43:06 +020088 pk_write_check_common(key_file, 0, is_der);
Valerio Setti89590952023-04-17 17:34:09 +020089 goto exit; /* make the compiler happy */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +020090}
91/* END_CASE */