blob: f2f5e97c7511aa15ee7d2dedd93563e1e8317cd9 [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);
Paul Bakker1a7550a2013-09-15 13:01:22 +020020
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010021 if (strcmp(pwd, "NULL") == 0) {
Paul Bakker1a7550a2013-09-15 13:01:22 +020022 pwd = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010023 }
Paul Bakker1a7550a2013-09-15 13:01:22 +020024
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010025 res = mbedtls_pk_parse_keyfile(&ctx, key_file, pwd);
Paul Bakker1a7550a2013-09-15 13:01:22 +020026
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010027 TEST_ASSERT(res == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +020028
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010029 if (res == 0) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020030 mbedtls_rsa_context *rsa;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010031 TEST_ASSERT(mbedtls_pk_can_do(&ctx, MBEDTLS_PK_RSA));
32 rsa = mbedtls_pk_rsa(ctx);
33 TEST_ASSERT(mbedtls_rsa_check_privkey(rsa) == 0);
Paul Bakker1a7550a2013-09-15 13:01:22 +020034 }
35
Paul Bakkerbd51b262014-07-10 15:26:12 +020036exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010037 mbedtls_pk_free(&ctx);
Paul Bakker1a7550a2013-09-15 13:01:22 +020038}
39/* END_CASE */
40
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_FS_IO */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010042void pk_parse_public_keyfile_rsa(char *key_file, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +020043{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020044 mbedtls_pk_context ctx;
Paul Bakker1a7550a2013-09-15 13:01:22 +020045 int res;
46
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010047 mbedtls_pk_init(&ctx);
Paul Bakker1a7550a2013-09-15 13:01:22 +020048
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010049 res = mbedtls_pk_parse_public_keyfile(&ctx, key_file);
Paul Bakker1a7550a2013-09-15 13:01:22 +020050
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010051 TEST_ASSERT(res == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +020052
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010053 if (res == 0) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054 mbedtls_rsa_context *rsa;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010055 TEST_ASSERT(mbedtls_pk_can_do(&ctx, MBEDTLS_PK_RSA));
56 rsa = mbedtls_pk_rsa(ctx);
57 TEST_ASSERT(mbedtls_rsa_check_pubkey(rsa) == 0);
Paul Bakker1a7550a2013-09-15 13:01:22 +020058 }
59
Paul Bakkerbd51b262014-07-10 15:26:12 +020060exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010061 mbedtls_pk_free(&ctx);
Paul Bakker1a7550a2013-09-15 13:01:22 +020062}
63/* END_CASE */
64
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020065/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_ECP_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010066void pk_parse_public_keyfile_ec(char *key_file, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +020067{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 mbedtls_pk_context ctx;
Paul Bakker1a7550a2013-09-15 13:01:22 +020069 int res;
70
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010071 mbedtls_pk_init(&ctx);
Paul Bakker1a7550a2013-09-15 13:01:22 +020072
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010073 res = mbedtls_pk_parse_public_keyfile(&ctx, key_file);
Paul Bakker1a7550a2013-09-15 13:01:22 +020074
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010075 TEST_ASSERT(res == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +020076
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010077 if (res == 0) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078 mbedtls_ecp_keypair *eckey;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010079 TEST_ASSERT(mbedtls_pk_can_do(&ctx, MBEDTLS_PK_ECKEY));
80 eckey = mbedtls_pk_ec(ctx);
81 TEST_ASSERT(mbedtls_ecp_check_pubkey(&eckey->grp, &eckey->Q) == 0);
Paul Bakker1a7550a2013-09-15 13:01:22 +020082 }
83
Paul Bakkerbd51b262014-07-10 15:26:12 +020084exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010085 mbedtls_pk_free(&ctx);
Paul Bakker1a7550a2013-09-15 13:01:22 +020086}
87/* END_CASE */
88
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089/* BEGIN_CASE depends_on:MBEDTLS_FS_IO:MBEDTLS_ECP_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010090void pk_parse_keyfile_ec(char *key_file, char *password, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +020091{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020092 mbedtls_pk_context ctx;
Paul Bakker1a7550a2013-09-15 13:01:22 +020093 int res;
94
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010095 mbedtls_pk_init(&ctx);
Paul Bakker1a7550a2013-09-15 13:01:22 +020096
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010097 res = mbedtls_pk_parse_keyfile(&ctx, key_file, password);
Paul Bakker1a7550a2013-09-15 13:01:22 +020098
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010099 TEST_ASSERT(res == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200100
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100101 if (res == 0) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200102 mbedtls_ecp_keypair *eckey;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100103 TEST_ASSERT(mbedtls_pk_can_do(&ctx, MBEDTLS_PK_ECKEY));
104 eckey = mbedtls_pk_ec(ctx);
105 TEST_ASSERT(mbedtls_ecp_check_privkey(&eckey->grp, &eckey->d) == 0);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200106 }
107
Paul Bakkerbd51b262014-07-10 15:26:12 +0200108exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100109 mbedtls_pk_free(&ctx);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200110}
111/* END_CASE */
112
Manuel Pégourié-Gonnardb65370f2020-02-10 10:50:16 +0100113/* BEGIN_CASE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100114void pk_parse_key(data_t *buf, int result)
Paul Bakker1a7550a2013-09-15 13:01:22 +0200115{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116 mbedtls_pk_context pk;
Paul Bakker1a7550a2013-09-15 13:01:22 +0200117
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100118 mbedtls_pk_init(&pk);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200119
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100120 TEST_ASSERT(mbedtls_pk_parse_key(&pk, buf->x, buf->len, NULL, 0) == result);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200121
Paul Bakkerbd51b262014-07-10 15:26:12 +0200122exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100123 mbedtls_pk_free(&pk);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200124}
125/* END_CASE */