blob: 08f27637d53098aa98cce1b80e147a6d49d7f260 [file] [log] [blame]
Paul Bakker1a7550a2013-09-15 13:01:22 +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"
Paul Bakker1a7550a2013-09-15 13:01:22 +02005/* END_HEADER */
6
7/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02008 * depends_on:MBEDTLS_PK_PARSE_C:MBEDTLS_BIGNUM_C
Paul Bakker1a7550a2013-09-15 13:01:22 +02009 * END_DEPENDENCIES
10 */
11
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020012/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_FS_IO */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010013void pk_parse_keyfile_rsa(char *key_file, char *password, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +020014{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020015 mbedtls_pk_context ctx;
Paul Bakker1a7550a2013-09-15 13:01:22 +020016 int res;
17 char *pwd = password;
18
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010019 mbedtls_pk_init(&ctx);
Valerio Settid64e2492023-04-24 13:53:21 +020020 USE_PSA_INIT();
Paul Bakker1a7550a2013-09-15 13:01:22 +020021
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010022 if (strcmp(pwd, "NULL") == 0) {
Paul Bakker1a7550a2013-09-15 13:01:22 +020023 pwd = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010024 }
Paul Bakker1a7550a2013-09-15 13:01:22 +020025
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010026 res = mbedtls_pk_parse_keyfile(&ctx, key_file, pwd);
Paul Bakker1a7550a2013-09-15 13:01:22 +020027
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010028 TEST_ASSERT(res == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +020029
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010030 if (res == 0) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031 mbedtls_rsa_context *rsa;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010032 TEST_ASSERT(mbedtls_pk_can_do(&ctx, MBEDTLS_PK_RSA));
33 rsa = mbedtls_pk_rsa(ctx);
34 TEST_ASSERT(mbedtls_rsa_check_privkey(rsa) == 0);
Gilles Peskine0196f482024-02-01 22:33:06 +010035
36 /* Test consistency between get_len and get_bitlen */
37 size_t bitlen = mbedtls_pk_get_bitlen(&ctx);
38 TEST_EQUAL(mbedtls_pk_get_len(&ctx), (bitlen + 7) / 8);
Paul Bakker1a7550a2013-09-15 13:01:22 +020039 }
40
Paul Bakkerbd51b262014-07-10 15:26:12 +020041exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010042 mbedtls_pk_free(&ctx);
Valerio Settid64e2492023-04-24 13:53:21 +020043 USE_PSA_DONE();
Paul Bakker1a7550a2013-09-15 13:01:22 +020044}
45/* END_CASE */
46
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020047/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_FS_IO */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010048void pk_parse_public_keyfile_rsa(char *key_file, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +020049{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020050 mbedtls_pk_context ctx;
Paul Bakker1a7550a2013-09-15 13:01:22 +020051 int res;
52
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010053 mbedtls_pk_init(&ctx);
Valerio Settid64e2492023-04-24 13:53:21 +020054 USE_PSA_INIT();
Paul Bakker1a7550a2013-09-15 13:01:22 +020055
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010056 res = mbedtls_pk_parse_public_keyfile(&ctx, key_file);
Paul Bakker1a7550a2013-09-15 13:01:22 +020057
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010058 TEST_ASSERT(res == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +020059
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010060 if (res == 0) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020061 mbedtls_rsa_context *rsa;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010062 TEST_ASSERT(mbedtls_pk_can_do(&ctx, MBEDTLS_PK_RSA));
63 rsa = mbedtls_pk_rsa(ctx);
64 TEST_ASSERT(mbedtls_rsa_check_pubkey(rsa) == 0);
Gilles Peskine0196f482024-02-01 22:33:06 +010065
66 /* Test consistency between get_len and get_bitlen */
67 size_t bitlen = mbedtls_pk_get_bitlen(&ctx);
68 TEST_EQUAL(mbedtls_pk_get_len(&ctx), (bitlen + 7) / 8);
Paul Bakker1a7550a2013-09-15 13:01:22 +020069 }
70
Paul Bakkerbd51b262014-07-10 15:26:12 +020071exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010072 mbedtls_pk_free(&ctx);
Valerio Settid64e2492023-04-24 13:53:21 +020073 USE_PSA_DONE();
Paul Bakker1a7550a2013-09-15 13:01:22 +020074}
75/* END_CASE */
76
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_ECP_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010078void pk_parse_public_keyfile_ec(char *key_file, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +020079{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080 mbedtls_pk_context ctx;
Paul Bakker1a7550a2013-09-15 13:01:22 +020081 int res;
82
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010083 mbedtls_pk_init(&ctx);
Valerio Settid64e2492023-04-24 13:53:21 +020084 USE_PSA_INIT();
Paul Bakker1a7550a2013-09-15 13:01:22 +020085
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010086 res = mbedtls_pk_parse_public_keyfile(&ctx, key_file);
Paul Bakker1a7550a2013-09-15 13:01:22 +020087
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010088 TEST_ASSERT(res == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +020089
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010090 if (res == 0) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020091 mbedtls_ecp_keypair *eckey;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010092 TEST_ASSERT(mbedtls_pk_can_do(&ctx, MBEDTLS_PK_ECKEY));
93 eckey = mbedtls_pk_ec(ctx);
94 TEST_ASSERT(mbedtls_ecp_check_pubkey(&eckey->grp, &eckey->Q) == 0);
Paul Bakker1a7550a2013-09-15 13:01:22 +020095 }
96
Paul Bakkerbd51b262014-07-10 15:26:12 +020097exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010098 mbedtls_pk_free(&ctx);
Valerio Settid64e2492023-04-24 13:53:21 +020099 USE_PSA_DONE();
Paul Bakker1a7550a2013-09-15 13:01:22 +0200100}
101/* END_CASE */
102
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_ECP_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100104void pk_parse_keyfile_ec(char *key_file, char *password, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +0200105{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106 mbedtls_pk_context ctx;
Paul Bakker1a7550a2013-09-15 13:01:22 +0200107 int res;
108
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100109 mbedtls_pk_init(&ctx);
Valerio Settid64e2492023-04-24 13:53:21 +0200110 USE_PSA_INIT();
Paul Bakker1a7550a2013-09-15 13:01:22 +0200111
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100112 res = mbedtls_pk_parse_keyfile(&ctx, key_file, password);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200113
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100114 TEST_ASSERT(res == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200115
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100116 if (res == 0) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117 mbedtls_ecp_keypair *eckey;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100118 TEST_ASSERT(mbedtls_pk_can_do(&ctx, MBEDTLS_PK_ECKEY));
119 eckey = mbedtls_pk_ec(ctx);
120 TEST_ASSERT(mbedtls_ecp_check_privkey(&eckey->grp, &eckey->d) == 0);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200121 }
122
Paul Bakkerbd51b262014-07-10 15:26:12 +0200123exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100124 mbedtls_pk_free(&ctx);
Valerio Settid64e2492023-04-24 13:53:21 +0200125 USE_PSA_DONE();
Paul Bakker1a7550a2013-09-15 13:01:22 +0200126}
127/* END_CASE */
128
Manuel Pégourié-Gonnardb65370f2020-02-10 10:50:16 +0100129/* BEGIN_CASE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100130void pk_parse_key(data_t *buf, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +0200131{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200132 mbedtls_pk_context pk;
Paul Bakker1a7550a2013-09-15 13:01:22 +0200133
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100134 mbedtls_pk_init(&pk);
Valerio Settid64e2492023-04-24 13:53:21 +0200135 USE_PSA_INIT();
Paul Bakker1a7550a2013-09-15 13:01:22 +0200136
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100137 TEST_ASSERT(mbedtls_pk_parse_key(&pk, buf->x, buf->len, NULL, 0) == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200138
Paul Bakkerbd51b262014-07-10 15:26:12 +0200139exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100140 mbedtls_pk_free(&pk);
Valerio Settid64e2492023-04-24 13:53:21 +0200141 USE_PSA_DONE();
Paul Bakker1a7550a2013-09-15 13:01:22 +0200142}
143/* END_CASE */